phenomene a écrit:Bonjour, la propriété que tu conjectures est vraie, et se démontre en effet par récurrence, ce que je te laisse le soin d'essayer de rédiger seul.
Bonjour,
C'est très mal dit, le signe "

" s'emploie pour désigner une
égalité, c'est-à-dire une identité
exacte entre deux termes. Ici,

et
)
ne seront jamais égaux, quelle que soit la valeur de l'entier

(car

est rationnel et
)
ne l'est pas).
Il est correct de dire par contre que la
limite de

est
)
, ou encore que
tend vers )
lorsque

tend vers l'infini.
Bonjour,
Il est plus qu'évident que je voulais parler de la limite et que je n'écrirais pas ceci de la même façon sur une copie, mais au niveau messagerie, on fait avec les moyens du bord (je n'ai pas eu le temps de regarder comment fonctionne l'éditeur de formules.. et j'avoue que c'est dommage)
Ceci, dit voici la démonstration par récurrence
pour a3, a4, a5, il est facile de vérifier la relation
Supposons la vraie jusqu'au rang n-1
an = (n-1) (an-1 + an-2)
an-2 = (n-2)! (1-1 + ... (-1)^(n-2)) par hypothèse de récurrence
an-1 = (n-1)!(1-1 + ....(-1)^n-2 + (-1)^(n-1) ) toujours par hypothèse
Il suffit de mettre en facteur le terme (n-2)! (1-1 + ... (-1)^(n-2)) et on obtient
an= (n-1)((n-2)! (1-1 + ... (-1)^(n-2)) (n-1+1) + (n-1)!(-1)^(n-1)/n-1)!)
soit après simplification:
an = n!(1-1 + ... (-1)^(n-2)) + (n-1) (-1)^n-1
an = n!(1-1 + ... (-1)^(n-2)) + n(-1)^(n-1) + (-1)^n
an = n!'(1-1 + ... (-1)^(n-2)) + n(-1)^(n-1)*(n-1)!/(n-1)! +(-1)^n*n!/n!
Reste plus qu'à mettre en facteur n!...
cqfd
Ce résultat est la "clé" d'un problème de "probabilité sur un ensemble fini" bien plus complet, que j'ai posé sur le "forum lycée" et où j'exposerai ma solution finale aujourd'hui ou demain. Je vous invite à consulter ce forum, si cela vous interesse.
Cordialement
Phil