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 {\displaystyle a} , b {\displaystyle b} , c {\displaystyle c} et d {\displaystyle d} ) soient strictement positifs. En outre, les bases des logarithmes doivent être différentes de 1.

Valeurs particulières

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

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

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

Par définition des logarithmes, on a :

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

Logarithme d'une somme

En partant des égalités a + b = a ( 1 + b a ) = a b ( a + b a b ) {\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 log ( a + b ) {\displaystyle \log(a+b)} en fonction de log ( a ) {\displaystyle \log(a)} et log ( b ) {\displaystyle \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 ( a b a + b ) {\displaystyle \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 ( 1 + b a ) {\displaystyle \log _{c}(a+b)=\log _{c}a+\log _{c}\left(1+{\frac {b}{a}}\right)}

Réciprocité

  • a log a b = b {\displaystyle a^{\log _{a}b}=b} .
  • x R {\displaystyle \forall x\in \mathbb {R} } , log a ( a x ) = x {\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.

Changement de base

Relation de type Chasles :

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

Et en particulier (pour c = a), log a b = 1 log b 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 :

log c b log c a = log c d × log d b log c d × log d a = log d b log d a {\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}}} .

Limites

lim x 0 + log a x = {\displaystyle \lim _{x\to 0^{+}}\log _{a}x=-\infty } pour a > 1 {\displaystyle a>1}
lim x 0 + log a x = + {\displaystyle \lim _{x\to 0^{+}}\log _{a}x=+\infty } pour a < 1 {\displaystyle a<1}
lim x + log a x = + {\displaystyle \lim _{x\to +\infty }\log _{a}x=+\infty } pour a > 1 {\displaystyle a>1}
lim x + log a x = {\displaystyle \lim _{x\to +\infty }\log _{a}x=-\infty } pour a < 1 {\displaystyle a<1}
lim x 0 + x b log a x = 0 {\displaystyle \lim _{x\to 0^{+}}x^{b}\log _{a}x=0}
lim x + log a x x b = 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 ».

Dérivée

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

donc dans le cas particulier de la base e :

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

Primitive

x 0 x log a t d t = [ t ( log a t 1 ln a ) ] x 0 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 :

x 0 x ln t d t = [ t ( ln t 1 ) ] x 0 x {\displaystyle \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).
  • icône décorative Portail des mathématiques