（用反证法证明）已知a,b,c∈R,且a=x^2-2y+π/2,b=y^2-2z+π/3,c=z^2-2x+π/6.

题目

（用反证法证明）已知a,b,c∈R,且a=x^2-2y+π/2,b=y^2-2z+π/3,c=z^2-2x+π/6.
求证;a,b,c中至少有一个大于0.
不难的,基础题

答案

证明；假设abc全小于0,
即a=x^2-2y+π/2