一种证明方法，其步骤是先陈述一个命题，然后证明该命题会导致矛盾，从而论证该命题为假。正如 G. H. Hardy 所说：“Reductio ad absurdum，欧几里得非常喜欢它，是数学家最精良的武器之一。它比任何国际象棋开局都精妙得多：国际象棋棋手可能会牺牲一个兵甚至一个子，但数学家牺牲的是整个游戏”（Coxeter 和 Greitzer 1967，第 16 页；Hardy 1993，第 34 页）。
Reductio ad Absurdum
另请参阅
证明使用 Wolfram|Alpha 探索
参考文献
Coxeter, H. S. M. 和 Greitzer, S. L. Geometry Revisited. Washington, DC: Math. Assoc. Amer., 第 16 页，1967 年。Hardy, G. H. A Mathematician's Apology, reprinted with a foreword by C. P. Snow. New York: Cambridge University Press, 第 34 页，1993 年。在 Wolfram|Alpha 中被引用
Reductio ad Absurdum请引用为
Weisstein, Eric W. “Reductio ad Absurdum。” 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/ReductioadAbsurdum.html