a√(1-b²)+b√(1-a²)
≤(a²+1-b²)/2+(b²+1-a²)/2=1
由已知,等号成立.
由均值不等式,
等号成立的条件是
a=√(1-b²),b=√(1-a²)
所以a²+b²=1