ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites extraites et théorème de Bolzano-Weierstrass

Exercice 28

DémonstrationCalcul

Soit θ\theta un réel qui n'est pas un multiple entier de π\pi.

1. Exprimer cos⁡((n+1)θ)+cos⁡((n−1)θ)\cos\big((n + 1)\theta\big) + \cos\big((n - 1)\theta\big) et cos⁡((n+1)θ)\cos\big((n + 1)\theta\big) en fonction de cos⁡(nθ)\cos(n\theta), sin⁡(nθ)\sin(n\theta), cos⁡θ\cos\theta et sin⁡θ\sin\theta.

2. On suppose que (cos⁡(nθ))\big(\cos(n\theta)\big) converge vers un réel ℓ\ell. Montrer que ℓ=0\ell = 0, puis que sin⁡(nθ)→n→+∞0\sin(n\theta) \xrightarrow[n \to +\infty]{} 0, et aboutir à une contradiction.

3. Montrer de même que la suite (sin⁡(nθ))\big(\sin(n\theta)\big) diverge.

4. Que se passe-t-il si θ\theta est un multiple de π\pi ?

Corrigé

1. Les formules d'addition du chapitre 4 donnent : cos⁡((n+1)θ)+cos⁡((n−1)θ)=2cos⁡(nθ)cos⁡θcos⁡((n+1)θ)=cos⁡(nθ)cos⁡θ−sin⁡(nθ)sin⁡θ\boxed{\cos\big((n + 1)\theta\big) + \cos\big((n - 1)\theta\big) = 2\cos(n\theta)\cos\theta \qquad \cos\big((n + 1)\theta\big) = \cos(n\theta)\cos\theta - \sin(n\theta)\sin\theta} 2. Les suites (cos⁡((n±1)θ))\big(\cos((n \pm 1)\theta)\big) tendent aussi vers ℓ\ell, et le passage à la limite dans la première formule donne 2ℓ=2ℓcos⁡θ2\ell = 2\ell\cos\theta. Comme θ∉πℤ\theta \notin \pi\mathbb{Z}, cos⁡θ≠1\cos\theta \neq 1, donc ℓ=0\ell = 0. La seconde formule, avec sin⁡θ≠0\sin\theta \neq 0, donne alors sin⁡(nθ)=cos⁡(nθ)cos⁡θ−cos⁡((n+1)θ)sin⁡θ→n→+∞0,\sin(n\theta) = \frac{\cos(n\theta)\cos\theta - \cos\big((n + 1)\theta\big)}{\sin\theta} \xrightarrow[n \to +\infty]{} 0, d'où cos⁡2(nθ)+sin⁡2(nθ)→n→+∞0\cos^{2}(n\theta) + \sin^{2}(n\theta) \xrightarrow[n \to +\infty]{} 0, alors que cette somme vaut 11. (cos⁡(nθ)) diverge\boxed{\big(\cos(n\theta)\big) \text{ diverge}}

3. De même, sin⁡((n+1)θ)+sin⁡((n−1)θ)=2sin⁡(nθ)cos⁡θ\sin\big((n + 1)\theta\big) + \sin\big((n - 1)\theta\big) = 2\sin(n\theta)\cos\theta impose une limite nulle à (sin⁡(nθ))\big(\sin(n\theta)\big), puis la formule sin⁡((n+1)θ)=sin⁡(nθ)cos⁡θ+cos⁡(nθ)sin⁡θ\sin\big((n + 1)\theta\big) = \sin(n\theta)\cos\theta + \cos(n\theta)\sin\theta donne cos⁡(nθ)→n→+∞0\cos(n\theta) \xrightarrow[n \to +\infty]{} 0 : même contradiction. (sin⁡(nθ)) diverge\boxed{\big(\sin(n\theta)\big) \text{ diverge}}

4. Si θ=kπ\theta = k\pi, on a sin⁡(nθ)=0\sin(n\theta) = 0 et cos⁡(nθ)=(−1)kn\cos(n\theta) = (-1)^{kn} : cette suite est constante si kk est pair, et égale à ((−1)n)\big((-1)^{n}\big), divergente, si kk est impair.

Il est remarquable que l'on démontre la divergence sans rien savoir de la répartition des valeurs cos⁡(nθ)\cos(n\theta) ; l'exercice 54 montrera que, pour θ=1\theta = 1, elles remplissent tout le segment [−1 ,1][-1\,,1].

Ouvrir dans l'atlas interactif →