关于对数公式推导过程如下：
1.首先，假设来自百度文库一个函数y=lnx，它的导数是什么？
2.将y=lnx替换为y=x的对数形式，即y=loga (x)，其中a是底数。
3.使用对数求导法则，即求导时将原函数的对数形式求导，即d/dx (loga (x))=1/x。
拓展知识：
对数公式是数学中的一种常见公式，如果ax=N(a>0,且a≠1)，则x叫做以a为底N的对数,记做x=logaN，其中a要写于log右下。其中a叫做对数的底，N叫做真数。通常以10为底的对数叫做常用对数，以e为底的对数称为自然对数。
恒等式及证明
alogaN=N (a>0 ，a≠1）推导：logaaN=N恒等式证明
在a>0且a≠1，N>0时
设：当logaN=t，满足(t∈R)则有at=N;alogaN=at=N;证明完毕
在数学中，对数是对求幂的逆运算，正如除法是乘法的逆运算，反之亦然。
这意味着一个数字的对数是必须产生另一个固定数字（基数）的指数。 在简单的情况下，乘数中的对数计数因子。
更一般来说，乘幂允许将任何正实数提高到任何实际功率，总是产生正的结果，因此可以对于b不等于1的任何两个正实数b和x计算对数。如果a的x次方等于N（a>0，且a≠1），那么数x叫做以a为底N的对数（logarithm），记作x=loga N。其中，a叫做对数的底数，N叫做真数。
对数在数学内外有许多应用。这些事件中的一些与尺度不变性的概念有关。例如，鹦鹉螺的壳的每个室是下一个的大致副本，由常数因子缩放。这引起了对数螺旋。Benford关于领先数字分配的定律也可以通过尺度不变性来解释。对数也与自相似性相关。
例如，对数算法出现在算法分析中，通过将算法分解为两个类似的较小问题并修补其解决方案来解决问题。自相似几何形状的尺寸，即其部分类似于整体图像的形状也基于对数。对数刻度对于量化与其绝对差异相反的值的相对变化是有用的。
此外，由于对数函数log(x)对于大的x而言增长非常缓慢，所以使用对数标度来压缩大规模科学数据。对数也出现在许多科学公式中，例如Tsiolkovsky火箭方程，Fenske方程或能斯特方程。