Waterloo MATH 135 复习攻略：Proof、Induction 与数论题怎么复习

　　MATH 135 的 Practice 确实不少。复习时，如果按照章节把题目一道道做完，或者拿到一整套 Past Exam 就开始刷，花了很多时间，也不一定能解决考试中遇到的新题。

　　更值得做的是把题目拆开，看看每道题究竟在考什么。是考定义的理解、证明方法的选择，还是几个定理之间的联系？弄清楚这些问题，比单纯记住某道题的解法更有用。

　　滑铁卢大学的 MATH 135 是面向数学荣誉课程体系的代数基础课，涉及数学语言、证明技巧、整数及模运算等内容。课程不只是考计算，还要求学生理解数学命题，并用严谨的推理说明结论为什么成立。课程介绍可参考滑铁卢大学官方课程目录。

Proof：会写证明，不等于会做证明题

　　Proof 是 MATH 135 复习中需要花时间练习的部分。同样是证明题，有的适合 Direct Proof（直接证明），有的需要 Contrapositive（逆否命题证明），还有的需要 Contradiction（反证法）。遇到 IFF（当且仅当）命题时，通常还要分别证明两个方向。

　　很多时候，问题并不是完全不懂证明，而是拿到题目后不知道该从哪里入手。定义背得很熟，真正写的时候却不知道怎么把条件和结论联系起来。

　　复习时，可以把做错的 Proof 单独整理出来。除了记录答案，还要写清楚三个问题：题目给了什么条件、需要证明什么、为什么选这个方法。

　　例如，遇到当且仅当命题，只完成一个方向的证明是不够的；使用反证法时，也需要明确假设结论不成立，并从这个假设推出矛盾。不同方法的逻辑起点不一样，不能只靠套模板。

　　练习的目的，是逐渐建立判断依据。下次遇到陌生命题时，至少能够先分析条件和目标，再决定采用哪种证明方法，而不是对着题目反复尝试。

Induction：不要只会写 Base Case、IH 和 Inductive Step

　　Base Case、Inductive Hypothesis（IH）和 Inductive Step 是数学归纳法的基本组成部分。把这几个步骤记下来并不难，难的是换一道题之后，能不能正确使用归纳假设。

　　例如，连续练习求和题时，可能很快就能写出标准格式。但如果题目换成 divisibility（整除）、inequality（不等式）、factorial（阶乘）或 recursive sequence（递归数列），解题过程就可能卡住。

　　这种情况通常说明，熟悉的只是某一类题目的写法，还没有真正掌握归纳法的推理过程。

　　复习时，尤其要检查 IH 是怎么用的。假设命题在 (n=k) 时成立，并不意味着 (n=k+1) 时自然成立。必须利用归纳假设，经过合理推导，证明下一步的命题也成立。

　　另外，Base Case 也不能随便写。题目从哪个整数开始、归纳假设覆盖哪些情况，都要与命题本身对应。

　　因此，做完一组求和题后，可以换成整除或不等式题目再练习。如果题型变化后仍然能独立写出完整的证明，才说明对归纳法的理解更扎实了。

GCD、Bézout、Linear Congruence 和 CRT：重点在于看出它们之间的联系

　　这几部分内容适合结合起来复习。GCD（最大公因数）、Euclidean Algorithm（欧几里得算法）、Bézout's Identity（贝祖等式）、Integer Solution（整数解）、Linear Congruence（线性同余）和 CRT（中国剩余定理），并不是互不相关的知识点。

　　前面的内容涉及如何求最大公因数，以及如何将最大公因数表示为两个整数的线性组合；后面的内容则会涉及整数方程、同余方程，以及多个同余条件的求解。

　　单独做每一类题时，可能知道该用什么公式或定理。但题目一旦把不同知识点结合起来，就需要自己判断从哪里开始。

　　复习时可以按照下面的思路整理：

　　- GCD 与 Euclidean Algorithm： 掌握最大公因数的求法，理解欧几里得算法每一步的依据。
　　- Bézout 与整数方程： 理解最大公因数和整数线性组合之间的关系，并据此分析相关整数方程是否有解。
　　- Linear Congruence： 识别线性同余方程，判断解是否存在，并练习求解过程。
　　- CRT： 遇到多个同余条件时，判断中国剩余定理是否适用，再根据条件求出解。

