実数x、yが|x|≦1、|y|≦1をみたすとき、

0 ≦ x^2 + y^2 - 2 x^2 y^2 + 2xy \sqrt{ (1-x^2)・(1-y^2) } ≦ 1

ﾊｱﾊｱできそうな解法ありますか？