数学证明：从「我觉得」到「必然如此」

为什么丘赛死磕证明：大学生数学竞赛几乎全是证明题，而且按步骤给分——写清楚「为什么」，和答对「是什么」一样重要。阅卷教授想看的是：你的每一步，是否都有依据地从前一步走出来。

四件常用武器：一是「直接证明」，从条件一路推到结论；二是「反证法」，假设结论不成立，推出荒谬——欧几里得证素数无穷用的就是它；三是「数学归纳法」，像多米诺骨牌：推倒第一张，再证明每张都能撞倒下一张，于是全部倒下；四是「构造法」，直接把满足条件的东西造出来给你看。

验证一万次也不叫证明：哥德巴赫猜想（每个大于2的偶数都是两个素数之和）已被计算机验证到天文数字，依然只是「猜想」——因为无穷多个偶数，永远查不完。反过来说，推翻一个猜想只需要一个反例。这就是证明的脾气：不全信经验，只认逻辑。

常见误区：误区一，「画图看得出来」就当证完——图是启发，不是证据；误区二，循环论证——证明里偷偷用了结论本身；误区三，跳步——「显然」二字后面，往往藏着丢分的坑。丘赛答卷里，每个「显然」都要付出代价。

练一练：用归纳法证明 $1+2+\cdots +n=\frac{n(n+1)}{2}$：先验证n=1成立，再假设n=k成立，推出n=k+1也成立。写出完整过程请家长当评委挑刺。