Sommation/Exercices/Formule du binôme

**Formule du binôme**
Leçon : Sommation

Page d'exercices n^o 5
Chapitre du cours :	Formule du binôme
Exercices de niveau 14.
Exo préc. :	Sommation double
Exo suiv. :	Sommation de combinaisons

En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Formule du binôme
Sommation/Exercices/Formule du binôme », n'a pu être restituée correctement ci-dessus.

Exercice 5-1

Soient $n, p \in ℕ$ .

Démontrer la formule des lignes :
$\sum_{k = 0}^{n} (\binom{n}{k}) = 2^{n}$ .
En déduire la formule :
$\sum_{k = 0}^{p} (\binom{n}{k}) (\binom{n - k}{p - k}) = 2^{p} (\binom{n}{p})$ .

Solution

$\sum_{k = 0}^{n} (\binom{n}{k}) = \sum_{k = 0}^{n} 1^{k} 1^{n - k} (\binom{n}{k}) = {(1 + 1)}^{n} = 2^{n}$ .
Si $p > n$ , les deux membres sont nuls. Si $p \leq n$ alors, pour tout entier $k \in [0, p]$ ,
$(\binom{n}{k}) (\binom{n - k}{p - k}) = \frac{n! (n - k)!}{k! (n - k)! (p - k)! (n - p)!} = \frac{n!}{p! (n - p)!} \frac{p!}{k! (p - k)!} = (\binom{n}{p}) (\binom{p}{k})$ .

On en déduit :
$\sum_{k = 0}^{p} (\binom{n}{k}) (\binom{n - k}{p - k}) = (\binom{n}{p}) \sum_{k = 0}^{p} (\binom{p}{k}) = (\binom{n}{p}) 2^{p}$ .

Une autre méthode est proposée dans l'exercice 5-5 (voir infra). Pour une preuve moins calculatoire, voir l'exercice 2-8 ou Combinatoire/Exercices/Combinaisons#Exercice 4-1.

Remarque : la formule de la question 2 donne en particulier :

pour $p = n - 1$ : $\sum_{k = 0}^{n} k (\binom{n}{k}) = n 2^{n - 1}$ ;
pour $p = n - 2$ : $\sum_{k = 0}^{n} k (k - 1) (\binom{n}{k}) = n (n - 1) 2^{n - 2}$ ;
pour $p = n - 3$ : $\sum_{k = 0}^{n} k (k - 1) (k - 2) (\binom{n}{k}) = n (n - 1) (n - 2) 2^{n - 3}$ .

Exercice 5-2

Soit $n \in ℕ^{*}$ . Calculer :

a) \sum_{k = 0}^{n} (\binom{n}{k}) b) \sum_{k = 0}^{n} (- 1)^{k} (\binom{n}{k})

.

En déduire :

c) \sum_{0 \leq j \leq n / 2} (\binom{n}{2 j}) d) \sum_{0 \leq j \leq (n - 1) / 2} (\binom{n}{2 j + 1})

.

Solution

Notons $A$ , $B$ , $C$ et $D$ ces quatre sommes.

D'après la formule du binôme, $A = (1 + 1)^{n} = 2^{n}$ (cf. exercice précédent) et de même, $B = (1 - 1)^{n} = 0^{n} = 0$ (car $n > 0$ ).

Or $C + D = A$ et $C - D = B$ .

Par conséquent, $C = \frac{A + B}{2} = 2^{n - 1}$ et $D = \frac{A - B}{2} = 2^{n - 1}$ .

Exercice 5-3

Calculer la somme suivante :

\sum_{p = 0}^{n} Y^{p} \sum_{k = p}^{n} (\binom{n}{k}) (\binom{k}{p}) X^{k}

.

Solution

\begin{matrix} \sum_{p = 0}^{n} Y^{p} \sum_{k = p}^{n} (\binom{n}{k}) (\binom{k}{p}) X^{k} & = \sum_{k = 0}^{n} (\binom{n}{k}) X^{k} \sum_{p = 0}^{k} (\binom{k}{p}) Y^{p} \\ = \sum_{k = 0}^{n} (\binom{n}{k}) X^{k} (1 + Y)^{k} \\ = (1 + X + X Y)^{n} . \end{matrix}

