Exercice 2. (d’apr`es CAPES 2002 (extrait)) On note K[X]le K-espace vectoriel des polynˆomes
en une ind´etermin´ee `a coefficients dans un corps commutatif Ket, pour tout entier naturel n,
K[X]nle sous-espace de K[X]constitu´e des polynˆomes de degr´e au plus n. Si Eet Fsont deux
parties de K, on d´efinit
PK(E,F)={P(X)∈K[X]|P(E)⊂F}
c’est-`a-dire l’ensemble des polynˆomes de K[X]dont la valeur en chaque ´el´ement de Eappartient
`a F.
Dans la suite, on note Rle corps des nombres r´eels, Qle corps des rationnels, Zl’anneau
des entiers relatifs, Nl’ensemble des entiers naturels, R+l’ensemble des r´eels positifs ou nuls et
Q+l’ensemble des rationnels positifs ou nuls.
1. Caract´erisation de PR(Q,Q)
(a) Soient nun entier naturel et q0, . . ., qn, une famille de n+1´el´ements de Qdeux
`a deux distincts. Montrer que pour j=0,...,n, il existe un unique polynˆome Lj(X)
(que l’on explicitera) dans Q[X]ntel que
∀0≤i≤n,Lj(qi)=δi,j=
1si i=j
0sinon.
(b) Montrer que les Lj(X)constituent une base de R[X]net d´eterminer les coefficients
dans cette base d’un polynˆome P(X)∈R[X]n, en fonction de P(q0), . . .P(qn).
(c) En d´eduire que PR(Q,Q)=Q[X].
2. Caract´erisation de PR(R,R+)
(a) Pour tout anneau commutatif unitaire A, on consid`ere l’ensemble S(A)des ´el´ements
de Aqui sont somme de deux carr´es, autrement dit
S(A)=na∈A| ∃b∈A,∃c∈A,a=b2+c2o.(1)
i. Si A=R, montrer que pour tous r´eels a,b,c,d, il existe des r´eels xet y, que l’on
explicitera, tels que
(a2+b2)(c2+d2)=x2+y2
[interpr´eter la quantit´e a2+b2(resp. c2+d2) comme le carr´e du module d’un
nombre complexe]. En d´eduire que S(R)contient 0et 1et qu’il est stable par
multiplication.
ii. Montrer que le r´esultat pr´ec´edent s’´etend `a n’importe quel anneau commutatif
unitaire, c’est-`a-dire que pour un tel anneau A, l’ensemble S(A)contient 0et 1
et est stable par multiplication.
(b) Soit P(X)un ´el´ement non nul de PR(R,R+)et
P(X)=c
s
Y
i=1
(X−ai)αi
t
Y
i=1
(X2+biX+ci)βi(2)
sa d´ecomposition en produit de facteurs irr´eductibles dans R[X]
(autrement dit les exposants αiet βisont des entiers naturels non nuls, cest un r´eel
non nul, les aisont des r´eels, et les polynˆomes du second degr´e apparaissant dans la
d´ecomposition n’ont pas de racine r´eelle).
2