تمارين - 1BACSEF
الأولى باكالوريا العلوم التجريبية – خيار فرنسي
درس : Notions en logique
Exercice 9
- Montrer que pour tout , .
- Montrons que : est divisible par 8
-
Pour , notons l’assertion suivante :
Nous allons démontrer par récurrence que est vraie pour tout .
- Initialisation: Pour nous avons . Donc est vraie.
Hérédité: Fixons . Supposons que soit vraie. Nous allons montrer que est vraie.
Donc est vraie.
Conclusion: Par le principe de récurrence est vraie pour tout , c’est-à-dire pour tout .
-
Principe de récurrence
-
Initialisation: pour
et est un multiple de 8
et donc la proposition est vraie pour
-
Héridité: soit supposons que est un multiple de 8 et montrons que : est un multiple de 8
on a est un multiple de 8 donc :
tel que
signifie que :
signifie que :
signifie que :
signifie que :
signifie que :
avec
et donc est un multiple de 8
-
Conclusion: est divisible par 8