Exercice 5-4

Soient $m, n, r \in ℕ$ tels que $r \leq m + n$ . En vous basant sur l'identité polynomiale :

(1 + X)^{m + n} = (1 + X)^{m} (1 + X)^{n}

,

redémontrez la formule de Vandermonde (chap. 1) :

(\binom{n + m}{r}) = \sum_{k} (\binom{n}{k}) (\binom{m}{r - k})

,

dans laquelle l'indice k varie a priori dans $ℤ$ , mais le terme correspondant de la somme n'est non nul que si $max (0, r - m) \leq k \leq min (n, r)$ .

Solution

D'après les propriétés générales des puissances dans n'importe quel anneau (ici : l'anneau des polynômes à coefficients entiers), on a bien

(1 + X)^{m + n} = (1 + X)^{m} (1 + X)^{n}

.

En appliquant trois fois la formule du binôme de Newton puis en effectuant le produit des deux polynômes de droite, cette égalité devient :

\begin{matrix} \sum_{r} (\binom{m + n}{r}) X^{r} & = (\sum_{k} (\binom{n}{k}) X^{k}) (\sum_{j} (\binom{m}{j}) X^{j}) \\ = \sum_{r} (\sum_{k + j = r} (\binom{n}{k}) (\binom{m}{j})) X^{r} . \end{matrix}

.

En identifiant les coefficients, l'identité de Vandermonde apparaît :

(\binom{m + n}{r}) = \sum_{k + j = r} (\binom{n}{k}) (\binom{m}{j}) = \sum_{k} (\binom{n}{k}) (\binom{m}{r - k})

.

Exercice 5-5

En développant le polynôme $(1 + X + X)^{n}$ de deux façons différentes, redémontrer la formule (voir supra) :

\sum_{k = 0}^{p} (\binom{n}{k}) (\binom{n - k}{p - k}) = 2^{p} (\binom{n}{p})

.

Solution

Première façon

En utilisant deux fois la formule du binôme, puis en faisant un glissement d'indice suivi d'une une inversion de somme, on obtient :

\begin{matrix} (1 + X + X)^{n} & = ((1 + X) + X)^{n} \\ = \sum_{k = 0}^{n} (\binom{n}{k}) X^{k} (1 + X)^{n - k} \\ = \sum_{k = 0}^{n} (\binom{n}{k}) X^{k} (\sum_{j = 0}^{n - k} (\binom{n - k}{j}) X^{j}) \\ = \sum_{k = 0}^{n} (\binom{n}{k}) X^{k} (\sum_{p = k}^{n} (\binom{n - k}{p - k}) X^{p - k}) \\ = \sum_{p = 0}^{n} (\sum_{k = 0}^{p} (\binom{n}{k}) (\binom{n - k}{p - k})) X^{p} . \end{matrix}

Deuxième façon

En utilisant directement la formule du binôme, on obtient :

\begin{matrix} (1 + X + X)^{n} & = (1 + 2 X)^{n} \\ = \sum_{p = 0}^{n} (\binom{n}{p}) (2 X)^{p} \\ = \sum_{p = 0}^{n} (\binom{n}{p}) 2^{p} X^{p} . \end{matrix}

Par identification du coefficient de $X^{p}$ , on en déduit l'égalité voulue.

Exercice 5-6

En utilisant la formule du binôme, ses dérivées ou ses primitives, calculer :

a) \sum_{k = 0}^{n} k (\binom{n}{k}) b) \sum_{k = 0}^{n} k (k - 1) (\binom{n}{k}) c) \sum_{k = 0}^{n} \frac{1}{k + 1} (\binom{n}{k}) d) \sum_{k = 0}^{n} (- 1)^{k} k (\binom{n}{k}) e) \sum_{k = 0}^{n} \frac{(- 1)^{k}}{k + 1} (\binom{n}{k})

.

Solution

a) En utilisant la formule du binôme, nous avons :

(1 + x)^{n} = \sum_{k = 0}^{n} x^{k} (\binom{n}{k})

.

En dérivant les deux membres par rapport à x, nous obtenons :

n (1 + x)^{n - 1} = \sum_{k = 0}^{n} k x^{k - 1} (\binom{n}{k})

