不可公度的冲击：√2 为什么迫使数系扩张

本课要解决的问题

正方形对角线明明存在，为什么不能写成两个整数之比？

这不是先背名词再找用途。我们从一个确切问题出发，逐步抽出能够重复使用的数学结构。学完本课，你应能解释“为什么要这样定义”，并独立完成一个计算或证明。

概念建立

边长为1的正方形由勾股关系得到对角线平方为2。若 √2=p/q（p,q互素），则 p²=2q²。由平方为偶数可推出 p 为偶数，代入后又推出 q 为偶数，与互素矛盾。这表明有理数不足以表示所有几何长度。

推导主线

关键引理：若整数 n² 为偶数，则 n 为偶数。可用逆否命题证明：若 n=2k+1 为奇数，则 n²=4k(k+1)+1 仍为奇数。反证法把“存在既约分数”推到“分子分母同时偶”的不可能。

完整例题

假设 √2=p/q 且 gcd(p,q)=1。p²=2q² ⇒ p=2k；代入 4k²=2q² ⇒ q²=2k² ⇒ q 也偶。于是2同时整除 p,q，矛盾，所以 √2 不是有理数。

严格边界

小数算得再多也不能证明无理性，因为有限观测无法排除后面出现循环。证明依赖整数奇偶性质与既约假设，不能省略 gcd(p,q)=1。

课后闭环

不看正文复写 √2 无理证明，圈出反证假设、关键引理和矛盾；再思考同一模板如何推广到 √3。

完成页面中的单选、多选和计算题。计算题要保留中间步骤；多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误，隔一天遮住答案重做。