Est-ce que qu-un peut expliquer ca, qui est cense de prouver que la derivee de exp est bien exp??
d/dx [exp(x)] = 1/[1/exp(x)] = exp(x)
Je ne vois pas comment cette preuve suit
"ln x = y <===> exp y = x"
et
"ln est deriveable ainsi exp est derivable" - et c'est tout qui a ete ecrit comme explication.
Aide beaucoup apprecie - merci!
Comprends pas ce que tu écris mais je peux te donner la démonstration de la dérivée de exp(x):
x=ln(exp(x))
Donc
1=exp'(x)/exp(x)
finalement
exp'(x)=exp(x)
Sinon, ln est définie sur R+* dans R, c'est une fonction continue qui varie de -l'infini à +l'infini (surjective) et strictement croissante (donc injective). Donc, lnx est une bijection qui admet une bijection réciproque : exp(x) qui est définie sur R dans R+*.
ln est dérivable, de dérivée ne s'annulant pas, donc exp est dérivable.
Merci beaucoup Ganash, mais je n'ai pas compris pourquoi 1=exp'(x)/exp(x).
Comment on arrive a ca apres x=ln(exp(x))?
en dérivant... mais bon ça suppose de savoir que (ln(x))' = 1/x
Oui mais çà on le sait, c'est dû à la définition de lnx
la dérivée de ln(u) est u'/u, dans notre cas exp'/exp.
je rajouterais que la dérivée de ln est 1/x sur IR*+
Oui enfin vu qu'il doit être en terminal ça va, au fait sur R- c'est quoi??
C'est pas dérivable sur R- car ln(x) est définie sur R+\{0}
C'est ln(-x) (car la dérivée par rapport à x de ln(-x) est -1/(-x)). Tu peux raccorder les deux en disant que la primitive de 1/x sur R* est ln|x|au fait sur R- c'est quoi??
Encore une victoire de Canard !
Ah ouais pas bête, mais je sais pas si mon prof de math aimerait que je lui dise çà.
Moi c'est pareil, il sait que j'ai de l'avance et dans le cours sur les primitives il me demande de lui donner une primitive qu'on est pas censé connaître et je lui sors: " C'est évident c'est ln de ..."
Et il me répond que c'est pas évident du tout car on a pas vu ça encore.
Ce n'est pas parce qu'on n'a pas vu la primitive de 1/x qu'il monterait au plafond, c'est surtout parce que je ne sais pas si on peut dire ce qu'à dit Coincoin.
Quelle confiance !
Ce que j'ai dit est parfaitement rigoureux, et ma prof de prépa m'a tellement bassiné que j'ai retenu que ln|x| était une primitive de 1/x sur tout R*...
Tu n'es pas convaincu que(avec u=-x) ? Tout est rigoureux, là-dedans (on a bien -x et u positifs donc on peut prendre le ln)
Encore une victoire de Canard !
Ba théoriquement si. Si tu la dérive ça marche.
Je ne pense pas que tu puisses dire çà sans même avoir une définition de lnx !Ba théoriquement si. Si tu la dérive ça marche.
Enfin là ce que tu dis m'a l'air de bien correspondre avec mon cours Coincoin !
Ba ln c'est le logarithme en base e.
C'est pas la définition de ln çà. D'autant que çà ne te dit en rien si la primitive de 1/x sur R* vaut bien ln|x|
C'est vrai mais la définition de ln c'est le log en base e, après je ne suis pas sur que ce soit de mon niveau de décider de la légitimité de certaines règles.
Ce que je dis, c'est que si tu pars de la définition de ln comme la primitive de 1/x sur R+*, tu obtiens que ln|x| est une primitive de 1/x sur R*... C'est tout.
Encore une victoire de Canard !
Définition :
Pour x>0,
Et encore, peut-être que l'année prochaine j'en verrai une autre encore mieuxEnfin je pense pas.
Bon ba moi j'ai pas cette définition (encore) je ne l'ai pas encore vu en classe, juste dans des bouquins.
En fait, tu es obligé de définir ln en fonction d'une intégrale, sinon tu ne peux pas trouver la dérivée de exp(x)
C'est logique.
C'est de l'humour ?
Envoyé par olle
Oui, merci, je sais que (ln(x))' = 1/x, mais quand on commence avec
x = ln(exp(x)), on va deriver "x", PAS exp(x) - non?
c'est-a-dire, on va obtenir x' = 1/exp(x),
PAS exp'(x) = 1/exp(x)
Il y a qu-chose que je ne vois pas, je suppose!
La dérivée de f(g(x)) par rapport à x est g'(x)*f'(g(x)). Donc si tu prends f=ln et g=exp, alors la dérivée de ln(exp(x)) par rapport à x est exp'(x)*1/exp(x)...
Encore une victoire de Canard !
En fait c'est facile a faire si on part de la vraie définition de l'exponentielle:
On prend la fonction f définie par f(x)=(1+x+x²/2+x³/3!+...)=somme des x^k/k!
Ca c'est la définition de l'exponentielle.
On se rend compte que f est dérivable et de dérivée f.
Bon historiquement c'est sur que ce n'est pas ainsi qu'elle a été définie, mais maintenant c'est ainsi qu'on le fait... Ca permet d'étendre la notion d'exponentielle à autre chose qu'à des réels...
Bien sur que si.
De toute facon, on défini d'abord l'exponentielle et ensuite on défini le log lorsque c'est possible et pas l'inverse...
Si tu veux tu peux trouver la dérivée de l'exponentielle en partant de la définition du log qui est sur ]-1,1[
log(1+x)= somme des (-x)^k/k pour k variant de 1 à +oo
Mais c'est moins rigolo je pense....
Sinon tu peux définir le log comme l'unique fonction dérivable qui vérifie sur R+*:
f(xy)=f(x)+f(y)
f(1)=0
Et la tu n'as pas de probleme normalement pour trouver la dérivée de l'exponentielle, et pourtant personne n'a parlé de définir ln à l'aide d'une intégrale...
Un truc "rigolo" à remarquer:
On peut étendre la définition du log à C, mais il faut toujours enlever une demi droite fermée.
Par exemple, on peut trouver le log de i ou de n'importe quel nombre complexe, mais pas des réels négatifs ou nul....
C'est d'ailleurs à cause de ca que l'on ne peut définir le log(1+x) à l'aide d'une série que sur ]-1,1[ et pas sur un domaine centré en 0 plus grand...
C'est fun, non?
