Salut David,
David R. a écrit:J'ai pensé définir la suite de fractions continues finies

avec la condition initiale

et de montrer que

.
C'est une bonne idée.
Si l'on définis la fonction f par f(x)=1+1/x, la relation de récurrence s'écrit
)
.
f est décroissante, donc f o f est croissante. On pense donc à introduire les deux suites extraites

et

. Tu peux alors montrer par récurrence que

est croissante, et que

est décroissante. De plus

est majorée et

est minorée, donc ces deux suites convergent. Leur limite ne peut-être qu'un point fixe de f o f. Je te laisse calculer ces points fixes et voir pourquoi ces deux suites convergent vers

. Pour conclure que

converge vers

, on utilise un petit lemme d'analyse qui dit que si

et

convergent vers la même limite, alors

converge vers cette limite.
Il faut faire attention à bien définir

, c'est à dire à ne pas utiliser sa définition pour montrer qu'il existe (tautologie). On peut le faire en disant que c'est la plus grande racine de l'équation x=1+1/x.
PS : La méthode utilisée pour étudier une suite définie comme
)
est générale et s'applique à toutes ces suites.
PS2 : Cet article devrait t'intéresser :
http://www.unige.ch/math/folks/delaharpe/vulgarisation/1NbrePrFobp10nov08.pdf