Centrale 1 2010 option PC
I Polynômes de Tchebychev
I.A-
I.A.1)
a) arccos étant défini sur [−1,1] et cos sur R, par composition Fnest défini sur [−1,1] ainsi
D= [−1,1].
b) Comme cos(arccos x) = xpour tout x∈D, par les formules usuelles on obtient :
F1(x) = x, F2(x)=2x2−1et F3(x)=4x3−3x
c) Comme arccos(1) = 0,arccos(0) = π
2et arccos(−1) = π, on a donc
Fn(1) = 0, Fn(0) = cos(nπ
2) = (0si n impair
(−1)psi n= 2pet Fn(−1) = cos(nπ)=(−1)n
d) arccos(−x) = π−arccos(x)donc Fn(−x) = cos(nπ−narccos(x)) = (−1)ncos(−arccos(x)) = (−1)nFn(x);
ainsi
Fna la parité de n.
I.A.2) Par la formule usuelle cos(a) + cos(b) = 2 cos(a+b
2) cos(a−b
2), on a directement :
∀x∈D, Fn+1(x) + Fn−1(x) = 2xFn(x).
I.A.3) Un polynôme est entièrement déterminé par sa restriction à D: si Pet Qcoïncident sur D, alors P−Qest
nul sur Det possède donc une infinité de racines : c’est le polynôme nul soit P=Q. Si Fnest la restriction
d’une fonction polynomiale à D, cette fonction polynomiale est donc unique.
Soit la suite polynomiale définie sur Rpar c
F0(x)=1et c
F1(x) = xet pour n≥1[
Fn+1(x)=2xc
Fn(x)−
[
Fn−1(x). On remarque que pour x∈D,c
F0(x) = F0(x)et c
F1(x) = F1(x); de plus, compte-tenu de la
question précédente, si ∀x∈D, c
Fk(x) = Fk(x)pour tout k≤n, la relation est vraie à l’ordre n+ 1. Ainsi
par récurrence,
∀n∈N;∀x∈D, c
Fn(x) = Fn(x).
Dans la suite, c
Fnsera noté Fn. Une nouvelle récurrence prouve alors la propriété suivante P(n):Fnest
polynomiale de degré nde coefficient dominant 2n−1si n≥1. Comme F0(x)=1et F1(x) = x,P(0) et P(1)
sont bien vérifiées. Si on suppose P(n)et P(n−1) vérifiées avec n≥1,Fn+1 apparaît comme la somme
d’une fonction polynomiale de degré n+ 1 (x7→ 2xFn(x)) de coefficient dominant 2.2n−1et d’une fonction
polynomiale de degré strictement inférieur ce qui prouve que Fn+1 est une fonction polynomiale de degré
n+ 1 et de coefficient dominant 2n. On a ainsi montré par récurrence forte que :
Fnest polynomiale de degré nde coefficient dominant 2n−1si n≥1.
Le coefficient dominant de F0est 1.
I.A.4) Voici deux méthodes (une récursive et l’autre non)
•tchebychev:=proc(n)option remember;
if n=0 then 1
elif n=1 then x
else expand(2*x*tchebychev(n-1)-tchebychev(n-2),x) fi
end;
•tchebychev:=proc(n) local k,a,b,c:
if n=0 then b:=1
else a:=1:b:=x:
for k from 2 to n do c:=2*x*b - a : a:=b: b:=simplify(c) end do:
end if:
b: end proc:
I.A.5) En remplaçant dans la relation ∀x∈R;Fn+2(x) = 2xFn+1(x)−Fn(x)pour n∈N∗par leur expression en
fonction des Tkon obtient :
∀x∈R;Tn+2(x) = xFn+1(x)−1
4Fn(x)
Ainsi
page 1/ 8