因?yàn)閍^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)
因?yàn)?-ab>=0,(1-a^2)(1-b^2)>=0
所以1-ab>=根號(hào)下（1-a的平方）乘以（1-b的平方）
移項(xiàng)后,得證.