Eksponenttifunktion kantaluvun vaihtaminen

Olkoon funktio \(f(x)=a^x\), missä vakio \(a\) ja muuttuja \(x\) ovat reaalilukuja.

Voidaanko funktion määrittelevä lauseke \(a^x\) kirjoittaa muodossa \(b^{\:kx}\), missä \(a\neq b\) ja \(k\) jokin vakio?

Yritetään ensin kirjoittaa \(a^x\) kirjoittaa muodossa \(e^{\:kx}\). Tämä onnistuu, kun muistetaan logaritmin määritelmä: pitää vain korottaa kantaluku \(e\) sellaiseen potenssiin, että tulokseksi tulee \(a^x\). Luonnollinen logaritmi \(\ln{(a^x)}\) antaa nimenomaan tämän eksponentin, joka sieventyy kivasti:

Toisaalta \(b^{\:kx}\) voidaan kirjoittaa nyt samalla idealla:

Merkitsemällä yhtäsuuriksi saadaan yhtälö, josta saadaan \(k\) selville:

\begin{align}e^{x\ln{a}}&= e^{kx\ln{b}} \\ x\ln{a}&= kx\ln{b}\quad \Vert :x\ln{b} \\ \frac{\ln{a}}{\ln{b}}&= k \\ &\end{align}

Vakiolle \(k\) saadaan lauseke \( k=\frac{\ln{a}}{\ln{b}} \). Nyt saadaan vastaus alkuperäiseen kysymykseen:

\begin{equation*}a^x=b^{x \cdot \frac{\ln{a}}{\ln{b}}}\end{equation*}