L'utilisation des calculatrices n'est pas autorisée pour cette épreuve
Samedi 5 mai 2018, 9 h00-13h00
Pour des raisons qui apparaîtront dans la Troisième Partie, on utilise deux entiers naturels distincts (minuscule) et (majuscule). Les candidats sont priés de respecter les notations de l'énoncé.
On désigne par l'espace vectoriel des polynômes à coefficients réels, de degré inférieur ou égal à . Le sous-espace de formé des polynômes pairs (c'est-à-dire vérifiant ) est noté , et celui des polynômes impairs (c'est-à-dire vérifiant ) est noté .
On définit l'ensemble formé des , tels que , qui satisfont de plus pour tout dans l'intervalle . On définit sur une forme linéaire par
L'objet du problème est l'étude de sa borne inférieure sur le sous-ensemble :
Questions préliminaires
(a) Vérifier que est une partie convexe de .
(b) Montrer que l'expression
définit une norme sur .
(c) Montrer que est fermé dans l'espace vectoriel normé ( ).
2. (a) Montrer que la borne inférieure de sur est atteinte.
Dans la suite, on notera l'ensemble des tels que .
(b) Montrer que est une partie convexe compacte.
(c) Vérifier que contient un polynôme pair.
Première Partie
On munit du produit scalaire défini par
et de la norme associée
(on ne demande pas de vérifier qu'il s'agit bien d'un produit scalaire et d'une norme).
Pour , on définit le polynôme
Par convention, .
3. (a) Quel est le degré de ?
(b) Montrer que est un polynôme pair ou impair, selon la valeur de .
(c) Montrer que et .
4. Au moyen de l'intégration par parties, montrer que la famille est orthogonale dans .
5. On note
(a) Établir une relation entre et .
(b) Trouver une relation entre et , et en déduire une relation de récurrence pour la suite .
(c) En déduire la valeur de , puis celle de .
6. (a) Montrer que la famille est une base de .
(b) En déduire que la famille est une base de , tandis que la famille est une base de .
Deuxième Partie
On choisit un polynôme pair dans (voir la question 2.c), et on le note .
7. Montrer qu'il existe des nombres entiers , des nombres réels différents de , des réels non nuls et des nombres complexes qui ne sont ni réels ni imaginaires purs, tels que
On décide de remplacer tous les par des zéros. On remplace donc les facteurs correspondants de ,
par des facteurs . On obtient ainsi un nouveau polynôme de même degré que .
Montrer que pour tout , puis que .
9. De même, dans la liste des , on décide de remplacer ceux qui n'appartiennent pas à par des zéros. On remplace donc les facteurs correspondants de ,
par des facteurs . On obtient ainsi un nouveau polynôme .
Montrer que pour tout , puis que .
10. Soit un nombre qui n'est ni réel ni imaginaire pur.
(a) Montrer que l'équation
définit un cercle dans le plan complexe, qui passe par . Vérifier que l'intervalle ] - 1,1 [ coupe ce cercle en un point unique ; on notera ce point. On exprimera en fonction du nombre
(b) Montrer l'inégalité
(c) Montrer que l'équation
définit un cercle dans le plan complexe, qui passe par 1 et par -1 .
En déduire que, pour tout , on a
Conclure que a toutes ses racines dans l'intervalle .
Troisième Partie
On note la partie entière de . On poursuit l'étude du polynôme .
12. Montrer que .
13. Montrer que est le carré d'un polynôme : où et . Que peut-on dire de la parité de ?
14. On suppose dans cette question que est pair ; on a donc . Dans , l'équation définit un sous-espace affine noté .
(a) Montrer que
(b) En déduire qu'il existe un nombre réel tel que pour tout entier , on a . (On pourra considérer des polynômes de la forme avec .)
(c) Exprimer dans la base des . En déduire que
(d) Établir dans ce cas la formule
On suppose maintenant que est impair. Exprimer encore en fonction des .
Discuter, en fonction de la parité de , la valeur de . On en donnera la valeur explicite.
Donner la formule explicite de , en fonction des polynômes .
X ENS Mathématiques B MP 2018 - Version Web LaTeX | WikiPrépa | WikiPrépa