对数

style="color:red">e</span>」, 绿色函数底数是2，蓝色函数底数是0.5，刻度是半个单位。

在数学中，對數（）是冪運算的逆運算。

定义
当时，則有

其中是對數的底（也稱為基數），而 就是（对于底数）的对数，也称为真数。

底数的值在实数范围内常取、 10、2等，但一定不能是1或0

当和进一步限制为正实数的时候，对数是唯一的实数。
例如，因为
，
我们可以得出
，
用日常语言说，即「81以3为底的对数是4」。 这个意思就是说，81是3的4次方。

 历史 
 对数 
15世纪时，法国数学家尼古拉·许凯和德国数学家在开展研究工作时产生了发展对数的思想，他们，尤其是后者，对等差数列和等比数列的关系作了一些研究。但他们并没有使其得到更进一步的发展。

一般认为对数于16世纪末至17世纪初期间由苏格兰数学家约翰·纳皮尔男爵和瑞士工程师约斯特·比尔吉发明。比尔吉曾担任过著名天文学家开普勒的助手，因此会经常接触到复杂的天文计算，他也因此产生了化简数值计算的想法。纳皮尔是一位苏格兰贵族，对数值的计算有很深的研究。为了找到简化球面三角计算的方法，他也产生了发展对数的想法。1614年，他在自己的书籍《奇妙的对数表的描述》Much of the history of logarithms is derived from The Elements of Logarithms with an Explanation of the Three and Four Place Tables of Logarithmic and Trigonometric Functions, by James Mills Peirce, University Professor of Mathematics in Harvard University, 1873.上发布了自己的对数表，相較比尔吉早了6年。纳皮尔发明的纳皮尔算筹用加减法代替了乘除法，成功简化了乘除法的运算，他的对数被后人称为纳皮尔对数，记法为Nap·logx。

1624年，英国数学家书籍《对数算术》成功出版，书中写有14位常用对数表。布里格斯率先采用了以10为底的常用对数，而现在它已通用。他还制作了正弦和正切的对数表。荷兰数学家兼出版商在布里格斯的基础上加以改进，他出版的数个对数表在欧洲迅速普及起来。

17世纪中叶（清朝初年），中国数学家薛凤祚和波兰传教士穆尼阁合作完成了中国最早的对数著作《比例对数表》（又名《历学会通》），对数自此传入中国。此书称真数为“原数”，对数为“比例数”。而《数理精蕴》中则称作对数比例：“对数比例乃西士若往·纳白尔所作，以借数与真数对列成表，故名对数表。”中国因此普遍称之为“对数”。

对数对科学的进步有所贡献，特别是对天文学，使某些繁难的乘法计算转换为加法计算。在计算器和计算机发明之前，对数长期用于测量、航海、和其他应用数学分支中。

 符号 
对数符号出自拉丁文logarithmus，最早由1632年意大利数学家卡瓦列里所使用。纳皮尔在表示对数时套用logarithm整个词，并未作简化。1624年，开普勒才把对数符号简化为，奥特雷德在1647年也用简化了的Log。

1893年，皮亚诺用及分别表示以为底的对数和以10为底的对数。1902年，等人以表示以为底的的对数。

20世纪初，形成了对数的现代标准表示，为了使用方便，自然对数的记法得到了普遍认可。

 对数函数 

函数依赖于和二者，但是术语对数函数在标准用法中用来称呼形如的函数，在其中底数是固定的而只有一个參數。

对数函数图像和指数函数图像关于直线对称，互为逆函数。

对数函数的性质有：
 都过点；
 即y軸為其垂直漸近線。
 定义域为，值域为；
，在上是增函数；时，在上是减函数。
 當 時和交於三點；時交於一點；時交於兩點；時交於一點；時則無交點。

 运算公式 
名稱公式證明和差設，基变換（换底公式）设 
∴
对其两边取对数，则有
即  
又∵  
∴  指係(次方公式)还原互換设 ,
则有 ,
即 ,倒数链式

 有理和无理指数 

如果是自然數，表示等于的个因子的乘积：

。

但是，如果是不等于1的正实数，这个定义可以扩展到在一个域中的任何实数（参见幂）。类似的，对数函数可以定义于任何正实数。对于不等于1的每个正底数，有一个对数函数和一个指数函数，它们互为反函数。

对数可以简化乘法运算为加法，除法为减法，幂运算为乘法，根运算为除法。所以，在发明电子计算机之前，对数对进行冗长的数值运算是很有用的，它们广泛的用于天文、工程、航海和测绘等领域中。它们有重要的数学性质而在今天仍在广泛使用中。

 特殊底数 
最常用做底数的是e、10和2。
在数学分析中，以为底对数很常见。另一方面，以10为底对数在十进制表示法中，手工计算很容易：, chapter 17, p. 275

