ATLAS Ouvrir dans l'atlas →

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

Exercice 33

DémonstrationCalcul

Pour n⩾1n \geqslant 1, on note unu_{n} le nombre d'entiers naturels qui s'écrivent avec exactement nn chiffres en base dix, le premier étant non nul, et dont l'écriture ne contient pas la séquence « 13 » ; on pose u0=1u_{0} = 1. Ainsi u1=9u_{1} = 9 et u2=90−1=89u_{2} = 90 - 1 = 89.

1. Calculer u3u_{3} en dénombrant les entiers à trois chiffres qui contiennent « 13 ».

2. Montrer que un+2=10un+1−unu_{n+2} = 10u_{n+1} - u_{n} pour tout n∈ℕn \in \mathbb{N}. On pourra raisonner sur le dernier chiffre, puis compter les nombres qui se terminent par 1313.

3. En déduire unu_{n} en fonction de nn, et vérifier la formule pour n=3n = 3.

Corrigé

1. Un entier à trois chiffres contient « 13 » s'il s'écrit 13x13x, ce qui donne 1010 entiers, ou y13y13 avec y≠0y \neq 0, ce qui en donne 99 ; les deux cas sont incompatibles, puisque le chiffre central vaudrait 11 et 33. u3=900−19=881\boxed{u_{3} = 900 - 19 = 881} 2. Un entier valide à n+2n + 2 chiffres s'obtient en ajoutant un chiffre à droite d'un entier valide à n+1n + 1 chiffres, ce qui donne 10un+110u_{n+1} entiers, dont il faut retirer ceux qui se terminent par 1313. Ces derniers s'écrivent w13w13, où w1w1 est valide, c'est-à-dire où ww est un entier valide à nn chiffres, puisque l'ajout d'un 11 ne crée pas de séquence « 13 » ; pour n=0n = 0, le seul cas est l'entier 1313. Il y en a unu_{n}. un+2=10un+1−un\boxed{u_{n+2} = 10u_{n+1} - u_{n}} 3. L'équation r2=10r−1r^{2} = 10r - 1 a pour racines 5±265 \pm 2\sqrt{6}. Les conditions u0=1u_{0} = 1 et u1=9u_{1} = 9 donnent : un=(12+66)(5+26)n+(12−66)(5−26)n\boxed{u_{n} = \Big(\frac{1}{2} + \frac{\sqrt{6}}{6}\Big)(5 + 2\sqrt{6})^{n} + \Big(\frac{1}{2} - \frac{\sqrt{6}}{6}\Big)(5 - 2\sqrt{6})^{n}} Pour n=3n = 3, la récurrence donne u3=10×89−9=881u_{3} = 10 \times 89 - 9 = 881. ✓ On a vérifié par ordinateur les valeurs jusqu'à n=5n = 5, soit 86 32986\,329. La proportion d'entiers valides, un9⋅10n−1\frac{u_{n}}{9 \cdot 10^{n-1}}, tend vers 00 : presque tous les grands entiers contiennent la séquence « 13 ».

Dans l'édifice

Thèmes

suites particulières, récurrence linéaire d'ordre 2

Notions

suite

Ouvrir dans l'atlas interactif →