In sommige situaties is het noodzakelijk om van de macht terug te rekenen naar de exponent. Op dit moment hebben we daar geen bewerking voor. Daarom voeren we een nieuwe bewerking in. Deze nieuwe bewerking is de 'terugreken' functie van een exponentiële functie . In het algemeen heet zo'n terugrekenfunctie een inverse functie.
Laat en . Dan is het reële getal gedefinieerd door de eigenschap .
Het getal heet de logaritme van met grondtal . Dit spreken we uit als 'a log x'.
De logaritme is inderdaad de functie die de exponent aangeeft van een getal dat geschreven wordt als een macht van . Kijk maar naar de onderstaande voorbeelden.
- , want
- , want
- , want
- , want
In Nederlandse teksten wordt vaak geschreven in plaats van .
Wij gebruiken soms als afkorting voor .
Anderen gebruiken het wel als afkorting van , waarbij , het getal van Euler, is. Hiervoor reserveren wij echter de notatie , waarbij het symbool 'ln' staat voor de natuurlijke logaritme. We zullen de natuurlijke logaritme en het getal van Euler in dit hoofdstuk verder niet echt gebruiken.
Als , dan is er geen waarde van , zodat . Daarom is alleen gedefinieerd als .
Als , dan ook . Het getal met bestaat niet als en is niet uniek vastgelegd door de gelijkheid als .
Als een functie is met de eigenschap dat er voor elke hooguit één waarde is met , dan is de functie met de eigenschap dat voldoet aan de inverse functie van .
Bij de logaritme bekijken we , de macht van met exponent , en is de inverse functie .
Hieronder vinden we twee belangrijke eigenschappen van de logaritmen, die moeten gelden om de 'terugreken' functie, oftewel de inverse functie, van de exponentiële functie te laten zijn.
Laat en . De logaritme is de inverse functie van de exponentiële functie . In het bijzonder geldt:
- voor alle .
- voor alle .
We leiden de twee regels af.
1. voor alle . Volgens de definitie geldt: dan en slechts dan als . Als we door vervangen in deze uitdrukking, dan staat er: dan en slechts dan als . Omdat de rechter gelijkheid altijd waar is, geldt hetzelfde voor de linker gelijkheid: . Als we door vervangen in deze uitdrukking, dan ontstaat de te bewijzen formule: .
2. voor alle . Volgens de definitie geldt: dan en slechts dan als . Als we door vervangen in deze uitdrukking, dan staat er: dan en slechts dan als . Omdat de linker gelijkheid altijd waar is, geldt hetzelfde voor de rechter gelijkheid: .
De tweede regel betekent dat de inverse functie van is. De eerste dat de inverse functie van . Dit is een bekende eigenschap: als de inverse functie van is, dan is de inverse functie van .
Hieronder staat de grafiek van de functie . De waarden van kunnen door middel van een slider gevarieerd worden.
Door de slider te variëren en de grafieken te bestuderen, zie je in dat onderstaand resultaat geldt.
Als , dan is stijgend, en als , dalend.
Stel en zijn getallen met . Volgens bovenstaande stelling zijn en getallen met en . Er geldt dus dan en slechts dan als .
Stel eerst . Van machtsverheffing weten we dat dan en slechts dan als . Met het oog op de equivalentie hierboven, zien we dat dan en slechts dan als . Vervangen we hier door en door , dan vinden we: dan en slechts dan als . Dit betekent dat stijgend is.
Stel nu dat . Van machtsverheffing weten we dat dan en slechts dan als . Met het oog op de eerste equivalentie in dit bewijs, zien we dat dan en slechts dan als . Vervangen we hier door en door , dan vinden we: dan en slechts dan als . Dit betekent dat dalend is.
Schrijf als een exact getal zonder logaritmen.
Het antwoord volgt uit en de regel :