-->
Fonctions réciproques1Symétrie par rapport à la première bissectrice du repère
0,0
A
B
Soient A(x;y) et B(y;x) deux points d'un repère orthogonal.
Les coordonnées de M milieu de [AB] vérifient :
xM=2xA+xB=2x+y et yM=2yA+yB=2x+y.
Ainsi, xM=yM et M appartient à la droite d'équation y=x.
Le vecteur u(11) dirige la droite d'équation y=x.
De plus AB(xB−xAyB−yA)=(y−xx−y).
Ainsi : u⋅AB=1×(y−x)+1×(x−y)=0.
La droite (AB) et la droite d'équation y=x sont perpendiculaires.
Les points A et B sont bien symétriques par rapport à la première bissectrice du repère.
2Fonctions réciproquesDefinition 1
Soit f une fonction continue et strictement monotone sur un intervalle I de R.
Si il existe une fonction g telle que pour tout nombre x de son ensemble de définition f(g(x))=x, ou pour tout x∈I, g(f(x))=x, alors f et g sont dites réciproques l'une de l'autre.
Exemple 1
La fonction carrée et la fonction racine carrée sont des fonctions réciproques sur [0;+∞[.
En effet, pour tout x≥0, (x)2=x, et x2=∣x∣=x, car x≥0.
Exemple 2
Les fonctions logarithme népérien et exponentielles sont des fonctions réciproques :
Pour tout x∈R, ln(ex)=x.
Pour tout x∈]0;+∞[, eln(x)=x.
Exemple 3
La fonction inverse est sa propre réciproque : pour tout x≠0, x11=1x=x.
3Conséquences graphiquesProperty 1
Soient f et g deux fonctions réciproques dont on note Cf et Cg les courbes représentatives dans un repère orthogonale du plan.
Cf et Cg sont alors symétriques par rapport à la droite d'équation y=x.
Preuve.
On note Df et Dg les ensembles de définitions.
Soit x∈Df, et M(x;f(x)) le point de Cf correspondant.
Le point M′(f(x);x) appartient à l'image de Cf dans la symétrie d'axe la première bissectrice du plan.
Or, puisque x=g(f(x)), M′(f(x);x)=(f(x);g(f(x)) est un point de Cg.
Réciproquement, on démontre de la même façon que l'image de tout point de Cg dans la même symétrie est un point de Cf.
Ainsi, Cf et Cg sont bien symétriques par rapport à la droite d'équation y=x.
4Illustrations4.1Fonctions carrée et racine carrée
0,0
A
A'
4.2Fonctions exponentielles et logarithme népérien