Definicja logarytmu

Dla ,  i :

, gdy 

a) 

Przyjmijmy, że  jest liczbą wymierną. Istnieją więc takie liczby naturalne, różne od ,  i , że .

Zatem:

Otrzymujemy