　　这些知识点之间有联系，但并不意味着每道题都必须按照固定顺序使用所有定理。真正需要训练的是根据题目给出的条件和要求，选择合适的方法。

　　比如，题目不会总是直接提示“使用 Bézout”。如果能从题目中的最大公因数、整数线性组合或方程条件看出相关结构，才算真正掌握了知识点的用法。

　　需要注意的是，Ch3、Ch4、Ch6–8 是原始复习笔记中的章节划分，不一定适用于所有学期。具体考核范围和章节顺序，应以当学期的课程大纲、讲义和 LEARN 上发布的材料为准。

MATH 135 的 Practice 和 Past Exam 应该怎么刷？

　　Practice 和 Past Exam 都可以用于复习，但不一定要从第一道题开始一路做到最后一道。

　　如果 Proof 还经常卡住，直接做整套试卷，可能会在同一类问题上反复失分。与其一味增加刷题量，不如先找出问题集中在哪些知识点。

　　第一步：按题型整理错题。 将证明题、归纳法、GCD、整数方程和同余问题分别整理，标出错误原因。是定义没理解，还是定理选错了，或者推导中间缺少关键步骤？

　　第二步：换题型检查理解。 做完一道题后，不要只对照答案。如果原题考查归纳法，可以再找一道不同类型的归纳题；如果原题涉及 Bézout，可以尝试分析相关整数方程，看看能否识别出相同的数学关系。

　　第三步：再做 Past Exam。 当基础知识和常见方法比较熟悉后，再通过整套试卷检查综合运用能力、时间分配和证明书写是否完整。

　　每次练习结束后，除了统计正确率，还可以问自己：如果把题目中的条件稍微改变，原来的方法还适用吗？如果不适用，原因是什么？

　　这一步很重要。复习的目标不是记住过去考过什么，而是面对没见过的题目时，也能从定义、条件和结论中找到解题方向。

MATH 135 复习遇到困难，应该从哪里补起？

　　如果 Practice 做了不少，考试题还是经常不会做，先不要急着继续增加题量。不同的问题，需要采用不同的复习方法。

　　Proof 经常失分，可以回到定义和证明方法，检查自己是否真正理解了逻辑起点；Induction 写不完整，就重点练习如何使用 IH 推出下一步；GCD、Bézout 和 CRT 容易混淆，则可以把相关定理的条件、用途和解题步骤放在一起对比。

　　如果已经反复练习，还是难以独立完成证明，或者不清楚某个定理究竟应该在什么情况下使用，可以考虑寻求针对性的课程学习支持。

　　海马课堂提供海外大学课程辅导服务。针对 Waterloo MATH 135，可以结合课程代码、课程大纲和个人薄弱环节，围绕证明方法、数学归纳法、数论知识点及考试复习进行针对性学习。

　　具体辅导内容可参考海马课堂课程辅导服务。对于需要补基础、梳理解题思路或检查练习中反复出现的问题的学生，可以根据实际需求安排学习支持。课程辅导的重点是帮助学生理解方法、提升独立解题能力，而不是代替学生完成课程作业或考试。

Waterloo MATH 135 复习常见问题

Q1：MATH 135 复习一定要做完所有 Practice 吗？

　　不一定。Practice 的数量并不直接代表复习效果。对于已经掌握的题型，可以减少重复练习，把时间留给薄弱知识点、错题和变式题。关键是能否独立解释解题过程。

Q2：MATH 135 的 Proof 应该怎么准备？

　　重点练习直接证明、逆否命题证明、反证法和当且仅当命题。每次写证明时，都要明确题目条件、待证结论及推理依据，不能只记忆某一道题的答案。

Q3：为什么 MATH 135 的 Induction 总是写不完整？

　　常见问题是归纳假设没有正确使用，或者从 (n=k) 到 (n=k+1) 的推导不充分。建议在练习中逐步检查 Base Case、IH 和 Inductive Step，而不是只套用固定格式。

Q4：MATH 135 的 Past Exam 什么时候开始做？

　　可以先复习核心知识点，再通过 Past Exam 检查综合运用能力。如果考试时间比较紧，也可以先做一套试卷找出薄弱环节，再针对性复习。

Q5：MATH 135 定理都记住了，为什么还是不会做题？

　　记住定理和知道何时使用定理并不相同。建议练习分析题目条件与目标，记录每道题选择某种方法的原因，再通过不同题型的对比，逐步提高识别数学结构的能力。