Identités logarithmiques

Cet article dresse une liste d'identités utiles lorsqu'on travaille avec les logarithmes.

Ces identités sont toutes valables à condition que les réels utilisés ($a$, $b$, $c$ et $d$) soient strictement positifs. En outre, les bases des logarithmes doivent être différentes de 1.

Valeurs particulières

Pour toute base $a$, on a :

• $\log _{a}1=0$.
• $\log _{a}a=1$.

Logarithme d'un produit, d'un quotient, d'une exponentiation

Par définition des logarithmes, on a :

• $\log _{c}(ab)=\log _{c}a+\log _{c}b$.
• $\log _{c}\left({\frac {a}{b}}\right)=\log _{c}a-\log _{c}b$.
• $\forall x\in \mathbb {R} \quad \log _{c}(a^{x})=x\log _{c}a$.

Ces trois identités permettent d'utiliser des tables de logarithme et des règles à calcul ; connaissant le logarithme de deux nombres, il est possible de les multiplier et diviser rapidement, ou aussi bien calculer des puissances ou des racines de ceux-ci.

Logarithme d'une somme

En partant des égalités $a+b=a\left(1+{\frac {b}{a}}\right)=a\,b\,\left({\frac {a+b}{ab}}\right)$, et en utilisant les propriétés du logarithme d'un produit, on aboutit aux résultats ci-dessous. Ces formules permettent dans certains cas de calculer numériquement $\log(a+b)$ en fonction de $\log(a)$ et $\log(b)$ en évitant des dépassements des limites numériques^{[réf. nécessaire]}.

• $\log _{c}(a+b)=\log _{c}a+\log _{c}b-\log _{c}\left({\frac {ab}{a+b}}\right)$
• $\log _{c}(a+b)=\log _{c}a+\log _{c}\left(1+{\frac {b}{a}}\right)$

Réciprocité

• $a^{\log _{a}b}=b$.
• $\forall x\in \mathbb {R}$, $\log _{a}(a^{x})=x$.

Les formules précédentes sont utilisées pour résoudre des équations dont les inconnues sont en exposant.

Changement de base

Relation de type Chasles :

$\log _{a}c=\log _{a}b\times \log _{b}c$

Et en particulier (pour c = a), $\log _{a}b={\frac {1}{\log _{b}a}}$.

Cette identité est utile pour calculer des logarithmes avec des machines à calculer, car la plupart de ces dernières ne proposent que les logarithmes décimaux (de base 10) et naturels (de base e).

On en déduit :

${\frac {\log _{c}b}{\log _{c}a}}={\frac {\log _{c}d\times \log _{d}b}{\log _{c}d\times \log _{d}a}}={\frac {\log _{d}b}{\log _{d}a}}$.

Limites

$\lim _{x\to 0^{+}}\log _{a}x=-\infty$ pour $a>1$

$\lim _{x\to 0^{+}}\log _{a}x=+\infty$ pour $a<1$

$\lim _{x\to +\infty }\log _{a}x=+\infty$ pour $a>1$

$\lim _{x\to +\infty }\log _{a}x=-\infty$ pour $a<1$

$\lim _{x\to 0^{+}}x^{b}\log _{a}x=0$

$\lim _{x\to +\infty }{\frac {\log _{a}x}{x^{b}}}=0$

La dernière limite est souvent interprétée comme « en l'infini le logarithme croît plus lentement que toute puissance (strictement positive) de la variable ».

Dérivée

$\forall x>0\quad \log '_{a}(x)={\frac {1}{x\ln a}}$

donc dans le cas particulier de la base e :

$\ln 'x={\frac {1}{x}}$.

Primitive

$\int _{x_{0}}^{x}\log _{a}t\;\mathrm {d} t=\left[t\left(\log _{a}t-{\frac {1}{\ln a}}\right)\right]_{x_{0}}^{x}$

donc dans le cas particulier de la base e :

$\int _{x_{0}}^{x}\ln t\;\mathrm {d} t=\left[t\left(\ln t-1\right)\right]_{x_{0}}^{x}$.

Crédit d'auteurs

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « List of logarithmic identities » (voir la liste des auteurs).