反证法的一般步骤为（ ） A. 反设 B. 归谬 C. 推理 D. 结论

反证法的一般步骤为（ ） A. 反设 B. 归谬 C. 推理 D. 结论

反证法的一般步骤为反设、归谬、结论，对应选项A、B、D。这种间接证明方法的核心逻辑是：通过否定原命题的结论（反设），经过推理得出矛盾（归谬），最终否定假设并肯定原命题（结论）。

具体步骤解析

反设：假设原命题结论不成立，即提出与命题结论相反的假设。例如证明“√2是无理数”时，先反设“√2是有理数”。这一步需明确命题结论的否定形式，如“至少有一个”的反设为“一个也没有”。

归谬：从反设出发，结合已知条件、定义、公理或定理进行逻辑推理，导出矛盾。矛盾类型包括与已知条件冲突、自相矛盾（如“m/n是最简分数且不是最简分数”）等。例如假设三角形三内角都大于60°，可推出内角和大于180°，与三角形内角和定理矛盾。

结论：由于矛盾的出现证明反设不成立，根据逻辑中的排中律（两个对立判断必有一真），原命题结论必然成立。例如“√2不是有理数”的反设被推翻后，即可断定“√2是无理数”。

关键逻辑依据

反证法的有效性依赖于矛盾律（矛盾的判断不能同真）和排中律（对立的判断必有一真）。这使其区别于逆否命题等价法，后者仅依赖真值表，而反证法适用于无逆否命题的简单命题（如“素数有无穷多个”）。

为何反证法能成为数学证明的利器？或许正是因为它将“无法直接证明”的困境，转化为“只需导出矛盾”的清晰路径，这种“正难则反”的思维，两千多年前就帮助古希腊人发现了无理数。你认为在哪些场景下，反证法比直接证明更具优势？