라그랑주 항등식(Lagrange's identity)은 임의의 실수 a, b, c, d에 대해 다음의 식을 말한다.
즉, 정수 P에 대하여 다음과 같이 정의된 집합 A는 곱셈에 관하여 닫혀 있다는 것이다.