对数回答一个问题：底数的多少次幂会得到这个数？如果 $b^y = x$，那么 $\log_b(x) = y$。对数是乘方的逆运算，用于还原幂运算。最常见的有三种： log：底数为 10，即常用对数。log(100) 问的是“10 的多少次方等于 100？” ln：底数为 $e$（约 2.71828），即自然对数，在微积分中很常见。 log_a：自定义底数，用下划线书写。log_2(8) 表示以 2 为底 8 的对数。对数的真数必须为正数。对于 log(0) 或 log(-5) 等输入，应用会判定其无效并拒绝处理，因为正底数的任何实数次幂都不会得到零或负数。

对数简化器 - 即时逐步解决方案

Q: 什么是对数化简器？

它是一种使用对数法则改写对数表达式的工具，例如把 log(x*y) 变成 log(x) + log(y)。该应用每次只将一条法则与输入的完整表达式进行匹配。

Q: log_2(8) 会化简为 3 吗？

不会化简。该应用以符号方式应用换底公式，返回 log(8) / log(2)。即使数值答案是整数，它也不会把自定义底数的对数计算为数字。

Q: 为什么 log(x + y) 不能进一步化简？

乘积法则和商法则只适用于对数内部的乘法和除法，不适用于加法或减法。log(x + y) 不能改写成 log(x) + log(y)；这是一个常见的错误。

Q: 这个应用是免费的吗？

是免费的。在网络浏览器中可免费使用。

对数化简器

对数化简器是一种通过应用一条标准对数规则（例如乘积法则或幂法则）来重写对数表达式的工具。对数化简器应用会将表达式与一组固定模式进行匹配，并返回化简后的形式。如果没有任何单一模式匹配，就原样返回表达式。

什么是对数？

对数回答一个问题：底数的多少次幂会得到这个数？如果 $b^y = x$ ，那么 $\log_b(x) = y$ 。对数是乘方的逆运算，用于还原幂运算。

最常见的有三种：

log：底数为 10，即常用对数。log(100) 问的是“10 的多少次方等于 100？”
ln：底数为 $e$ （约 2.71828），即自然对数，在微积分中很常见。
log_a：自定义底数，用下划线书写。log_2(8) 表示以 2 为底 8 的对数。

对数的真数必须为正数。对于 log(0) 或 log(-5) 等输入，应用会判定其无效并拒绝处理，因为正底数的任何实数次幂都不会得到零或负数。

对数规则和公式

这些法则是代数中的标准结论。免费的 OpenStax 教材《大学代数 2e》列出了它们及推导过程，其中涵盖乘积法则、商法则、幂法则和换底公式。

规则	公式
乘积法则	$\log_b(x \times y) = \log_b(x) + \log_b(y)$
商法则	$\log_b(x \div y) = \log_b(x) - \log_b(y)$
幂法则	$\log_b(x^n) = n \times \log_b(x)$
换底公式	$\log_a(x) = \dfrac{\log(x)}{\log(a)}$
恒等式	$\log_b(b) = 1$
一的对数	$\log_b(1) = 0$

如何计算化简后的对数

应用会依次将每条规则与输入框中输入的完整表达式进行匹配。它只应用形状与整个表达式匹配的第一条规则，而不是只匹配其中一部分的规则。

由于每条规则都会检查完整表达式，应用一次只化简一个运算。同时包含幂和乘法的表达式，例如 log(x^2*y)，不符合任何单一模式，因此会原样返回。该工具不会组合多条规则，分步拆解较长的表达式。

对于单纯的数值对数，例如 log(8) 或 log(100)，该应用会计算出实际的小数，而不是应用符号法则。

计算示例

要化简 log(x*y)，应用会匹配乘积法则的模式 log(A*B)，将表达式拆成两个由加法连接的独立对数：

$\log(x \times y) = \log(x) + \log(y)$

对于 log(x^3)，幂法则的模式 log(A^n) 会匹配成功，指数会移到前面：

$\log(x^3) = 3 \times \log(x)$

对于 log_2(8) 这样的自定义底数，应用会以符号形式应用换底公式。它不会计算数值答案（答案为 3），而是返回比值 log(8) / log(2)。

输入和结果示例

