Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » raisonnement par récurrence forte
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- adnanemohib99
- 05-06-2020 23:35:02
#2 merci bcp
- valoukanga
- 05-06-2020 23:22:14
Bonsoir !
Ça m'a l'air juste !
- adnanemohib99
- 05-06-2020 23:17:47
bonjour!
je veux montrer que pour tout n∈N* (2+√3)^n+(2−√3)^n est un entier pair
pour n=0 c'est trivial
soit n∈N* tel que la propriété est vraie pour tout les entiers strictement inférieures à n
montrons qu'elle est vraie aussi pour n
par l'hypothèse de récurrence il existe k∈N* tel que (2+√3)^n-1 + (2−√3)^n-1 = 2k
donc ((2+√3)^n-1 + (2−√3)^n-1) x 4 = 4 x 2k
donc ((2+√3)^n-1 + (2−√3)^n-1) x (2 +√3 + 2 - √3) = 4 x 2k
donc (2+√3)^n + (2−√3)^n + (2−√3)(2+√3)^n-1 + (2+√3)(2−√3)^n-1 = 4 x 2k
donc (2+√3)^n + (2−√3)^n + (2²−3)(2+√3)^n-2 + (2²−3)(2−√3)^n-2 = 4 x 2k
donc (2+√3)^n + (2−√3)^n + (2+√3)^n-2 + (2−√3)^n-2 = 4 x 2k
comme n-2<n alors il existe k'∈N* tel que (2+√3)^n-2 + (2−√3)^n-2 = 2k'
donc (2+√3)^n + (2−√3)^n = 4 x 2k − 2k' = 2(4k − k') CQFD
----------------------------------------------------------------------------------------------------
ce raisonnement est-il correcte? sinon pourquoi?