📚 Year 12 WJEC Maths: Proof Writing Frameworks & Model Essays | 论文写作框架与范文
In Year 12 WJEC Mathematics, constructing rigorous and well-structured proofs is a core skill that distinguishes high-scoring answers. Writing a mathematical proof is like crafting a concise essay: you must state your assumptions, follow a clear logical flow, and conclude with a justified result. This article provides essential frameworks and full model answers to help you master proof writing for your exams.
在 WJEC 数学 Year 12 课程中，构建严谨、结构清晰的证明是取得高分的关键能力。撰写数学证明就如同撰写一篇精炼的论文：你需要陈述假设，遵循清晰的逻辑流程，并得出有依据的结论。本文为你提供核心写作框架与完整范文，助你掌握考试中的证明写作。
1. Introduction to Proof Writing in WJEC Maths | WJEC数学证明写作入门
WJEC Year 12 pure mathematics heavily emphasises logical reasoning. The specification expects you to construct proofs using direct deduction, contradiction, induction, and disproof by counterexample. Mark schemes reward clarity, correct notation, and a well-organised chain of implications. Think of your solution as a mini-essay: every line must be justified and connected to the next.
WJEC 数学 Year 12 纯数部分非常重视逻辑推理。考试大纲要求你能够运用直接推导、反证法、数学归纳法以及反例证伪构建证明。评分标准会奖励表述清晰、符号正确、推理链条有条理的解答。把你的解答看作一篇小论文：每一行都必须有理有据，并紧密衔接下一行。
Examiners often look for a three-part structure: a clear statement of the given condition, a logical development, and a final conclusion that mirrors the statement to be proved. Understanding these expectations turns proof writing from a daunting task into a manageable routine.
考官通常寻找三部分结构：清晰陈述已知条件、合乎逻辑的推导过程，以及呼应待证命题的最终结论。理解这些要求，就能把令人生畏的证明写作变成可掌控的常规操作。
2. The Structure of a Mathematical Proof | 数学证明的结构
Every formal proof in WJEC exams follows a predictable template. The table below shows the essential elements and their roles in both English and Chinese descriptions. Adopting this framework ensures you never miss crucial connecting steps.
WJEC 考试中的每一道正式证明题都遵循可预见的模板。下表展示了基本要素及其在英中双语中的角色。采用这个框架能确保你永远不会遗漏关键的衔接步骤。
| Element | English Role | 中文角色 |
|---|---|---|
| Given / Hypothesis | State the known facts or assumptions. | 陈述已知事实或假设。 |
| Logical Steps | Apply definitions, axioms, and previously proven theorems. | 运用定义、公理和已证定理。 |
| Intermediate Results | Derive new equalities or inequalities that lead to the goal. | 推导出指向目标的新等式或不等式。 |
| Conclusion | Restate the proved statement, often using QED or a box. | 重申已证命题，常使用 QED 或方框标记。 |
Using this table as a checklist, you can self-assess whether your solution flows from hypothesis to conclusion without gaps. Many students lose marks by jumping straight to the conclusion without showing the intermediate algebra.
你可以把这个表格作为自查清单，评估你的解答是否从假设到结论没有缺漏。很多学生丢分是因为直接跳到结论，而没有展示中间的代数推导。
3. Direct Proof Framework with Example | 直接证明框架与范例
A direct proof starts with the given condition and uses valid deductions to arrive at the required statement. In WJEC, direct proofs often involve parity, divisibility, or inequalities. The framework is: “Let the hypothesis be true. Then … Hence the conclusion holds.”
直接证明从已知条件出发，运用有效的推导得到所需命题。在 WJEC 考试中，直接证明常涉及奇偶性、整除性或不等式。其框架为：“设假设成立。则……因此结论成立。”
Example: Prove that if n is an even integer, then n² is even.
范例：证明若 n 为偶数，则 n² 为偶数。
Let n be an even integer. By definition, n = 2k for some integer k.
设 n 为偶数。根据定义，n = 2k，其中 k 为某个整数。
Then n² = (2k)² = 4k² = 2(2k²). Since 2k² is an integer, n² is twice an integer, so n² is even.
则 n² = (2k)² = 4k² = 2(2k²)。因为 2k² 是整数，n² 是某个整数的两倍，所以 n² 是偶数。
The structure demonstrates a natural flow: define variables, substitute, factor, and conclude. Always remember to restate the definition at the end, connecting back to “evenness”.
这个结构展示了自然的流程：定义变量、代入、因式分解、得出结论。务必记得最后重述定义，回扣“偶数的含义”。
4. Proof by Contradiction: Template and Model | 反证法：模板与范文
Proof by contradiction is powerful for statements that are difficult to verify directly, such as irrationality claims. You begin by assuming the opposite of what you want to prove, then deduce an impossible situation.
反证法对于直接验证困难的命题（如无理数命题）非常有效。你先假设与待证命题相反的结论，然后推导出一个不可能的情形。
Template: 1) Assume the statement is false. 2) Derive a contradiction with a known fact (e.g., basic arithmetic, definition of prime). 3) Conclude the original statement must be true.
模板： 1) 假设命题为假。 2) 推导出与已知事实（如基本算术、质数定义）的矛盾。 3) 断定原命题必定为真。
Mini-example: Prove there is no greatest integer.
简短范例：证明不存在最大整数。
Suppose there is a greatest integer N. Then consider N+1, which is an integer greater than N. This contradicts the assumption that N is the greatest. Hence, no greatest integer exists.
假设存在最大整数 N。考虑 N+1，它是一个比 N 大的整数。这与 N 是最大整数的假设矛盾。因此，不存在最大整数。
In WJEC exams, you must explicitly state the contradiction and why it invalidates the assumption. A common mistake is to stop short of explaining the contradiction’s significance.
在 WJEC 考试中，你必须明确说明矛盾所在，以及为什么它使假设不成立。常见错误是话只说一半，没有解释矛盾的意义。
5. Proof by Induction: Step-by-Step Framework | 归纳法：分步框架
Mathematical induction is a key WJEC topic for series, divisibility, and inequalities. The proof must contain three clearly labelled stages. The following table presents the framework used in high-scoring answers.
数学归纳法是 WJEC 中关于级数、整除性和不等式的关键题型。证明必须包含三个清晰标出的阶段。下表展示了高分答案所使用的框架。
| Stage | English Description | 中文描述 |
|---|---|---|
| Base Case | Verify the statement for the smallest value, usually n = 1. | 验证最小取值（通常 n = 1）时命题成立。 |
| Inductive Hypothesis | Assume the statement is true for n = k. | 假设 n = k 时命题为真。 |
| Inductive Step | Prove that the statement for n = k implies the statement for n = k+1. | 证明由 n = k 成立可推出 n = k+1 成立。 |
After completing the inductive step, write a concluding sentence: “Thus, by mathematical induction, the statement is true for all positive integers n.” The WJEC mark scheme often reserves a mark for this final declaration.
完成归纳步骤后，写出总结句：“因此，由数学归纳法，命题对所有正整数 n 成立。” WJEC 的评分方案通常为这条最终声明保留一分。
6. Disproof by Counterexample | 反例证伪
Not all mathematical statements are true. If you suspect a universal claim is false, you only need one counterexample to disprove it. WJEC frequently tests this skill in the context of number properties and functions.
并非所有数学命题都正确。如果你怀疑某个全称命题为假，只需一个反例即可将其证伪。WJEC 经常在数性和函数背景下考察这一技能。
Example: “All prime numbers are odd.” Counterexample: 2 is prime but even. The existence of a single counterexample instantly disproves the statement.
范例：“所有质数都是奇数。” 反例：2是质数但是偶数。仅一个反例的存在即刻否定了原命题。
When writing your answer, explicitly state the counterexample and show why it violates the condition. Simply writing “n=2” without explanation may not earn full credit. Link the counterexample back to the definition used.
书写答案时，要明确陈述反例，并说明它为何违反条件。仅仅写出“n=2”而不作解释可能得不到满分。要把反例与所使用的定义关联起来。
7. Writing Clear Logical Connectors | 清晰逻辑连接词的使用
Connectives are the glue of a proof. Using them precisely shows the examiner how your thoughts progress. The table below lists WJEC-approved connectors with their functions.
逻辑连接词是证明的粘合剂。准确使用它们可以向考官展示你的思维推进过程。下表列出了 WJEC 认可的连接词及其功能。
| Connector (English) | 中文对应及用法 |
|---|---|
| Assume / Let | 假设 / 设 – 引入变量或假设。 |
| Then / Hence / Thus | 则 / 因此 / 于是 – 表示直接推导。 |
| Since / Because | 由于 / 因为 – 给出理由。 |
| Suppose (for contradiction) | 假设（反面） – 用于反证法开头。 |
| This contradicts | 这与……矛盾 – 指出矛盾点。 |
| Therefore / Consequently | 所以 / 因而 – 引出最终结论。 |
Overusing arrows (→) without verbal justification can make your proof ambiguous. WJEC prefers a mix of symbolic and written reasoning. For instance, write “a = 2k ⇒ a² = 4k²” and then follow with “Hence a² is divisible by 4.”
过度使用箭头（→）而没有文字解释会使证明模棱两可。WJEC 更倾向于符号推理与文字说明相结合。例如，写出“a = 2k ⇒ a² = 4k²”，然后再接“因此 a² 能被4整除”。
8. Common Pitfalls and How to Avoid Them | 常见错误与避免方法
- Circular reasoning: Assuming what you need to prove inside the proof.
循环论证： 在证明过程中假设了需要证明的结论。始终从一个独立的已知事实出发。 - Skipping the base case: In induction, forgetting to verify n=1 is a fatal error.
遗漏基础情形： 在归纳法中，忘记验证 n=1 是致命错误。即使归纳步骤完美，也会丢分。 - Incomplete contradiction: Stating “this is impossible” without specifying which definition or theorem is violated.
矛盾陈述不完整： 说“这是不可能的”却不指明违反了哪条定义或定理。必须点出矛盾的具体缘由。 - Weak conclusion: Ending with “so it works” rather than “Thus the original statement is proved for all n”.
结论薄弱： 以“所以这成立”结尾，而不是“因此原命题对所有 n 成立”。写一条清晰的总结句。 - Misusing counterexamples: Providing a counterexample that does not satisfy the initial condition.
误用反例： 给出的反例并不满足原命题的前提条件。一定要检查反例是否符合所有给定假设。
Regularly reviewing these pitfalls while practising past WJEC proof questions will greatly improve the clarity and accuracy of your written solutions.
在练习 WJEC 历年证明题时定期回顾这些易错点，能极大提升书面解答的清晰度和准确性。
9. A Full Model Essay: Proving Irrationality of √2 | 完整范文：证明√2无理数
This is a classic WJEC-style contradiction proof. Each step is presented with its paired translation to illustrate the ideal essay structure.
这是一道经典的 WJEC 风格反证题。每一步都配对了译文，以展示理想的论文式解答结构。
Statement to prove: √2 is irrational.
待证命题： √2 是无理数。
Assume, for contradiction, that √2 is rational. Then we can write √2 = a/b, where a and b are integers with no common factors (b ≠ 0).
假设（为了导出矛盾）√2 是有理数。那么
Published by TutorHao | Year 12 Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导