主题目录

等价转化与条件追踪

基础更新于 2026-09-29

本页目录

解题过程既包含计算，也包含逻辑关系。把每一步看成条件集合之间的包含，有助于避免漏解与增根。

两种方向

$P\Leftrightarrow Q$ 可双向替换；只有 $P\Rightarrow Q$ 时， $Q$ 的解只是候选，需要回代检查。例如平方、乘可能为零的式子、由积为零拆分，具有不同的逻辑条件。

求参数时，可先从特殊输入得到必要条件，再证明它对全部输入充分。找到必要条件只是缩小候选范围。

解 $x(x-1)=2(x-1)$ 。直接除以 $x-1$ 会遗漏 $x=1$ 。移项分解得 $(x-1)(x-2)=0$ ，解为 $1,2$ 。若坚持除法，须先分 $x=1$ 与 $x\ne1$ 两支。

对正数 $a,b$ 证明 $a/b+b/a\ge2$ 。倒推得到 $a^2+b^2\ge2ab$ ，再得到 $(a-b)^2\ge0$ 。因为乘以 $ab$ 是乘正数，每步可逆，才能把此分析整理成完整证明。

每次变形检查定义域、除数、符号和可逆性；最后检查端点、等号和全部原条件。符号表达式化简后的定义域扩大，不等于原对象发生改变。

主题目录

基础更新于 2026-09-29

本页目录

解题过程既包含计算，也包含逻辑关系。把每一步看成条件集合之间的包含，有助于避免漏解与增根。

求参数时，可先从特殊输入得到必要条件，再证明它对全部输入充分。找到必要条件只是缩小候选范围。

解 $x(x-1)=2(x-1)$ 。直接除以 $x-1$ 会遗漏 $x=1$ 。移项分解得 $(x-1)(x-2)=0$ ，解为 $1,2$ 。若坚持除法，须先分 $x=1$ 与 $x\ne1$ 两支。

对正数 $a,b$ 证明 $a/b+b/a\ge2$ 。倒推得到 $a^2+b^2\ge2ab$ ，再得到 $(a-b)^2\ge0$ 。因为乘以 $ab$ 是乘正数，每步可逆，才能把此分析整理成完整证明。

每次变形检查定义域、除数、符号和可逆性；最后检查端点、等号和全部原条件。符号表达式化简后的定义域扩大，不等于原对象发生改变。