(用反证法证明)已知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