···
L’immeuble est tellement vétuste que les parois séparant deux appar-
tements successifs sont poreuses et, si un appartement a une fuite n
d’eau, alors celui d’en-dessous aussi (la fuite se répercute à l’apparte-
n +1
ment de dessous). Appelons cette propriété la porosité.
On se demande si tous les appartements ont une fuite d’eau.
···
Notons, pour n ∈ N, P n la propriété "l’appartement de l’étage n a une fuite d’eau".
On sait que si un appartement n quelconque a une fuite d’eau alors, par porosité, l’ap-
partement n + 1 a aussi une fuite d’eau (mais attention : rien ne nous permet d’affirmer
que l’appartement n a effectivement une fuite d’eau, c’est juste que si c’est le cas, alors
l’appartement n + 1 d’en-dessous aura aussi une fuite d’eau).
On dit que la propriété P n est héréditaire : la réalisation de P n entraine la réalisation de
P n+1 , c’est-à-dire ∀n ∈ N , P n ⇒ P n+1 .
Concluons :
L’appartement 0 a une fuite d’eau (P 0 est vraie).
Donc, par hérédité, l’appartement 1 aussi (P 1 est vraie).
Donc l’appartement 2 aussi (P 2 est vraie)...
...etc...
Au final, tous les appartements ont une fuite d’eau : ∀n ∈ N , P n est vraie .
C’est ça le principe de récurrence (exemple à méditer longuement...).
HR : 0 < u n < 3
À montrer : 0 < u n+1 < 3
p
On a : u n+1 = u n + 5
Idée : on va chercher à reconstruire u n+1 à partir de u n
HR : 0 < u n < 3
⇒5 p< u np+ 5 < 8 p p
⇒ p5 < u n + 5p< 8 (car x 7→ x est croissante sur R+ )
⇒ 5< pu n+1 < 8 p p p
⇒ 0 < 5 < u n+1 < 8 < 3 (car 0 < 5 et 8 < 3)
⇒ 0 < u n+1 < 3
3) Conclusion :
On a vérifié l’initialisation et l’hérédité donc, d’après le principe de récurrence, P n
est vraie pour tout n > 1 : ∀n > 1 , 0 < u n < 3