ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Bijection réciproque

Exercice 16

DémonstrationCalcul

Dans chacun des cas suivants, déterminer J=f(I)J=f(I), montrer que ff réalise une bijection de II sur JJ, puis préciser f−1f^{-1}.

1. f(x)=x2−4x+3f(x)=x^{2}-4x+3 et I=  ]−∞ ;2]I=\;]-\infty\,;2]

2. f(x)=2x−1x+2f(x)=\dfrac{2x-1}{x+2} et I=  ]−2 ;+∞[I=\;]-2\,;+\infty[

3. f(x)=2x+3−1f(x)=\sqrt{2x+3}-1 et I=[−32 ;+∞[I=\left[-\dfrac{3}{2}\,;+\infty\right[

Corrigé

1. On écrit f(x)=x2−4x+3=(x−2)2−1f(x)=x^{2}-4x+3=(x-2)^{2}-1. Sur I=  ]−∞ ;2]I=\;]-\infty\,;2], la fonction est strictement décroissante, avec f(2)=−1f(2)=-1 et f(x)→+∞f(x) \to +\infty quand x→−∞x \to -\infty : J=[−1 ;+∞[\boxed{J=[-1\,;+\infty[} Soit y∈Jy \in J. L'équation (x−2)2−1=y(x-2)^{2}-1=y équivaut à (x−2)2=y+1(x-2)^{2}=y+1, avec y+1⩾0y+1 \geqslant 0, donc à x−2=±y+1x-2=\pm\sqrt{y+1}. La contrainte x⩽2x \leqslant 2 impose x=2−y+1x=2-\sqrt{y+1} : chaque yy de JJ a donc un unique antécédent dans II. f reˊalise une bijection de I sur J, et f−1(y)=2−y+1\boxed{f \text{ réalise une bijection de } I \text{ sur } J, \text{ et } f^{-1}(y)=2-\sqrt{y+1}}

2. On écrit f(x)=2x−1x+2=2−5x+2f(x)=\dfrac{2x-1}{x+2}=2-\dfrac{5}{x+2}. Sur I=  ]−2 ;+∞[I=\;]-2\,;+\infty[, le dénominateur x+2x+2 est strictement positif et croissant, donc ff est strictement croissante, avec f(x)→−∞f(x) \to -\infty quand x→−2+x \to -2^{+} et f(x)→2−f(x) \to 2^{-} quand x→+∞x \to +\infty : J=  ]−∞ ;2[\boxed{J=\;]-\infty\,;2[} Soit y∈Jy \in J. On résout : y=2−5x+2  ⟺  5x+2=2−y  ⟺  x+2=52−y  ⟺  x=52−y−2=2y+12−yy=2-\frac{5}{x+2} \iff \frac{5}{x+2}=2-y \iff x+2=\frac{5}{2-y} \iff x=\frac{5}{2-y}-2=\frac{2y+1}{2-y} Ce réel est bien strictement supérieur à −2-2 puisque 52−y>0\dfrac{5}{2-y}>0. f reˊalise une bijection de I sur J, et f−1(y)=2y+12−y\boxed{f \text{ réalise une bijection de } I \text{ sur } J, \text{ et } f^{-1}(y)=\dfrac{2y+1}{2-y}}

3. Sur I=[−32 ;+∞[I=\left[-\dfrac{3}{2}\,;+\infty\right[, la quantité 2x+32x+3 est positive et croissante, donc ff est strictement croissante, avec f(−32)=−1f\left(-\dfrac{3}{2}\right)=-1 et f(x)→+∞f(x) \to +\infty : J=[−1 ;+∞[\boxed{J=[-1\,;+\infty[} Soit y∈Jy \in J. Comme y+1⩾0y+1 \geqslant 0 : y=2x+3−1  ⟺  2x+3=y+1  ⟺  2x+3=(y+1)2  ⟺  x=(y+1)2−32y=\sqrt{2x+3}-1 \iff \sqrt{2x+3}=y+1 \iff 2x+3=(y+1)^{2} \iff x=\frac{(y+1)^{2}-3}{2}

f reˊalise une bijection de I sur J, et f−1(y)=(y+1)2−32\boxed{f \text{ réalise une bijection de } I \text{ sur } J, \text{ et } f^{-1}(y)=\dfrac{(y+1)^{2}-3}{2}}

Piège : l'équivalence u=v  ⟺  u=v2\sqrt{u}=v \iff u=v^{2} n'est correcte que sous la condition v⩾0v \geqslant 0, ici assurée par y∈[−1 ;+∞[y \in [-1\,;+\infty[.

Dans l'édifice

Thèmes

bijectivité

Notions

bijection

Ouvrir dans l'atlas interactif →