因为a^2+b^2-2ab>=0
所以-2ab>=-a^2-b^2
1+a^2b^2-2ab>=1+a^2b^2-a^2-b^2
(1-ab)^2>=(1-a^2)(1-b^2)
因为1-ab>=0,(1-a^2)(1-b^2)>=0
所以1-ab>=根号下(1-a的平方)乘以(1-b的平方)
移项后,得证.
因为a^2+b^2-2ab>=0
所以-2ab>=-a^2-b^2
1+a^2b^2-2ab>=1+a^2b^2-a^2-b^2
(1-ab)^2>=(1-a^2)(1-b^2)
因为1-ab>=0,(1-a^2)(1-b^2)>=0
所以1-ab>=根号下(1-a的平方)乘以(1-b的平方)
移项后,得证.