Inversion locale et implicites en L3 de maths : exercices corrigés
Ces exercices inversion L3 entraînent les quatre gestes du chapitre : vérifier qu’une application est un difféomorphisme, appliquer l’inversion locale, résoudre une équation grâce aux fonctions implicites et calculer un espace tangent. Les énoncés mêlent calculs de jacobiens, développements limités, matrices et courbes singulières.
La première série vérifie les réflexes de base sur des exemples courts. La deuxième demande des rédactions complètes, avec hypothèses et conclusions précises. La troisième rassemble des questions de synthèse et un problème qui refait la preuve de l’inversion locale avec un rayon explicite. Nous conseillons de chercher chaque exercice au moins vingt minutes avant d’ouvrir le corrigé détaillé, publié dans un article séparé.
Pour démarrer
Exercice 1 – Une bijection lisse qui n’est pas un difféomorphisme
On définit \(h : \mathbb{R}^2 \to \mathbb{R}^2\) par \(h(x,y) = (x^3,\; x + y)\).
- Montrer que \(h\) est une bijection de \(\mathbb{R}^2\) sur \(\mathbb{R}^2\) et expliciter \(h^{-1}\).
- Vérifier que \(h\) est de classe \(C^\infty\) et que \(h^{-1}\) est continue.
- Calculer le jacobien de \(h\). En déduire que \(h\) n’est pas un \(C^1\)-difféomorphisme de \(\mathbb{R}^2\).
- Montrer que \(h\) induit un \(C^\infty\)-difféomorphisme de \(\{x \neq 0\}\) sur \(\{u \neq 0\}\).
Exercice 2 – Inversion locale près de l’origine
Soit \(f : \mathbb{R}^2 \to \mathbb{R}^2\) définie par \(f(x,y) = (xe^y,\; x + y)\).
- Calculer la matrice jacobienne de \(f\) et son déterminant.
- Déterminer l’ensemble des points où le théorème d’inversion locale s’applique.
- Montrer que \(f\) induit un difféomorphisme d’un voisinage de \((0,0)\) sur un voisinage de \((0,0)\). Donner la jacobienne de la réciproque locale en \((0,0)\).
- Reprendre la question précédente au point \((2,0)\) et donner la jacobienne de la réciproque locale en \(f(2,0)\).
Exercice 3 – Tangente à une quartique implicite
On considère la courbe \(\Gamma = \{(x,y) \in \mathbb{R}^2 : x^4 + xy + y^3 = 3\}\).
- Vérifier que le point \((1,1)\) appartient à \(\Gamma\).
- Montrer qu’il existe un intervalle ouvert \(I\) contenant \(1\) et une fonction \(\varphi\) de classe \(C^\infty\) sur \(I\) telle que \(\Gamma\) coïncide près de \((1,1)\) avec le graphe de \(\varphi\).
- Calculer \(\varphi^{\prime}(1)\) et donner l’équation de la tangente à \(\Gamma\) en \((1,1)\).
- Montrer que, près de \((1,1)\), on peut aussi écrire \(x = \psi(y)\), et calculer \(\psi^{\prime}(1)\).
Exercice 4 – Plan tangent à une surface cubique
Soit \(S = \{(x,y,z) \in \mathbb{R}^3 : z^3 + xz + y^2 = 3\}\).
- Montrer que \(S\) est une sous-variété de dimension \(2\) de \(\mathbb{R}^3\).
- Vérifier que \(a = (1,1,1)\) appartient à \(S\) et donner l’équation du plan tangent affine en \(a\).
- Donner une base de l’espace tangent vectoriel \(T_aS\).
Exercice 5 – Un paraboloïde paramétré
Soit \(\gamma : \mathbb{R}^2 \to \mathbb{R}^3\) définie par \(\gamma(u,v) = (u + v,\; uv,\; u^2 + v^2)\), et \(P = \{(x,y,z) : z = x^2 – 2y\}\).
- Déterminer les points \((u,v)\) où \(d\gamma(u,v)\) est injective.
- Montrer que l’image de \(\gamma\) est contenue dans \(P\), et que \(P\) est une surface.
- Calculer l’espace tangent à \(P\) en \(\gamma(1,0)\) de deux façons : avec \(\gamma\), puis avec une équation de \(P\). Comparer.
Exercice 6 – Fonction implicite de deux variables
On pose \(F(x,y,z) = ze^z + x + 2y – xy\) sur \(\mathbb{R}^3\).
- Montrer qu’il existe un voisinage \(U\) de \((0,0)\) et une fonction \(\varphi\) de classe \(C^\infty\) sur \(U\), nulle en \((0,0)\), telle que \(F(x,y,\varphi(x,y)) = 0\) sur \(U\).
- Calculer les dérivées partielles de \(\varphi\) en \((0,0)\).
- En déduire un développement limité d’ordre \(1\) de \(\varphi\) en \((0,0)\) et le plan tangent en l’origine à la surface \(F = 0\).
Pour s’entraîner
Exercice 7 – Somme et produit de deux réels
Soit \(f(u,v) = (u + v,\; uv)\), \(U = \{(u,v) \in \mathbb{R}^2 : u > v\}\) et \(V = \{(s,p) \in \mathbb{R}^2 : s^2 > 4p\}\).
- Calculer le jacobien de \(f\) et vérifier qu’il ne s’annule pas sur \(U\).
- Montrer que \(f\) est injective sur \(U\) et que \(f(U) = V\).
- En déduire que \(f\) est un \(C^\infty\)-difféomorphisme de \(U\) sur \(V\), et expliciter sa réciproque.
- Calculer la jacobienne de \(f^{-1}\) au point \((3,2)\) de deux façons.
Exercice 8 – Une perturbation de l’identité dans le plan
On munit \(\mathbb{R}^2\) de la norme euclidienne et on pose \(\Psi(x,y) = \big(4x + \sin(x+y),\; 4y + \cos(x-y)\big)\), puis \(g(x,y) = \big(\sin(x+y), \cos(x-y)\big)\).
- Montrer que \(\|dg(p)h\| \leq \sqrt{2}\,\|h\|\) pour tous \(p, h \in \mathbb{R}^2\). En déduire que \(g\) est \(\sqrt{2}\)-lipschitzienne.
- Montrer que \(\|\Psi(p) – \Psi(q)\| \geq (4 – \sqrt{2})\|p – q\|\). Conclure que \(\Psi\) est injective.
- Montrer que \(\Psi\) est surjective, grâce à une application contractante bien choisie.
- Démontrer que \(\Psi\) est un \(C^\infty\)-difféomorphisme de \(\mathbb{R}^2\) sur lui-même.
Exercice 9 – Développement limité d’une fonction implicite
On considère l’équation \(\sin y + 2y = x + x^2\), d’inconnue \(y \in \mathbb{R}\), où \(x \in \mathbb{R}\) est un paramètre.
- Montrer que, pour tout réel \(x\), l’équation possède une unique solution, notée \(\varphi(x)\).
- Montrer que \(\varphi\) est de classe \(C^\infty\) sur \(\mathbb{R}\).
- Calculer le développement limité de \(\varphi\) à l’ordre \(3\) en \(0\).
- Déterminer un équivalent de \(\varphi(x)\) quand \(x\) tend vers \(+\infty\).
Exercice 10 – Intersection d’une sphère et d’une selle
Soit \(C\) l’ensemble des points de \(\mathbb{R}^3\) qui vérifient \(x^2 + y^2 + z^2 = 9\) et \(z = xy – 3\).
- Vérifier que \(a = (2,2,1)\) appartient à \(C\).
- Montrer que \(C\) est une courbe au voisinage de \(a\), c’est-à-dire une sous-variété de dimension \(1\).
- Déterminer un vecteur directeur de la tangente à \(C\) en \(a\).
- Montrer que, près de \(a\), la courbe se paramètre par \(x\) sous la forme \((x, y(x), z(x))\). Calculer \(y^{\prime}(2)\) et \(z^{\prime}(2)\).
Exercice 11 – Racine simple d’une équation du troisième degré
Pour \((p,q) \in \mathbb{R}^2\), on considère l’équation \(t^3 + pt + q = 0\), d’inconnue réelle \(t\). La figure montre le polynôme pour \((p,q) = (-3,2)\) et pour deux valeurs voisines de \(q\).