输入	结果	所用法则
`log(100)`	`2`	数值计算
`log(8)`	`0.903090`	数值计算
`log(1)`	`0`	数值计算
`log(10)`	`1`	数值计算
`ln(e^5)`	`5`	$e^n$ 的自然对数
`log(x^3)`	`3 * log(x)`	幂法则
`log(x*y)`	`log(x) + log(y)`	乘积法则
`log(x/y)`	`log(x) - log(y)`	商法则
`log_5(5)`	`1`	恒等式， $\log_a(a) = 1$
`log_2(8)`	`log(8) / log(2)`	换底（符号结果，而不是 `3`）
`log(x+y)`	`log(x+y)`（未改变）	加法没有适用的法则

使用应用

在输入框中输入表达式，使用 * 表示乘法、/ 表示除法、^ 表示乘方，并用括号对项进行分组。对于自定义底数，使用 log_2(8) 这种下划线表示法。输入有效表达式后，结果会立即显示，同时还会显示一个小图示，说明输入、结果以及触发的唯一规则。使用复制按钮复制结果后，可将其粘贴到其他文档中。

局限性

该应用是一个小型模式匹配器，而不是完整的计算机代数系统。它无法：

在同一个表达式上连续应用两条或更多规则，因此 log(x^2*y/z) 这样的多项表达式不会进一步拆解。
将自定义底数的对数计算为普通数值。log_2(8) 会保持为 log(8) / log(2)，而不会变成 3。
化简对数内部的和或差，例如 log(x + y)，因为乘积法则和商法则只适用于乘法和除法。
解方程、绘制函数图像或处理嵌套对数。

对于这些任务，完整的计算机代数系统（如 Wolfram Alpha）或图形计算器更为合适。

简史

苏格兰数学家约翰·纳皮尔在一本出版于 1614 年的书中描述了对数。他的目的是用加法和减法取代大数缓慢的乘法和除法。亨利·布里格斯随后会见了纳皮尔，两人一致同意对数表应采用底数 10。布里格斯于 1617 年出版了他的第一张以 10 为底的对数表。1948 年，克劳德·香农用对数来度量信息。他写道，以 2 为底的对数给出的单位称为比特，是二进制数字的简称。计算机科学家也用对数来描述二分查找等算法的增长速度。

常见问题

什么是对数化简器？ 它是一种使用对数法则改写对数表达式的工具，例如把 log(x*y) 变成 log(x) + log(y)。该应用每次只将一条法则与输入的完整表达式进行匹配。

log_2(8) 会化简为 3 吗？ 不会化简。该应用以符号方式应用换底公式，返回 log(8) / log(2)。即使数值答案是整数，它也不会把自定义底数的对数计算为数字。

该应用能在一个表达式上组合使用多条法则吗？ 不能组合使用。每条法则都一次性检查整个表达式。需要两条法则的表达式，例如先拆开乘积再在其内部应用幂法则，会原样返回。

为什么 log(x + y) 不能进一步化简？ 乘积法则和商法则只适用于对数内部的乘法和除法，不适用于加法或减法。log(x + y) 不能改写成 log(x) + log(y)；这是一个常见的错误。

这个应用可以离线使用吗？ 不能完全离线使用。所有计算都在设备上的网络浏览器中运行，但页面必须先通过互联网加载。它不是可安装的离线应用。

这个应用是免费的吗？ 是免费的。在网络浏览器中可免费使用。

参考文献

OpenStax，莱斯大学。College Algebra 2e，第 6.5 节 "Logarithmic Properties"。《大学代数 2e》：对数性质 — 乘积法则、商法则、幂法则和换底公式。
圣安德鲁斯大学 MacTutor 数学史。John Napier。MacTutor：约翰·纳皮尔 — 纳皮尔对数的论述出现于 1614 年，用加法和减法取代了乘法和除法。
圣安德鲁斯大学 MacTutor 数学史。Henry Briggs。MacTutor：亨利·布里格斯 — 与纳皮尔就底数 10 达成一致；Logarithmorum Chilias Prima 于 1617 年出版。
C. E. 香农。A Mathematical Theory of Communication，贝尔系统技术期刊，1948 年（哈佛大学托管的重印本）。香农（1948），PDF — 以 2 为底的对数给出的单位称为比特。

对数简化器 - 即时逐步解决方案