DOXA · 数学编年史 · 知识详情

勒让德《数论》——勒让德符号

1798 | 勒让德代数·数论出版

(a|p) = 1 或 −1 勒让德符号(二次剩余) 配合二次互反律高效判定 《数论》(1798)
勒让德符号 (a|p)

知识/定理

勒让德《数论》(Essai sur la Théorie des Nombres,1798):系统整理二次剩余,定义勒让德符号。

公式

$\left(\frac{a}{p}\right)=\begin{cases}1,&a\ \text{为二次剩余}\\-1,&\text{否则}\end{cases}$;二次互反律。

证明思路

用勒让德符号把「解 $x^2\equiv a$」化为符号计算,配合二次互反律高效判定。

应用/例子

素性测试、密码学、代数数论的标准语言。

意义/影响

二次剩余理论系统化,为高斯《算术研究》铺路。

所属:七 18世纪 | 难题证明状态 ↔ 数学难题编年