x y + ( 1 + x 2 ) ( 1 + y 2 ) = 1 ⇔ ( 1 + x ) 2 ( 1 + y ) 2 = 1 − x y ⇒ ( 1 + x 2 ) ( 1 + y 2 ) = 1 - x y 2 ⇔ 1 + x 2 + y 2 + x 2 y 2 = 1 − 2 x y + x 2 y 2 ⇔ x 2 + y 2 + 2 x y = 0 ⇔ x + y 2 = 0 ⇔ y = − x ⇒ x 1 + y 2 + y 1 + x 2 = x 1 + x 2 − x 1 + x 2 = 0