- Factoriser \(t^3 – 3t + 2\) et préciser la multiplicité de chaque racine.
- Montrer qu’il existe un voisinage \(W\) de \((-3,2)\) et une fonction \(r\) de classe \(C^\infty\) sur \(W\) telle que \(r(-3,2) = -2\) et \(r(p,q)^3 + p\,r(p,q) + q = 0\) sur \(W\).
- Calculer les dérivées partielles de \(r\) en \((-3,2)\).
- Montrer qu’il n’existe aucune fonction continue \(\rho\), définie sur un voisinage de \((-3,2)\), telle que \(\rho(-3,2) = 1\) et que \(\rho(p,q)\) soit une racine de l’équation.
Exercice 12 – Les matrices de déterminant 1
On note \(\mathrm{SL}_n(\mathbb{R}) = \{A \in M_n(\mathbb{R}) : \det A = 1\}\), avec \(n \geq 2\).
- Montrer que \(d(\det)(I_n)(H) = \mathrm{tr}\, H\). En déduire, pour \(A\) inversible, que \(d(\det)(A)(H) = \det(A)\,\mathrm{tr}(A^{-1}H)\).
- Montrer que \(\mathrm{SL}_n(\mathbb{R})\) est une sous-variété de \(M_n(\mathbb{R})\), dont on donnera la dimension.
- Déterminer l’espace tangent en \(I_n\), puis en un point \(A\) quelconque de \(\mathrm{SL}_n(\mathbb{R})\).
- Pour \(n = 2\) et \(A = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}\), donner une équation de \(T_A\mathrm{SL}_2(\mathbb{R})\) en fonction des coefficients \(a, b, c, d\) d’une matrice \(H = \begin{pmatrix} a & b \\ c & d \end{pmatrix}\).
Exercice 13 – Racine carrée d’une matrice proche de l’identité
Soit \(S : M_n(\mathbb{R}) \to M_n(\mathbb{R})\), \(S(M) = M^2\).
- Montrer que \(S\) est de classe \(C^\infty\) et que \(dS(A)(H) = AH + HA\).
- Montrer qu’il existe des ouverts \(V\) et \(W\) contenant \(I_n\) tels que \(S\) soit un \(C^\infty\)-difféomorphisme de \(V\) sur \(W\). On note \(R\) sa réciproque.
- Montrer que \(R(I_n + H) = I_n + \frac{1}{2}H + o(\|H\|)\).
- Pour \(n = 2\) et \(A = \mathrm{diag}(1,-1)\), trouver \(H \neq 0\) tel que \(dS(A)(H) = 0\). Montrer ensuite que \(S\) n’est injective sur aucun voisinage de \(A\).
Exercice 14 – Le huit de Gerono n’est pas une sous-variété
Soit \(\Gamma = \{(x,y) \in \mathbb{R}^2 : x^4 – x^2 + y^2 = 0\}\), représentée ci-dessous.

