ln÷ln计算：lnx表示以e为底，x的对数设lnx=y则x=e^y即y=lnx与x=e^y互为反函数ln1=0因为x=1，x=e^y，1=e^0则ln1=0。

在数学中，对数是对求幂的逆运算，正如除法是乘法的倒数，反之亦然。 这意味着一个数字的对数是必须产生另一个固定数字（基数）的指数。一般来说，乘幂允许将任何正实数提高到任何实际功率，总是产生正的结果，因此可以对于b不等于1的任何两个正实数b和x计算对数。

反函数存在定理

定理：严格单调函数必定有严格单调的反函数，并且二者单调性相同。

在证明这个定理之前先介绍函数的严格单调性。

设y=f(x)的定义域为D，值域为f(D)。如果对D中任意两点x1和x2，当x1<x2时，有y1<y2，则称y=f(x)在D上严格单调递增；当x1<x2时，有y1>y2，则称y=f(x)在D上严格单调递减。

证明：设f在D上严格单增，对任一y∈f(D)，有x∈D使f(x)=y