理解反证法 [pdf]
本文探讨了反证法这一数学证明方法的本质与教学意义。作者通过具体实例，分析了学生在理解反证法时常见的困难，并提出了有效的教学策略，帮助学习者从逻辑基础和直观感受两个层面真正掌握这一重要的证明工具。
背景速读
反证法（Proof by Contradiction）是数学中一种经典的证明技巧，核心思路是：先假设结论不成立，然后推出一个与已知公理、定义或前提相矛盾的结论，从而反过来证明原结论正确。这篇文章来自英国数学教育家 David Foster，刊登于《苏格兰数学委员会期刊》。很多学生（甚至成年人）觉得反证法“绕脑子”——明明要证A，却先假设非A，然后推出矛盾，最后说A成立。文章旨在帮助教师和学生理解这种推理方式的逻辑本质，以及它在数学课堂中的意义。Foster 是英国数学教学领域的资深研究者，长期关注如何让学生真正“弄懂”数学概念，而不仅仅是背诵步骤。