et en posant x = 1, on obtient :

\sum_{k = 0}^{n} k (\binom{n}{k}) = n 2^{n - 1}

.

b) En dérivant à nouveau la formule :

n (1 + x)^{n - 1} = \sum_{k = 0}^{n} k x^{k - 1} (\binom{n}{k})

obtenue en a), nous obtenons :

n (n - 1) (1 + x)^{n - 2} = \sum_{k = 0}^{n} k (k - 1) x^{k - 2} (\binom{n}{k})

et en posant x = 1, on obtient :

\sum_{k = 0}^{n} k (k - 1) (\binom{n}{k}) = n (n - 1) 2^{n - 2}

.

c) Reprenons la formule :

(1 + x)^{n} = \sum_{k = 0}^{n} x^{k} (\binom{n}{k})

et calculons cette fois une primitive des deux membres par rapport à x ; on obtient :

\frac{(1 + x)^{n + 1}}{n + 1} = \sum_{k = 0}^{n} \frac{x^{k + 1}}{k + 1} (\binom{n}{k}) + C

.

C est la constante d'intégration que nous devons calculer. Pour cela posons x = 0, on obtient :

\frac{(1 + 0)^{n + 1}}{n + 1} = \sum_{k = 0}^{n} \frac{0^{k + 1}}{k + 1} (\binom{n}{k}) + C

,

soit :

C = \frac{1}{n + 1}

.

En reportant, on obtient :

\frac{(1 + x)^{n + 1}}{n + 1} = \sum_{k = 0}^{n} \frac{x^{k + 1}}{k + 1} (\binom{n}{k}) + \frac{1}{n + 1}

et en posant x = 1, on obtient :

\sum_{k = 0}^{n} \frac{1}{k + 1} (\binom{n}{k}) = \frac{2^{n + 1}}{n + 1} - \frac{1}{n + 1} = \frac{2^{n + 1} - 1}{n + 1}

.

d) Dans la formule obtenue en a) :

n (1 + x)^{n - 1} = \sum_{k = 0}^{n} k x^{k - 1} (\binom{n}{k})

,

en posant cette fois x = –1, on obtient :

\sum_{k = 0}^{n} (- 1)^{k} k (\binom{n}{k}) = {\begin{matrix} 0 & si n \neq 1, \\ - 1 & si n = 1. \end{matrix}

e) Dans la formule obtenue en c) :

\frac{(1 + x)^{n + 1}}{n + 1} = \sum_{k = 0}^{n} \frac{x^{k + 1}}{k + 1} (\binom{n}{k}) + \frac{1}{n + 1}

,

en posant cette fois x = –1, on obtient :

\sum_{k = 0}^{n} \frac{(- 1)^{k}}{k + 1} (\binom{n}{k}) = \frac{1}{n + 1}

.

Pour une autre méthode pour les questions a), c), d) et e), voir Combinatoire/Exercices/Combinaisons#Exercice 4-2.

Pour une généralisation des résultats a) et b), voir l'exercice 5-1 ci-dessus.

Exercice 5-7

En développant de deux façons le polynôme ${(X^{2} - 1)}^{n}$ , prouver que pour tout entier $k \in [0, 2 n]$ ,

\sum_{i} (- 1)^{i} (\binom{n}{i}) (\binom{n}{k - i}) = {\begin{matrix} 0 & si k est impair \\ (- 1)^{r} (\binom{n}{r}) & si k = 2 r \end{matrix}

et en déduire que pour tout $r \in ℕ$ ,

(- 1)^{r} (\binom{2 r}{r}) = \sum_{i = 0}^{2 r} (- 1)^{i} {(\binom{2 r}{i})}^{2}

.

Solution

${(X^{2} - 1)}^{n}$ est égal

d'une part à $\sum_{r = 0}^{n} (\binom{n}{r}) X^{2 r} (- 1)^{n - r}$ ;
d'autre part à $(X - 1)^{n} (X + 1)^{n} = \sum_{i} (\binom{n}{i}) X^{i} (- 1)^{n - i} \sum_{j} (\binom{n}{j}) X^{j} = \sum_{k} X^{k} \sum_{i + j = k} (- 1)^{n - i} (\binom{n}{i}) (\binom{n}{j})$

Par identification du coefficient de $X^{k}$ , on en déduit l'égalité générale demandée (l'indice $i$ varie a priori dans $ℤ$ , mais le terme correspondant de la somme est nul sauf si $0 \leq i \leq n$ et $0 \leq k - i \leq n$ , c'est-à-dire $max (0, k - n) \leq i \leq min (k, n)$ ).

L'égalité particulière correspond au cas $n = k = 2 r$ .

Exercice 5-8

Pour tout entier $n \geq 1$ :

a) démontrer l'identité polynomiale :

