Bonjour,
Raisonnement par l'absurde :
On suppose que si x/(1 + y) = y/(1 + x) alors x ≠ y
soit x/(1 + y) = y(1 + x)
d'où x(1 + x) = y(1 + y)
d'où x + x² = y + y²
Or si x = y on a bien y² + y = y + y² → nous avons bien montré l'absurdité d'où si x/(1 + y) = y(1 + x) alors x = y