- Virus a écrit:
- ouèps tè 1 chef maintenant un second
montrer que (3+V5)^n+(3-V5)^n est divisible par 2^n pour tout n entier naturel
V designe la racine carrée
réccurence double
pour n=1 et n=2 evident
on suppose la relation vraie pour n et n+1démontrons quelle est vraie pour n+2 et n+3
on a 2^(n+1) l (3+V5)^(n+1)+(3-V5)^(n+1) =>2^(n+2) l ((3+V5)^(n+1)+(3-V5)^(n+1))(3+V5)+(3-V5))
=>2^(n+2) l (3+V5)^(n+2)+(3-V5)^(n+2)+(3-V5)(3+V5)^(n+1)+(3-V5)^(n+1)(3+V5)
=>2^(n+2) l (3+V5)^(n+2)+(3-V5)^(n+2)+(9-5)(3+V5)^(n)+(9-5)(3-V5)^n (*)
et comme 2^(n) l (3+V5)^(n)+(3-V5)^(n)
alors 2^(n+2) l 4((3+V5)^(n)+(3-V5)^(n)) (**)
dapres (*) et (**) on trouve 2^(n+2) l (3+V5)^(n+2)+(3-V5)^(n+2)
meme démo pour n+3
donc pour tout n de IN
(3+V5)^n+(3-V5)^n est divisible par 2^n