Propriété n°1
-- Principe de récurrence
On veut montrer qu'une propriété
Pn est vraie pour tout entier
n≥n0, avec
n0 le premier entier où la propriété est vérifiée (généralement
n0=0 ou
n0=1).
∘
Initialisation
On vérifie que
Pn0 est vraie.
∘
Hérédité
On démontre que si
Pn est vraie pour un certain entier
n, alors cela implique que
Pn+1 est vraie.
∘
Conclusion
On peut alors conclure que
Pn est vraie pour tout
n≥n0.
Définition n°1 -- Suite numérique
Une suite numérique
(un) est une fonction dont la variable est un entier naturel
n.
un:Nn⟶⟼Ru(n)=un, pour n≥n0.
un0 est le premier terme de la suite.
un est le terme de rang
n, ou terme général de la suite.
Définition n°3
-- Suite minorée
Une suite numérique
(un) est minorée lorsque tous ses termes sont supérieurs à une même constante
m appelée minorant.
Ainsi, pour tout entier
n≥0,
un≥m.
Définition n°4
-- Suite bornée
Une suite numérique
(un) est bornée lorsqu'elle est à la fois minorée et majorée.
Ainsi, il existe deux réels
m et
M, tels que pour tout entier
n≥0,
m≤un≤M.