📚 Mastering Proof Writing in Eduqas Further Maths: Framework and Model Answers | Eduqas 进阶数学证明题写作框架与范文
In Year 11 Eduqas Further Mathematics, proof questions require far more than just reaching a correct answer – they demand a clear, logical argument written in precise mathematical language. Many students lose marks not because they cannot do the maths, but because their written reasoning lacks structure. This article provides a complete writing framework and annotated model answers to help you secure full marks on proof questions.
在 Year 11 Eduqas 进阶数学中，证明题不仅要求得出正确答案，更需要用精确的数学语言写出清晰、合乎逻辑的论证。许多学生丢分并非因为不会做数学，而是因为书面推理缺乏结构。本文提供一个完整的写作框架和附有批注的范文，帮助你在证明题中拿到满分。
1. What Eduqas Proof Questions Really Test | Eduqas 证明题真正考查什么
Eduqas GCSE Further Maths proof questions assess your ability to construct a chain of deductions that leads inevitably from a given statement to the required conclusion. Examiners look for explicit justification at each step, correct use of notation, and a clear beginning, middle and end. Three core proof types appear regularly: direct proof, proof by exhaustion, and proof by contradiction. Induction appears only in A‑level, so Year 11 focuses on these three.
Eduqas GCSE 进阶数学的证明题考查你构建一连串推导的能力，从已知条件必然地推出所需结论。阅卷老师看重每一步的明确理由、正确的符号使用、以及清晰的开头、主体和结尾。考试中经常出现三种核心证明类型：直接证明、穷举证明和反证法。数学归纳法只出现在 A‑level 中，所以 Year 11 专注于这三类。
2. The Universal Proof‑Writing Framework | 通用证明写作框架
Every high‑scoring proof follows a four‑part structure: (1) State what you are going to prove and any assumptions. (2) Present the logical chain – each line should connect to the previous one using a word or symbol such as ‘therefore’, ‘since’, ‘⇒’, or ‘because’. (3) Reach the conclusion and restate it clearly, linking back to the original claim. (4) End with a closing statement like QED or a concluding sentence. Think of it as telling a mathematical story with no gaps.
每一份高分证明都遵循四部分结构：（1）说明你要证明什么以及任何假设。（2）呈现逻辑链条——每一行都应通过“因此”“由于”“⇒”或“因为”等词或符号与前一行相连。（3）得出结论文且清晰地重申，并与原命题联系起来。（4）用 QED 或一句总结性语句收尾。可以把它想象成讲述一个没有漏洞的数学故事。
3. Direct Proof: Show That Statements | 直接证明：证明类题型
A direct proof starts from known facts and uses algebraic manipulation to arrive at the target statement. For example, ‘Prove that the sum of any three consecutive integers is a multiple of 3.’ You will be expected to introduce variables, form expressions, simplify, and factor. Always define your terms clearly: ‘Let n be an integer’ is far better than just writing ‘n’.
直接证明从已知事实出发，利用代数运算得出目标命题。例如“证明任意三个连续整数之和是 3 的倍数”。你需要引入变量、建立表达式、化简并因式分解。务必清晰定义你的项：写“设 n 为整数”远比只写一个“n”要好。
4. Model Answer: Direct Proof | 范文：直接证明
Question: Prove algebraically that the product of two consecutive even numbers is a multiple of 8.
Model answer: Let the two consecutive even numbers be 2n and 2n + 2, where n is an integer. Their product is (2n)(2n + 2) = 4n(n + 1). Since n and n + 1 are consecutive integers, one of them must be even; therefore n(n + 1) is a multiple of 2. So the product becomes 4 × (multiple of 2) = 8 × an integer. Hence the product is a multiple of 8. QED
题目：用代数方法证明两个连续偶数的乘积是 8 的倍数。
范文：设这两个连续偶数为 2n 和 2n + 2，其中 n 为整数。其乘积为 (2n)(2n + 2) = 4n(n + 1)。因为 n 和 n + 1 是连续整数，所以其中之一必为偶数；因此 n(n + 1) 是 2 的倍数。于是乘积变为 4 ×（2 的倍数）= 8 × 某个整数。因此乘积是 8 的倍数。QED
5. Proof by Exhaustion: Checking Every Case | 穷举证明：检验每一种情形
When a statement applies to a small, finite set of values, proof by exhaustion is the most straightforward method. You simply test every possible case and show the claim holds for each. Eduqas exam questions often involve digits, remainders, or small number sets. Write out each case clearly and label them, never skip a case without stating why it is impossible.
当命题只涉及一个小型的有限值集合时，穷举证明是最直接的方法。你只需检验每一种可能情形，并证明命题在每种情形下均成立。Eduqas 考题常涉及数字、余数或小规模数集。清楚地写出并标注每一种情形，绝不能在没有说明不可能的情况下跳过任何情形。
6. Model Answer: Proof by Exhaustion | 范文：穷举证明
Question: Prove that the square of any digit (0–9) cannot end with a 7.
Model answer: Consider all digits d ∈ {0,1,2,…,9}. Compute d² and note the last digit: 0²=0, 1²=1, 2²=4, 3²=9, 4²=16 (ends in 6), 5²=25 (5), 6²=36 (6), 7²=49 (9), 8²=64 (4), 9²=81 (1). The set of possible last digits is {0,1,4,9,6,5}. 7 does not appear. Therefore no square of a single digit ends in 7. QED
题目：证明任何一位数字（0–9）的平方都不可能以 7 结尾。
范文：考虑所有数字 d ∈ {0,1,2,…,9}。计算 d² 并记下末位数字：0² = 0，1² = 1，2² = 4，3² = 9，4² = 16（末位 6），5² = 25（5），6² = 36（6），7² = 49（9），8² = 64（4），9² = 81（1）。可能末位数字的集合为 {0,1,4,9,6,5}。7 并未出现。因此，任何一位数字的平方均不以 7 结尾。QED
7. Proof by Contradiction: Assume the Opposite | 反证法：假设反面成立
Proof by contradiction begins by assuming the claim is false. You then show that this assumption leads to a logical impossibility, such as 1 = 0 or an integer being both odd and even. The classic Eduqas example is proving √2 is irrational. The structure is: (1) Assume the negation. (2) Derive consequences step by step. (3) Reach a contradiction. (4) Conclude the original statement must be true.
反证法首先假设命题不成立。然后证明这一假设会导致逻辑不可能，例如 1 = 0，或者一个整数既为奇数又为偶数。Eduqas 的经典例子是证明 √2 是无理数。其结构为：（1）假设否命题。（2）逐步推导出结论。（3）得出矛盾。（4）断定原命题必定为真。
8. Model Answer: Proof by Contradiction | 范文：反证法
Question: Prove that there is no greatest even integer.
Model answer: Assume, for contradiction, that a greatest even integer N exists. Since N is even, N = 2k for some integer k. Consider the number N + 2 = 2k + 2 = 2(k + 1). This is clearly an even integer and it is larger than N. This contradicts the assumption that N is the greatest even integer. Therefore no greatest even integer exists. QED
题目：证明不存在最大的偶数。
范文：假设存在一个最大的偶数 N，以寻求矛盾。由于 N 是偶数，N = 2k，其中 k 为整数。考虑数字 N + 2 = 2k + 2 = 2(k + 1)。显然这是一个大于 N 的偶数。这与 N 是最大偶数的假设矛盾。因此不存在最大的偶数。QED
9. Disproof by Counterexample: One Case Is Enough | 反例证伪：一个反例足矣
When asked to ‘disprove’ a statement, you need only find a single instance where the statement fails. The framework: clearly state the counterexample, substitute it into the statement, show the result contradicts the claim, and declare the statement false. Often the counterexample is a simple number like 0, ½, or a negative.
当题目要求“证伪”一个命题时，你只需找到一个该命题不成立的实例。框架为：清晰陈述反例，将其代入命题，展示结果与命题矛盾，并宣告命题为假。通常反例是像 0、½ 或负数这样简单的数字。
10. Model Answer: Counterexample | 范文：反例证伪
Question: Disprove: ‘For all real numbers x, if x² > 4 then x > 2.’
Model answer: Take x = −3. Then x² = (−3)² = 9, and 9 > 4, so the hypothesis ‘x² > 4’ is true. However, −3 > 2 is false. Thus the implication does not hold for all real numbers, and the statement is disproved.
题目：证伪：“对所有实数 x，若 x² > 4 则 x > 2。”
范文：取 x = −3。那么 x² = (−3)² = 9，且 9 > 4，故假设“x² > 4”为真。然而，−3 > 2 为假。因此这个蕴涵关系并非对所有实数成立，命题得证伪。
11. Common Pitfalls and How Examiners Mark Proofs | 常见失分点与阅卷评分方式
Eduqas mark schemes reward clarity and penalise missing steps. Avoid these traps: (1) not defining variables (‘Let n be an integer’ is mandatory). (2) Jumping from assumption to conclusion without linking steps. (3) Using vague language like ‘it works’ instead of ‘therefore, by factorisation, the expression is divisible by 3’. (4) Failing to write a concluding statement. (5) In exhaustion proofs, missing a case without comment. Check every line as if you were a sceptical reader.
Eduqas 评分标准奖励清晰度并惩罚遗漏步骤。避免以下陷阱：（1）未定义变量（“设 n 为整数”必须写）。（2）从假设直接跳到结论，缺乏中间步骤。（3）使用模糊的语言如“这样一来就行”，而非“因此，通过因式分解，该表达式可被 3 整除”。（4）没有写总结性语句。（5）在穷举证明中，无说明地遗漏某个情形。像一位充满怀疑的读者那样检查每一行。
12. Practice and Final Tips | 练习与最终建议
To master proof writing, practise reverse engineering mark schemes: cover the answer, attempt the proof, then compare your structure with the model. Use a highlighter to mark every occurrence of ‘since’, ‘therefore’, ‘because’, and ‘⇒’ in your work – if they are sparse, add missing links. Remember, a proof is an argument in sentences, not just a pile of equations. Use words generously.
要精通证明写作，练习逆向分析评分标准：盖住答案，尝试写出证明，然后将你的结构与范文对照。用荧光笔标出你答案中每一个“由于”“因此”“因为”和“⇒”——如果它们很少，就补上缺失的连接。请记住，证明是用句子构成的论证，而不只是一堆方程。大方地使用文字。
Published by TutorHao | Further Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导