指数对数互换公式

( y = a \cdot b^x ) 与 ( x = \frac{\ln y}{\ln b} )

嘿，我记得有一次在图书馆，我正在研究数学题，突然一个高中生跑过来问我指数和对数互换公式是啥。我说：“，那简单，就是a^b = c，那么log_a(c) = b。”他似懂非懂地点点头，又问我：“那反过来呢？”我说：“反过来也是一样，log_a(c) = b，a^b = c。”他似懂非懂地又点点头，然后跑去找他的小伙伴去了。等等，我还突然想到，这个公式好像在高中数学的某个章节里出现过，好像叫什么“对数函数”来着？