Cours : Les fonctions $\exp$ et $\ln$ ../../logo

Démonstration sur la fonction logarithme

Fonction logarithme népérien $\ln(x)$

Propriété

Théorème logarithme népérien
Pour tous réels $a$ et $b$ strictement positifs, nous avons $\ln(ab)\ =\ \ln(a)\ +\ \ln(b)$.
Démonstration :
Comme $f(x) \ =\ \ln(ax)$
$$ \Leftrightarrow\ f'(x)\ =\ \frac{a}{ax}\ =\ \frac{1}{x} $$ Donc $\forall\ x\ \in\ \mathbb{R}^{+*},\ \exists$ une constante $k\ \in\ \mathbb{R}\ tel\ que\ \ f(x)\ =\ \ln(x)\ +\ k$
Si $x\ =\ 1\ \Rightarrow f(1)\ =\ \ln(1)\ +\ k $
On reprend l'expression de la fonction $f(x) \ = \ \ln(ax)$
\begin{align} \Leftrightarrow &f(1)\ =\ \ln(a)\\ \Leftrightarrow &\ln(a)\ =\ k \ avec\ \ln(1)\ =\ 0 \\ \Rightarrow \ln(ax)\ =\ \ln(x)\ +\ \ln(a) \end{align}

Fonction logarithme décimal

Propriété

Théorème logarithme décimal
Pour tous réels $a$ et $b$ strictement positifs, nous avons $\log(ab)\ =\ \log(a)\ +\ \log(b)$
Démonstration :
Comme $f(x) \ =\ \log(ax)\ =\ \frac{\ln(a.x)}{\ln(10)}$
$$\Leftrightarrow f'(x)\ =\ \frac{a}{a.x.\ln(10)}\ =\ \frac{1}{x.\ln(10)}$$ Donc $\forall\ x\ \in\ \mathbb{R}^{+*}, \exists$ une constante $k \in \mathbb{R}\ \text{tel que}\ f(x)\ =\ \frac{\ln(x)}{\ln(10)}\ +\ k\ \Rightarrow f(x)\ = \log(x)\ +\ k$
\begin{array} Si\ &x\ =\ 1\ \Rightarrow f(1)\ =\ \frac{\ln(1)}{\ln(10)}\ +\ k\\ \Leftrightarrow &f(1)\ =\ \log(a)\\ \Leftrightarrow &\log(a)\ =\ k \ avec\ \ln(1)\ =\ 0 \\ \Rightarrow &\log(ax)\ =\ \log(x)\ +\ \log(a) \end{array}