ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 5 — Géométrie complexe · Pour aller plus loin

Exercice 34

Démonstration

Soient nn dans ℕ∗\mathbb{N}^{*}, x∈ℝx\in\mathbb{R}. En appliquant la formule du binôme à (1+eix)n(1+e^{ix})^{n} et en utilisant la technique de l'arc moitié (exercice 29), établir les formules ∑k=0n(nk)cos⁡(kx)=2n(cos⁡(x2))ncos⁡(nx2),\sum_{k=0}^{n}\binom{n}{k}\cos(kx)=2^{n}\left(\cos\left(\frac{x}{2}\right)\right)^{n}\cos\left(\frac{nx}{2}\right),

∑k=0n(nk)sin⁡(kx)=2n(cos⁡(x2))nsin⁡(nx2).\sum_{k=0}^{n}\binom{n}{k}\sin(kx)=2^{n}\left(\cos\left(\frac{x}{2}\right)\right)^{n}\sin\left(\frac{nx}{2}\right).

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 382

Corrigé

D'après la formule du binôme, (1+eix)n=∑k=0n(nk)eikx(1+e^{ix})^{n}=\displaystyle\sum_{k=0}^{n}\binom{n}{k}e^{ikx}. Par la technique de l'arc moitié (exercice 29 avec α=0\alpha=0, β=x\beta=x), 1+eix=2cos⁡(x2)eix21+e^{ix}=2\cos\left(\frac{x}{2}\right)e^{i\frac{x}{2}}, d'où : ∑k=0n(nk)eikx=2n(cos⁡(x2))neinx2.\sum_{k=0}^{n}\binom{n}{k}e^{ikx}=2^{n}\left(\cos\left(\frac{x}{2}\right)\right)^{n}e^{i\frac{nx}{2}}. En prenant les parties réelle et imaginaire, on obtient les deux formules demandées. Vérification : pour x=0x=0, la première donne ∑(nk)=2n\sum\binom{n}{k}=2^{n}.

Ouvrir dans l'atlas interactif →