已知式左边的平方<=（a^2+1-a^2）(b^2+1-b^2)=1
取等了，所以我还是上图吧
柯西不等式。(a+b)(c+d)>=(sqrtac+sqrtbd)平方。所以原式<=1，当ac=bd时取等，即a平方=b平方。考虑原式，易知a=b，所以a^2=1/2或者-1/2,所以a^2+b^2=1或者-1
看看这样做行不？
看见就头晕
