bonsoir
l'implication : <== est triviale ( tu obtient une identité remarquable : (a-b)(a+b) ) .
pour l'autre , P ==> x+V(x^2+1) = 1/( V(y^2 + 1)+ y ) = V(y^2+1) - y .
==> (x+y) + ( V(x^2+1) - V(y^2+1) = 0
==> (x+y) + (x-y)(x+y)/ (V(x^2+1) + V(y^2+1) = 0
==> ..........
@ +
.