Cpge Lycée Omar ben-Abdelaziz MPSI 2 Année scolaire 2021-2022

Devoir libre no8

le vendredi 18/02/2022

Exercice . (Équations de Mordell)

Partie I : Résolution de y 2  x 3  16

Soit (a ;b ) 2 tel que a  b  1 . On rappelle que, si ab est un cube parfait, alors a et b le sont
également.
1. Soit (x ; y ) 2 tel que y soit impair et y 2  x 3  16 .
a) Montrer qu'il existe (a ;b ) 2 un couple de nombres impairs tel que y  4  a 3 et y  4  b 3 .
b) Montrer que a  b  8 et 3b 2  24b  64  1 .
c) Conclure.
2. Soit (x ; y ) 2 tel que y est pair et y 2  x 3  16 .
a) Montrer que x et y sont divisibles par 4.
On note x  4x 0 et y  4 y 0 .
b) Montrer que y 0 est impair.
On note y 0  2n  1 .
c) Montrer que n et n  1 sont des cubes parfaits, puis en déduire la valeur de x .
3. Déterminer l'ensemble des entiers (x ; y ) 2 tels que y 2  x 3  16 .

Partie II : Résolution de y 2  x 3  7

4. Soit a   . Montrer que le reste de la division euclidienne de a 2 par 8 appartient à l'ensemble

{0,1,4} .
5. Soit (x ; y ) 2 tel que y 2  x 3  7 .
a) Si x est pair, montrer que y 2  7 [8 . En déduire que x est impair.
On suppose dans la suite que x est impair.
b) Factoriser, dans [X  , le polynôme X 3  8 .
c) Montrer que (x  1)2  3 possède un diviseur premier p congru à 3 modulo 4.
d) En utilisant l'entier p obtenu à la question précédente, montrer que y 2  1 [ p  .
6. En déduire l'ensemble des couples (x ; y ) 2 tels que y 2  x 3  7 .

Problème : Polynômes de Chebychev

On définit une suite de polynômes (Tn )n , de la manière suivante :
T0( X )  1, T1 (X )  X , et n   : Tn 2 (X )  2XTn 1( X ) Tn ( X )

Première partie

1. Calculer T2 ,T3 ,T 4 etT5 .

2. Montrer que pour tout entier n :
(a) Tn est de degré n et son terme dominant est 2n 1 X n .
 (b) Tn a la parité de n .
(c) Tn (1)  1 .
3. Montrer que : (m , n )  2 , m  n  2TnTm  Tn m Tn m .
4. Prouver que : (m , n )  2 ,Tm (Tn ( X ))  Tm n (X ) .
En déduire un isomorphisme entre ( , ) et {Tn , n   }.

Deuxième partie

1. Montrer que :    , n   , Tn (cos )  cos (n ) et Tn (cosh )  cosh(n ) .

2. Etablir que, pour tout n  1 , les racines deTn sont réels, distincts deux à deux, qu’ils sont dans
 k
  1,1[ , et qu’ils sont donnés par k  0,..., n  1 : x k  cos(  ).
2n n
sin(n )
3. (a) Montrer que :  ]0,  [, n   , Tn (cos )  n .
sin
(b) En déduire les extrémums de Tn (avec n  2 ) et en quels points ils sont atteints.
1
4. Pour n  1 , décomposer la fraction rationnelle en éléments simples.
Tn
5. Montrer que : n   , (1  X 2 )Tn  XTn  n 2Tn  0 .

Troisième partie

Dans cette partie, P est un polynôme à coefficients réels de monôme dominant  X n , avec n  1 .
| |

1. Montrer que sup | P ( x )|, x [1,1]   2n 1
Indication : Raisonner par l’absurde et considérer le polynôme Q  2n 1 P  Tn .
n
 b a  | |
2. Plus généralement, montrer que (a ,b )  : sup| P (x )|, a  x  b   
2
 n 1
 2  2
Indication : Utiliser un changement de variable pour se ramener au segment [ 1,1 .