核心要点
在实数范围，log₂8+log₂4=3+2=5。方程log₂(x−1)+log₂(x+1)=3须先保留x>1，整理得x²=9后只接受x=3。x=−3不能因为平方后得到正数就进入原式。
- 同底对数相加对应真数相乘：log₂8+log₂4=5，不能将8与4直接相加。阅读对应章节：先用指数解释符号
- 实数对数要求各个原始真数为正，乘积为正不能替代这个条件。阅读对应章节：“积为正”不能替代“各自为正”
- 例题保留 x>1 后，x²=9 的候选中只接受 x=3，排除 x=−3。阅读对应章节：完整求解：候选值两个，原式解一个
展开文章目录
先用指数解释符号
OpenStax对数函数定义将对数与指数形式相联系：log_b(a)=c意味着b^c=a，在实数对数中要求b>0且b≠1、a>0。本篇只讨论这个范围，不延伸到复数对数。
对原创算例，2³=8、2²=4，所以两个对数分别为3和2。两指数相加对应2³×2²=2⁵，因此log₂(8×4)=5。这给出了规则的理由，而不是只背“加变乘”。
数字小样先排除错误规则
log₂8+log₂4 = log₂(8+4) = log₂12
log₂8+log₂4 = 3+2 = 5 = log₂32
“积为正”不能替代“各自为正”
OpenStax的对数性质说明同底对数的积规则。应用到log₂(x−1)+log₂(x+1)之前，要保留x−1>0和x+1>0，交集为x>1。
合并后的log₂(x²−1)单独看还允许x<−1，但原来的两个真数在这一区间都为负。扩大的定义域不能倒过来覆盖原式条件；这正是候选值−3容易混进答案的原因。
| 表达式 | 要求 | 范围 |
|---|---|---|
| log₂(x−1)+log₂(x+1) | x−1>0且x+1>0 | x>1 |
| log₂(x²−1)单独出现 | x²−1>0 | x<−1或x>1 |
| 用于求解原式的合并式 | 保留原式条件 | 仍为x>1 |
完整求解：候选值两个，原式解一个
题目为log₂(x−1)+log₂(x+1)=3。先写x>1；在此条件下合并为log₂[(x−1)(x+1)]=3，转为(x−1)(x+1)=2³=8，于是x²−1=8，x²=9，候选值为3与−3。
3满足x>1，代回得log₂2+log₂4=1+2=3。−3使原来的真数为−4与−2，在实数对数中不合法；不能先把两者相乘为8，再宣称代回成功。解集为{3}。
根式方程的候选值核对也要求回到原式，但这里的失误发生于对数定义域扩张，并不是一次平方操作的同义重复。
每一步都能解释
- 底数2有效；原式两真数都为正，得x>1。
- 相加合并为乘积，右边3转为2³=8。
- x=±3只是候选，不立即写进最终解集。
- 代回原式只留下3，记录为什么−3被排除。
换一个底数，答案仍由定义控制
原创变式一：log_(1/2)(1/8)=多少？因为(1/2)³=1/8，答案为3。底数在0与1之间仍有效，不必强行改成2；但不能把它与底数2的对数直接按同底规则合并。
原创变式二：log₃(x−2)+log₃(x+2)=2。原式要求x>2；合并得x²−4=3²=9，候选±√13，只有√13满足条件。代回时两个正真数的乘积为9，所以两对数之和为2。
原创变式三：log₁8没有本篇定义下的实数值。底数1的任何实数次幂都为1，不能得到8。复习负指数与括号时保留指数对象，同样不能仅凭符号相似就替换运算。
| 练习 | 参考结果 | 关键检查 |
|---|---|---|
| log_(1/2)(1/8) | 3 | 有效底数0<b<1；用指数还原 |
| log₃(x−2)+log₃(x+2)=2 | x=√13 | x>2；拒绝−√13 |
| log₁8 | 本篇实数对数中无定义 | 底数不得为1 |
把错误记成规则条件，而不是只圈答案
错题记录可以写“我把真数相加，应在同一有效底数且各真数为正时使用乘积规则”，再用8与4的小样检验。若错误是收下−3，则写“我只检查乘积为正，遗漏原式两个真数分别为正”。这两种错误需要不同纠正。
完成标准是能从指数形式解释规则、写出原式定义域，并逐个接受或拒绝候选值。只有最后一个正确数字，仍不足以判断推理是否可靠。
