Soient x et y deux réels différents de 1.

et

si on pose
(*) alors y est l'image de x par la fonction g et x est un antécédent de y , toujours par la fonction g.
on va calculer x fonction de y
y(x-1)=x+1
yx - x =y+1
x(y-1)=y+1
là, il faut supposer y différent de 1
(**) conclusion:
Les réels y différents de 1 ont un antécédent.
g , restreinte au codomaine R-{1} est surjective. (le codomaine est l'espace d'arrivée de g)
L'antécédent x calculé est unique. Donc g est injective.
finalement, g est une bijection de R-{1} sur R-{1}
soit f la bijection réciproque de g. x=f(y)
=\dfrac{y+1}{y-1})
d'après
(**)la surprise est que f=g
Modifié en dernier par mathelot le 09 Jan 2021, 13:08, modifié 3 fois.