\sum_{k = 0}^{n - 1} (1 - X)^{k} = \sum_{k = 1}^{n} (\binom{n}{k}) (- X)^{k - 1}

;

b) en déduire :

\sum_{k = 1}^{n} \frac{1 - (1 - X)^{k}}{k} = - \sum_{k = 1}^{n} (\binom{n}{k}) \frac{(- X)^{k}}{k}

;

c) retrouver ainsi le résultat de l'exercice 2-9 :

\sum_{k = 1}^{n} \frac{1}{k} = \sum_{k = 1}^{n} (\binom{n}{k}) \frac{(- 1)^{k - 1}}{k}

.

Solution

a) Le premier membre est une somme de termes consécutifs d'une suite géométrique (à valeurs dans les polynômes) de raison $1 - X$ . On a donc :

\begin{matrix} \sum_{k = 0}^{n - 1} (1 - X)^{k} & = \frac{1 - (1 - X)^{n}}{1 - (1 - X)} \\ = \frac{1}{X} (1 - \sum_{k = 0}^{n} (\binom{n}{k}) (- X)^{k}) \\ = - \frac{1}{X} \sum_{k = 1}^{n} (\binom{n}{k}) (- X)^{k} \\ = \sum_{k = 1}^{n} (\binom{n}{k}) (- X)^{k - 1} . \end{matrix}

b) D'après la question précédente, les deux membres (qui appartiennent à $ℚ [X]$ ) ont même polynôme dérivé. Comme de plus ils coïncident en 0, ils sont égaux.

c) Simple évaluation en 1 de l'égalité polynomiale précédente.

Exercice 5-9

En développant, grâce à la formule du binôme, le polynôme $(a + X)^{n}$ (où $a$ est une constante et $X$ une variable) et en dérivant les deux membres de l'égalité ainsi obtenue, montrer que la formule du binôme est invariante par dérivation. En déduire qu'elle est aussi invariante par intégration. Que peut-on en conclure ?

Solution

La formule du binôme à l'ordre $n$ est :

(a + X)^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) a^{n - k} X^{k}

.

En dérivant les deux membres de cette égalité, puis en divisant par $n$ , on obtient :

\begin{matrix} (a + X)^{n - 1} & = \frac{1}{n} \sum_{k = 0}^{n} (\binom{n}{k}) a^{n - k} k X^{k - 1} \\ = \sum_{k = 1}^{n} \frac{k}{n} \frac{n!}{k! (n - k)!} a^{n - k} X^{k - 1} \\ = \sum_{k = 1}^{n} \frac{(n - 1)!}{(k - 1)! (n - k)!} a^{n - k} X^{k - 1} \\ = \sum_{k = 1}^{n} (\binom{n - 1}{k - 1}) a^{n - k} X^{k - 1} \\ = \sum_{j = 0}^{n - 1} (\binom{n - 1}{j}) a^{n - 1 - j} X^{j}, \end{matrix}

ce qui est exactement la formule du binôme à l'ordre $n - 1$ . Nous dirons que la formule du binôme est invariante par dérivation.

