(本小题满分10分)证明:假设a,b,c都不大于0,即a≤0,b≤0,c≤0,得a+b+c≤0,而a+b+c=(x-1)2+(y-1)2+(z-1)2+π-3≥π-3>0,即a+b+c>0,与a+b+c≤0矛盾,∴a,b,c中至少有一个大于0.
