数論におけるガウスの補題(ガウスのほだい、英: Gauss' lemma)は整数が平方剰余であるための条件を与える。計算的には有用ではないが、理論的には重要であり、で使われる。 ガウスの補題は平方剰余の相互法則のカール・フリードリヒ・ガウスの3番目の証明 (1808) において初めて現れ、5番目の証明 (1818) において彼は再びそれを証明した。