2. Logarithmes
• Définition
Il n'existe pas de fonction rationnelle admettant pour dérivée 1/x ; pourtant, cette fonction est définie et continue pour x > 0, et, par suite (cf. calcul infinitésimal – Calcul à une variable, chap. 5), elle admet des primitives dans cet intervalle. Ces primitives constituent donc de « nouvelles » fonctions dont nous allons étudier les propriétés. Elles diffèrent toutes entre elles d'une constante, et il suffit d'en examiner une.
On appelle logarithme népérien ou naturel la primitive de 1/x dans ]0, ∞[ qui s'annule pour x = 1, soit :

Établissons dès maintenant la propriété fondamentale du logarithme népérien : c'est un homomorphisme (en fait, comme on le verra ci-dessous, un isomorphisme) du groupe multiplicatif R*+ dans le groupe additif R. Soit y un nombre réel positif ; la fonction f (x) = ln xy a la même dérivée que la fonction ln x :


… pour nos abonnés, l'article se prolonge sur 9 pages…



