用反证法：设A,B,C的值都不大于0,则A+B+C≤0,而A+B+C=a²-2b+π/2+b²-2c+π/3+c²-2a+π/6=(a-1)²+(b-1)²+(c-1)²+π-3≥π-3>0,这与A+B+C≤0相矛盾,所以A,B,C中至少有一个值大于0....