X Maths PC 2006

Thème de l'épreuve Polynômes à coefficients 1 ou -1
Principaux outils utilisés arithmétique, récurrences d'ordre 1 et 2, calcul algébrique, équivalents de fonctions, séries entières

Corrigé

 : 👈 gratuite pour tous les corrigés si tu crées un compte
👈 l'accès aux indications de tous les corrigés ne coûte que 1 € ⬅ clique ici
👈 gratuite pour tous les corrigés si tu crées un compte
- - - - - - - - - - - - - - - -

Énoncé complet

(télécharger le PDF)
           

Rapport du jury

(télécharger le PDF)
           

Énoncé obtenu par reconnaissance optique des caractères


ÉCOLE POLYTECHNIQUE
ÉCOLE SUPÉRIEURE DE PHYSIQUE ET DE CHIMIE INDUSTRIELLES

CONCOURS D'ADMISSION 2006 FILIÈRE PC

COMPOSITION DE MATHÉMATIQUES

(Durée : 4 heures)

L'utilisation des calculatrices n'est pas autorisée pour cette épreuve.

***

Polynômes à coefficients 1 ou --1

Les polynômes étudiés dans ce problème ont été introduits lors de recherches 
sur la spectroscopie
multi--fentes. Ils ont donné lieu à des développements mathématiques en 
combinatoire, théorie
des codes, analyse harmonique, et a de très nombreuses applications en optique,
télécommunications, théorie des radars et acoustique.

Toute affirmation devra être soigneusement justifiée. La précision, la clarté
et la concision des raisonnements seront particulièrement appréciées.

Soit EUR un entier au moins égal à. 1. Dans ce problème, un vecteur @ de Re 
sera appelé séquence
de longueur EUR si chacune de ses EUR coordonnées vaut 1 ou ----1. Les 
coordonnées d'une séquence _a_

de longueur EUR seront numérotées de 0 à EUR -- 1, a = (ao, a1, . . . ,ag_1). 
On notera 8g l'ensemble des
séquences de longueur 6. On appellera simplement séquence, tout vecteur qui est 
une séquence

de longueur 6, pour un certain entier EUR > 1.

On dira que des séquences a et Q forment une paire complémentaire si elles ont 
même longueur
K (qui sera appelée dorénavant longueur de la paire) et si elles vérifient, 
dans le cas où EUR > 1,
pour tout entier j tel que 1 < j { EUR -- 1, la j--ième condition de corrélation : Æ--1--j z (az--a...-- + b,--b,--+j) = @. i=0 Par convention, tout couple de séquences de longueur 1 est une paire complémentaire. Ainsi, pour tout entier EUR > 1, la complémentarité d'une paire de longueur EUR 
implique EUR -- 1 conditions

de corrélation.

Première partie

On désigne par E l'ensemble des entiers EUR pour lesquels il existe au moins 
une paire complé--
mentaire de longueur EUR . Autrement dit, L est l'ensemble des longueurs de 
paires complémentaires.
Dans cette partie, on se propose d'étudier certaines propriétés de l'ensemble £.

1. Montrer que 2 appartient a £ et que 3 n'appartient pas a [...

Soit EUR un entier au moins égal à 1. Pour toute séquence, Q = (cm, (il, . .. 
,ag_1), de longueur
EUR, on définit le polynôme Pg_ par la formule

ê--1
PQ(X) = z a,;X' .
i=0
Un tel polynôme est appelé polynôme séquentiel.

2.3) Soient g,_ et Q des séquences. On considère la fonction définie pour au 
réel, a: # 0, par
50 '--> Pg(OE)Pg_(OE_1) + PQ(OE)Pg(OE_1) -

Montrer que si g_ et Q ne sont pas deux séquences de même longueur, cette 
fonction n'est pas
bornée sur ]0, +oo[.

Montrer que deux séquences _C_L_ et Q de même longueur forment une paire 
complémentaire si
et seulement si cette fonction est constante. Exprimer cette constante en 
fonction de la longueur

EUR de la paire complémentaire _a_, Q.

2.b) Montrer que si Q et Q sont des séquences de même longueur, PQ (1) et Pg(1) 
sont des
entiers de même parité. En déduire que tout élément de £ peut s'écrire comme la 
somme de deux
carrés d'entiers.

2.c) Montrer que le complémentaire de E dans N est un ensemble infini [on 
pourra étudier
le reste de la division par 4 d'un carré d'entier].

3.a) Soient Q et Q des séquences de même longueur. On pose U = %(ngPg) et V = 
%(PQ--PQ).
Montrer que Q et Q forment une paire complémentaire si et seulement si la 
fonction

oe +----> U(æ)U(oe"') + V(oe)V(af')

est constante sur son domaine de définition.

3.b) Les séquences, de longueur 10,
g = (1,1,-1,1,-1,1,-1,-1,1,1)

et
Q = (1,1,--1,1,1,1,1,1,--1,--1)

forment--elles une paire complémentaire ?

4. Démontrer, pour toute séquence @ de longueur paire 2m (m E N, non nul), 
l'équivalence
des assertions suivantes :

(i) 4 divise la somme % + m + ' - - + v2m_1,

(ii) le nombre de coordonnées de @ égales à --1 a la même parité que m,

(iii) 'U() 111 ° ° ' Uzm_1 = (_1)m_

5. Soit EUR E E, EUR > 2, et soient g et Q des séquences qui forment une paire 
complémentaire de
longueur EUR. Pour tout entier i, 0 { i EUR EUR -- 1, on pose oe,-- = a,b,--.

5.a) Montrer que, pour tout entier j , 1 { j { EUR -- 1,

Ë--1--j
,_.
H OEkOEk+j = (--1) ?
k=0
[considérer la somme des coordonnées de la séquence (ago,--, . . . , ag_1_ 
jag_1, bobj, . . . , bg_1_ jbg_1)].

5.b) En déduire que, pour tout entier j, 0 < j EUR EUR -- 1, OEjOEg_1_j = ----1 . 5.0) Montrer que tout élément EUR de £, EUR > 2, est pair.

Deuxième partie

Si deux polynômes séquentiels sont associés à des séquences qui forment une 
paire complé--
mentaire, on dit qu'ils forment une paire complémentaire de polynômes. Cette 
partie est consacrée
à l'étude de certaines paires complémentaires de polynômes, dites paires de 
Rudin-Shapim.

On définit deux suites de polynômes (Pn)neN et (Qn)nEURN par les conditions 
initiales
P0(X) = Q0(X) = 1
et les relations de récurrence

Pn+1(X) : Pn(X) + X2nQn(--X)v (1)

Qn+1(X) = P,,(X) --X2nQn(X)- (2)
6.21) Calculer P1 et Q1, puis P2 et Q2.

6.b) Calculer les valeurs respectives de P,,(1), Q,,(1), P,,(--1) et Q,,(--l) 
en fonction de
l'entier n.

7. Démontrer que, pour tout entier positif n, les polynômes P,, et Q,, sont des 
polynômes
séquentiels et qu'ils forment une paire complémentaire. Qu'en déduire 
vis--à--vis de l'appartenance
des entiers de la forme 2h, pour k entier positif ou nul, à l'ensemble £ ?

8. Démontrer, pour tout entier positif ou nul n et tout nombre complexe non nul 
2 E C,
l'égalité
Qn(z) = (--1)"z2n_an(--z_l).

_ 9.a) Soit T un polynôme quelconque de C[X], de degré exactement d, d > 1, 
qu'on écrit
T (X ) = to +t1X +- - -+thd (avec td non nul). Montrer que les racines de T 
sont toutes majorées
en module par la quantité 1 + sup0