ÉCOLE DES PONTS PARISTECH. SUPAERO (ISAE), ENSTA PARISTECH, TELECOM PARISTECH, MINES PARISTECH MINES DE SAINT ÉTIENNE, MINES DE NANCY, TÉLÉCOM BRETAGNE, ENSAE PARISTECH (Filière PC). ÉCOLE POLYTECHNIQUE (Filière TSI).

CONCOURS 2012

(Durée de l'épreuve : trois heures)
L'usage d'ordinateur ou de calculatrice est interdit.
Sujet mis à la disposition des concours : Cycle international, ENSTIM, TELECOM INT, TPE-EIVP.

Les candidats sont priés de mentionner de façon apparente sur la première page de la copie :

MATHÉMATIQUES I - PC

L'énoncé de cette épreuve comporte 5 pages de texte.

Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il est amené à prendre.

Dans ce texte on note l'ensemble des nombres réels.

La lemniscate de Bernoulli (voir la Figure 1) est une courbe elliptique particulièrement simple d'équation implicite

Question 1 Déterminer dans le quart de plan , une équation polaire de la lemniscate sous la forme où la fonction est définie sur l'intervalle . Préciser les symétries permettant de recouvrer l'ensemble de la courbe.
Question 2 Montrer que constitue une bijection de sur .
Question 3 Déterminer les tangentes à la lemniscate en ( 0,0 )
Question 4 Déterminer dans le demi-plan , une équation paramétrique de la lemniscate en fonction de et en déduire que l'abscisse curviligne s vérifie l'équation différentielle suivante sur :

Question 5 Montrer que l'intégrale converge.
On note

Question 6 Que représente ?

On définit la fonction sur l'intervalle par l'expression suivante :

Question 7 Montrer que la fonction est continue sur et de classe sur ]-1,1[.
Question 8 Dessiner le graphe de et en préciser le tableau de variations.
Question 9 Montrer que est développable en série entière sur .
Question 10 Donner l'expression des coefficients de cette série.
Question 11 Montrer que la série de terme général converge (on pourra utiliser la formule de Stirling : ) et a pour somme .
Question 12 Montrer que admet une fonction réciproque , continue et impaire sur .
Question 13 Montrer que est de classe sur , calculer sa dérivée, en déduire qu'elle est de classe sur .

On prolonge la fonction à en opérant sur son graphe une symétrie par rapport à la droite , puis on prolonge à tout entier par périodicité, on note sl la fonction ainsi construite.

Question 14 Montrer que sl est de classe sur et exprimer sa fonction dérivée en fonction de sl .
Question 15 Tracer le graphe de sl sur .

Question 16 Montrer que sl est de classe et vérifie l'équation différentielle suivante sur .

Soit une solution de (5) sur .
Question 17 Montrer que la fonction définie par

est constante sur . On note encore cette constante.
On choisit désormais de considérer le cas où , et on définit la fonction par

où a été définie à la formule (4).
Question 18 Montrer que est de classe sur tout intervalle ouvert [ où ne s'annule pas et calculer alors sa dérivée. En déduire qu'il existe une constante telle que

pour tout .
Question 19 En déduire que s'annule au moins une fois sur tout intervalle ouvert de longueur supérieure à .
Question 20 Soit une racine de , démontrer que et en déduire l'existence de et , tels que ne s'annule pas sur .
Question 21 Démontrer l'existence de . Montrer que et . En déduire la valeur de .
Question 22 De même on pose . Montrer que vérifie (8) pour tout , puis sur tout entier.

La fonction cl est définie sur par

Question 23 Montrer que pour tout réel on a

Question 24 Calculer la fonction dérivée de la fonction cl et en déduire que cl vérifie l'équation différentielle (5).
Question 25 Montrer que pour tout réel on a

On définit la fonction sur par

Question 26 Montrer que vérifie l'équation

en déduire que pour tout a dans est constante le long de la droite d'équation .

Question 27 Montrer que

et en déduire une formule d'addition pour la fonction sl, c'est-à-dire une expression de ne faisant intervenir que et .

Question 28 Démontrer la formule de Fagnano, valable dans un intervalle que l'on précisera :