已经知道a=x^2-2y+3/2 ,b=y^2-2x+3/4 c=Z^2-2x+6 a,b,c至少有一个大于0的 用反证法证明
问题描述:
已经知道a=x^2-2y+3/2 ,b=y^2-2x+3/4 c=Z^2-2x+6 a,b,c至少有一个大于0的 用反证法证明
答
假设a,b,c都不大于0
则a+b+c不大于0 即a+b+c0
与假设矛盾
因此假设错误,原命题正确
即a,b,c至少有一个大于0