비에타 점프와 이차수체에서의 작은 노름

초록

본 논문은 1988년 IMO 문제를 비에타 점프 기법으로 해결하고, 이를 실수 이차수체의 단위와 작은 노름 원소와 연결한다. 특히 라디카-데게르트형 체에서 파라미터화된 단위가 만드는 동작을 이용해 정수 해의 구조를 완전히 기술하고, 일반화된 디오판틴 방정식들의 해 존재 여부를 판정한다.

상세 분석

논문은 먼저 1988년 국제수학올림피아드(IMO) 문제 “양의 정수 a, b에 대해 ab+1이 a²+b²를 나누면 a²+b²/(ab+1) 가 완전제곱이다” 를 비에타 점프(Vieta jumping)라는 대수적 변환을 통해 증명한다. 비에타 점프는 주어진 이차곡선 Cₖ: x²−kxy+y²=k 에서 한 좌표를 고정하고 다른 좌표를 이차방정식의 두 근 중 다른 근으로 교체함으로써 새로운 정수점을 만든다. 이 과정을 반복하면 모든 정수점이 (±k,0)·(0,±k) 등 ‘기본점’에서 시작된 두 개의 무한 수열 (4), (5) 로 생성됨을 보인다. 이때 수열 aₙ은 재귀 aₙ₊₂ = k²aₙ₊₁−aₙ 를 만족하고, aₙaₙ₊₂ = aₙ₊₁²−k² 라는 항등식이 유지된다.

다음으로 저자는 이러한 비에타 점프가 실제로는 실수 이차수체 K=ℚ(√m) 의 단위 ε=κ+√m (여기서 κ = k/2) 가 작용하는 ‘주동공간(principal homogeneous space)’ 구조와 동일함을 밝힌다. 곡선 Cₖ 를 (x−κy)²−(κ²−1)y²=k 로 완전제곱하면, 점 (a,b) 는 원소 α = a−κb + b√m 의 노름 N(α)=k 와 일대일 대응한다. 단위 ε 로 곱하면 αε = (k a−b) + a√m 로 변환되며, 이는 비에타 점프 연산 ♭(a,b) = (k a−b, a) 와 동일하다. 따라서 비에타 점프는 단위의 거듭된 곱셈에 해당하고, 정수점들의 전체 집합은 εⁿ·α (n∈ℤ) 로 기술된다.

이러한 관점을 이용해 저자는 일반적인 디오판틴 방정식 x²−pxy+y²=q (p>2, 0<q≤p+1) 에 대해 q 가 제곱수일 때만 정수해가 존재함을 증명한다. 비에타 점프를 통한 감소 과정은 곧 단위 ε 의 거듭된 작용으로 해를 원점 근처의 제한된 영역으로 끌어내며, 그 영역 안에서 가능한 해는 q가 제곱인 경우에만 존재한다는 논리를 제공한다. 또한 q=p+2 일 때는 무한히 많은 해가 존재함을 보여, 비에타 점프와 단위 작용이 해의 존재와 무한성 사이의 경계를 정확히 구분한다.

마지막으로 작은 노름 원소에 대한 일반적인 결과를 제시한다. 제시된 명제 11 은 임의의 실수 이차수체 K와 단위 ε>1 에 대해, 주어진 원소 ξ 의 노름 ν에 대해 적절한 ε^j 를 곱해 a+b√m 형태로 만들 수 있으며, a와 b 의 절대값이 √ν·B (B=√ε+1/√ε) 이하로 제한됨을 보인다. 이는 작은 노름 원소를 찾는 알고리즘적 근거를 제공하고, 앞서 다룬 비에타 점프와 단위 작용의 연계성을 이론적으로 뒷받침한다. 전체적으로 논문은 비에타 점프를 대수적·수론적 구조와 연결함으로써, 오림피아드 수준의 문제 해결을 넘어 이차수체의 단위와 노름 이론에 대한 새로운 통찰을 제공한다.