在STEP考试中，证明题占比高达40%-50%。很多考生即使算对了答案，也因为证明写得不够严谨而丢分。事实上，STEP考官最看重的不是你"做对了没有"，而是你"写清楚了没有"。
本文将从证明题的本质、常用证明方法、写作规范、常见错误和训练方法五个维度，为你全面拆解STEP证明题的写作全攻略。掌握这些技巧，你的证明题得分将提升一个档次。
一、理解STEP证明题的本质
1. 证明题 ≠ 计算题
计算题的目标是得到一个数值答案。而证明题的目标是用严密的逻辑推导，让考官相信你提出的结论是正确的。即使最终结论正确，如果推导过程跳步太多、逻辑不严密，也会被扣分。
2. STEP考官在看什么？
考官评估你的证明时，关注以下几个维度：
逻辑完整性：每一步推导是否都有依据？是否有跳步？
严谨性：是否考虑了所有情况（如正负、零、边界条件）？
清晰性：你的证明是否容易读懂？是否有清晰的逻辑连接词？
数学语言：是否使用了正确的数学术语和符号？
3. 过程分（Method Marks）的重要性
STEP的评分极其看重过程分。即使你的证明最终没完成，只要前面的推导步骤正确、逻辑清晰，就能拿到大量分数。写清楚的半成品 > 写不清楚的成品。
二、STEP常用证明方法详解
1. 直接证明（Direct Proof）
适用场景：从已知条件出发，通过一系列推导直接得出结论。
写作模板：
假设...（明确前提条件）
由...定理/性质可知...
因此...
所以结论成立 ∎
注意事项：每一步都要写明依据（"由某某定理"或"因为..."），不要跳步。
2. 数学归纳法（Mathematical Induction）
适用场景：证明与正整数n有关的命题。
写作步骤（三步缺一不可）：
基础步骤（Base Case）：验证n=1（或n=0）时命题成立
归纳假设（Inductive Hypothesis）：假设n=k时命题成立
归纳步骤（Inductive Step）：证明n=k+1时命题也成立
写作模板：
"We prove by mathematical induction on n.
Base case: When n=1, LHS = ... = RHS, so the statement holds.
Inductive step: Assume the statement holds for n=k, i.e., ...
We need to show it holds for n=k+1, i.e., ...
[推导过程]
Therefore, by the principle of mathematical induction, the statement holds for all positive integers n. ∎"
常见错误：忘记写基础步骤；归纳假设没写清楚；归纳步骤逻辑不严密。
3. 反证法（Proof by Contradiction）
适用场景：直接证明困难时，假设结论不成立，推导出矛盾。
写作步骤：
假设结论不成立（即假设结论的反面）
从这个假设出发，进行推导
推导出一个矛盾（与已知条件矛盾，或自相矛盾）
因此假设不成立，原结论成立
写作模板：
"Suppose for contradiction that ...
Then ...
But this contradicts ...
Therefore, our assumption is false, and ... ∎"
经典例子：证明√2是无理数。
4. 分类讨论（Proof by Cases）
适用场景：问题涉及多种情况（如正负、奇偶、大小关系）。
写作步骤：
明确需要讨论的几种情况（必须穷尽所有可能）
对每种情况分别证明
总结：在所有情况下结论都成立
写作模板：
"We consider three cases:
Case 1: If ..., then ...
Case 2: If ..., then ...
Case 3: If ..., then ...
In all cases, ... ∎"
常见错误：遗漏某种情况（如忘记讨论x=0的情况）。
5. 构造法（Proof by Construction）
适用场景：证明某个对象存在。
写作步骤：
明确要构造什么
给出具体的构造
验证这个构造满足要求
写作模板：
"Let ... [给出具体构造]
We claim that ... satisfies ...
To verify, we check that ...
Therefore, ... exists. ∎"
STEP考试备考资料免费领取
翰林学院作为STEP官方授权考试中心，提供代报名服务
需要代报名、备考资源、课程辅导欢迎咨询
三、证明题写作规范：考官期望看到什么？
1. 使用清晰的逻辑连接词
| 用途 | 推荐表达 |
|---|---|
| 引出假设 | Let..., Assume..., Suppose... |
| 推导 | Therefore..., Hence..., Thus..., It follows that... |
| 引用定理 | By [theorem name], ... / Using ..., we have... |
| 转折 | However..., But..., On the other hand... |
| 总结 | Therefore, we conclude that... / This shows that... |
| 结束证明 | ∎ 或 Q.E.D. 或 "This completes the proof." |
2. 定义变量和符号
开头必须明确定义所有变量：
✅ "Let n be a positive integer."
✅ "Let f(x) = x² + 2x + 1."
❌ 直接写 "n² + 2n + 1 > 0"（n是什么？没说清楚）
3. 写明每一步的依据
✅ "Since f is continuous on [a,b], by the Intermediate Value Theorem, there exists c ∈ (a,b) such that f(c) = 0."
❌ "So there exists c such that f(c) = 0."（为什么？依据呢？）
4. 考虑边界条件和特殊情况
除以变量时，声明"Assuming x ≠ 0"
取平方根时，讨论正负号
涉及整数时，考虑n=0, n=1等边界情况
5. 排版清晰
标明题号 (i), (ii), (iii)
每个小问另起一行
重要结论用方框或下划线标出
保持卷面整洁
四、中国考生常见的五大证明错误
错误一：跳步过多
问题：中国考生往往"心算"能力强，习惯在脑海中完成多步推导，但写在卷面上时跳步太多。
例子：题目要求证明 "If n is even, then n² is even."
❌ 错误写法："Let n = 2k. Then n² = 4k² = 2(2k²), which is even."（跳步：n为什么可以写成2k？4k²为什么等于2(2k²)？）
✅ 正确写法："Since n is even, by definition there exists an integer k such that n = 2k. Then n² = (2k)² = 4k² = 2(2k²). Since 2k² is an integer, n² is even by definition. ∎"
错误二：循环论证
问题：用结论本身来证明结论。
例子：证明 "√2 is irrational."
❌ 错误写法："√2 is irrational because it cannot be written as a fraction."（这是在用结论证明结论）
✅ 正确写法：用反证法，假设√2 = p/q（p,q互质），推导出矛盾。
错误三：归纳法步骤不完整
问题：忘记写基础步骤，或归纳步骤逻辑不严密。
检查清单：
✓ 基础步骤（n=1）写了吗？
✓ 归纳假设（"Assume for n=k"）写了吗？
✓ 从k推到k+1的每一步都有依据吗？
错误四：分类讨论遗漏情况
问题：只讨论了部分情况，遗漏了某些特殊情况。
例子：证明 "For all real x, x² ≥ 0."
❌ 错误写法："If x > 0, then x² > 0. If x < 0, then x² > 0."（遗漏了x=0的情况）
✅ 正确写法："Case 1: If x > 0, then x² > 0. Case 2: If x = 0, then x² = 0. Case 3: If x < 0, then x² > 0. In all cases, x² ≥ 0. ∎"
错误五：符号混乱或定义不清
问题：使用了未定义的符号，或同一符号表示不同含义。
❌ 错误写法："Let n = 2k. Then m = ..."（m是什么？从哪来的？）
✅ 正确写法："Let n = 2k for some integer k. Define m = k². Then..."
五、如何训练证明题写作能力？
阶段一：模仿（1-2个月）
方法：阅读Siklos教材和真题Mark Scheme中的标准证明，逐字逐句模仿其写法和逻辑结构。
每周精读2-3道证明题的标准解答
注意学习：开头怎么定义、中间怎么推导、结尾怎么总结
把常用的句式和表达记录下来
阶段二：练习（2-3个月）
方法：从简单的证明题开始，每天写1-2个证明。
先从直接证明和数学归纳法开始
写完后对照Mark Scheme，检查自己漏了哪些步骤
把常见错误记录在"错题本"上，考前复习
阶段三：反馈（持续）
方法：找人批改你的证明，获得反馈。
找老师、导师或同学批改
加入TSR论坛，发帖求助批改
重点关注：哪里跳步了？哪里逻辑不严密？哪里定义不清？
阶段四：限时训练（考前3个月）
方法：在限时条件下写证明。
每道证明题限时20-25分钟
练习在压力下保持逻辑清晰
模拟真实考场环境
六、证明题的"加分技巧"
技巧一：开头写"Proof."
在证明开头写一个"Proof."（或"证明："），结尾写"∎"或"Q.E.D."——这不仅是规范，也是给考官一个清晰的信号："这是一道证明题"。
技巧二：用"We"而非"I"
数学证明的标准写法是用"We"（"We assume...", "We need to show..."），而非"I"。这更符合学术规范。
技巧三：画辅助图
如果证明涉及几何或函数图像，画一个清晰的草图能帮助你思考，也可能获得额外的方法分。
技巧四：推广结论
如果时间允许，在证明完特定结论后，尝试用一句话总结："This result can be generalized to..."。考官非常喜欢有探索精神的考生。
技巧五：检查特殊值
证明完成后，代入特殊值（如n=1, x=0）检验结论是否成立——这是快速发现错误的有效方法。
七、总结：证明是一种"数学写作"
证明题写作本质上是一种数学写作——你需要用清晰、严谨、有逻辑的语言，把你的数学思想表达出来。
记住三个核心原则：
完整性：每一步都要写出来，不要跳步
严谨性：考虑所有情况，写明所有依据
清晰性：用规范的数学语言和逻辑连接词
证明能力不是天生的，而是通过大量阅读、刻意练习和及时反馈训练出来的。从今天开始，每做一道证明题，都把它当作一次"数学写作"来认真对待——一年后，你的证明水平将脱胎换骨。
本文综合整理自STEP考官报告、Stephen Siklos教材及高分考生经验，仅供参考。证明题写作需要长期训练，建议结合真题反复练习。祝各位考生在STEP证明题中取得高分！
以上就是关于【STEP考试证明题写作全攻略，五大证明方法+写作规范+常见错误+训练指南】的内容，如需了解STEP考试动态，可至STEP考试官网获取更多信息。
相关精彩文章阅读推荐：
