换底公式的四个推论是log（a^m） b=(loga b) /(loga a^m)，log（a^m） b^n=(loga b^n)/(loga^m)，loga b=(logb b)/(logb a)，loga b * logb c= loga b*(loga c)/(loga b)。
换底公式是高中数学常用对数运算公式，可将多异底对数式转化为同底对数式，结合其他的对数运算公式一起使用。计算中常常会减少计算的难度，更迅速的解决高中范围的对数运算。另外在高等数学中有一种求导方法叫对数求导法，其原理就是指数函数的换底，把底为普通常数或变量的指数函数或幂指函数统统都变形为以e为底的复合函数形式。