就是若a,b为实数那一道
若a,b为实数 且a=m²-2n+π/2,b=k²-2m+π/6,c=n²-2k+π/3,证明:a,b,c中至少有一个大于0.用反证法