上周在城南一所中学听初三的几何课，老师抛出个判定题：”一组对边平行，且一组对角相等的四边形，是不是平行四边形？”底下七嘴八舌说”是”。点了个戴黑框眼镜的男生上来写，他歪歪扭扭画了个矩形，又画了个稍微斜一点的平行四边形，写完两句话，站在讲台边愣了。
我凑过去看他的草稿。
他画了七八张草图，从歪到正，从扁到长，全是符合条件的平行四边形。
“你还有别的要补充吗？”老师问他。
他抠了抠校服下摆，憋了快30秒，小声说：”我……我试了所有能画的，都符合。”
这时候底下有学生喊”那就是对的啊，证完了”。
我当时就在听课本上划了个大大的问号。
别把”举对例子”当成论证的终点
说真的我听过太多类似的课堂收尾了。学生举两个符合要求的例子，老师点点头，说”很好，这个结论是成立的”，就翻页讲下一道题。
那哪是数学论证啊。
那是逛超市买了两包临期零食，就认定整个货架的东西都没过期。
我们太习惯把”找得到正例”当成证明的终点，却忘了在数学的世界里，哪怕你找得到一万个符合结论的例子，只要没把”为什么不存在反例”这件事说清楚，你的说服就根本站不住脚。
很多学生从初一开始学证明，就被灌输”证明就是把已知条件套到定理上，推出结论”的思路，从来没人跟他说，你在写每一步逻辑之前，其实都在潜意识里排除了无数个可能推翻结论的反例。
那个站在讲台上的男生，他的认知还停留在”生活里的说服逻辑”——我见过的都对，那这事就板上钉钉。但数学论证从来不是生活里的人情说服，它要的是”不管你从哪个角度找，都找不到能推翻结论的例外”。
论证的核心，是逼自己找”找不到的反例”
我后来在课下找那个男生聊，问他刚才在讲台上卡壳的时候，脑子里在想什么。他说他本来想画个不符合的图出来，证明结论不对，结果试了快十分钟，只要满足”一组对边平行、一组对角相等”这两个条件，画出来的四边形怎么歪，最后都会自动变成两组对边平行。
你看，这才是数学论证真正的起点。
不是你顺着已知条件往下推的那一刻，是你拼尽全力想找个反例，却发现根本找不到的那一刻。
很多时候我们把论证想成了”顺着逻辑往前冲的直线”，其实根本不是。它更像你在关一扇门之前，反复晃了晃门把手，确认锁是扣死的，风根本吹不进来。所谓的逻辑链，不过是你晃了无数次门把手之后，写下的”这扇门确实锁死了”的证明。
之前有个教育学者说，数学证明的本质是”说服”。我之前总觉得这话太飘，直到看了这个男生的草稿本才懂——说服谁啊？首先是说服你自己。你得先把所有能想到的反例都试遍了，确定没漏，你写出来的那段逻辑，才不是抄来的套话。
别着急把逻辑链补得太满
那天上课的老师，后来看到男生卡壳，马上就把整段证明写在了黑板上：因为AB平行CD，所以∠A+∠D=180°，又因为∠A=∠C，所以∠C+∠D=180°，推出AD平行BC，两组对边分别平行，所以是平行四边形。
整段话写下来，花了不到30秒。
写完他问”大家都懂了吗”，底下齐刷刷点头。
我当时真的想站起来说句不对。
不是他的逻辑错了。是他把最值钱的那30秒卡壳，直接给跳过去了。
我们总怕学生在课堂上卡壳，怕耽误进度，怕显得老师没本事，一看到学生说不出来，马上就把标准答案递过去，把所有思考的缝隙都用知识点填满。可恰恰是这些卡壳的缝隙里，才藏着学生对数学论证最真实的理解。
当然也不是说所有的课堂都要逼着学生卡30秒。刚接触几何证明的初一学生，先让他们举两个正例建立对图形的感觉，是完全必要的。只是到了初二、初三，当学生已经能熟练套定理写证明的时候，就得把那个”找反例”的意识捡回来——不然他写的所有证明，都只是在抄别人的逻辑，根本不是自己的思考。
太顺的课堂，反而没东西。
你想啊，要是那个男生在讲台上，一上来就顺着老师的思路，一步一步把证明写得丝滑无比，那他其实根本没经过”找反例找不到”的过程，哪怕他写的每个字都对，他也根本没摸到数学论证的边。
真正的论证从来不是写在纸上的那几行字。是你在草稿本上画了七八张歪歪扭扭的图，翻了半天定理书，想找个漏洞却找不到的那个过程。