Logarithme

Introduction

La fonction logarithme est découverte en terminale en cours de mathématiques et en cours de sciences-physiques.
Son utilité est importante en ISN également (comme dans toutes les sciences en fait).

Logarithme à base

La fonction logarithme utilisée en sciences-physiques est en général la fonction logarithme à base 10, notée en général log ou log₁₀.

La fonction logarithme étudiée dans le cours de mathématique est la fonction logarithme à base e=exp(1). Cette fonction est également appelée logarithme népérien. Elle est noté ln ou encore log_e.

En ISN, nous aurons plutôt besoin de la fonction logarithme à base 2. Elle est notée log₂.

Ces fonctions ne sont distinctes qu'à un coefficient multiplicateur près : \[\forall x\in\left]0~;~+\infty\right[ \ \ \log_{10}(x) = \frac{\ln(x)}{\ln(10)}\] \[\forall x\in\left]0~;~+\infty\right[ \ \ \log_{2}(x) = \frac{\ln(x)}{\ln(2)}\]

Propriétés essentielles

Nous n'aurons besoin en ISN que de peu de propriétés.

Relation fonctionnelle

\[\forall a\in \left]0~;~+\infty\right[, \forall b \in\left]0~;~+\infty\right[ \ \ \ln(a\times b)=\ln(a)+\ln(b) \] Et bien sûr (puisqu'il suffit de multiplier ln par un nombre constant pour obtenir log₁₀, idem pour log₂) : \[\forall a\in \left]0~;~+\infty\right[, \forall b \in\left]0~;~+\infty\right[ \ \ \log_{10}(a\times b)=\log_{10}(a)+\log_{10}(b) \] \[\forall a\in \left]0~;~+\infty\right[, \forall b \in\left]0~;~+\infty\right[ \ \ \log_{2}(a\times b)=\log_{2}(a)+\log_{2}(b) \]

Croissance

Seconde propriété : les fonctions log (quelle que soit la base) sont définies sur ]0 ; +∞ [ et strictement croissantes sur ]0 ; +∞ [.

Fonction réciproque.

Soit a un réel strictement positif. La fonction log_a est la fonction réciproque de la fonction x ↦ a^x.

\[\forall x\in\mathbb{R}, \ \forall y\in\left]0~;~+\infty\right[\ \colon \ \ 2^x=y \Longleftrightarrow x=\log_{2}(y) \] \[\forall x\in\mathbb{R}, \ \forall y\in\left]0~;~+\infty\right[\ \colon \ \ 10^x=y \Longleftrightarrow x=\log_{10}(y) \] \[\forall x\in\mathbb{R}, \ \forall y\in\left]0~;~+\infty\right[\ \colon \ \ e^x=y \Longleftrightarrow x=\ln(y) \]

En particulier : \[ \forall x\in\mathbb{R} \ \ \log_{10}(10^x) =x \] \[ \forall y\in\left]0~;~+\infty\right[\ \ \ 10^{\log_{10}(y)}=y \] \[ \forall x\in\mathbb{R} \ \ \log_{2}(2^x) =x \] \[ \forall y\in\left]0~;~+\infty\right[\ \ \ 2^{\log_{2}(y)}=y \] \[ \forall x\in\mathbb{R} \ \ \ln(e^x) =x \] \[ \forall y\in\left]0~;~+\infty\right[\ \ \ e^{\ln(y)}=y \]

Code python

En python, log désigne la fonction ln. Il faut préciser la base dans les autres cas.



from math import log 


for x in (1, 10, 100, 1000, 10000, 100000, 1000000) :
	print('Image de {} par la fonction ln : {}.'.format(x,log(x)) )
	
print()

for x in (1, 10, 100, 1000, 10000, 100000, 1000000) :
	print('Image de {} par la fonction log décimal : {}.'.format(x,log(x, 10)) )
	
	
print()

for x in (1, 10, 100, 1000, 10000, 100000, 1000000) :
	print('Image de {} par la fonction log binaire : {}.'.format(x,log(x, 2)) )

ce qui donne :

Image de 1 par la fonction ln : 0.0.
Image de 10 par la fonction ln : 2.302585092994046.
Image de 100 par la fonction ln : 4.605170185988092.
Image de 1000 par la fonction ln : 6.907755278982137.
Image de 10000 par la fonction ln : 9.210340371976184.
Image de 100000 par la fonction ln : 11.512925464970229.
Image de 1000000 par la fonction ln : 13.815510557964274.

Image de 1 par la fonction log décimal : 0.0.
Image de 10 par la fonction log décimal : 1.0.
Image de 100 par la fonction log décimal : 2.0.
Image de 1000 par la fonction log décimal : 2.9999999999999996.
Image de 10000 par la fonction log décimal : 4.0.
Image de 100000 par la fonction log décimal : 5.0.
Image de 1000000 par la fonction log décimal : 5.999999999999999.

Image de 1 par la fonction log binaire : 0.0.
Image de 10 par la fonction log binaire : 3.3219280948873626.
Image de 100 par la fonction log binaire : 6.643856189774725.
Image de 1000 par la fonction log binaire : 9.965784284662087.
Image de 10000 par la fonction log binaire : 13.28771237954945.
Image de 100000 par la fonction log binaire : 16.609640474436812.
Image de 1000000 par la fonction log binaire : 19.931568569324174.

Vous pouvez remarquer au passage que la croissance du logarithme n'est pas rapide (il faudrait clarifier ce que l'on entend par là mais une compréhension basée sur les valeurs numériques sera ici suffisante) : c'est une remarque importante pour l'usage que l'on aura de cette fonction en ISN.

