© Éditions H&K
Mines Maths 1 PSI 2012 -- Corrigé
Ce corrigé est proposé par Florian Metzger (ENS Cachan) ; il a été relu par
Benoît
Landelle (Professeur en CPGE) et Guillaume Batog (Professeur agrégé).
Ce sujet traite du sinus lemniscatique : on construit à l'aide de la lemniscate
de
Bernoulli d'équation implicite (x2 + y 2 )2 = x2 - y 2 une nouvelle
trigonométrie grâce
à l'expression de la dérivée de l'abscisse curviligne de la courbe. Cette
courbe permet
d'introduire l'intégrale dite elliptique
Z 1
dt
=
1 - t4
0
que l'on peut interpréter en termes de longueur d'arc de la lemniscate.
· La première partie a pour but d'étudier les propriétés géométriques et
métriques
du morceau de lemniscate dans un quart du plan pour en déduire la dérivée de
l'abscisse curviligne, point de départ de la suite du sujet.
Notons que les questions traitant de l'étude des courbes restent à un niveau
raisonnable, même si la notion de tangence est imprécise puisque la lemniscate
n'admet que des demi-tangentes à l'origine.
· La deuxième partie concerne la construction et l'étude de la fonction sinus
lemniscatique, notée sl, comme fonction réciproque de la fonction abscisse
curviligne de la lemniscate, prolongée à R par symétrie et périodicité. On
montre
en particulier des propriétés de régularité, on établit l'expression de la
dérivée
et l'on trace son graphe. La plupart des outils nécessaires pour cette partie
relèvent de la première année : calculs de dérivées, théorème de prolongement
de classe C 1 , fonctions réciproques, etc.
· La troisième partie permet d'établir que la fonction sl vérifie l'équation
différentielle y + 2y 3 = 0 et que toute solution de cette équation s'exprime
à l'aide
de sl. L'étude de l'équation différentielle fait appel à quelques raisonnements
plus fins qui requièrent d'avoir bien compris la construction de sl.
· Enfin, la quatrième et dernière partie s'attache à généraliser le calcul
trigonométrique en construisant également le cosinus lemniscatique cl afin de
trouver
des relations d'addition pour cette trigonométrie, en vue d'établir la formule
de Fagnano, valable pour tout réel x dans un voisinage de 0 :
2
Z
0
x
dt
=
1 - t4
Z
0
2x 1-x4
1+x4
dt
1 - t4
Dans cette partie, le plus difficile est de ne pas se perdre dans les calculs.
Ce sujet permet de s'entraîner sur des points classiques comme l'intégration sur
un intervalle quelconque, la régularité des fonctions réelles, les séries, mais
également
sur la géométrie des courbes, ce qui est moins usuel.
Globalement, le sujet est très long, technique et certaines questions sont
vraiment
difficiles. Par ailleurs, il y a peu de réponses fournies par le sujet pour
contrôler ses
propres résultats. Enfin le sujet comporte quelques erreurs d'énoncé qui, sans
être
insurmontables, posent de réels problèmes de rédaction et demandent une
adaptation
rapide dans le temps imparti à l'épreuve.
© Éditions H&K
Indications
Partie I
1 Le passage des coordonnées cartésiennes (x, y) en coordonnées polaires (, )
est décrit par les relations
x = cos
y = sin
Caractériser le quart de plan de l'énoncé par une condition angulaire. Pour les
symétries, que dire de (+
- x, +
- y) si (x, y) sont les coordonnées cartésiennes d'un
point de la lemniscate ?
3 L'origine correspond à un angle 0 tel que (0 ) = 0. En déduire que le vecteur
-------
M(0 )M() est dirigé par un vecteur unitaire ayant une limite en 0 .
4 Regarder le tracé de la lemniscate pour remarquer que le paramétrage par le
rayon pour tout x > 0 est impossible et se restreindre à x > 0, y 6 0. Remarquer
également que l'équation différentielle n'est définie que sur [ 0 ; 1 [. On
rappelle
que l'abscisse curviligne s d'un arc (I, f ) est définie à une constante près
par
s = kf k
Partie II
5 Remarquer que pour tout réel t on a
1 - t4 = (1 - t)(1 + t + t2 + t3 )
6
7
8
9
10
11
12
13
14
et en déduire le comportement de l'intégrande au voisinage de 1. Conclure en
utilisant le critère de Riemann.
Considérer la formule (2) et revenir à la définition d'une abscisse curviligne.
Commencer par remarquer que l'intégrande est une fonction continue sur [ 0 ; x ]
pour tout x ] -1 ; 1 [. Pour l'étude en +
- 1, utiliser la définition de la convergence
d'une intégrale et la question 5.
Le tableau de variations est d'une bonne aide pour le tracé du graphe. Le calcul
de la dérivée seconde permet d'exhiber les caractères convexes ou concaves.
Développer au préalable la fonction F en série entière en utilisant les
résultats
donnés par le cours concernant le développement en série entière de la fonction
x 7- (1 + x) ainsi que l'intégration terme à terme d'une série entière.
Développer les coefficients donnés dans la question 9 de manière à faire
intervenir
des factorielles.
Utiliser la règle de comparaison pour les séries à termes positifs. En ce qui
concerne
l'étude au bord, montrer la convergence normale de la série sur l'intervalle
fermé
[ 0 ; 1 ]. Pour ce faire on peut remarquer que la série entière intervenant est
à
termes positifs.
Montrer que la fonction F est strictement croissante et en déduire qu'elle est
une
bijection sur son image.
Considérer la relation FF-1 = Id . Pour le comportement au bord de l'intervalle,
utiliser le fait que la dérivée de F-1 y admet une limite.
Étudier d'abord ce qui se passe sur l'intervalle [ - ; ], puis sur [ ; 3 ] en
utilisant sl = sl( - ·). Conclure sur tout R par 4-périodicité de sl.
© Éditions H&K
Partie III
16 Utiliser l'expression de sl (x) en fonction de x.
18 Montrer que la fonction H-1/4 f est à valeurs strictement inférieures à 1
sur l'intervalle ] ; [. Remarquer que f est de classe C 1 et donc f est
continue, donc
de signe constant sur ] ; [.
19 Par construction, la fonction sl prend une des valeurs 1 où -1 sur tout
intervalle
de longueur strictement supérieure à 2. Raisonner par contraposition.
20 Utiliser la relation (6) ainsi que la continuité de f pour en déduire un
comportement de f au voisinage de x0 .
21 À quelle condition suffisante un sous-ensemble de R admet-il une borne
inférieure ?
Employer ensuite la caractérisation séquentielle de la borne inférieure. Les
zéros
de sl sont les réels en lesquels la fonction |sl| prend la valeur 1.
22 Utiliser la question 18 sur chacun des intervalles ] x-1 ; x0 [ et ] x0 ; x1
[. Raisonner
ensuite par récurrence en utilisant le début de la question et la question 18.
Partie IV
23 Se servir de la question 17.
24 Utiliser l'expression définissant cl et la question 23.
25 Que fournit la question 22 ?
26 Commencer par établir, pour tous (x, y) R2 , la relation
G
(x, y) = sl (x) sl (y) + sl(y) sl (x) - 2 sl (x) sl (x) sl2 (y) G(x, y)
1 + sl2 (x) sl2 (y)
x
Utiliser ensuite la relation (5) et la symétrie de G pour montrer qu'il suffit
d'avoir
(x, y) R2
sl2 (x) + sl (x) sl(y) G(x, y) = sl2 (y) + sl (y) sl(x) G(y, x)
27 Calculer G(0, y) pour y R et employer la question 26.
28 Utiliser la formule de duplication sl(2X) pour X = F(x) et x dans un
intervalle sur
lequel les fonctions F-1 et sl coïncident. Exprimer également cl(F(x)) en
fonction
de x.
© Éditions H&K
I. La lemniscate de Bernoulli
On note L la lemniscate de Bernoulli dans tout le corrigé, ainsi que O le
point de coordonnées (0, 0). Il appartient à L .
1 Soit M dans le quart de plan = (x, y) R2 | x > 0 et y 6 0 , un point
différent de O. Désignons par (x, y) ses coordonnées cartésiennes. Il admet un
unique
couple de coordonnées polaires (, ) avec strictement positif et dans [ -/2 ;
0 ],
de sorte que M appartient à la lemniscate si et seulement si
(x2 + y 2 )2 = x2 - y 2 4 = 2 (cos2 - sin2 ) = 2 cos(2) 2 = cos(2)
p
Par suite, cos(2) est positif donc est dans [ -/4 ; 0 ] et ainsi, =
cos(2).
On remarque que cette équation est également vérifiée pour le couple de
coordonnées
polaires (-/4, 0) de O. Ainsi, pour M
p
M(, ) L
= cos(2)
ce qui fournit l'équation polaire de L dans le quart de plan .
Étudions les symétries de L . Si M(x, y) L , alors
· M(-x, y) L donc L est symétrique par rapport à l'axe des ordonnées ;
· M(x, -y) L donc L est symétrique par rapport à l'axe des abscisses.
On a aussi M(-x, -y) L donc L est symétrique par rapport à l'origine
mais cette transformation est donnée en composant les deux symétries axiales
précédentes.
Il résulte de l'étude menée ci-dessus que
Dans le plan , une équation polaire de L est = g() où l'on définit
(
[ -/4 ; 0 ] - [ 0 ; 1 ]
g:
p
7- cos(2)
Le reste de la courbe est obtenu à partir de son intersection avec le quart
de plan par les symétries d'axes (Ox) et (Oy).
2 Par définition, la fonction g est la composée de la fonction
(
[ -/4 ; 0 ] - [ 0 ; 1 ]
c:
7- cos(2)
qui est une bijection croissante, par la fonction ·|[ 0 ;1 ] qui est une
bijection croissante
sur [ 0 ; 1 ]. Par composition de bijections croissantes,
La fonction g est une bijection croissante de [ -/4 ; 0 ] sur [ 0 ; 1 ].
3 On recherche les tangentes à l'origine O (unique point stationnaire d'un
paramétrage d'une courbe en polaire). Ce sont les tangentes aux points M(0 , (0
)) avec
(0 ) = 0. En de tels points une tangente est la droite d'équation polaire = 0 .
