Lumio

Fonctions réciproques — cours

4ème année (Bac) · section Mathématiques · mathématiques, programme officiel tunisien.

Le cours

Rappel · 1

Soit ff une fonction continue et strictement décroissante sur [1;3][1; 3]. Quel est l'intervalle image f([1;3])f([1; 3]) ?

Remarque

Une fonction strictement décroissante renverse l'ordre des bornes : l'image du segment [a;b][a; b] est le segment [f(b);f(a)][f(b); f(a)].

Point de départ · 2

On considère l'équation x2=9x^2 = 9. Peut-on retrouver xx de manière unique sans restreindre son domaine ?

Remarque

Sur R\mathbb{R}, 99 possède deux antécédents distincts : 33 et 3-3. Pour définir un retour en arrière sans ambiguïté, il faut restreindre le domaine à un intervalle où chaque valeur n'a qu'un seul antécédent.

Définition · 3

Théorème de la bijection

Soit ff une fonction définie sur un intervalle II.

f est continue sur If \text{ est continue sur } I
f est strictement monotone sur If \text{ est strictement monotone sur } I

f reˊalise une bijection de I sur l’intervalle J=f(I)f \text{ réalise une bijection de } I \text{ sur l'intervalle } J = f(I)

Fonction réciproque

Pour tout yJy \in J, l'équation f(x)=yf(x)=y admet une unique solution xIx \in I.

La fonction qui à chaque yJy \in J associe cet unique réel xx est notée f1f^{-1}.

x=f1(y)    f(x)=y(xI,  yJ)x = f^{-1}(y) \iff f(x) = y \quad (x \in I, \; y \in J)

Par composition de ff et f1f^{-1} :

f1(f(x))=xetf(f1(y))=yf^{-1}(f(x)) = x \quad \text{et} \quad f(f^{-1}(y)) = y

Exemple travaillé · 4

Soit ff la fonction définie sur [0;+[[0; +\infty[ par f(x)=x2+2f(x) = x^2 + 2. Montrer que ff réalise une bijection de [0;+[[0; +\infty[ sur un intervalle JJ que l'on précisera.

1

On étudie la dérivabilité et les variations de ff sur [0;+[[0; +\infty[.

2
f(x)=2xf'(x) = 2x
3

Pour tout x>0x > 0, f(x)>0f'(x) > 0. La dérivée s'annule uniquement en 00. La fonction ff est donc continue et strictement croissante sur [0;+[[0; +\infty[.

4

D'après le théorème de la bijection, ff réalise une bijection de [0;+[[0; +\infty[ sur J=f([0;+[)J = f([0; +\infty[).

5
J=[f(0);limx+f(x)[  =[2;+[J = [f(0); \lim_{x \to +\infty} f(x)[ \;= [2; +\infty[

Piège classique · 5

Soit gg une fonction continue et strictement décroissante sur ]0;2]]0; 2] telle que limx0+g(x)=+\lim_{x \to 0^+} g(x) = +\infty et g(2)=1g(2) = 1. Quel est l'intervalle image J=g(]0;2])J = g(]0; 2]) ?

Attention

Écrire J=]+;1]J = ]+\infty; 1], en recopiant les résultats dans l'ordre textuel des bornes de départ.

À la place : Une fonction strictement décroissante renverse l'ordre : la borne inférieure de JJ est g(2)=1g(2) = 1 et la borne supérieure est limx0+g(x)=+\lim_{x \to 0^+} g(x) = +\infty, d'où J=[1;+[J = [1; +\infty[.

Exemple travaillé · 6

Soit ff la fonction définie sur R\mathbb{R} par f(x)=x3+x+1f(x) = x^3 + x + 1. On admet que ff réalise une bijection de R\mathbb{R} sur R\mathbb{R}. Déterminer f1(1)f^{-1}(1) puis f1(3)f^{-1}(3).

1

D'après l'équivalence fondamentale, calculer f1(b)f^{-1}(b) revient à trouver le réel aa tel que f(a)=bf(a) = b.

2

Pour déterminer f1(1)f^{-1}(1), on résout l'équation f(x)=1f(x) = 1 :

3
x3+x+1=1    x(x2+1)=0x^3 + x + 1 = 1 \iff x(x^2 + 1) = 0
4

Puisque x2+1>0x^2 + 1 > 0 sur R\mathbb{R}, l'unique solution est x=0x = 0. On en déduit :

5
f1(1)=0f^{-1}(1) = 0
6

Pour déterminer f1(3)f^{-1}(3), on cherche une solution évidente pour f(x)=3f(x) = 3. En évaluant en 11 :

7
f(1)=13+1+1=3f(1) = 1^3 + 1 + 1 = 3
8

Par unicité de l'antécédent garantie par la bijection, on conclut :

9
f1(3)=1f^{-1}(3) = 1

Vérification · 7

Soit ff une bijection de [1;+[[1; +\infty[ sur [3;+[[-3; +\infty[. Sachant que f(4)=5f(4) = 5, quelle égalité est exacte ?

Remarque

L'équivalence f(x)=y    x=f1(y)f(x) = y \iff x = f^{-1}(y) permute l'antécédent et l'image : puisque 44 a pour image 55 par ff, 55 a pour image 44 par f1f^{-1}.

Définition · 8

Continuité et sens de variation

Soit ff une fonction continue et strictement monotone sur un intervalle II.

f1 est continue et strictement monotone sur J=f(I)f^{-1} \text{ est continue et strictement monotone sur } J = f(I)

La fonction réciproque varie dans le même sens que la fonction initiale :

f strictement croissante sur I    f1 strictement croissante sur Jf \text{ strictement croissante sur } I \iff f^{-1} \text{ strictement croissante sur } J

f strictement deˊcroissante sur I    f1 strictement deˊcroissante sur Jf \text{ strictement décroissante sur } I \iff f^{-1} \text{ strictement décroissante sur } J

Point de départ · 9

Si le point M(a;b)M(a; b) appartient à la courbe Cf\mathcal{C}_f, quel point appartient obligatoirement à la courbe Cf1\mathcal{C}_{f^{-1}} ?

Remarque

Puisque f(a)=b    f1(b)=af(a) = b \iff f^{-1}(b) = a, le point M(b;a)M'(b; a) appartient à la courbe Cf1\mathcal{C}_{f^{-1}}. L'inversion échange l'abscisse et l'ordonnée de chaque point.

Définition · 10

Symétrie des courbes représentatives

Cf1=SΔ(Cf)avec Δ:y=x\mathcal{C}_{f^{-1}} = S_{\Delta}(\mathcal{C}_f) \quad \text{avec } \Delta : y = x

Dans un repère orthonormé, les courbes de ff et de f1f^{-1} sont symétriques par rapport à la première bissectrice.

Remarque

Les points invariants par cette symétrie sont les points situés sur la droite Δ:y=x\Delta : y=x. Si Cf\mathcal{C}_f coupe cette droite en un point, Cf1\mathcal{C}_{f^{-1}} y passe également.

Exemple travaillé · 11

Soit ff une bijection de [0;+[[0; +\infty[ sur [1;+[[-1; +\infty[. La courbe Cf\mathcal{C}_f passe par le point A(2;3)A(2; 3) et y admet la tangente TT d'équation y=4x5y = 4x - 5. Déterminer un point de Cf1\mathcal{C}_{f^{-1}} et l'équation de la tangente à Cf1\mathcal{C}_{f^{-1}} en ce point.

1

Le point A(2;3)A(2; 3) appartient à Cf\mathcal{C}_f, donc f(2)=3f(2) = 3.

2

Par symétrie d'axe Δ:y=x\Delta : y = x, on permute l'abscisse et l'ordonnée : le point A(3;2)A'(3; 2) appartient à Cf1\mathcal{C}_{f^{-1}}, ce qui donne f1(3)=2f^{-1}(3) = 2.

3

Pour obtenir la tangente symétrique TT', on échange les variables xx et yy dans l'équation de TT :

4
x=4y5x = 4y - 5
5

On isole ensuite la variable yy pour obtenir l'équation réduite :

6
4y=x+5    y=14x+544y = x + 5 \iff y = \frac{1}{4}x + \frac{5}{4}
7

Le coefficient directeur de la nouvelle tangente est 14\frac{1}{4}, soit l'inverse multiplicatif du coefficient initial 44.

Piège classique · 12

Soit ff une fonction continue et strictement décroissante sur [0;4][0; 4]. Quel est le sens de variation de sa réciproque f1f^{-1} ?

Attention

Affirmer que f1f^{-1} est strictement croissante en pensant que la fonction réciproque « inverse » le sens de variation, ou par confusion avec la fonction inverse x1xx \mapsto \frac{1}{x}.

À la place : Une bijection et sa réciproque varient toujours dans le même sens : puisque ff est strictement décroissante, f1f^{-1} est également strictement décroissante.

Vérification · 13

La courbe Cf\mathcal{C}_f d'une bijection ff coupe la première bissectrice Δ:y=x\Delta : y=x au point d'abscisse 33. Que vaut f1(3)f^{-1}(3) ?

Remarque

Tout point d'intersection avec Δ:y=x\Delta : y=x a des coordonnées de la forme (a;a)(a; a). Ici, le point est (3;3)(3; 3), donc f(3)=3f(3) = 3. Par équivalence fondamentale, f1(3)=3f^{-1}(3) = 3.

Point de départ · 14

Soit ff une fonction dérivable vérifiant f(1)=2f(1) = 2 et f(1)=3f'(1) = 3. La tangente à Cf\mathcal{C}_f au point (1;2)(1; 2) a pour coefficient directeur 33. Par symétrie par rapport à la droite Δ:y=x\Delta : y=x, quel est le coefficient directeur de la tangente à Cf1\mathcal{C}_{f^{-1}} au point (2;1)(2; 1) ?

Remarque

La réflexion par rapport à la droite Δ:y=x\Delta : y=x échange l'axe des abscisses et l'axe des ordonnées : la pente ΔyΔx=3\frac{\Delta y}{\Delta x} = 3 devient ΔxΔy=13\frac{\Delta x}{\Delta y} = \frac{1}{3}.

Définition · 15

Dérivabilité de la réciproque en un point

Soit ff une fonction continue et strictement monotone sur un intervalle II.

aIetb=f(a)a \in I \quad \text{et} \quad b = f(a)
f est deˊrivable en af \text{ est dérivable en } a
f(a)0f'(a) \neq 0

f1 est deˊrivable en bet(f1)(b)=1f(a)=1f(f1(b))f^{-1} \text{ est dérivable en } b \quad \text{et} \quad (f^{-1})'(b) = \frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}

Remarque

Si f(a)=0f'(a) = 0, la formule n'est pas applicable : la courbe Cf1\mathcal{C}_{f^{-1}} admet en bb une tangente verticale.

Exemple travaillé · 16

Soit ff la fonction définie sur [0;+[[0; +\infty[ par f(x)=x4+xf(x) = x^4 + x. On admet que ff réalise une bijection de [0;+[[0; +\infty[ sur [0;+[[0; +\infty[. Calculer f(1)f(1), puis déterminer (f1)(2)(f^{-1})'(2).

1

On calcule l'image de 11 par ff pour déterminer l'antécédent de 22 :

f(1)=14+1=2    f1(2)=1f(1) = 1^4 + 1 = 2 \implies f^{-1}(2) = 1
2

On détermine la dérivée de ff sur [0;+[[0; +\infty[ :

f(x)=4x3+1f'(x) = 4x^3 + 1
3

On évalue ff' en l'antécédent a=1a = 1 et on vérifie sa non-nullité :

f(1)=4(1)3+1=50f'(1) = 4(1)^3 + 1 = 5 \neq 0
4

On applique la formule du théorème :

(f1)(2)=1f(1)=15(f^{-1})'(2) = \frac{1}{f'(1)} = \frac{1}{5}

Piège classique · 17

Soit gg une fonction bijective dérivable telle que g(0)=4g(0) = 4, g(0)=2g'(0) = 2 et g(4)=7g'(4) = 7. Que vaut (g1)(4)(g^{-1})'(4) ?

Attention

Calculer 1g(4)=17\frac{1}{g'(4)} = \frac{1}{7} en évaluant la dérivée directement en la valeur 44.

À la place : La valeur 44 est une image, pas un antécédent. Puisque g(0)=4g(0) = 4, l'antécédent est 00. On doit évaluer gg' en 00 : (g1)(4)=1g(0)=12(g^{-1})'(4) = \frac{1}{g'(0)} = \frac{1}{2}.

Exemple travaillé · 18

Soit ff la fonction définie sur R\mathbb{R} par f(x)=x3+x+1f(x) = x^3 + x + 1. On admet que ff est une bijection de R\mathbb{R} sur R\mathbb{R}. Déterminer une équation cartésienne de la tangente TT à la courbe Cf1\mathcal{C}_{f^{-1}} au point d'abscisse 11.

1

On cherche l'antécédent de 11 en résolvant f(x)=1f(x) = 1 :

x3+x+1=1    x(x2+1)=0    x=0x^3 + x + 1 = 1 \iff x(x^2 + 1) = 0 \iff x = 0
2

On en déduit la valeur de la réciproque en 11 :

f1(1)=0f^{-1}(1) = 0
3

On calcule f(x)f'(x) et on évalue en a=0a = 0 :

f(x)=3x2+1    f(0)=10f'(x) = 3x^2 + 1 \implies f'(0) = 1 \neq 0
4

On détermine le nombre dérivé (f1)(1)(f^{-1})'(1) :

(f1)(1)=1f(0)=11=1(f^{-1})'(1) = \frac{1}{f'(0)} = \frac{1}{1} = 1
5

On écrit l'équation de la tangente y=(f1)(1)(x1)+f1(1)y = (f^{-1})'(1)(x - 1) + f^{-1}(1) :

y=1(x1)+0    y=x1y = 1(x - 1) + 0 \iff y = x - 1

Vérification · 19

Soit ff la fonction définie sur [1;+[[1; +\infty[ par f(x)=x1+2xf(x) = \sqrt{x - 1} + 2x. On sait que f(2)=5f(2) = 5 et que pour tout x>1x > 1, f(x)=12x1+2f'(x) = \frac{1}{2\sqrt{x - 1}} + 2. Que vaut (f1)(5)(f^{-1})'(5) ?

Remarque

Puisque f(2)=5f(2) = 5, l'antécédent de 55 est a=2a = 2. On calcule f(2)=121+2=52f'(2) = \frac{1}{2\sqrt{1}} + 2 = \frac{5}{2}. On en déduit (f1)(5)=1f(2)=25(f^{-1})'(5) = \frac{1}{f'(2)} = \frac{2}{5}.

Définition · 20

Dérivabilité de la réciproque sur un intervalle

Soit ff une bijection d'un intervalle II sur J=f(I)J = f(I).

f est deˊrivable sur If \text{ est dérivable sur } I
xI,  f(x)0\forall x \in I, \; f'(x) \neq 0

f1 est deˊrivable sur Jet(f1)(x)=1f(f1(x))f^{-1} \text{ est dérivable sur } J \quad \text{et} \quad (f^{-1})'(x) = \frac{1}{f'(f^{-1}(x))}

Remarque

Ce théorème permet d'obtenir la fonction dérivée de f1f^{-1} sur tout un intervalle sans avoir besoin de calculer au préalable l'expression explicite de f1(x)f^{-1}(x).

Exemple travaillé · 21

Soit ff la fonction définie sur ]π2;π2[]-\frac{\pi}{2}; \frac{\pi}{2}[ par f(x)=tanxf(x) = \tan x. On admet que ff réalise une bijection de ]π2;π2[]-\frac{\pi}{2}; \frac{\pi}{2}[ sur R\mathbb{R}. Justifier que f1f^{-1} est dérivable sur R\mathbb{R} et déterminer (f1)(x)(f^{-1})'(x) pour tout réel xx.

1

On calcule la dérivée de ff sur son intervalle de définition :

f(x)=1+tan2xf'(x) = 1 + \tan^2 x
2

Pour tout x]π2;π2[x \in ]-\frac{\pi}{2}; \frac{\pi}{2}[, on a f(x)1>0f'(x) \ge 1 > 0. La dérivée ne s'annule en aucun point.

3

D'après le théorème de dérivabilité sur un intervalle, f1f^{-1} est dérivable sur l'intervalle image f(]π2;π2[)=Rf(]-\frac{\pi}{2}; \frac{\pi}{2}[) = \mathbb{R}.

4

Pour tout xRx \in \mathbb{R}, en posant y=f1(x)y = f^{-1}(x), on applique la formule de dérivation :

(f1)(x)=1f(y)=11+tan2y(f^{-1})'(x) = \frac{1}{f'(y)} = \frac{1}{1 + \tan^2 y}
5

Puisque y=f1(x)    tany=xy = f^{-1}(x) \iff \tan y = x, on remplace tany\tan y par xx :

(f1)(x)=11+x2(f^{-1})'(x) = \frac{1}{1 + x^2}

Point de départ · 22

Une courbe Cf\mathcal{C}_f admet une demi-tangente verticale en un point. Quelle est l'allure de la tangente correspondante sur la courbe symétrique Cf1\mathcal{C}_{f^{-1}} ?

Remarque

La réflexion par rapport à la première bissectrice Δ:y=x\Delta : y=x permute l'axe horizontal et l'axe vertical : une droite verticale (de pente infinie) devient une droite horizontale (de pente nulle).

Définition · 23

Tangente verticale et dérivabilité de la réciproque

Soit ff une fonction continue et strictement monotone sur un intervalle [a;b[[a; b[, et c=f(a)c = f(a).

limxa+f(x)f(a)xa=+(ou )\lim_{x \to a^+} \frac{f(x) - f(a)}{x - a} = +\infty \quad (\text{ou } -\infty)

f1 est deˊrivable aˋ droite en cet(f1)d(c)=0f^{-1} \text{ est dérivable à droite en } c \quad \text{et} \quad (f^{-1})'_d(c) = 0

Remarque

La courbe Cf\mathcal{C}_f part avec une demi-tangente verticale en O(0;0)O(0; 0) ; sa courbe symétrique Cf1\mathcal{C}_{f^{-1}} part avec une demi-tangente horizontale en O(0;0)O(0; 0).

Piège classique · 24

Soit ff une fonction continue et strictement croissante sur [2;+[[2; +\infty[ telle que limx2+f(x)f(2)x2=+\lim_{x \to 2^+} \frac{f(x)-f(2)}{x-2} = +\infty, avec f(2)=1f(2) = 1. Que peut-on affirmer sur la dérivabilité de f1f^{-1} à droite en 11 ?

Attention

Conclure que f1f^{-1} n'est pas dérivable en 11 au motif que ff n'est pas dérivable en 22, ou tenter d'écrire une division impossible par l'infini dans la formule habituelle.

À la place : La courbe Cf\mathcal{C}_f admet une demi-tangente verticale au point d'abscisse 22. Par symétrie par rapport à la droite Δ:y=x\Delta : y=x, la courbe Cf1\mathcal{C}_{f^{-1}} admet une demi-tangente horizontale au point d'abscisse 11, ce qui signifie que f1f^{-1} est dérivable à droite en 11 et (f1)d(1)=0(f^{-1})'_d(1) = 0.

Vérification · 25

Soit gg une bijection de [0;3][0; 3] sur [0;2][0; 2]. On sait que gg est dérivable sur ]0;3]]0; 3] avec g(x)>0g'(x) > 0 pour tout x>0x > 0, et que Cg\mathcal{C}_g admet une demi-tangente verticale à l'origine en 00. Sur quel ensemble la réciproque g1g^{-1} est-elle dérivable ?

Remarque

Sur ]0;3]]0; 3], la fonction gg est dérivable et sa dérivée ne s'annule pas, donc g1g^{-1} est dérivable sur ]0;2]]0; 2]. En 00, la demi-tangente verticale de Cg\mathcal{C}_g se transforme en une demi-tangente horizontale pour Cg1\mathcal{C}_{g^{-1}}, ce qui assure que g1g^{-1} est également dérivable à droite en g(0)=0g(0) = 0 avec une dérivée nulle. La fonction g1g^{-1} est donc dérivable sur le segment complet [0;2][0; 2].

Définition · 26

Explicitation de la fonction réciproque

Soit ff une bijection d'un intervalle II sur J=f(I)J = f(I).

xJetyIx \in J \quad \text{et} \quad y \in I

y=f1(x)    f(y)=xy = f^{-1}(x) \iff f(y) = x

Pour déterminer la formule explicite de f1(x)f^{-1}(x), on résout l'équation f(y)=xf(y) = x où l'inconnue est yy. L'unique solution trouvée dans II donne directement f1(x)f^{-1}(x).

Exemple travaillé · 27

Soit ff la fonction définie sur I=[2;+[I = [2; +\infty[ par f(x)=x24x+1f(x) = x^2 - 4x + 1. On admet que ff réalise une bijection de II sur J=[3;+[J = [-3; +\infty[. Expliciter f1(x)f^{-1}(x) pour tout réel xJx \in J.

1

Soit x[3;+[x \in [-3; +\infty[. On cherche l'unique réel y[2;+[y \in [2; +\infty[ vérifiant f(y)=xf(y) = x :

y24y+1=xy^2 - 4y + 1 = x
2

Pour isoler yy élégamment sans discriminant, on met le trinôme sous forme canonique :

(y2)23=x    (y2)2=x+3(y - 2)^2 - 3 = x \iff (y - 2)^2 = x + 3
3

Comme x3x \ge -3, le terme x+3x + 3 est positif. La condition y[2;+[y \in [2; +\infty[ impose y20y - 2 \ge 0, ce qui permet d'extraire la racine carrée sans valeur absolue :

y2=x+3y - 2 = \sqrt{x + 3}
4

On isole yy pour obtenir l'expression de la réciproque :

y=2+x+3    f1(x)=2+x+3y = 2 + \sqrt{x + 3} \implies f^{-1}(x) = 2 + \sqrt{x + 3}

Piège classique · 28

Pour résoudre l'équation y3=xy\sqrt{y - 3} = x - y d'inconnue yy sous la condition y3y \ge 3, quelle contrainte doit-on obligatoirement poser avant d'élever les deux membres au carré ?

Attention

Élever au carré sans imposer la positivité du second membre xyx - y.

À la place : L'égalité A=B\sqrt{A} = B équivaut à A=B2A = B^2 ET B0B \ge 0. Sans la condition xy0x - y \ge 0 (soit yxy \le x), l'élévation au carré introduit des solutions parasites où le membre de droite était négatif.

Exemple travaillé · 29

Soit ff la fonction définie sur I=[1;+[I = [1; +\infty[ par f(x)=x1+x2f(x) = \frac{x}{1 + x^2}. On admet que ff réalise une bijection de II sur J=]0;12]J = ]0; \frac{1}{2}]. Expliciter f1(x)f^{-1}(x) pour tout xJx \in J.

1

Soit x]0;12]x \in ]0; \frac{1}{2}]. On résout f(y)=xf(y) = x d'inconnue y[1;+[y \in [1; +\infty[ :

y1+y2=x    xy2y+x=0\frac{y}{1 + y^2} = x \iff x y^2 - y + x = 0
2

C'est une équation du second degré en yy. Son discriminant vaut :

Δ=(1)24(x)(x)=14x2\Delta = (-1)^2 - 4(x)(x) = 1 - 4x^2
3

Puisque x]0;12]x \in ]0; \frac{1}{2}], on a 4x214x^2 \le 1, donc Δ0\Delta \ge 0. L'équation admet deux solutions réelles :

y1=114x22xety2=1+14x22xy_1 = \frac{1 - \sqrt{1 - 4x^2}}{2x} \quad \text{et} \quad y_2 = \frac{1 + \sqrt{1 - 4x^2}}{2x}
4

Il faut sélectionner la solution appartenant à I=[1;+[I = [1; +\infty[. Pour x=12x = \frac{1}{2}, y1=y2=1y_1 = y_2 = 1. Pour tout x]0;12[x \in ]0; \frac{1}{2}[, on a 0<2x<10 < 2x < 1 et 1+14x2>11 + \sqrt{1 - 4x^2} > 1, d'où y2>1y_2 > 1. À l'inverse, y1<1y_1 < 1.

5

La solution appartenant à [1;+[[1; +\infty[ est donc y2y_2 :

f1(x)=1+14x22xf^{-1}(x) = \frac{1 + \sqrt{1 - 4x^2}}{2x}

Piège classique · 30

Soit gg une bijection de [0;1][0; 1] sur [0;1][0; 1] définie par g(x)=2xx2+1g(x) = \frac{2x}{x^2 + 1}. Pour x]0;1]x \in ]0; 1], l'équation g(y)=xg(y) = x conduit à deux solutions : y1=11x2xy_1 = \frac{1 - \sqrt{1 - x^2}}{x} et y2=1+1x2xy_2 = \frac{1 + \sqrt{1 - x^2}}{x}. Laquelle donne l'expression de g1(x)g^{-1}(x) ?

Attention

Choisir y2y_2 avec le signe « + » sans contrôler son appartenance à l'intervalle de départ [0;1][0; 1].

À la place : Pour x]0;1[x \in ]0; 1[, on a 1+1x2>11 + \sqrt{1 - x^2} > 1 et x<1x < 1, donc 1+1x2x>1\frac{1 + \sqrt{1 - x^2}}{x} > 1. Cette valeur sort de l'intervalle [0;1][0; 1] et doit être rejetée. Seule la solution y1=11x2xy_1 = \frac{1 - \sqrt{1 - x^2}}{x} est comprise entre 00 et 11.

Vérification · 31

Soit ff la fonction définie sur ]1;+[]-1; +\infty[ par f(x)=2x1x+1f(x) = \frac{2x - 1}{x + 1}. On admet que ff réalise une bijection de ]1;+[]-1; +\infty[ sur ];2[]-\infty; 2[. Quelle est l'expression de f1(x)f^{-1}(x) pour x];2[x \in ]-\infty; 2[ ?

Remarque

On résout 2y1y+1=x    2y1=xy+x    y(2x)=x+1\frac{2y - 1}{y + 1} = x \iff 2y - 1 = xy + x \iff y(2 - x) = x + 1. Comme x<2x < 2, 2x>02 - x > 0, on obtient y=x+12xy = \frac{x + 1}{2 - x}.

Définition · 32

Définition de la fonction racine n-ième

Soit nn un entier naturel tel que n2n \ge 2.

xxn est continue et strictement croissante sur [0;+[x \mapsto x^n \text{ est continue et strictement croissante sur } [0; +\infty[

xxn reˊalise une bijection de [0;+[ sur [0;+[x \mapsto x^n \text{ réalise une bijection de } [0; +\infty[ \text{ sur } [0; +\infty[

Sa fonction réciproque est appelée fonction racine nieˋmen^{\text{ième}}, notée xxnx \mapsto \sqrt[n]{x}.

x,y[0;+[,y=xn    x=yn\forall x, y \in [0; +\infty[, \quad y = x^n \iff x = \sqrt[n]{y}

Remarque

Pour tout réel x0x \ge 0, on a (xn)n=x(\sqrt[n]{x})^n = x et xnn=x\sqrt[n]{x^n} = x. Lorsque n=2n = 2, on note simplement x\sqrt{x} au lieu de x2\sqrt[2]{x}.

Exemple travaillé · 33

Simplifier les réels A=7293A = \sqrt{\sqrt[3]{729}} et B=223B = \sqrt[3]{2\sqrt{2}} à l'aide des propriétés algébriques des radicaux.

1

Pour simplifier AA, on utilise la règle des racines imbriquées apn=anp\sqrt[n]{\sqrt[p]{a}} = \sqrt[np]{a} avec n=2n = 2 et p=3p = 3 :

A=7292×3=7296A = \sqrt[2 \times 3]{729} = \sqrt[6]{729}
2

On décompose 729729 en puissances de facteurs premiers : 729=36729 = 3^6. On applique ensuite ann=a\sqrt[n]{a^n} = a :

A=366=3A = \sqrt[6]{3^6} = 3
3

Pour simplifier BB, on fait entrer le facteur 22 sous la racine carrée interne en écrivant 2=222 = \sqrt{2^2} :

22=22×2=232\sqrt{2} = \sqrt{2^2 \times 2} = \sqrt{2^3}
4

On transforme l'imbrication en une racine sixième puis on simplifie par l'exposant commun 33 via apnp=an\sqrt[np]{a^p} = \sqrt[n]{a} :

B=233=236=2B = \sqrt[3]{\sqrt{2^3}} = \sqrt[6]{2^3} = \sqrt{2}

Définition · 34

Continuité et dérivabilité de la racine n-ième

xxn est continue sur [0;+[ et deˊrivable sur ]0;+[x \mapsto \sqrt[n]{x} \text{ est continue sur } [0; +\infty[ \text{ et dérivable sur } ]0; +\infty[

x>0,(xn)=1nxn1n\forall x > 0, \quad (\sqrt[n]{x})' = \frac{1}{n\sqrt[n]{x^{n-1}}}

En 00, la dérivée de xxnx \mapsto x^n s'annule pour n2n \ge 2 : la courbe de la racine nn-ième admet donc une demi-tangente verticale en 00 et la fonction n'y est pas dérivable.

Dérivation d'une composée

u deˊrivable et strictement positive sur un intervalle Iu \text{ dérivable et strictement positive sur un intervalle } I

(u(x)n)=u(x)n(u(x))n1n(\sqrt[n]{u(x)})' = \frac{u'(x)}{n\sqrt[n]{(u(x))^{n-1}}}

Exemple travaillé · 35

Soit la fonction ff définie sur R\mathbb{R} par f(x)=x2+13f(x) = \sqrt[3]{x^2 + 1}. Justifier que ff est dérivable sur R\mathbb{R} et calculer f(x)f'(x) pour tout réel xx.

1

On pose u(x)=x2+1u(x) = x^2 + 1. La fonction uu est polynomiale, donc dérivable sur R\mathbb{R}.

2

Pour tout réel xx, x20x^2 \ge 0, d'où u(x)=x2+11>0u(x) = x^2 + 1 \ge 1 > 0. La fonction sous le radical ne s'annule jamais.

3

D'après le théorème de dérivation des composées avec une racine nn-ième, ff est dérivable sur R\mathbb{R}.

4

On applique la formule avec n=3n = 3 et u(x)=2xu'(x) = 2x :

f(x)=u(x)3(u(x))313=2x3(x2+1)23f'(x) = \frac{u'(x)}{3\sqrt[3]{(u(x))^{3-1}}} = \frac{2x}{3\sqrt[3]{(x^2 + 1)^2}}

Piège classique · 36

Pour tout réel x>0x > 0, l'inégalité x4x3\sqrt[4]{x} \le \sqrt[3]{x} est-elle toujours vraie ?

Attention

Affirmer que x4x3\sqrt[4]{x} \le \sqrt[3]{x} est toujours vraie en testant uniquement des grands nombres (par exemple pour x=16x = 16, 164=2\sqrt[4]{16} = 2 et 1632,52\sqrt[3]{16} \approx 2{,}52).

À la place : L'ordre s'inverse selon la position de xx par rapport à 11 : pour 0<x<10 < x < 1, on a au contraire x4>x3\sqrt[4]{x} > \sqrt[3]{x}. Par exemple, pour x=164x = \frac{1}{64}, 1643=14=0,25\sqrt[3]{\frac{1}{64}} = \frac{1}{4} = 0{,}25 alors que 16440,35\sqrt[4]{\frac{1}{64}} \approx 0{,}35.

Vérification · 37

Que vaut la limite du taux d'accroissement à droite en 00 de la fonction racine cubique limx0+x3x\lim_{x \to 0^+} \frac{\sqrt[3]{x}}{x}, et que traduit-elle graphiquement ?

Remarque

Pour tout x>0x > 0, x3x=1x23\frac{\sqrt[3]{x}}{x} = \frac{1}{\sqrt[3]{x^2}}. Lorsque x0+x \to 0^+, le dénominateur tend vers 0+0^+, donc le rapport tend vers ++\infty. La courbe admet une demi-tangente verticale en 00 et la fonction n'est pas dérivable à droite en 00.

Chapitres liés

Continuer sur Lumio

Ce chapitre compte 0 exercices dans Lumio, servis un par un selon ce que tu réussis et ce que tu rates, avec la correction détaillée à chaque étape.

Créer mon compte gratuitement