已知a，b，c均为实数，且，，c=，求证：a，b，c中至少有一个大于0．在线课程解：反证法：假设a，b，c都小于或等于0，则有a+b+c=（x-1）²+（y-1）²+（z-1）²+π-3≤0，
而该式显然大于0，矛盾，故假设不正确，故a，b，c中至少有一个大于0．
分析：用反证法，假设a，b，c都小于或等于0，推出a+b+c的值大于0，出现矛盾，从而得到假设不正确，命题得证．
点评：本题考查用反证法证明数学命题，推出矛盾，是解题的关键和难点．