（ab+cd)^2=a^2*b^2+c^2*d^2+2abcd
而a^2*b^2+c^2*d^2>=2abcd(因为(ab-cd)^2>=0,移项就可以得到上述式子）
所以（ab+cd)^2>=2abcd+2abcd=4abcd
而等号成立即(ab-cd)^2=0成立此时ab=cd