- Déterminer les points de \(\Gamma\) où le gradient de \(F(x,y) = x^4 – x^2 + y^2\) s’annule.
- En déduire que \(\Gamma \setminus \{(0,0)\}\) est une sous-variété de dimension \(1\) de \(\mathbb{R}^2\).
- Vérifier que \(b = \big(\frac{1}{\sqrt{2}}, \frac{1}{2}\big)\) appartient à \(\Gamma\) et donner la tangente en \(b\).
- Trouver deux courbes \(C^1\) tracées sur \(\Gamma\), passant par l’origine avec des vitesses non colinéaires. Conclure que \(\Gamma\) n’est pas une sous-variété au voisinage de l’origine.
Pour approfondir
Exercice 15 – Un difféomorphisme global du plan
Soit \(f : \mathbb{R}^2 \to \mathbb{R}^2\), \(f(x,y) = (x^3 + x – y,\; y^3 + y + x)\). On munit \(\mathbb{R}^2\) du produit scalaire usuel.
- Montrer que le jacobien de \(f\) est minoré par \(2\).
- Montrer que \(f\) est injective. On pourra comparer les signes de \(x – x^{\prime}\) et \(y – y^{\prime}\).
- Montrer que \(\langle f(p), p \rangle \geq \|p\|^2\) et en déduire \(\|f(p)\| \geq \|p\|\) pour tout \(p\).
- Montrer que \(f(\mathbb{R}^2)\) est à la fois ouvert et fermé dans \(\mathbb{R}^2\).
- Conclure que \(f\) est un \(C^\infty\)-difféomorphisme de \(\mathbb{R}^2\) sur \(\mathbb{R}^2\).
Exercice 16 – Racines d’un polynôme et coefficients
On définit \(\sigma : \mathbb{R}^3 \to \mathbb{R}^3\) par \(\sigma(\lambda_1, \lambda_2, \lambda_3) = (\lambda_1 + \lambda_2 + \lambda_3,\; \lambda_1\lambda_2 + \lambda_1\lambda_3 + \lambda_2\lambda_3,\; \lambda_1\lambda_2\lambda_3)\), et \(\Delta = \{\lambda_1 < \lambda_2 < \lambda_3\}\).
- Montrer que \(\det J_\sigma(\lambda) = (\lambda_1 – \lambda_2)(\lambda_1 – \lambda_3)(\lambda_2 – \lambda_3)\).
- Montrer que \(\sigma\) est injective sur \(\Delta\). On pourra introduire le polynôme \((t – \lambda_1)(t – \lambda_2)(t – \lambda_3)\).
- En déduire que \(\sigma(\Delta)\) est un ouvert et que \(\sigma\) est un \(C^\infty\)-difféomorphisme de \(\Delta\) sur \(\sigma(\Delta)\). Interpréter en termes de racines d’un polynôme.
- On considère \(P(t) = t^3 – 6t^2 + 11t – 6\). Calculer ses racines, puis les dérivées partielles de la plus petite racine par rapport à \(\sigma_1\), \(\sigma_2\) et \(\sigma_3\) au point \((6, 11, 6)\).
Exercice 17 – Problème – Un rayon explicite d’inversion locale
On munit \(\mathbb{R}^2\) de la norme \(\|(x,y)\|_\infty = \max(|x|,|y|)\). On pose \(f(x,y) = (x + y^2,\; y + x^2)\) et \(g(x,y) = (y^2, x^2)\), de sorte que \(f = \mathrm{id} + g\). Pour \(r > 0\), on note \(B_r = \{p : \|p\|_\infty \leq r\}\).
- Calculer le jacobien de \(f\) et décrire l’ensemble \(Z\) où il s’annule.
- Vérifier que \(f(x, 1-x) = f(1-x, x)\) pour tout réel \(x\). En déduire que \(f\) n’est pas injective sur \(\mathbb{R}^2\), bien que son jacobien soit non nul en \((0,1)\) et en \((1,0)\).
- Montrer que, sur \(B_r\), l’application \(g\) est \(2r\)-lipschitzienne et vérifie \(\|g(p)\|_\infty \leq r^2\).
- On prend \(r = \frac{1}{4}\). Montrer que, pour tout \(b\) tel que \(\|b\|_\infty \leq \frac{3}{16}\), l’équation \(f(p) = b\) possède une unique solution \(p = \varpi(b)\) dans \(B_{1/4}\).
- Montrer que \(\varpi\) est \(2\)-lipschitzienne, puis qu’elle est de classe \(C^\infty\) à l’intérieur de \(B_{3/16}\).
- En itérant la relation \(p = b – g(p)\), montrer que, pour \(b = (u,v)\) proche de \(0\), \[\varpi(u,v) = \big(u – v^2 + 2u^2v,\; v – u^2 + 2uv^2\big) + O\big(\|b\|_\infty^4\big).\]
Pour aller plus loin
- Revoir la leçon : cours de L3 de maths sur inversion locale et implicites
- Bases utiles : Différentielle de Fréchet et formules de Taylor, Suites de Cauchy, espaces complets et point fixe
- Chapitre d’avant : Différentielle de Fréchet et formules de Taylor
- Chapitre d’après : Optimisation : extrema liés, Lagrange et convexité
- Vérifier ses acquis : QCM de L3 de maths sur inversion locale et implicites
- Contrôle corrigé en temps limité : Difféomorphismes et fonctions implicites : contrôle de maths en L3
- Un autre sujet noté sur 20 : Examen de calcul différentiel : contrôle de maths en L3
- Tous les chapitres : le sommaire de la L3 de maths
- Après le bac : les maths post-bac, de la MPSI à la L3
Télécharger ou imprimer cette fiche «inversion locale et implicites en L3 de maths : exercices corrigés» au format PDF afin de pouvoir travailler en totale autonomie.


























