的简单关系。运用二次互反律可以将模数较大的二次剩余判别问题转为模数较小的判别问题，并最后归结为较少的几个情况，从而在实际上解决了二次剩余的判别问题。然而，二次互反律只能提供二次剩余的存在性，对于二次同余方程的具体求解并没有实际帮助。二次互反律常用勒让德符号表述：对于两个奇素数 formula_4 和 formula_5，其中formula_7是勒让德符号。但是对于更一般的雅可比符号和希尔伯特符号也有对应的二次互反律。 欧拉和勒让德都曾经提出过二次互反律的猜想。但第一个严格的证明是由高斯在1796年