정의
펠 방정식(Pell’s equation)은 정수 $N>1$에 대해
$$
x^{2}-N,y^{2}=1
$$
을 만족하는 정수 쌍 $(x, y)$를 찾는 일차 디오판틴 방정식이다. 여기서 $N$은 완전제곱수가 아니어야 하며, 방정식이 무한히 많은 해를 갖는 것이 특징이다.
개요
펠 방정식은 근호가 있는 정수 연립방정식의 가장 대표적인 예 중 하나로, 수론에서 중요한 위치를 차지한다. 최초의 체계적인 연구는 17세기 요제프 프리드리히 라프레(Ȉϖ Lagrange)에 의해 이루어졌으며, 라그랑지는 모든 비제곱 정수 $N$에 대해 이 방정식이 무한히 많은 해를 가진다는 것을 증명하였다. 해는 보통 최소 양의 해 $(x_{1},y_{1})$를 찾은 뒤, 이를 이용해 재귀적으로 생성한다.
어원/유래
‘펠 방정식’이라는 명칭은 영국 수학자 존 펠(John Pell)에서 유래한 것으로 알려져 있다. 실제로 방정식 자체를 펠이 연구한 것은 아니며, 19세기 영국 수학자 존 에반스(John Evans)가 펠의 이름을 빌려 사용하면서 널리 퍼졌다. 따라서 ‘펠 방정식’이라는 명칭은 역사적 오해에 기인한 것이며, 원래는 “라그랑주 방정식”이라고도 불린다.
특징
- 무한 해의 존재 – $N$이 비제곱 정수인 경우 최소 양의 해 $(x_{1},y_{1})$가 존재하고, 이를 이용해 $$
x_{k}+y_{k}\sqrt{N}=(x_{1}+y_{1}\sqrt{N})^{k}
$$
로 정의하면 $(x_{k},y_{k})$가 모두 방정식의 해가 된다. - 연속분수와의 연관 – $\sqrt{N}$의 단순 연속분수 전개는 주기성을 가지며, 그 주기의 마지막 수가 바로 최소 양의 해를 제공한다.
- 단위군과의 관계 – 실수체 $\mathbb{Q}(\sqrt{N})$의 정수환 $\mathbb{Z}[\sqrt{N}]$에서 단위(역원이 존재하는 원소)와 직접적으로 연결된다.
- 알고리즘적 해법 – 체비쇼프(continued‑fraction) 알고리즘, 유클리드 알고리즘 변형, 그리고 현대의 대수적 방법 등을 통해 효율적으로 최소 해를 구할 수 있다.
관련 항목
- 연속분수(Continued fraction)
- 디오판틴 방정식(Diophantine equation)
- 라그랑주의 정리(Lagrange’s theorem on Pell’s equation)
- 대수적 정수정(Algebraic integer)
- 유클리드 알고리즘(Euclidean algorithm)
※ 본 항목은 수학적 사실에 기반한 내용이며, 최신 연구 동향은 별도의 전문 서적·논문을 참고한다.