对数换底公式推导是若有对数log（a）（b）设a=n^x，b=n^y。

则log（a）（b）=log（n^x）(n^y)。换底公式是高中数学常用对数运算公式，可将多异底对数式转化为同底对数式，结合其他的对数运算公式一起使用。计算中常常会减少计算的难度，更迅速的解决高中范围的对数运算。