Logarithme entier

Définition

Soit x un nombre réel strictement positif.
Nous appellerons logarithme entier binaire de x et noterons par \[ \text{blog}(x) = \lceil \log_2(x) \rceil \] partie entière supérieure de log₂(x).

En particulier : \[ \text{blog}(2^p) = \lceil \log_2(2^p) \rceil \] soit \[ \text{blog}(2^p) = p \]

Définition équivalente

Soit x un réel strictement positif. x est nécessairement compris entre deux puissances successives de 2. Plus précisément, il existe un entier n tel que \[ 2^{n-1} < x \leqslant 2^n \] On a alors blog(x)=n.
blog(x) est donc le plus petit entier n tel que \( x \leqslant 2^n \).

Justification.

De \[ 2^{n-1} < x \leqslant 2^n \] on déduit (la fonction log étant strictement croissante sur ]0 ; +∞ [ ) \[ \log_2( 2^{n-1} ) <\log_2(x) \leqslant \log_2(2^n) \] ce qui s'écrit aussi : \[ n-1 <\log_2(x) \leqslant n \] ou encore \[ n = \lceil \log_2(x) \rceil\]

Code python

D'après ce qui précède, pour tout réel x∈[1 ; +∞ [, blog(x) est le plus petit entier n tel que \[\frac{x}{2^n} \leqslant 1\]

blog(x) est donc le nombre minimum de divisions par 2 qu'il faut appliquer à x pour obtenir un nombre valant au plus 1.

D'où un programme simple de calcul de blog(x) pour x∈[1 ; +∞ [.


from math import log, ceil

 
def blog(x) :
	n = 0
	while x>1 :
		x/=2
		n+=1
	return n
	
def logEntier(x) :
	return ceil(log(x,2))


for x in (1, 1.6, 2,3, 4, 7, 8, 14, 15, 16, 17) : 
	print('blog   de {} : {}.'.format(x, blog(x)) )
	print('Avec la fonction log du module math : {} '.format(logEntier(x) ) )
	print()

ce qui donne :

blog de 1 : 0.
Avec la fonction log du module math : 0 

blog de 1.6 : 1.
Avec la fonction log du module math : 1 

blog de 2 : 1.
Avec la fonction log du module math : 1 

blog de 3 : 2.
Avec la fonction log du module math : 2 

blog de 4 : 2.
Avec la fonction log du module math : 2 

blog de 7 : 3.
Avec la fonction log du module math : 3 

blog de 8 : 3.
Avec la fonction log du module math : 3 

blog de 14 : 4.
Avec la fonction log du module math : 4 

blog de 15 : 4.
Avec la fonction log du module math : 4 

blog de 16 : 4.
Avec la fonction log du module math : 4 

blog de 17 : 5.
Avec la fonction log du module math : 5

Nombres de chiffres d'un entier

Propriété

Soit n un entier (différent de 0).
Le nombre de chiffres de l'écriture décimale de n est \[ \lfloor \log_{10}(n) \rfloor +1 \] (où ⌊. ⌋ désigne la fonction partie entière).

Le nombre de chiffres de l'écriture binaire de n est \[ \lfloor \log_{2}(n) \rfloor +1 \]

Démonstration

La démonstration est exposée dans le cas de la base 10. Elle est analogue en base 2.

Un entier à 3 chiffres est un entier n vérifiant 10² ≤ n < 10³.
De façon plus générale, un entier à p chiffres vérifie 10^p-1 ≤ n < 10^p.

Comme la fonction log₁₀ est strictement croissante sur ]0 ; +∞ [, on a pour un tel entier : \[ \log_{10}(10^{p-1}) \leqslant \log_{10}(n) < \log_{10}(10^p) \] Et la fonction log₁₀ étant la fonction réciproque de la fonction x ↦ 10^x, ceci s'écrit : \[ p-1 \leqslant \log_{10}(n) < p \]

On a donc : \( p-1 = \lfloor \log_{10}(n) \rfloor \) , ce qui est le résultat annoncé.

Remarque.

On peut exprimer le résultat précédent ainsi (en base 2) :

soit n est une puissance de 2 et dans ce cas, le nombre de chiffres de son écriture binaire est blog(n)+1,
soit n n'est pas une puissance de 2 et dans ce cas, le nombre de chiffres de son écriture binaire est blog(n).

résultat qui pourra d'ailleurs vous sembler immédiat à partir de l'écriture binaire d'un entier et de la définition que nous avons donné plus haut du logarithme entier binaire.