On en conclut qu'elle est aussi invariante par intégration, puisque (à tout ordre) les polynômes qui figurent de part et d'autre de cette formule ont même terme constant (à l'ordre $n$ , ce terme constant est $a^{n}$ ).

On obtient ainsi une nouvelle façon de démontrer la formule du binôme par récurrence.

Exercice 5-10

Calculer :

\sum_{k = 0}^{n} k X^{k - 1} \sum_{p = 0}^{k} (\binom{n}{p}) (\binom{n - p}{n - k}) Y^{p}

.

Solution

On reconnaît la dérivée par rapport à $X$ du polynôme

\begin{matrix} \sum_{k = 0}^{n} X^{k} \sum_{p = 0}^{k} (\binom{n}{p}) (\binom{n - p}{n - k}) Y^{p} & = \sum_{p = 0}^{n} (\binom{n}{p}) Y^{p} \sum_{k = p}^{n} (\binom{n - p}{n - k}) X^{k} \\ = \sum_{p = 0}^{n} (\binom{n}{p}) Y^{p} \sum_{j = 0}^{n - p} (\binom{n - p}{j}) X^{p + j} \\ = \sum_{p = 0}^{n} (\binom{n}{p}) (X Y)^{p} (1 + X)^{n - p} \\ = (1 + X + X Y)^{n} . \end{matrix}

Par conséquent,

\sum_{k = 0}^{n} k X^{k - 1} \sum_{p = 0}^{k} (\binom{n}{p}) (\binom{n - p}{n - k}) Y^{p} = n (1 + Y) (1 + X + X Y)^{n - 1}

.

Exercice 5-11

Wikipedia-logo-v2.svg

Wikipédia possède un article à propos de « Polynôme de Tchebychev ».

En s'inspirant de « Approche géométrique des nombres complexes/Apports à la trigonométrie#Formules de dé-linéarisation », construire, pour tout entier naturel $n$ , deux polynômes en deux variables, $C_{n}$ et $S_{n}$ , tels que (pour tout réel $θ$ ) :
$\cos n θ = C_{n} (\cos θ, \sin θ)$ et $\sin n θ = S_{n} (\cos θ, \sin θ)$ ,
En déduire deux suites de polynômes en une variable, uniques et traditionnellement notés $T_{n}$ et $U_{n}$ , tels que
$\cos n θ = T_{n} (\cos θ)$ et $\sin ((n + 1) θ) = U_{n} (\cos θ) \times \sin θ$ .

Quel est leur degré ? Quels sont les polynômes $T_{0}$ , $T_{1}$ et $U_{0}$ ?
Redémontrer par une récurrence d'ordre 2 l'existence d'un polynôme $T_{n}$ tel que $\cos n θ = T_{n} (\cos θ)$ , en calculant $\cos ((n - 1) θ) + \cos ((n + 1) θ)$ .
Calculer $C_{2}$ , $S_{2}$ , $T_{2}$ et $U_{1}$ .
Calculer $C_{6}$ , $S_{6}$ , $T_{6}$ et $U_{5}$ .
Déduire de la question 1 l'expression de $\tan n θ$ comme fraction rationnelle en $\tan θ$ . Explicitez le résultat pour $2 \leq n \leq 5$ .
Montrer que $\forall n \in ℕ^{*} U_{n + 1} (X) = 2 X U_{n} (X) - U_{n - 1} (X)$ et en déduire que $\forall n \in ℕ U_{n} (X) = \sum_{0 \leq k \leq n / 2} (- 1)^{k} (\binom{n - k}{k}) (2 X)^{n - 2 k}$ .
Trouver une équation différentielle linéaire homogène du second ordre à coefficients non constants (dépendant de $n$ ) vérifiée par $T_{n}$ .

Solution

$\cos n θ + i \sin n θ = e^{i n θ} = {(e^{i θ})}^{n} = {(\cos θ + i \sin θ)}^{n} = \sum_{k = 0}^{n} (\binom{n}{k}) i^{k} \sin^{k} θ \cos^{n - k} θ$ donc (en identifiant parties réelles et imaginaires) $\cos n θ = C_{n} (\cos θ, \sin θ)$ et $\sin n x = S_{n} (\cos θ, \sin θ)$ pour
$C_{n} (X, Y) := \sum_{0 \leq j \leq n / 2} (\binom{n}{2 j}) (- 1)^{j} X^{n - 2 j} Y^{2 j}$ et $S_{n} (X, Y) := \sum_{0 \leq j \leq (n - 1) / 2} (\binom{n}{2 j + 1}) (- 1)^{j} X^{n - 2 j - 1} Y^{2 j + 1}$ .
Puisque cos2+sin2=1, on peut, dans le développement d'un polynôme P(X,Y), remplacer autant de fois qu'on veut, dans chaque monôme, X2 par 1−Y2 ou Y2 par 1−X2, sans que cela modifie la fonction composée P(cos⁡,sin⁡). Ainsi :
- $\cos n θ = C_{n} (\cos θ, \sin θ) = T_{n} (\cos θ)$ pour $T_{n} (X) := \sum_{0 \leq j \leq n / 2} (\binom{n}{2 j}) X^{n - 2 j} (X^{2} - 1)^{j}$ ;
- $\sin ((n + 1) θ) = S_{n + 1} (\cos θ, \sin θ) = U_{n} (\cos θ) \sin θ$ pour $U_{n} (X) := \sum_{0 \leq j \leq n / 2} (\binom{n + 1}{2 j + 1}) X^{n - 2 j} (X^{2} - 1)^{j}$ .
D'après leur expression ci-dessus, $T_{n}$ et $U_{n}$ sont de degré $n$ .

D'après cette même expression ou plus simplement, par les équations fonctionnelles qui les caractérisent, $T_{0} = U_{0} = 1$ et $T_{1} (X) = X$ .
En posant $T_{0} (X) = 1$ et $T_{1} (X) = X$ , l'équation $\cos n θ = T_{n} (\cos θ)$ est vérifiée pour n = 0 et pour n = 1. Supposons, pour un certain n ≥ 1, qu'elle est vérifiée aux ordres n – 1 et n. Alors, d'après la formule de Simpson $\cos (a + b) + \cos (a - b) = 2 \cos a \cos b$ appliquée à $a = n θ$ et $b = θ$ , $\cos ((n + 1) θ) = 2 \cos θ \cos (n θ) - \cos ((n - 1) θ) = 2 \cos θ T_{n} (\cos θ) - T_{n - 1} (\cos θ)$ donc en posant $T_{n + 1} = 2 X T_{n} - T_{n - 1}$ , la formule est encore vérifiée à l'ordre n + 1.
- $C_{2} (X, Y) = X^{2} - Y^{2}$ ;
- $S_{2} (X, Y) = 2 X Y$ ;
- $T_{2} (X) = X^{2} - (1 - X^{2}) = 2 X^{2} - 1$ ;
- $U_{1} (X) = 2 X$ .
- $C_{6} (X, Y) = X^{6} - 15 X^{4} Y^{2} + 15 X^{2} Y^{4} - Y^{6}$ ;
- $S_{6} (X, Y) = 6 X^{5} Y - 20 X^{3} Y^{3} + 6 X Y^{5}$ ;
- $T_{6} (X) = X^{6} - 15 X^{4} (1 - X^{2}) + 15 X^{2} (1 - X^{2})^{2} - (1 - X^{2})^{3} = 32 X^{6} - 48 X^{4} + 18 X^{2} - 1$ ;
- $U_{5} (X) = 6 X^{5} - 20 X^{3} (1 - X^{2}) + 6 X (1 - X^{2})^{2} = 32 X^{5} - 32 X^{3} + 6 X$ .
En notant $c = \cos θ, s = \sin θ, t = \tan θ$ , on a :
$\tan n θ = \frac{c^{- n} S_{n} (c, s)}{c^{- n} C_{n} (c, s)} = \frac{\sum_{0 \leq j \leq (n - 1) / 2} (\binom{n}{2 j + 1}) (- 1)^{j} t^{2 j + 1}}{\sum_{0 \leq j \leq n / 2} (\binom{n}{2 j}) (- 1)^{j} t^{2 j}}$ .
En particulier : $\tan 2 θ = \frac{2 t}{1 - t^{2}}, \tan 3 θ = \frac{3 t - t^{3}}{1 - 3 t^{2}}, \tan 4 θ = \frac{4 t - 4 t^{3}}{1 - 6 t^{2} + t^{4}}, \tan 5 θ = \frac{5 t - 10 t^{3} + t^{5}}{1 - 10 t^{2} + 5 t^{4}}$ .
Pour montrer que $U_{n + 1} (X) + U_{n - 1} (X) = 2 X U_{n} (X)$ , il suffit, d'après l'équation fonctionnelle qui caractérise les polynômes $U_{n}$ , de vérifier que
$\sin ((n + 2) θ) + \sin (n θ) = 2 \cos θ \sin ((n + 1) θ)$ .
C'est un cas particulier de la formule de Simpson
$\sin a + \sin b = 2 \sin \frac{a + b}{2} \cos \frac{a - b}{2}$ .
On en déduit $U_{n} (X) = \sum_{0 \leq k \leq n / 2} (- 1)^{k} (\binom{n - k}{k}) (2 X)^{n - 2 k}$ par une récurrence d'ordre 2 :
l'égalité aux ordres 0 et 1 est immédiate, et si elle est vérifiée aux ordres $n - 1$ et $n$ alors
$\begin{matrix} U_{n + 1} (X) & = 2 X U_{n} (X) - U_{n - 1} (X) \\ = 2 X \sum_{0 \leq k \leq n / 2} (- 1)^{k} (\binom{n - k}{k}) (2 X)^{n - 2 k} - \sum_{0 \leq k \leq (n - 1) / 2} (- 1)^{k} (\binom{n - 1 - k}{k}) (2 X)^{n - 1 - 2 k} \\ = \sum_{0 \leq k \leq n / 2} (- 1)^{k} (\binom{n - k}{k}) (2 X)^{n + 1 - 2 k} + \sum_{1 \leq k \leq (n + 1) / 2} (- 1)^{k} (\binom{n - k}{k - 1}) (2 X)^{n + 1 - 2 k} \\ = \sum_{0 \leq k \leq (n + 1) / 2} (- 1)^{k} (\binom{n + 1 - k}{k}) (2 X)^{n + 1 - 2 k} \end{matrix}$
d'après la formule de Pascal.
Voir aussi cet exercice de la leçon sur les séries génératrices, de niveau 15.
En dérivant deux fois la relation $T_{n} (\cos θ) = \cos (n θ)$ , on obtient
$- \sin θ T'_{n} (\cos θ) = - n \sin (n θ)$ puis
$- \cos θ T'_{n} (\cos θ) + \sin^{2} θ T^{'}'_{n} (\cos θ) = - n^{2} \cos (n θ)$ , d'où
$(1 - X^{2}) T^{'}'_{n} (X) - X T'_{n} (X) + n^{2} T_{n} (X) = 0$ .

Exercice 5-12

Soit $p \in ℕ$ . Montrer que $\forall x \in ℝ \forall n \geq \frac{p}{2} \sum_{q = 0}^{2 n - 1} \cos^{2 p} (x + \frac{q π}{2 n}) = 2 n \frac{(\binom{2 p}{p})}{2^{2 p}}$ .

Solution

D'après les formules d'Euler, il s'agit de vérifier que $\sum_{q = 0}^{2 n - 1} {(e^{i (x + \frac{q π}{2 n})} + e^{- i (x + \frac{q π}{2 n})})}^{2 p} = 2 n (\binom{2 p}{p})$ , c'est-à-dire que $\sum_{q = 0}^{2 n - 1} \sum_{k = 0}^{2 p - 1} (\binom{2 p}{k}) e^{i 2 k (x + \frac{q π}{2 n})} e^{- i 2 p (x + \frac{q π}{2 n})} = 2 n (\binom{2 p}{p})$ , ou encore, que

\sum_{k = 0}^{2 p - 1} (\binom{2 p}{k}) e^{2 i x (k - p)} \sum_{q = 0}^{2 n - 1} e^{i \frac{(k - p) π}{n} q} = 2 n (\binom{2 p}{p})

.

Or (comme $0 \leq k < 2 p \leq p + 2 n$ ) $e^{i \frac{(k - p) π}{n}} = 1$ si et seulement si $k = p$ et sinon, $\sum_{q = 0}^{2 n - 1} e^{i \frac{(k - p) π}{n} q} = 0$ . On a donc bien

\sum_{k = 0}^{2 p - 1} (\binom{2 p}{k}) e^{2 i x (k - p)} \sum_{q = 0}^{2 n - 1} e^{i \frac{(k - p) π}{n} q} = (\binom{2 p}{p}) 1 \sum_{q = 0}^{2 n - 1} 1 = 2 n (\binom{2 p}{p})

.

Sommation

Sommation double

Sommation de combinaisons