解题思路：这类题目,可以逆推,又称“综合分析法”.
证明：由lxl＜1,lyl＜1,得
x^2-10
(xy)^2+1-2xy>x^2+y^2-2xy
(1-xy)^2>(x-y)^2
因此
l1-xyl＞lx-yl
证明完毕