Aller au contenu

Mines Maths 1 PSI 2012

pour ajouter aux favoris
pour marquer comme fait

Corrigé de l’épreuve

Accès immédiat aux corrigés

Débloque tous les corrigés des écrits et oraux et optimise ta préparation aux concours.

Débloquer l’accès 🔓

Déjà inscrit ? Connecte-toi ici.

Énoncé de l’épreuve

💡 Si un sujet identique a été utilisé par le concours pour différentes filières, le sujet affiché ci-dessous peut-être celui d'une autre filière. Le contenu reste identique.

Signaler un problème technique avec cet énoncé

Questions du sujet

1. Déterminer dans le quart de plan $x \geq 0, y \leq 0$, une équation polaire de la lemniscate sous la forme $\rho = g(\theta)$ où la fonction $g$ est définie sur l’intervalle $[-\pi/4,0]$. Préciser les symétries permettant de recouvrir l’ensemble de la courbe. 2. Montrer que $g$ constitue une bijection de $[-\pi/4,0]$ sur $[0,1]$. 3. Déterminer les tangentes à la lemniscate en $(0,0)$. 4. Déterminer dans le demi-plan $x \geq 0$, une équation paramétrique de la lemniscate en fonction de $\rho$ et en déduire que l’abscisse curviligne $s$ vérifie l’équation différentielle suivante sur $[0,1]$ : \[ s'(\rho) = \frac{1}{\sqrt{1-\rho^4}}. \] 5. Montrer que l’intégrale $\int_0^1 \frac{dr}{\sqrt{1-r^4}}$ converge.} 6. Que représente $\sigma$ ? 7. Montrer que la fonction $F$ est continue sur $[-1,1]$ et de classe $C^{\infty}$ sur $]-1,1[$. 8. Dessiner le graphe de $F$ et en préciser le tableau de variations. 9. Montrer que $F$ est développable en série entière sur $]-1,1[$. 10. Donner l’expression des coefficients $a_n$ de cette série.} 11. Montrer que la série de terme général $a_n$ converge (on pourra utiliser la formule de Stirling : $n! \sim \sqrt{2\pi n}n^ne^{-n}$) et a pour somme $\sigma$. 12. Montrer que $F$ admet une fonction réciproque $F^{-1}$, continue et impaire sur $[-\sigma,\sigma]$. 13. Montrer que $F^{-1}$ est de classe $C^1$ sur $]-\sigma,\sigma[$, calculer sa dérivée, en déduire qu’elle est de classe $C^1$ sur $[-\sigma,\sigma]$. 14. Montrer que si on prolonge $F^{-1}$ à $[-\sigma,3\sigma]$ en opérant sur son graphe une symétrie par rapport à la droite $x = 2\sigma$, puis on prolonge $F^{-1}$ à $\R$ tout entier par périodicité, on note $\sl$ la fonction ainsi construite. 15. Montrer que $\sl$ est de classe $C^1$ sur $\R$ et exprimer sa fonction dérivée.} 16. Tracer le graphe de $\sl$ sur $[0,3\sigma]$. 17. Montrer que $\sl$ est de classe $C^2$ et vérifie l’équation différentielle suivante sur $\R$ : \[ \sl”(x) + 2\,\sl^3(x) = 0. \] 18. Montrer que la fonction $H$ définie par \[ H(x)=f’^2(x)+f^4(x) \] est constante sur $\R$. On note encore $H$ cette constante. 19. Montrer que $q$ est de classe $C^1$ sur tout intervalle ouvert $\rbracket{\alpha,\beta}$ où $f’$ ne s’annule pas et calculer alors sa dérivée. En déduire qu’il existe une constante $b \in \mathbb{R}$ telle que \[ f(x)=H^{1/4}\sl(H^{1/4}x+b) \] pour tout $x \in \rbracket{\alpha,\beta}$. 20. En déduire que $f’$ s’annule au moins une fois sur tout intervalle ouvert de longueur supérieure à $2\sigma H^{-1/4}$.} 21. Soit $x_0$ une racine de $f’$, démontrer que $f”'(x_0)\neq 0$ et en déduire l’existence de $u_1$ et $u_2$, $u_1 < x_0 < u_2$, tels que $f'$ ne s'annule pas sur $]u_1,x_0[\cup ]x_0,u_2[$. 22. Démontrer l'existence de $x_1 = \inf\{x > x_0 \mid f'(x) = 0\}$. Montrer que $x_1 > x_0$ et $f'(x_1) = 0$. En déduire la valeur de $x_1-x_0$. 23. De même on pose $x_{-1} = \sup\{x < x_0 \mid f'(x) = 0\}$. Montrer que $f$ vérifie (8) pour tout $x \in ]x_{-1},x_1[$, puis sur $\R$ tout entier. 24. Montrer que pour tout $x$ réel on a \[ \sl^2(x)+\cl^2(x)=1 \] si l'on note $\cl$ la fonction définie par \[ \cl(x) = \frac{\sl'(x)}{1+\sl^2(x)}. \] 25. Montrer que pour tout $x$ réel on a \[ \cl(x) = \sl(\sigma - x) \] } 26. Calculer la fonction dérivée de $\cl$ de la fonction $\cl$ et en déduire que \[ \cl'(x) = -\sl(x)\cl^2(x). \] 27. Montrer que $G$ vérifie l'équation \[ \frac{\partial G}{\partial x} = \frac{\partial G}{\partial y} \] en déduire que pour tout $a$ dans $\mathbb{R}$, $G$ est constante le long de la droite d'équation $x+y=a$. 28. Montrer que \[ \sl(x+y) = G(x,y) \] et en déduire une formule d'addition pour la fonction $\sl$, c'est-à-dire une expression de $\sl(x+y)$ ne faisant intervenir que $\sl(x)$, $\sl(y)$, $\cl(x)$ et $\cl(y)$. 29. Démontrer la formule de Fagnano, valable dans un intervalle $[-\alpha, \alpha]$ que l'on précisera : \[ 2\int_0^z \frac{dr}{\sqrt{1 - r^4}} = \int_0^{\frac{2z}{1+z^2}} \frac{dr}{\sqrt{1 - r^4}}. \] }

