若绝对值a<=1,绝对值b<=1,求证:ab+根号下(1-a2)(1-b2)<=1

问题描述:

若绝对值a<=1,绝对值b<=1,求证:ab+根号下(1-a2)(1-b2)<=1
是否能用换元法或者构造函数发解

根号下(1-a2)(1-b2)=x
x^2= 1-b^2-a^2+a^2*b^2
=a^2(b^2-1)-(b^2-1)
=(a^2-1)(b^2-1)
a^2-1