$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Exercices corrigés - Fonctions réciproques

Exercice 1 - Réciproque en théorie et en pratique [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f$ la fonction définie sur $[1,+\infty[$ par $f(x)=\sqrt{x^3-1}$.
  1. En étudiant la fonction $f$, démontrer que $f$ réalise une bijection de $[1,+\infty[$ sur un intervalle que l'on précisera.
  2. Retrouver le résultat de la première question et donner une expression explicite de $f^{-1}$ en résolvant l'équation $y=f(x)$ d'inconnue $x\in[1,+\infty[$.
Corrigé
Exercice 2 - Réciproque de la fonction tangente hyperbolique [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
On considère la fonction $f$ définie sur $\mathbb R$ par $\displaystyle f(x) = \frac{\mathrm e^x - 1}{\mathrm e^x + 1}$.
  1. Étudier les variations, déterminer les limites en $\pm\infty$, puis tracer le graphe de la fonction $f$.
  2. En déduire que $f$ est une bijection de $\mathbb R$ sur un intervalle $J$ que l'on précisera.
  3. Donner la réciproque de $f$.
Corrigé
Exercice 3 - Étude de fonction et réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:[1,+\infty[\to[1,+\infty[$ définie par $f(x)=\exp(\ln^2 (x))$. Démontrer que $f$ est une bijection, et déterminer la bijection réciproque.
Corrigé
Exercice 4 - Etude de fonction et de la réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:\mathbb R\to\mathbb R$ définie par $f(x)=xe^x$.
  1. Etudier les variations de $f$ et ses limites en $\pm \infty$. Préciser la tangente à la courbe représentative de $f$ en l'origine.
  2. Démontrer que $f$ induit une bijection $h$ de $[-1,+\infty[$ sur $[-e^{-1}, +\infty[$.
  3. On note $W$ l'application réciproque de $h$. Justifier que $W$ est dérivable sur $]-e^{-1}, +\infty[$ et vérifier que, pour $x\neq 0$, $$W'(x)=\frac{W(x)}{x(1+W(x))}.$$
Indication
Corrigé
Exercice 5 - Dérivée de la bijection réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Pour $x\in\mathbb R$, on pose $f(x)=xe^{1-x}$.
  1. Justifier que $f$ réalise une bijection de $]-\infty,1[$ sur un intervalle $J$ que l'on déterminera. On note $g:J\to ]-\infty,1[$ sa bijection réciproque.
  2. Justifier que $g$ est dérivable sur $J$. En remarquant que $f(-1)=-e^{2}$, calculer $g'(-e^2)$.
Corrigé
Exercice 6 - Dérivée de la bijection réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:[0;+\infty[\to [0;+\infty[$ définie par $f(x)=xe^x$. Démontrer que $f$ est bijective. Calculer $(f^{-1})'(e)$.
Indication
Corrigé
Exercice 7 - Dérivée de la réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Démontrer que les fonctions suivantes sont bijectives, et donner l'équation de la tangente à la courbe $y=f^{-1}(x)$ au point $x=0$.
  1. $f:]0,+\infty[\to \mathbb R$, $f(x)=-1+e^{x-1}+\ln x$;
  2. $f:\mathbb R\to\mathbb R$, $f(x)=4x+\sin^4 x$.
Indication
Corrigé
Exercice 8 - Une étude de fonction, fonction réciproque [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f$ la fonction définie sur $\mathbb R$ par $f(x)=\cos(\arctan(2x+1))$.
  1. Étudier le sens de variation de $f$, ses limites en $\pm\infty$.
  2. Résoudre l'équation $f(x)=\frac1{\sqrt 2}$.
  3. Montrer que la restriction de $f$ à $[-1/2,+\infty[$ admet une fonction réciproque $g$ dont on précisera l'ensemble de définition.
  4. Calculer $g'(\sqrt 2/2)$.
Indication
Corrigé
Enoncé
Soit $f$ la fonction définie sur $\mathbb R$ par $$f(x)=\left\{ \begin{array}{ll} x&\textrm{ si }x<1\\ x^2&\textrm{ si }1\leq x\leq 4\\ 8\sqrt x&\textrm{ si }x>4. \end{array} \right.$$ Démontrer que $f$ est continue, puis que $f$ réalise une bijection de $\mathbb R$ sur $\mathbb R$. Déterminer la bijection réciproque $f^{-1}$.
Corrigé
Exercice 10 - Fonction réciproque et fonctions circulaires réciproques [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f$ la fonction définie par $2\arcsin x+\arcsin f(x)=\frac{\pi}6$. Donner l'ensemble de définition de $f$. Prouver qu'elle admet une fonction réciproque dont on donnera l'ensemble de définition.
Corrigé
Exercice 11 - Fonction réciproque et parité [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Démontrer que la fonction réciproque d'une fonction impaire bijective $f:\mathbb R\to\mathbb R$ est impaire. Que dire pour une fonction paire?
Indication
Corrigé
Exercice 12 - Symétrie par rapport à la première bissectrice [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f:\mathbb R\to\mathbb R$ dont la courbe représentative $\mathbf C$ est symétrique par rapport à la première bissectrice du repère.
  1. Démontrer que pour tout $x\in\mathbb R$, on a $f(f(x))=x$.
  2. Démontrer que si $\mathbf C$ n'est pas la première bissectrice du repère, alors $f$ n'est pas croissante.
  3. En déduire, si on suppose de plus que $f$ est continue, qu'elle est strictement décroissante.
  4. Donner un exemple de fonction non décroissante dont la courbe représentative $\mathbf C$ est symétrique par rapport à la première bissectrice (sans être celle-ci).
Indication
Corrigé