Limite facile

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
titine
Habitué(e)
Messages: 5574
Enregistré le: 01 Mai 2006, 13:59

limite facile

par titine » 17 Aoû 2007, 10:47

Bonjour.
Pourriez vous m'aider à retrouver comment on démontre que la limite, qd x->+inf, de (1+1/x)^x = e ? ... DL ?

Merci.



bruce.ml
Membre Rationnel
Messages: 630
Enregistré le: 18 Juin 2007, 23:54

par bruce.ml » 17 Aoû 2007, 11:30

Salut, sans utiliser d'outils aussi puissants que les DL on dit que :



et on étudie la limite de en remarquant que c'est égal à
en posant . Quand x tend vers plus l'infini, X tend vers 0, et la limite de quand X tend vers 0 est 1 ( c'est la limite du taux d'accroissement en 1 de la fonction ln ).
CQFD.

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 18 Aoû 2007, 01:36

Ou bien passer par l'équivalent de ln(1+X) ~ X en 0
Mais c'est tellement plus joli avec Barbu23 :)

thedream01
Membre Relatif
Messages: 289
Enregistré le: 20 Avr 2007, 10:57

par thedream01 » 18 Aoû 2007, 01:43

Joker62 a écrit:Ou bien passer par l'équivalent de ln(1+X) ~ X en 0
Mais c'est tellement plus joli avec Barbu23 :)

Je ne crois pas qu'on aie le droit de passer à l'equivalent quand on a une exponnentielle?! non?

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 18 Aoû 2007, 01:53

Hum Hummmmm ! :)

Enfait, on chercher à savoir si e^g(x) ~ e^f(x) quand g ~ f

Soit g une fonction équivalent à f en x_0

IE : lim (x -> x_0) f(x)/g(x) = 1

lim(x->x_0) e^f(x) / e^g(x) = lim(x->x_0) e^(f(x)-g(x)) = 1 <=> lim (x->x_0) f(x)-g(x) = 0

On a alors le droit de passer à l'exponentielle, seulement si la différence tend vers 0.

Ici g(x) = xln(1+1/x)
f(x) = 1

quand x tend vers +oo g(x)-> 1 donc g(x)-f(x) tend vers 0
C'est ok!

thedream01
Membre Relatif
Messages: 289
Enregistré le: 20 Avr 2007, 10:57

par thedream01 » 18 Aoû 2007, 01:55

ahhh oui...désolé!
merciiii :marteau:

Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 18 Aoû 2007, 01:56

Pour tout t'avouer, j'avais pas fait attention à ce détail !
Mais c'est sympa de s'en souvenir finalement :)

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 18 Aoû 2007, 02:35

Bonsoir,

pourquoi se fatiguer à démontrer ce qui est une définition?

e est défini comme la limite de la suite (1+1/x)^x pour x->+oo et non pas comme la valeur de l'exponentielle en 1.

C'est un développement de taylor-laplace qui nous permet de montrer que exp(1)=e.

kazeriahm
Membre Irrationnel
Messages: 1608
Enregistré le: 04 Juin 2006, 09:49

par kazeriahm » 18 Aoû 2007, 12:51

dévloppement de taylor laplace ? what's that ?

quitte à utiliser un équivalent autant utiliser un DL

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 18 Aoû 2007, 13:22

taylor - Laplace = taylor avec reste integral

Edrukel
Membre Relatif
Messages: 132
Enregistré le: 17 Déc 2006, 10:07

par Edrukel » 18 Aoû 2007, 16:36


fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 19 Aoû 2007, 10:45

Nightmare a écrit:Bonsoir,

pourquoi se fatiguer à démontrer ce qui est une définition?

e est défini comme la limite de la suite (1+1/x)^x pour x->+oo et non pas comme la valeur de l'exponentielle en 1.

C'est un développement de taylor-laplace qui nous permet de montrer que exp(1)=e.


bonjour

je n'ai jamais rencontré pour ma part cette définition de e

Babe
Membre Irrationnel
Messages: 1186
Enregistré le: 06 Mai 2006, 10:52

par Babe » 19 Aoû 2007, 11:09

heyhey fahr de retour :zen:

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 19 Aoû 2007, 11:13

hello hello babe :happy2:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 19 Aoû 2007, 12:25

Salut fahr451.

Quelle définition de e connais-tu? Si c'est la somme de la série de terme (1/n!) alors elles sont équivalentes.

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 19 Aoû 2007, 12:37

je viens de regarder le lien donné infra (wikipédia)

qui propose 4 définitions (équivalentes ouf) de e parmi lesquelles en effet celle ci.

tout se vaut en effet (puisque les propriétés sont équivalentes reouf) mais je reste dubitatif quant à l'intérèt de cette définition .
Pour moi une définition doit permettre de "travailler aisément" et je ne trouve pas que ce soit le cas ici ; mais bon c'est une opinion

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 19 Aoû 2007, 12:40

Certes, mais toute façon on ne travaille pas réellement avec e, on travaille avec l'exponentielle, et tant qu'on a réussi à montrer que exp(x)=e^x alors tout va pour le mieux :happy3:

fahr451
Membre Transcendant
Messages: 5142
Enregistré le: 05 Déc 2006, 23:50

par fahr451 » 19 Aoû 2007, 12:53

vu d'où je suis (sur mon rocking chair) je proposerais comme définition agréable

e = exp (1)

avec exp définie au choix par
1) la série entière
2) y ' = y et y(0) = 1

3) application réciproque de ln ( à définir également)

1) 2 ) 3) c'est mon tiercé personnel

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 17:30

par Nightmare » 19 Aoû 2007, 12:55

Lol :happy2:

Oui mais après il y a des questions historiques! Le nombre de népér a été "découvert" avant l'invention de l'exponentielle je me trompe?

kazeriahm
Membre Irrationnel
Messages: 1608
Enregistré le: 04 Juin 2006, 09:49

par kazeriahm » 19 Aoû 2007, 14:10

néper il appelle ln la primitive de x->1/x qui s'annule en 1

Il montre que cette fonction est bijective de R+* dans R et il pose e tq ln(e)=1

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 53 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite