灯下 登录
数学 / 高斯算术研究 / Art. 135-152

12 · 证明边界和下一阶段

书架 上一节 下一节

demonstratio stricta / formae lineares / congruentiae secundi gradus non purae

严格证明 / 线性形式 / 非纯二次同余。

Gauss proceeds from the statement toward proof and broader quadratic congruences, but this milestone stops at the reading boundary.

高斯从定理陈述继续走向证明和更广的二次同余;本里程碑在这里止步。

第四章后段包含互反律证明相关材料、素数线性形式,以及非纯二次同余的处理。为了让 M4 单元保持可读,本课程把它们作为路线提示,而不压缩成一两个伪证明。

分步证明Step-by-step proof
1 / 2
  1. 确认本阶段已经会判别若干小数的二次剩余性。

  2. 把互反律作为后续二次型与更完整证明的入口。

读到这里,若想判断 29 是否为模 43 的二次剩余,下一步应做什么?

可用互反律把 (29/43) 转成 (43/29),再把 43 化为 14,继续分解判别;完整证明依据留到 M5+。