Logarithme décimal : calcul corrigé

Le package source demande de simplifier

$$\log(100)-\log(10^{2013}) +\log\left(\frac1{10^{100}}\right).$$

Comme $\log(10^r)=r$,

$$\log(100)=2, \qquad \log(10^{2013})=2013, \qquad \log(10^{-100})=-100.$$

Donc

$$2-2013-100=\boxed{-2111}.$$

Le document source faisait apparaître $2019$ au milieu du calcul. Ici, on conserve l’énoncé $2013$ et on corrige le résultat en conséquence.