所以表示正整数的位数：数字的十进制位数是严格大于的最小的整数。例如，下一个整数是4，即1430的位数。

以2为底的对数常用于计算机科学，因为计算机中二进制很普及。当然上面的算法也可推广到二进制：严格大于的最小整数是在二进制下的位数。事实上经由简单推导即可得知，floor(logpx)+1 得到在进制下的位数：若在进制下有位，则；而是不小于 2 的正整数导致以其为底的是增函数，故三边取对数得，取下整正好得到。

下表列出了这些底数的常用的对数符号以及他们所使用的领域。许多学科都写来代替，而的值根据前后文可以确定。记号也出现过。, p. 20“ISO表示法”（）一列指定了ISO推荐的表示方法。

底数的名称ISO表示法其它的表示方法适用领域2 二進制對數、 计算机科学、信息论、数学 自然对数（用于数学和许多程序设计语言） 数学分析、物理学、化学统计学、经济学和其它工程领域10 常用对数（用于工程学、生物学、天文学） 多种工程学领域 （见分贝）、对数表、手持式计算器、 光谱学

 底数变换 
尽管有很多有用的恒等式，对计算器最重要的是找到不是建造于计算器内的底数（通常是和）的其他底数的对数。要使用其他底数找到底数的对数:
。
此外，这个结果蕴涵了所有对数函数（任意底数）都是相互类似的。所以用计算器计算对134217728底数2的对数:
。

 对数的用途 
对数对解幂是未知的方程是有用的。它们有简单的导数，所以它们经常用在解积分中。对数是三个相关的函数中的一个。在等式中，可以从的次方根，从的底数的对数，从的次的幂来确定。参见对数恒等式得到掌控对数函数的一些规则。

 简便计算 
对数把注意力从平常的数转移到了幂。只要使用相同的底数，就会使特定运算更容易：
 数的运算  幂的运算  对数恒等式

这些关系使在两个数上的这种运算更快，

 群论 
从纯数学的观点来看，恒等式：
，
在两种意义上是基本的。首先，其他3个算术性质可以从它得出。进一步的，它表达了在正实数的乘法群和所有实数的加法群之间的同构。

对数函数是从正实数的乘法群到实数的加法群的唯一连续同构。

 复对数 

复对数计算公式：

 微积分 

自然对数函数的导数是
 。

通过应用换底规则，其他底数的导数是
 。

自然对数的不定积分是

而其他底数对数的不定积分是
 。

 计算自然对数的级数 
有一些级数用来计算自然对数。Handbook of Mathematical Functions, National Bureau of Standards (Applied Mathematics Series no.55), June 1964, page 68.最简单和低效的是:
当。
下做推导：

由
。
在两边积分得到

。
设并因此，得到

更有效率的级数是基於反雙曲函數的

对带有正实部的。

推导：代换为，得到
。
做减法，得到
。
设并因此，得到
。

例如，应用这个级数于

得到

并因此

在这里我们在第一行的总和中提出了因数。

对于任何其他底数，我们使用

。

 计算机 
多数计算机语言把用做自然对数，而常用对数典型的指示为log10(x)。参数和返回值典型的是浮点数据类型。

因为参数是浮点数，可以有用的做如下考虑：

浮点数值被表示为尾数和指数所形成的
 。

因此
 。

所以，替代计算，我们计算对某个的使得。有在这个范围内的意味着值总是在范围内。某些机器使用在范围内的尾数，并且在这个情况下的值将在范围内。在任何一种情况下，这个级数都是更容易计算的。

 一般化 
普通的正实数的对数一般化为负数和复数参数，尽管它是多值函数，需要终止在0上的分支切割，来制作一个普通函数或主分支。复数的（底数）的对数是复数，这裡的是的模，是辐角，而是虚单位；详情参见复对数。

离散对数是在有限群理论中的相关概念。它涉及到解方程，这裡的和是这个群的元素，而是指定在群运算上的幂。对于某些有限群，据信离散对数是非常难计算的，而离散指数非常容易。这种不对称性可用于公开密钥加密。

矩阵对数是矩阵指数的反函数。

对于不等于1的每个正数，函数是从在乘法下的正实数的群到在加法下（所有）实数的群的同构。它们是唯一的连续的这种同构。对数函数可以扩展为在乘法下正实数的拓扑空间的哈尔测度。

 对数表 
400px|thumb|20世纪的常用对数表的一个实例。

在發明计算器之前，使用对数意味着查对数表，它必须手工建立。

 参见 
 对数恒等式
 自然对数
 常用对数
 离散对数
 芮氏地震规模
 分贝

 注释 

 参考文献  

 外部链接 





 Khan Academy: Logarithms, free online micro lectures






Category:基本特殊函数
Category:苏格兰发明
Category:加性函数