Comment démontrer une propriété… : En menant une récurrence simple… — ECG1 appliquées | MetMat

Comment démontrer une propriété dépendant d'un entier par récurrence ?

En menant une récurrence simple (initialisation + hérédité $P(n)\Rightarrow P(n+1)$ )

Démontrer qu'une propriété $P(n)$ est vraie pour tout entier $n \geq n_0$ par récurrence simple.

Maîtriser

Reconnaître

Résoudre

Que ferais-tu face à un exercice de ce type ?

Montrer par récurrence que $\forall n \in \mathbb{N}^*, \;\sum_{k=1}^{n} k = \frac{n(n+1)}{2}$ .

L'objectif

Démontrer qu'une propriété $P(n)$ est vraie pour tout entier $n \geq n_0$ par récurrence simple.

Le principe

Principe de récurrence : si $P(n_0)$ est vraie et si $\forall n \geq n_0, P(n) \Rightarrow P(n+1)$ , alors $\forall n \geq n_0, P(n)$ est vraie.

La méthode

1
J'énonce clairement la propriété $P(n)$ à démontrer et le rang initial $n_0$ .
2
Initialisation : je vérifie $P(n_0)$ par calcul direct.
3
Hérédité : je suppose $P(n)$ vraie pour un $n \geq n_0$ quelconque fixé (hypothèse de récurrence), et j'en déduis $P(n+1)$ .
4
Je conclus par le principe de récurrence : $P(n)$ est vraie pour tout $n \geq n_0$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Montrer par récurrence que $\forall n \in \mathbb{N}^*, \;\sum_{k=1}^{n} k = \frac{n(n+1)}{2}$ .

Étape 1 —

J'énonce clairement la propriété

P(n)

à démontrer et le rang initial

n_0

Je pose $P(n) : \sum_{k=1}^{n} k = \frac{n(n+1)}{2}$ , à prouver pour tout $n \geq 1$ .

Étape 2 —

Initialisation : je vérifie

P(n_0)

par calcul direct.

Initialisation : pour $n = 1$ , $\sum_{k=1}^{1} k = 1$ et $\frac{1 \cdot 2}{2} = 1$ . Donc $P(1)$ est vraie.

Étape 3 —

Hérédité : je suppose

P(n)

vraie pour un

n \geq n_0

quelconque fixé (hypothèse de récurrence), et j'en déduis

P(n+1)

Hérédité : je suppose $P(n)$ vraie. Alors $\sum_{k=1}^{n+1} k = \sum_{k=1}^{n} k + (n+1) = \frac{n(n+1)}{2} + (n+1) = \frac{(n+1)(n+2)}{2}$ , ce qui est exactement $P(n+1)$ .

Étape 4 —

Je conclus par le principe de récurrence :

P(n)

est vraie pour tout

n \geq n_0

Par le principe de récurrence, $P(n)$ est vraie pour tout $n \geq 1$ .

$\forall n \in \mathbb{N}^*, \;\sum_{k=1}^{n} k = \frac{n(n+1)}{2}$ .

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment démontrer une propriété dépendant d'un entier par récurrence ?

En menant une récurrence simple (initialisation + hérédité P(n)⇒P(n+1)P(n)\Rightarrow P(n+1)P(n)⇒P(n+1))

Pour comprendre, fais des exercices !

En menant une récurrence simple (initialisation + hérédité $P(n)\Rightarrow P(n+1)$ )