Démonstration exponentielle/puissance

Le poser comme une définition, pourquoi pas. Dire que ça se démontre pas … je suis pas trop d'accord. À priori rien ne dit que c'est pas démontrable avec une définition équivalente (il y en a plein pour l'expo et le log).

En regardant la série ça saute aux yeux. Avec des arguments d'EDO on doit aussi pouvoir s'en sortir.

Tu prends quoi comme définition pour $e^x$ ? Parce que sans définition de la notation, difficile de démontrer quoique ce soit.

Pour définir cette notation sans passer par l'exponentielle, on doit pouvoir le faire par prolongement par continuité. Ensuite le résultat que tu veux viens tout seul par densité des rationnels dans les réels. En gros tout réel peut être limite d'une suite de rationnel, $u$, et tu as montré que $e^{u_n}=exp(u_n)$ ensuite tu passes à la limite et tu as ce que tu veux.

@artragis: Le but de l'op c'est de montrer que $exp(x)=e^x$ justement, je vois mal comment faire ça sans définir l'ensemble des notations. Si tu peux remplacer $e^x$ par $exp(x)$ c'est justement parce que tu as l'égalité que l'op cherche à démontrer.

@OP: J'avais pas vu que tu n'as pas encore le résultat sur les rationnels, pourtant tu y étais presque. Tu as $e^a=exp(\frac{a}{b})^b$, a et b entiers relatifs, tu prends la racine b-ième principale de chaque côté, ce qu'on note $x^{\frac{1}{b}}$, et tu as $e^{\frac{a}{b}}=exp(\frac{a}{b})$.

PS: Utilise un éditeur latex en ligne si les formules n’apparaissent pas dans ton navigateur (comme http://www.hostmath.com/).

Comme la fonction exponentielle est dérivable sur $\mathbb R$, elle est également continue. On peut démontrer tout nombre réel non rationnel est la limite d'une suite de nombres rationnels. Fixons donc $x\in\mathbb R\setminus\mathbb Q$. Il existe une suite de rationnels $(r_n)_{n\in\mathbb N}$ qui converge vers $x$. Pour chaque $n\in\mathbb N$, posons $r_n = \frac{p_n}{q_n}$, avec $(p_n, q_n)\in\mathbb{Z\times N^*}$. On a déjà établi que $\exp\left(\frac{p_n}{q_n}\right) = e^{\frac{p_n}{q_n}}$ et que $\lim_{n\to+\infty} \exp\left(\frac{p_n}{q_n}\right) = \exp(x)$, par continuité de la fonction exponentielle. Doù $e^x = \exp(x)$

Précision — En fait, mon post masque un fait souvent utile quand on veut étendre une propriété vraie pour les rationnels vers tous les réels. Ici, j'ai utilisé une suite de rationnels tendant vers un nombre réel non rationnel. C'est un procédé analytique, profondément différent des méthodes que l'on utilise habituellement pour démontrer le résultat pour les rationnels. C'est une chose à garder en tête car souvent fructueuse : quand on a une propriété vraie dans $\mathbb Q$ et que l'on veut la démontrer pour $\mathbb R$, les méthodes purement algébriques sont rarement fructueuses. Quand on y réfléchit, c'est logique : l'ensemble des nombres rationnels est directement construit par des méthodes algébriques (relations d'équivalence, blabla), au contraire de l'ensemble des réels qui est analytique par nature : une façon de le construire est d'étudier des limites de suites, ce qui est déjà de l'analyse. Il est donc logique de faire appel à des stratégies d'analyse pour comprendre les propriété qui parlent des réels. C'est ce que je fais ici dans ma preuve.