FAQ

“`html
Quelle est la forme polaire de la lemniscate dans le quart de plan \(x \geq 0, y \leq 0\) ?

Dans le quart de plan \(x \geq 0, y \leq 0\), l’équation polaire de la lemniscate s’écrit \(\rho = g(\theta)\) avec \(g\) définie sur \([-\pi/4, 0]\). Pour obtenir l’ensemble de la courbe, on utilise les symétries par rapport aux axes et à l’origine. Pour accéder à la démonstration détaillée, débloque les corrigés sur Prépa Booster !

Comment montrer que \(g\) est une bijection de \([-\pi/4, 0]\) sur \([0, 1]\) ?

Pour démontrer que \(g\) est une bijection, il faut étudier sa continuité, sa stricte monotonie et ses valeurs aux bornes. En analysant la dérivée de \(g\) et en vérifiant les limites, on conclut que \(g\) est bijective. Retrouve tous les détails dans le corrigé complet sur Prépa Booster !

Quelles sont les tangentes à la lemniscate en \((0, 0)\) ?

Les tangentes à la lemniscate en \((0, 0)\) sont les droites \(y = x\) et \(y = -x\). Pour comprendre comment les obtenir, consulte le corrigé détaillé sur Prépa Booster, où tu trouveras aussi des exercices similaires pour t’entraîner !

Comment obtenir l’équation différentielle de l’abscisse curviligne \(s\) ?

En utilisant une paramétrisation de la lemniscate dans le demi-plan \(x \geq 0\), on montre que \(s'(\rho) = \frac{1}{\sqrt{1 – \rho^4}}\). Cette équation est cruciale pour la suite du problème. Pour maîtriser cette étape, débloque les corrigés et accède à des explications pas à pas sur Prépa Booster !

Pourquoi l’intégrale \(\int_0^1 \frac{dr}{\sqrt{1 – r^4}}\) converge-t-elle ?

L’intégrale converge car la fonction \(\frac{1}{\sqrt{1 – r^4}}\) est continue sur \([0, 1[\) et admet une singularité intégrable en \(1\). Une comparaison avec une intégrale de Riemann permet de le justifier. Pour une analyse rigoureuse, consulte le corrigé sur Prépa Booster et profite d’un dashboard personnalisé pour suivre tes progrès !

Que représente \(\sigma\) dans ce problème ?

\(\sigma\) représente la valeur de l’intégrale \(\int_0^1 \frac{dr}{\sqrt{1 – r^4}}\), qui correspond à l’abscisse curviligne totale d’un quart de lemniscate. C’est une constante clé pour la suite du problème. Pour en savoir plus, débloque les corrigés et explore les ressources complémentaires sur Prépa Booster !

Comment montrer que \(F\) est continue sur \([-1, 1]\) et \(C^\infty\) sur \(]-1, 1[\) ?

La continuité de \(F\) sur \([-1, 1]\) se démontre en étudiant les limites aux bornes, tandis que la régularité \(C^\infty\) sur \(]-1, 1[\) s’obtient en analysant les dérivées successives. Pour une démonstration complète, consulte le corrigé sur Prépa Booster et entraîne-toi avec des exercices similaires !

Comment tracer le graphe de \(F\) et en déduire son tableau de variations ?

Pour tracer le graphe de \(F\), il faut d’abord étudier ses variations en calculant sa dérivée et en analysant son signe. Le tableau de variations se déduit alors des extrema et des limites. Pour une méthode détaillée, débloque les corrigés et accède à des conseils personnalisés sur Prépa Booster !

Pourquoi \(F\) est-elle développable en série entière sur \(]-1, 1[\) ?

\(F\) est développable en série entière sur \(]-1, 1[\) car elle est \(C^\infty\) sur cet intervalle et ses dérivées successives sont bornées. Le théorème de Taylor assure alors l’existence d’un développement en série entière. Pour une explication complète, consulte le corrigé sur Prépa Booster et profite de ressources adaptées à ton niveau !

Quelle est l’expression des coefficients \(a_n\) de la série entière de \(F\) ?

Les coefficients \(a_n\) s’obtiennent en utilisant la formule de Taylor : \(a_n = \frac{F^{(n)}(0)}{n!}\). Leur calcul explicite nécessite d’étudier les dérivées successives de \(F\) en \(0\). Pour une méthode détaillée, débloque les corrigés et accède à des exercices corrigés sur Prépa Booster !

“`