ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites particulières

Exercice 35

Démonstration

1. Montrer que la suite an=(3+5)n+(3−5)na_{n} = (3 + \sqrt{5})^{n} + (3 - \sqrt{5})^{n} vérifie une relation de récurrence linéaire d'ordre 2 à coefficients entiers, et en déduire que ana_{n} est un entier pair pour tout nn.

2. En déduire que sin⁡((3+5)nπ)→n→+∞0\sin\big((3 + \sqrt{5})^{n}\pi\big) \xrightarrow[n \to +\infty]{} 0. On utilisera l'inégalité ∣sin⁡x∣⩽∣x∣|\sin x| \leqslant |x| du chapitre 4.

3. Reprendre la question 1 avec 3+52\frac{3 + \sqrt{5}}{2} et 3−52\frac{3 - \sqrt{5}}{2}. La suite (sin⁡((3+52)nπ))\Big(\sin\big(\big(\tfrac{3 + \sqrt{5}}{2}\big)^{n}\pi\big)\Big) converge-t-elle ?

4. Montrer en revanche que la suite ((3+5)n)\big((3 + \sqrt{5})^{n}\big) n'est jamais entière pour n⩾1n \geqslant 1.

Corrigé

1. Les nombres 3±53 \pm \sqrt{5} ont pour somme 66 et pour produit 44 : ce sont les racines de r2=6r−4r^{2} = 6r - 4. D'après le théorème 11, an+2=6an+1−4ana_{n+2} = 6a_{n+1} - 4a_{n}, avec a0=2a_{0} = 2 et a1=6a_{1} = 6. Par récurrence double, ana_{n} est un entier pair, puisque 6an+1−4an6a_{n+1} - 4a_{n} l'est. an∈2ℤ: 2,6,28,144,752,…\boxed{a_{n} \in 2\mathbb{Z} : \ 2, 6, 28, 144, 752, \dots} 2. Posons εn=(3−5)nπ\varepsilon_{n} = (3 - \sqrt{5})^{n}\pi ; comme 2<5<32 < \sqrt{5} < 3, on a 0<3−5<10 < 3 - \sqrt{5} < 1 et εn→n→+∞0\varepsilon_{n} \xrightarrow[n \to +\infty]{} 0. Alors (3+5)nπ=anπ−εn(3 + \sqrt{5})^{n}\pi = a_{n}\pi - \varepsilon_{n}, et, ana_{n} étant pair, sin⁡(anπ−εn)=−sin⁡εn\sin(a_{n}\pi - \varepsilon_{n}) = -\sin\varepsilon_{n}. ∣sin⁡((3+5)nπ)∣⩽εn,doncsin⁡((3+5)nπ)→n→+∞0.\big|\sin\big((3 + \sqrt{5})^{n}\pi\big)\big| \leqslant \varepsilon_{n}, \qquad\text{donc}\qquad \boxed{\sin\big((3 + \sqrt{5})^{n}\pi\big) \xrightarrow[n \to +\infty]{} 0}. 3. Les nombres 3±52\frac{3 \pm \sqrt{5}}{2} sont racines de r2=3r−1r^{2} = 3r - 1 : la suite bn=(3+52)n+(3−52)nb_{n} = \Big(\frac{3 + \sqrt{5}}{2}\Big)^{n} + \Big(\frac{3 - \sqrt{5}}{2}\Big)^{n} vérifie bn+2=3bn+1−bnb_{n+2} = 3b_{n+1} - b_{n}, avec b0=2b_{0} = 2 et b1=3b_{1} = 3 : ses termes 22, 33, 77, 1818, 4747… sont entiers, mais pas tous pairs. On a cette fois sin⁡(bnπ−ε)=±sin⁡ε\sin(b_{n}\pi - \varepsilon) = \pm\sin\varepsilon, ce qui suffit : sin⁡((3+52)nπ)→n→+∞0\boxed{\sin\Big(\Big(\frac{3 + \sqrt{5}}{2}\Big)^{n}\pi\Big) \xrightarrow[n \to +\infty]{} 0} 4. Pour n⩾1n \geqslant 1, (3+5)n=an−(3−5)n(3 + \sqrt{5})^{n} = a_{n} - (3 - \sqrt{5})^{n} est strictement compris entre les entiers consécutifs an−1a_{n} - 1 et ana_{n}. (3+5)n∉ℤ\boxed{(3 + \sqrt{5})^{n} \notin \mathbb{Z}}

Les puissances de 3+53 + \sqrt{5} sont donc de plus en plus proches d'entiers, sans jamais en être : c'est ce qui rend le sinus si petit, alors que pour presque tout réel x>1x > 1, la suite sin⁡(xnπ)\sin(x^{n}\pi) n'a pas de limite.

Dans l'édifice

Thèmes

suites particulières, valeur absolue, limites de suites, récurrence linéaire d'ordre 2

Notions

suite, limite d'une suite

Ouvrir dans l'atlas interactif →