用反证法证明：若a,b,c,d属于实数,且ad-bc=1,则a^2+b^2+c^2+d^2+ab+cd不等于1

证明,用反证法,假设a^2+b^2+c^2+d^2+ab+cd=1则有a^2+b^2+c^2+d^2+ab+cd = ad-bc移项得：a^2+b^2+c^2+d^2+ab+cd-ad+bc=0两边乘以2,有：2a^2+2b^2+2c^2+2d^2+2ab+2cd-2ad+2bc=0即(a+b)^2 + (c+d)^2 + (a-d)^2 + (b+c)^2 = 0所以一定有：a+b = c+d = a-d = b+c = 0解得a = c = b = d = 0因此ad-bc=0与已知矛盾。故原假设不成立,因此a^2+b^2+c^2+d^2+ab+cd不等于1。希望有用。