对数 -{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}- \\\scriptstyle\text{ }\\\scriptstyle\frac{\scriptstyle\text{分 子 }}{\scriptstyle\text{分 母 }}\end{matrix}\right\}\,=\,;zh-hant:formula_1;}- 在数学中，对数（）是幂运算的逆运算。 定义. 当formula_18时，则有 formula_19 其中formula_20是对数的底（也称为基数），而 formula_21就是formula_22（对于底数formula_20）的对数，formula_22也称为真数。 底数formula_20的值在实数范围内常取formula_26、 10、2等，但一定不能是1或0 当"formula_22"和"formula_20"进一步限制为正实数的时候，对数是唯一的实数。 例如，因为 formula_29， 我们可以得出 formula_30， 用日常语言说，即「81以3为底的对数是4」。 这个意思就是说，3的4次方是81。 历史. 对数. 15世纪时，法国数学家和德国数学家在开展研究工作时产生了发展对数的思想，他们，尤其是后者，对等差数列和等比数列的关系作了一些研究。但他们并没有使其得到更进一步的发展。 一般认为对数于16世纪末至17世纪初期间由苏格兰数学家约翰·纳皮尔男爵和瑞士工程师约斯特·比尔吉发明。比尔吉曾担任过著名天文学家开普勒的助手，因此会经常接触到复杂的天文计算，他也因此产生了化简数值计算的想法。纳皮尔是一位苏格兰贵族，对数值的计算有很深的研究。为了找到简化球面三角计算的方法，他也产生了发展对数的想法。1614年，他在自己的书籍《奇妙的对数表的描述》上发布了自己的对数表，相较比尔吉早了6年。纳皮尔发明的纳皮尔算筹用加减法代替了乘除法，成功简化了乘除法的运算，他的对数被后人称为纳皮尔对数，记法为Nap·logx。 1624年，英国数学家书籍《对数算术》成功出版，书中写有14位常用对数表。布里格斯率先采用了以10为底的常用对数，而现在它已通用。他还制作了正弦和正切的对数表。荷兰数学家兼出版商在布里格斯的基础上加以改进，他出版的数个对数表在欧洲迅速普及起来。 17世纪中叶（清朝初年），中国数学家薛凤祚和波兰传教士穆尼阁合作完成了中国最早的对数著作《比例对数表》（又名《历学会通》），对数自此传入中国。此书称真数为“原数”，对数为“比例数”。而《数理精蕴》中则称作对数比例：“对数比例乃西士若往·纳白尔所作，以借数与真数对列成表，故名对数表。”中国因此普遍称之为“对数”。 对数对科学的进步有所贡献，特别是对天文学，使某些繁难的乘法计算转换为加法计算。在计算器和计算机发明之前，对数长期用于测量、航海、和其他应用数学分支中。 符号. 对数符号formula_31出自拉丁文logarithmus，最早由1632年意大利数学家卡瓦列里所使用。纳皮尔在表示对数时套用logarithm整个词，并未作简化。1624年，开普勒才把对数符号简化为formula_31，奥特雷德在1647年也用简化了的Log。 1893年，皮亚诺用formula_33及formula_34分别表示以formula_26为底的对数和以10为底的对数。1902年，等人以formula_36表示以formula_37为底的formula_38的对数。 20世纪初，形成了对数的现代标准表示formula_39，为了使用方便，自然对数formula_40的记法得到了普遍认可。 对数函数. 函数formula_41依赖于formula_42和formula_22二者，但是术语对数函数在标准用法中用来称呼形如formula_41的函数，在其中底数formula_42是固定的而只有一个参数"formula_42"。 对数函数图像和指数函数图像关于直线formula_47对称，互为逆函数。 对数函数的性质有： 有理和无理指数. 如果formula_62是自然数，formula_63表示等于formula_20的formula_62个因子的乘积： formula_66。 但是，如果formula_20是不等于1的正实数，这个定义可以扩展到在一个域中的任何实数formula_62（参见幂）。类似的，对数函数可以定义于任何正实数。对于不等于1的每个正底数formula_20，有一个对数函数和一个指数函数，它们互为反函数。 对数可以简化乘法运算为加法，除法为减法，幂运算为乘法，根运算为除法。所以，在发明电子计算机之前，对数对进行冗长的数值运算是很有用的，它们广泛的用于天文、工程、航海和测绘等领域中。它们有重要的数学性质而在今天仍在广泛使用中。 特殊底数. 最常用做底数的是"e"、10和2。 在数学分析中，以formula_26为底对数很常见。另一方面，以10为底对数在十进制表示法中，手工计算很容易： formula_71 所以formula_72表示正整数formula_22的位数：数字的十进制位数是严格大于formula_72的最小的整数。例如formula_75，下一个整数是4，即1430的位数。 以2为底的对数常用于计算机科学，因为计算机中二进制很普及。当然上面的算法也可推广到二进制：严格大于formula_76的最小整数是formula_22在二进制下的位数。事实上经由简单推导即可得知，floor(logpx)+1 得到formula_22在formula_79进制下的位数：若formula_22在formula_79进制下有formula_62位，则p^{n-1}\leq x ；而formula_79是不小于 2 的正整数导致以其为底的formula_84是增函数，故三边取对数得formula_85，取下整正好得到formula_86。 下表列出了这些底数的常用的对数符号以及他们所使用的领域。许多学科都写formula_87来代替formula_88，而formula_38的值根据前后文可以确定。记号formula_90也出现过。“ISO表示法”（）一列指定了ISO推荐的表示方法。 底数变换. 尽管有很多有用的恒等式，对计算器最重要的是找到不是建造于计算器内的底数(通常是formula_91和formula_92)的其他底数的对数。要使用其他底数formula_20找到底数formula_42的对数: formula_95。 此外，这个结果蕴涵了所有对数函数（任意底数）都是相互类似的。所以用计算器计算对134217728底数2的对数: formula_96。 对数的用途. 对数对解幂是未知的方程是有用的。它们有简单的导数，所以它们经常用在解积分中。对数是三个相关的函数中的一个。在等式formula_97中，formula_38可以从formula_22的formula_62次方根，"formula_62"从formula_22的"formula_38"底数的对数，"formula_22"从"formula_38"的"formula_62"次的幂来确定。参见对数恒等式得到掌控对数函数的一些规则。 简便计算. 对数把注意力从平常的数转移到了幂。只要使用相同的底数，就会使特定运算更容易： 这些关系使在两个数上的这种运算更快，#重定向 -{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}- 群论. 从纯数学的观点来看，恒等式： formula_107， 在两种意义上是基本的。首先，其他3个算术性质可以从它得出。进一步的，它表达了在正实数的乘法群和所有实数的加法群之间的同构。 对数函数是从正实数的乘法群到实数的加法群的唯一连续同构。 复对数. 复对数计算公式： formula_108 formula_109 formula_110 formula_111 微积分. 自然对数函数的导数是 formula_112。 通过应用换底规则，其他底数的导数是 formula_113。 自然对数formula_114的不定积分是 formula_115 而其他底数对数的不定积分是 formula_116。 计算自然对数的级数. 有一些级数用来计算自然对数。最简单和低效的是: formula_117当formula_118。 下做推导： 由 formula_119。 在两边积分得到 formula_120 formula_121。 设formula_122并因此formula_123，得到 formula_124 更有效率的级数是基于反双曲函数的 formula_125 对带有正实部的formula_126。 推导：代换formula_127为formula_22，得到 formula_129。 做减法，得到 formula_130。 设formula_131并因此formula_132，得到 formula_133。 例如，应用这个级数于 formula_134 得到 formula_135 并因此 formula_136 formula_137 formula_138 在这里我们在第一行的总和中提出了因数formula_139。 对于任何其他底数formula_20，我们使用 formula_141。 计算机. 多数计算机语言把formula_142用做自然对数，而常用对数典型的指示为log10(x)。参数和返回值典型的是浮点数据类型。 因为参数是浮点数，可以有用的做如下考虑： 浮点数值formula_22被表示为尾数formula_144和指数formula_62所形成的 formula_146。 因此 formula_147。 所以，替代计算formula_148，我们计算对某个formula_144的formula_150使得formula_151。有在这个范围内的"formula_144"意味着值formula_153总是在范围formula_154内。某些机器使用在范围formula_155内的尾数，并且在这个情况下formula_156的值将在范围formula_157内。在任何一种情况下，这个级数都是更容易计算的。 一般化. 普通的正实数的对数一般化为负数和复数参数，尽管它是多值函数，需要终止在分支点0上的分支切割，来制作一个普通函数或主分支。复数formula_126的（底数formula_26）的对数是复数formula_160，这里的formula_161是"formula_126"的模，formula_163是辐角，而formula_164是虚单位；详情参见复对数。 离散对数是在有限群理论中的相关概念。它涉及到解方程formula_97，这里的formula_38和formula_22是这个群的元素，而formula_62是指定在群运算上的幂。对于某些有限群，据信离散对数是非常难计算的，而离散指数非常容易。这种不对称性可用于公开密钥加密。 矩阵对数是矩阵指数的反函数。 对于不等于1的每个正数formula_38，函数formula_170是从在乘法下的正实数的群到在加法下（所有）实数的群的同构。它们是唯一的连续的这种同构。对数函数可以扩展为在乘法下正实数的拓扑空间的哈尔测度。 对数表. 在发明计算器之前，使用对数意味着查对数表，它必须手工建立。