Nous voulons démontrer que :
\[ \lim_{x \to \infty} \left( 1 + \frac{a}{x} \right)^x = e^a \]
- Démonstration en utilisant les logarithmes et la règle de L'Hôpital
- Démonstration en utilisant la série de Taylor
Démonstration en utilisant les logarithmes et la règle de L'Hôpital
Nous définissons la fonction :
\[ y = \left( 1 + \frac{a}{x} \right)^x \]
Prenons le logarithme naturel :
\[ \ln y = x \ln \left( 1 + \frac{a}{x} \right) \]
Nous étudions maintenant la limite :
\[ \lim_{x \to \infty} x \ln \left( 1 + \frac{a}{x} \right) \]
Appliquons la règle de L'Hôpital à la forme indéterminée \( \frac{0}{0} \) :
\[ \lim_{x \to \infty} \frac{\ln(1 + \frac{a}{x})}{\frac{1}{x}} = a \]
Ainsi, \( \ln y \to a \), et par conséquent \( y \to e^a \).
Démonstration en utilisant la série de Taylor
Considérons la fonction :
\[ y = \left( 1 + \frac{a}{x} \right)^x \]
Prenons le logarithme naturel des deux côtés :
\[ \ln y = x \ln \left( 1 + \frac{a}{x} \right) \]
Pour calculer la limite, utilisons le développement en série de Taylor du logarithme naturel autour de \( u = 0 \) :
\[ \ln(1 + u) \approx u - \frac{u^2}{2} + \frac{u^3}{3} - \dots, \quad \text{lorsque } u \to 0 \]
Soit \( u = \frac{a}{x} \). En substituant dans le développement, nous obtenons :
\[ \ln \left( 1 + \frac{a}{x} \right) \approx \frac{a}{x} - \frac{a^2}{2x^2} + \frac{a^3}{3x^3} - \dots \]
Multiplions les deux côtés par \( x \) :
\[ x \ln \left( 1 + \frac{a}{x} \right) \approx x \left( \frac{a}{x} - \frac{a^2}{2x^2} + \frac{a^3}{3x^3} - \dots \right) \]
En simplifiant les termes :
\[ x \ln \left( 1 + \frac{a}{x} \right) \approx a - \frac{a^2}{2x} + \frac{a^3}{3x^2} - \dots \]
Comme \( x \to \infty \), tous les termes de la forme \( \frac{a^n}{x^n} \) avec \( n \geq 1 \) tendent vers 0. Ainsi, nous obtenons :
\[ \lim_{x \to \infty} x \ln \left( 1 + \frac{a}{x} \right) = a \]
En élevant les deux côtés comme exposant de \( e \), nous obtenons :
\[ \lim_{x \to \infty} \left( 1 + \frac{a}{x} \right)^x = e^a \]