Mathématiques Expertes · Terminale · cours rédigé et vérifié par Claryo, conforme au Bulletin officiel
Le raisonnement par récurrence permet de démontrer qu'une propriété P(n) est vraie pour tout entier n\ge n_0. Il comporte deux étapes : - Initialisation : on vérifie que P(n_0) est vraie (souvent n_0=0 ou 1). - Hérédité : on suppose P(n) vraie pour un entier n\ge n_0 fixé (hypothèse de récurrence) et on démontre P(n+1).
Le principe de récurrence assure alors que P(n) est vraie pour tout n\ge n_0.
En arithmétique, la propriété est typiquement une divisibilité : « b\mid(a^n-c) ». L'hypothèse de récurrence se traduit par l'existence d'un entier k tel que a^n-c=bk.
Montrons par récurrence que 3\mid(4^n-1) pour tout n\ge0. Initialisation : 4^0-1=0 et 3\mid0, vrai. Hérédité : supposons 4^n-1=3k avec k\in\mathbb{Z}. Alors 4^{n+1}-1=4\times4^n-1=4(3k+1)-1=12k+3=3(4k+1), qui est bien un multiple de 3. La propriété est donc héréditaire, et par principe de récurrence vraie pour tout n\ge0.
En arithmétique, la récurrence sert à démontrer les divisibilités de puissances que les congruences traitent aussi : connaître les deux approches est un atout, car certains énoncés imposent une méthode. La clé de l'hérédité est l'identité a^{n+1}=a\times a^n, suivie d'une substitution de l'hypothèse de récurrence puis d'une factorisation par le diviseur. Rédige soigneusement l'hypothèse de récurrence (existence d'un entier k relatif) et conclus toujours explicitement par le principe de récurrence. Pour les expressions à deux puissances comme 3^{2n}-2^n, l'astuce consiste à reconstruire u_n dans u_{n+1} et à isoler un multiple du diviseur.