反证法是否存在对立面？假设a=b推导至恒真式能否证明原命题？

咱们一个个拆解这两个问题：

当然有，而且是咱们平时用得最多的证明思路——直接证明。

反证法的核心逻辑是「绕个弯子否定结论，顺着这个否定推导出矛盾，从而反过来坐实原结论」，属于间接证明的范畴。而直接证明完全是反过来的思路：不需要否定任何东西，直接从题目给的条件、已有的公理定理出发，一步步正向推导，最终得到要证明的结论。

举个简单的例子：要证「若x>3，则x²>9」。

• 直接证明：因为x>3>0，两边同乘x（正数不改变不等式方向），得x²>3x；又因为3x>9，所以x²>9，直接搞定。
• 反证法：假设x²≤9，解得-3≤x≤3，这和题设x>3矛盾，所以原结论成立。

当然还有构造性证明、数学归纳法这些，但和反证法“思路对立”的核心就是直接证明——一个从结论反面找矛盾，一个从正面硬推结论。另外提一句，有些命题只能靠反证法（比如证明√2是无理数），但大部分场景下两种方法都能尝试。

这得分情况，关键看你的推导过程是不是每一步都可逆。

先理清楚逻辑：你现在做的是「假设a=b → ... → 1=1」，这只能说明如果a=b成立，那么1=1肯定成立——但1=1本身就是恒真命题，所以这个推导只能告诉你“a=b这个假设不会导致矛盾”，但没法直接说明a=b一定成立。

但如果你的每一步变形都是等价变换（也就是反过来推也完全成立），比如：
假设a=b，两边减b得a-b=0；两边加1得a-b+1=1。这时候你把推导顺序反过来：从1=1出发，减1得0=0，再变形为a-b=0，就能得到a=b。这种情况下，你的“假设推导”其实只是反过来证明的草稿，本质还是有效的直接证明。

但如果推导里有不可逆的步骤，比如：
假设a=b，两边乘0得到0=0；或者假设a=b，两边平方得到a²=b²（但反过来a²=b²推不出a=b）。这时候你没法从0=0或者a²=b²推回a=b，因为这些变形是单向的——这种情况下，你的“证明”就是无效的，属于逻辑上的漏洞。

总结一下：这种方法不是绝对可行或不可行，核心看推导是否可逆。所有步骤等价的话，反过来就是有效证明；有不可逆步骤的话，这个推导就没任何说服力。

内容的提问来源于stack exchange，提问作者Ryder Rude