323636256666541544
x2+y2-l-x2y2＝（x2-1）（y2-1）
即证X^2*Y^2-X^2-Y^2+1≥0，即X^2*(Y^2-1)-(Y^2-1)≥0，即(X^2-1)(Y^2-1)≥0。
