[Maths] [BacS] Formule de Stirling [R]

[g_h]

Ooops, désolé, merci matthias !
J'ai des logarithmes plein l'esprit, j'ai pas fait attention...

Excuse moi

[kron]

lol

bon la suite

On a

or, sur notre intervalle, f(x) < 0 donc la suite (Un) est strictement décroissante

De même,

or, sur notre intervalle g(x) > 0 donc la suite (Vn) est strictement croissante.

or,

et

d'ou

Les suites (Un) et (Vn) sont donc adjacentes.

[g_h]

or,

et

d'ou

Les suites (Un) et (Vn) sont donc adjacentes.

Faux !!
La différence f-g ne prouve rien

[matthias]

lOn a

or, sur notre intervalle, f(x) < 0 donc la suite (Un) est strictement décroissante

De même,

or, sur notre intervalle g(x) > 0 donc la suite (Vn) est strictement croissante.

OK, pas de problème.

or,

et

d'ou

Les suites (Un) et (Vn) sont donc adjacentes.

Pourquoi ? Quelle est la définition de suites adjacentes ?
[EDIT: grillé par g_h ]

[kron]

Faux !!
La différence f-g ne prouve rien

ah ?! zut... faut aussi que je revois mon cours sur les suites adjacentes alors... (et sur les suites tout court, carrément...)

Edit : d'après mes souvenirs (faux apparemment) deux suites sont adjacentes si et seulement si : l'une est croissante et l'auter décroissante, et lim Un-Vn = 0... mais bon je dois me tromper...

Edit 2 : ou alors doivent ils converger vers la même limite ?

Edit 3 : oups d'accord je me suis trompé mea culpa...

[matthias]

ah ?! zut... faut aussi que je revois mon cours sur les suites adjacentes alors... (et sur les suites tout court, carrément...)

Edit : d'après mes souvenirs (faux apparemment) deux suites sont adjacentes si et seulement si : l'une est croissante et l'auter décroissante, et lim Un-Vn = 0... mais bon je dois me tromper...

Non, c'est bien ça.
Mais ce n'est pas ce que tu as démontré.

[kron]

on a de plus Un - Vn = 1/(12n)

or, lim 1/(12n) = 0

donc lim Un-Vn = 0

Avec ce qui a été démontré précédemmnt, on peut en conclure que les deux suites sont adjacentes.

PS : quelle bourde j'ai faite avec f et g !! ^^

[kron]

Par la suite, on peut ajouter que (Un) et (Vn) étant adjacentes avec (Un) décroissante, on peut en déduire que

or, V(0) est un réel, donc (Un) est minorée. On peut en déduire que (Un) converge. On peut ainsi poser
lim Un = l, avec l réel.

[matthias]

Par la suite, on peut ajouter que (Un) et (Vn) étant adjacentes avec (Un) décroissante, on peut en déduire que

or, V(0) est un réel, donc (Un) est minorée. On peut en déduire que (Un) converge. On peut ainsi poser
lim Un = l, avec l réel.

Vous n'avez pas un théorème qui assure directement la convergence des suiets adjacentes ?

[kron]

euh... C'est à dire ? Je l'ai peut-être vu et oublié, mais d'autant que je me souvienne, j'ai toujours procédé comme ça... enfin je crois...

[martini_bird]

euh... C'est à dire ? Je l'ai peut-être vu et oublié, mais d'autant que je me souvienne, j'ai toujours procédé comme ça... enfin je crois...

Il n'est pas difficile de montrer que si Un et Vn sont adjacentes, ces suites convergent et que leurs limites sont égales (exercice).

[kron]

pourrais tu donner les grandes lignes d'une telle démo, martini_bird ?
Merci d'avance

Sinon je vais me coucher, on repart demain avec g_h (je crois qu'il est parti [edit : ah non erreur ^^]) pour la suite (et fin) C'est que ça fatigue vachement de faire des maths intensives !

Bonne soirée
Cordialement

Kron

[g_h]

Non, on n'a pas de théorême disant "2 suites adjacentes convergent"
Mais bon, c'est l'affaire d'une phrase supplémentaire sur la copie, c'est pas bien méchant

EDIT : je suis toujours là, mais jme repose... On reprendra plus tard

[martini_bird]

Puisque tout le monde fait dodo, j'en profite pour vous proposer une démonstration alternative pour la question 5-a):

___ a) Démontrer que pour tout

___

Soit : on a

et ainsi que



Intégrons chaque membre de 0 à y, (avec pour les besoins de l'énoncé):



et après calcul



Posons alors y=1/x, de sorte que : on obtient



qui donne l'inégalité escomptée.

Voili, je vais de ce pas vous imiter et

Cordialement.

[kron]

on a

d'où

or, d'après la formule de Wallis :



d'où on en déduit que :



et là je suis bloqué ^^... Mais ai-je fait une erreur dans mes simplifications ?