En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Démonstration par récurrence Suites et récurrence/Exercices/Démonstration par récurrence », n'a pu être restituée correctement ci-dessus.
Hérédité : soit tel que soit vraie, montrons que est vraie. Par définition, est égal à donc (par hypothèse de récurrence) à , donc est vraie.
Conclusion : le principe de récurrence permet de conclure : .
Remarque : et par convention sur les sommes vides donc est vraie. Cette convention est cohérente avec la définition par récurrence des sommes indexées utilisée dans la preuve d'hérédité ci-dessus, qui reste valide pour . On aurait donc pu initialiser la récurrence à et démontrer ainsi : .
Notons la propriété « ».
Hérédité : soit tel que soit vraie, essayons de montrer que est vraie. est inférieur ou égal (par hypothèse de récurrence) à qui, à condition que , est lui-même majoré par . On a donc bien , mais seulement pour tout entier . Ceci oblige à initialiser la récurrence à , et à étudier séparément le cas .
Intitialisation : et , donc est vraie.
Conclusion : le principe de récurrence permet de conclure : .
Cas : et . Puisque , est vraie.
Synthèse : de et , on déduit : .
Notons la propriété « est multiple de 3 ».
Intitialisation : , donc est vraie.
Hérédité : soit tel que soit vraie, montrons que est vraie. Par hypothèse de récurrence, il existe un entier tel que . Alors, donc est vraie.
Conclusion : le principe de récurrence permet de conclure : .
Notons la propriété « » (vraie pour mais fausse pour ).
Intitialisation : , donc l'inégalité large est vraie.
Hérédité : soit tel que soit vraie, montrons que est vraie. Par hypothèse de récurrence, . Or et , donc , donc est vraie. Variante : puisque et , il suffit de montrer que . Or on a donc , cqfd.
Conclusion : le principe de récurrence permet de conclure : .
Voici un raisonnement (par récurrence) dont la conclusion est que toutes les vaches sont de la même couleur. Comme le nombre de vaches dans le monde est assurément fini, on va en fait montrer la propriété : « pour tout entier et pour tout groupe de vaches, toutes les vaches de ce groupe sont de la même couleur ». Voici cette « preuve » :
Initialisation : pour , toutes les vaches d'un groupe composé d'une seule vache ont certainement la même couleur puisqu'une vache a la même couleur qu'elle-même.
Hérédité : hypothèse de récurrence : on suppose que est vraie pour un entier fixé et l'on considère un groupe de vaches. On les range l'une derrière l'autre. Par hypothèse de récurrence, les premières sont toutes de la même couleur et la dernière est aussi de cette couleur (par exemple en tant que membre des dernières), ce qui montre bien que les vaches sont de la même couleur.
Quelle erreur a-t-on commise dans ce raisonnement ?
Solution
.
Dans la preuve d'hérédité, pour , l'erreur est dans la parenthèse qui prétend justifier que la dernière vache est de la même couleur que les premières.