Identités logarithmiques

Pour toute base ${\displaystyle a}$, on a :

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

Par définition des logarithmes, on a :

• ${\displaystyle \log _{c}(ab)=\log _{c}a+\log _{c}b}$.
• ${\displaystyle \log _{c}\left({\frac {a}{b}}\right)=\log _{c}a-\log _{c}b}$.
• ${\displaystyle \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.

En partant des égalités ${\displaystyle 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 ${\displaystyle \log(a+b)}$ en fonction de ${\displaystyle \log(a)}$ et ${\displaystyle \log(b)}$ en évitant des dépassements des limites numériques^[1].

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

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

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

Relation de type Chasles :

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

Et en particulier (pour c = a), ${\displaystyle \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 :

${\displaystyle {\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}}}$.

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

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

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

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

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

${\displaystyle \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 ».

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

donc dans le cas particulier de la base e :

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

${\displaystyle \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 :

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