要证:a² +b²-1-a²b²≤0,只要证明
(a² -1)(b²-1)≥0
得a²≥1,b²≥1或0≤a²≤1,0≤b²≤1