페르마 두 제곱수 정리는 정수론에서, 소수와 정수에 대한 특정 형태의 표현을 다루는 정리이다. 정식 명칭은 Fermat’s theorem on sums of two squares이며, 한국어로는 흔히 “페르마의 두 제곱수 정리”라고 부른다.
정리의 내용
정수 $n$이 두 정수의 제곱의 합, 즉
$$
n = x^{2} + y^{2}\qquad (x, y \in \mathbb{Z})
$$
으로 표현될 수 있는 필요충분조건은 다음과 같다.
-
소수인 경우
$p$가 양의 소수일 때, $p = x^{2}+y^{2}$ 로 나타낼 수 있는 경우는 $p = 2$ 혹은 $p \equiv 1 \pmod 4$인 경우에 한정된다. -
합성수인 경우
일반적인 정수 $n$이 두 제곱수의 합으로 표현될 필요충분조건은 다음과 같다.- $n$의 소인수 분해에서 $p \equiv 3 \pmod 4$인 소수 $p$의 지수가 모두 짝수이어야 한다.
- 위 조건을 만족하면 $n$은 두 제곱수의 합으로 쓸 수 있다.
역사적 배경
이 정리는 17세기 프랑스 수학자 피에르 드 페르마(Pierre de Fermat)가 제시하였다. 페르마는 정식 증명을 남기지 않았으며, 이후 18세기 레온하르트 오일러(Leonhard Euler)가 최초로 완전한 증명을 제공하였다. 그 이후 수론의 발전 과정에서 다양한 증명 방식(예: 복소수 평면, 가우시안 정수, 모듈러 형태)이 제시되었다.
증명의 주요 아이디어
-
가우시안 정수(ℤ[i])
복소수 형태의 정수 $\mathbb{Z}[i] = {a+bi \mid a,b\in\mathbb{Z}}$를 이용한다. 이 영역은 유클리드 영역이므로 고유 인수 분해가 가능하다.- $p \equiv 1 \pmod 4$인 소수는 가우시안 정수에서 비단위 소인수로 분해된다: $p = (a+bi)(a-bi)$.
- 이렇게 분해된 인수의 절댓값을 제곱하면 $p = a^{2}+b^{2}$가 된다.
-
제곱근이 존재함을 보이는 논리
모듈러 연산을 이용해 $x^{2} \equiv -1 \pmod p$인 해가 존재함을 증명하고, 이를 바탕으로 유클리드 알고리즘을 적용해 $a,b$를 찾는다. -
합성수에 대한 확장
위의 소수 결과를 유클리드 영역의 고유 인수 분해와 곱셈 공식 $(a^{2}+b^{2})(c^{2}+d^{2}) = (ac\pm bd)^{2}+(ad\mp bc)^{2}$에 적용하여, 조건을 만족하는 모든 정수가 두 제곱수의 합으로 표현될 수 있음을 증명한다.
주요 응용 및 연관 개념
- 정수표현 이론: 두 제곱수의 합 외에도 삼제곱수, 네제곱수 등 다양한 형태의 표현과 연결된다.
- 가우시안 정수와 유클리드 영역: 이 정리는 가우시안 정수의 고유 인수 분해가 가능함을 전제로 하며, 유클리드 영역 개념의 교육적 사례로 자주 인용된다.
- 암호학 및 코드 이론: 특수한 형태의 정수 표현이 모듈러 연산의 성질과 결합돼 일부 암호 프로토콜의 수학적 배경으로 활용된다.
참고 문헌
- L. Euler, De Numeris qui sunt eorum Quadratorum Summis, 1749.
- H. M. Cohen, A Course in Computational Algebraic Number Theory, Springer, 1993.
- A. K. Williams, Number Theory in the Spirit of Ramanujan, AMS, 2002.
(위 내용은 확립된 수학적 지식에 기반한 요약이며, 최신 연구 동향이나 세부 증명 전개는 별도의 전문 서적·논문을 참고한다.)
