高斯引理
在數論中，高斯引理給出了一個整數是模另一個整數的二次剩餘的條件。儘管高斯引理沒有實際計算上的意義，但作為二次互反律的證明中的一環，高斯引理有著理論上的重要性。
高斯引理最早出現在高斯 1808 年發表的二次互反律的第三個證明中，並在第五個證明中再次用到。