📚 GCSE AQA Further Maths: Structured Proof Writing Framework and Model Answers | GCSE AQA 进阶数学：结构化证明写作框架与范文
Mastering proof is a key skill in GCSE AQA Further Mathematics. It is not enough to simply know a procedure; you must be able to present a logical, step-by-step argument that convinces the examiner. This article breaks down the essential proof structures, provides full model answers, and highlights common pitfalls so you can write with clarity and confidence.
掌握证明是 GCSE AQA 进阶数学的一项关键技能。仅仅知道解题步骤是不够的；你必须能够展示一个逻辑清晰、逐步推进的论证，让阅卷官信服。本文将拆解核心的证明结构，提供完整的范文，并指出常见错误，帮助你清晰自信地书写证明。
1. Why Structured Writing Matters in Mathematics | 为什么数学中的结构化写作很重要
In AQA Level 2 Further Mathematics, proof questions often carry high marks and require more than just algebraic manipulation. Examiners look for a clear chain of reasoning: a stated premise, a logical progression, and a justified conclusion. A messy, jumpy solution can lose marks even if the core idea is correct.
在 AQA Level 2 进阶数学中，证明题通常占分较高，要求的不仅是代数推导。阅卷官关注的是清晰的推理链条：明确的已知条件、逻辑递进和有据可依的结论。即使核心思路正确，一份杂乱、跳跃的解答仍可能丢分。
Structured writing demonstrates mathematical maturity. It shows you understand why each step follows from the last, not just what the answer is. This skill also transfers to problem-solving and extended questions throughout the paper.
结构化的书写展现了数学成熟度。它表明你理解每一步为何能由上一步推出，而不仅仅知道答案是什么。这项技能同样适用于整张试卷中的问题解决与扩展题型。
2. The Core Components of a Mathematical Proof | 数学证明的核心组成部分
Every rigorous proof includes three parts: the hypothesis (what you are given), the logical argument (the 'chain'), and the conclusion (what you need to show). Before writing, identify these parts clearly. For example, to prove that the sum of two consecutive odd numbers is a multiple of 4, the hypothesis is 'two consecutive odd numbers', the argument links algebraic forms, and the conclusion states the multiple-of-4 result.
每一个严格的证明都包含三个部分：假设（所给条件）、逻辑论证（“链条”）和结论（需证明的内容）。动笔前，先清晰地识别这些部分。例如，要证明两个连续奇数的和是 4 的倍数，假设就是“两个连续奇数”，论证连接代数形式，结论则陈述结果为 4 的倍数。
Hypothesis → Logical Deduction → Conclusion
假设 → 逻辑推导 → 结论
In AQA mark schemes, you will often see marks allocated separately for forming an algebraic expression, for manipulating it correctly, and for writing a clear concluding statement. Never leave the final 'therefore' sentence unwritten.
在 AQA 的评分方案中，你常会看到分数分别分配给列出代数表达式、正确化简以及书写明确的结论句。永远不要省略最后的“因此”语句。
3. Direct Proof Framework: From Statement to Conclusion | 直接证明框架：从陈述到结论
Direct proof is the most common structure. You start with a general statement and, through a series of algebraic or logical steps, arrive at the required result. The framework involves defining variables precisely, doing the algebraic work, and ending with a sentence that mirrors the question.
直接证明是最常见的结构。你从一个一般性陈述出发，经过一系列代数或逻辑步骤，得到所需的结果。这个框架包括精确定义变量、进行代数运算，最后用一个与题目呼应的句子收尾。
Always define your integers clearly: 'Let n be an integer' or 'Let 2n+1 represent an odd number'. Then show the algebra, factoring or rewriting until the target form appears. The final line should restate the claim using the conclusion you have proved.
始终清晰地定义你的整数：“设 n 为整数”或“用 2n+1 表示一个奇数”。然后展示代数过程，因式分解或重写直到出现目标形式。最后一行应使用你已证明的结论重述该命题。
Example structure: 1. Define variables. 2. Form expression. 3. Simplify & factor. 4. Conclude.
示例结构：1. 定义变量。2. 构建表达式。3. 化简与因式分解。4. 下结论。
4. Model Answer 1: Proving an Algebraic Identity | 范文1：证明代数恒等式
Question: Prove that for all integers n, the expression n² + n is always even.
题目：证明对所有整数 n，表达式 n² + n 恒为偶数。
Model answer:
范文：
Let n be any integer. We consider two cases: n is even or n is odd.
设 n 为任意整数。我们分两种情况讨论：n 为偶数或 n 为奇数。
Case 1: n is even. Then n = 2k for some integer k.
情况1：n 为偶数，则 n = 2k，其中 k 为整数。
n² + n = (2k)² + 2k = 4k² + 2k = 2(2k² + k).
n² + n = (2k)² + 2k = 4k² + 2k = 2(2k² + k)。
Since 2k² + k is an integer, the expression is a multiple of 2, hence even.
由于 2k² + k 是整数，该表达式是 2 的倍数，因此为偶数。
Case 2: n is odd. Then n = 2m + 1 for some integer m.
情况2：n 为奇数，则 n = 2m + 1，其中 m 为整数。
n² + n = (2m + 1)² + (2m + 1) = 4m² + 4m + 1 + 2m + 1 = 4m² + 6m + 2 = 2(2m² + 3m + 1).
n² + n = (2m + 1)² + (2m + 1) = 4m² + 4m + 1 + 2m + 1 = 4m² + 6m + 2 = 2(2m² + 3m + 1)。
Again, the bracket is an integer, so the expression is even. Therefore, in all cases n² + n is even. QED.
同样，括号内为整数，故该表达式为偶数。因此，在所有情况下 n² + n 均为偶数。证毕。
This answer shows careful case division and tidy algebra. The concluding statement ties back to the original claim, which is essential for full marks.
这份解答展示了细致的情况划分和整洁的代数过程。结论句回扣原命题，这是拿到满分的关键。
5. Proof by Contradiction Framework | 反证法框架
Proof by contradiction assumes the opposite of what you want to prove, then shows this assumption leads to an impossible or false situation. It is particularly powerful for irrationality proofs and statements about infinity.
反证法先假设要证明的命题的反面成立，然后证明这个假设会导致不可能或矛盾的情形。它对于无理数证明以及涉及无穷的命题特别有效。
The framework: 1. Assume the negation of the statement. 2. Deduce logical consequences. 3. Arrive at a contradiction (e.g. an even number equals an odd number, or a rational equals an irrational). 4. Conclude the original statement must be true.
框架如下：1. 假设命题的否定形式。2. 推导逻辑后果。3. 得出矛盾（例如一个偶数等于一个奇数，或有理数等于无理数）。4. 断言原命题为真。
Assume the opposite → Reason → Contradiction → Hence original claim is true.
假设反面 → 推理 → 矛盾 → 因此原命题为真。
When using contradiction, always state your assumption clearly: 'Assume, for contradiction, that …' and end with 'This contradicts … , therefore our assumption is false.'
使用反证法时，务必清晰陈述假设：“假设相反的结论成立……”并以“这与……矛盾，因此我们的假设错误”作结。
6. Model Answer 2: Proving the Irrationality of √2 | 范文2：证明√2是无理数
Question: Prove that √2 is irrational.
题目：证明 √2 是无理数。
Model answer:
范文：
Assume, for contradiction, that √2 is rational. Then it can be written as a fraction in its lowest terms:
假设 √2 是有理数，并用反证法。那么它可以写成一个最简分数：
√2 = p/q, where p and q are integers with no common factors, and q ≠ 0.
√2 = p/q，其中 p 和 q 是互质的整数，且 q ≠ 0。
, so p² = 2q². Hence p² is even, which implies p is even. Write p = 2k for some integer k.
两边平方得 2 = p²/q²，因此 p² = 2q²。故 p² 为偶数，从而 p 也是偶数。设 p = 2k，k 为整数。
Then (2k)² = 2q² → 4k² = 2q² → q² = 2k².
于是 (2k)² = 2q² → 4k² = 2q² → q² = 2k²。
This shows q² is even, so q is also even. But now both p and q are even, meaning they share a factor of 2. This contradicts the assumption that p/q was in lowest terms.
这表明 q² 为偶数，因此 q 也是偶数。但现在 p 和 q 都是偶数，意味着它们有公因子 2。这与 p/q 为最简分数的假设矛盾。
Therefore our initial assumption is false; √2 is irrational. QED.
因此，我们最初的假设错误；√2 是无理数。证毕。
Note how every line is justified. The contradiction is highlighted at the end, and the proof structure is airtight.
请注意每一行都有依据。矛盾在结尾被明确指出，整个证明结构滴水不漏。
7. Exhaustion and Counterexample Methods | 穷举法与反例法
Some statements can be proved by checking a small number of cases, known as proof by exhaustion. This is acceptable when the number of possibilities is small and manageable. A counterexample, on the other hand, is used to disprove a universal claim by giving a single example where it fails.
有些命题可以通过检查少量情况来证明，这称为穷举法。当可能情况数目较小且可控时，这种方法是可以接受的。而反例法则通过给出一个反例来推翻一个全称命题。
ven for integers 1 ≤ n ≤ 3 can be done by testing n=1,2,3. For disproving a statement like 'all prime numbers are odd', a counterexample is n=2.
穷举法仅当情况可以清晰列出并覆盖所有可能性时才使用。例如，证明当 1 ≤ n ≤ 3 时 n³ − n 恒为偶数，可以通过检验 n=1,2,3 来完成。要推翻“所有素数都是奇数”的说法，一个反例就是 n=2。
Disprove: 'n² − n + 41 is prime for all n.' Counterexample: n=41 gives 41² − 41 + 41 = 41², which is composite.
推翻命题：“对所有 n，n² − n + 41 是素数。”反例：n=41 时，41² − 41 + 41 = 41²，为合数。
Always present a counterexample with the specific value and a short verification. Never just state 'it's false' without evidence.
给出反例时务必附上具体值及简要验证。切不可只说“不成立”而无任何证据。
8. Model Answer 3: Geometric Proof Using Congruency | 范文3：使用全等三角形的几何证明
Question: In quadrilateral ABCD, AB = AD and BC = DC. Prove that diagonal AC bisects angle BAD.
题目：在四边形 ABCD 中，AB = AD，BC = DC。证明对角线 AC 平分 ∠BAD。
Model answer:
范文：
Consider triangles ABC and ADC.
考察 △ABC 和 △ADC。
AB = AD (given), BC = DC (given), AC = AC (common side).
AB = AD（已知），BC = DC（已知），AC = AC（公共边）。
By the SSS (Side-Side-Side) congruence criterion, triangle ABC is congruent to triangle ADC.
根据 SSS（边边边）全等准则，△ABC ≅ △ADC。
Since corresponding parts of congruent triangles are equal, angle BAC equals angle DAC.
由于全等三角形的对应部分相等，∠BAC = ∠DAC。
Therefore, AC bisects angle BAD. QED.
因此，AC 平分 ∠BAD。证毕。
Notice how each equality is justified: 'given', 'common side', or by a congruence rule. In geometric proofs, it is vital to cite the specific rule (SSS, SAS, AAS, RHS) and to state the conclusion explicitly.
请注意每一步相等都有依据：“已知”、“公共边”或全等准则。在几何证明中，引用具体的全等规则（SSS、SAS、AAS、RHS）并明确陈述结论是重中之重。
9. Common Mistakes to Avoid in Proof Writing | 证明写作中要避免的常见错误
Several pitfalls can undermine an otherwise correct proof. One major error is assuming what you need to prove – for example, starting with 'Let n² + n be even' and then working backwards without reversing the logic. Always start with what is given, not the conclusion.
几个常见陷阱会毁掉本可正确的证明。一个主要错误是假设你需要证明的结论——例如，先设“n² + n 是偶数”然后倒推而不反转逻辑。一定要从已知出发，而不是从结论出发。
Another mistake is incomplete case analysis. If you split into even and odd integers, ensure both cases cover all integers and that the algebra in each case is fully simplified. Lazy notation like '2k+1' for odd without stating 'k is an integer' can lose a mark.
另一个错误是情况分析不完整。如果你将整数分为偶数和奇数，确保两种情况覆盖所有整数，并且每种情况的代数都完全化简。像对奇数只写“2k+1”而不说“k 是整数”这种懒散记法可能丢分。
Circular reasoning is also penalised: 'This is true because it is true.' Every claim must follow from a known definition, axiom, or previously proved step. Finally, forgetting the concluding sentence robs you of an easy mark.
循环论证同样会扣分：“因为对，所以对。”每个论断都必须基于已知的定义、公理或之前已证明的步骤。最后，遗漏结论句会使你白白丢掉轻而易举的分数。
- Assume the result (use given facts only).
- 假设结论（仅使用已知事实）。
- Skip variable definitions.
- 跳过变量定义。
- Forget the QED statement.
- 忘记总结性的 QED 陈述。
10. Exam Technique: How to Present Your Proof in AQA Papers | 考试技巧：在AQA试卷中如何呈现你的证明
When answering a proof question in AQA Further Maths, layout matters. Write each step on a new line. Use brief comments alongside the algebra or geometry, exactly as shown in the model answers. This makes your reasoning transparent and helps the examiner award method marks even if you make a minor slip.
在 AQA 进阶数学中解答证明题时，书写布局很重要。每一步另起一行。在旁边用简短评注说明代数或几何的依据，就像范文所示。这会让你的推理透明化，即使在有小疏忽时也能帮助阅卷官给出方法分。
If the question says 'Prove that …', do not treat it as a verification exercise. Do not plug in numbers to check – that only works for counterexamples. Present a general argument. Use words like 'let', 'assume', 'therefore', 'hence' to guide the reader through your logical flow.
如果题目说“证明……”，不要把它当作验证练习。不要代入数值去检查——那只对找反例有效。要呈现一个一般性的论证。使用“设”、“假设”、“因此”、“故”等词语引导读者穿越你的逻辑流程。
For 3‑ to 5‑mark proofs, each mark often corresponds to a key stage: defining the variable, setting up the expression, completing the algebra, and drawing the conclusion. Structure your work so those stages are visible and labelled.
对于 3 到 5 分的证明题，每一分通常对应一个关键步骤：定义变量、建立表达式、完成代数运算、得出结论。请结构化你的解答，让这些步骤清晰可见且可辨认。
Finally, when time is tight, at least sketch the proof outline: variable definitions and the final conclusion will capture some marks. But with practice, you will have time to write a perfect, full proof.
最后，如果时间紧张，至少写出证明提纲：变量定义和最终结论也能拿到一些分数。经过练习，你就会有时间写出完美的完整证明。
Published by TutorHao | Further Maths Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图