[논문 리뷰] Perfect Cuboid and Congruent Number Equation Solutions

Mamuka Meskhishvili|arXiv (Cornell University)|2012. 11. 28.

Mathematics and Applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 비틀림 없는 완전한 직육면체(NPC)의 완전한 매개변수화를 비자명한 유리수 해를 가진 동치수 방정식 $y^2 = x^3 - N^2x$ 를 사용하여 수립한다. 이에 따라 완전한 직육면체가 존재하는 것은 유일한 유리수 표현이 유리수임을 보여주는 것과 동치임을 보인다. 이 작업은 NPC에 대한 다섯 가지 완전한 매개변수화를 제공하며, 역문제를 해결한다: 주어진 NPC로부터 해당 동치수 $N$과 그에 대응하는 해 쌍 $(X,Y)$, $(Z,W)$ 를 유일하게 결정한다.

ABSTRACT

A perfect cuboid (PC) is a rectangular parallelepiped with rational sides $a,b,c$ whose face diagonals $d_{ab}$, $d_{bc}$, $d_{ac}$ and space (body) diagonal $d_s$ are rationals. The existence or otherwise of PC is a problem known since at least the time of Leonhard Euler. This research establishes equivalent conditions of PC by nontrivial rational solutions $(X,Y)$} and $(Z,W)$} of congruent number equation $ y^2=x^3-N^2x$, where product $XZ$ is a square. By using such pair of solutions five parametrizations of nearly-perfect cuboid (NPC) (only one face diagonal is irrational) and five equivalent conditions for PC were found. Each parametrization gives all possible NPC. For example, by using one of them -- invariant parametrization for sides and diagonals of NPC are obtained: $a=2XZN$, $b=|YW|$, $c=|X-Z|\sqrt{XZ}\,N$,$d_{bc}=|XZ-N^2|\sqrt{XZ}$, $d_{ac}=|X+Z|\sqrt{XZ}\,N$, $d_s=(XZ+N^2)\sqrt{XZ}$; and condition of the existence of PC is the rationality of $d_{ab} = \sqrt{Y^2W^2+4N^2X^2Z^2}$. Because each parametrization is complete, inverse problem is discussed. For given NPC is found corresponding congruent number equation (i.e. congruent number) and its solutions.

연구 동기 및 목표

• 완전한 직육면체의 존재 조건을 동치수 방정식의 유리수 해를 사용하여 동치 조건으로 수립하기.
• 비틀림 없는 직육면체(NPC)에 대한 다섯 가지 완전한 매개변수화를 개발하여, 모든 가능한 NPC를 생성하기.
• 역문제 해결: 주어진 NPC로부터 해당 동치수 $N$과 동치수 방정식의 관련 유리수 해 쌍 $(X,Y)$, $(Z,W)$ 를 결정하기.
• 완전한 직육면체의 존재가 두 해 쌍의 특정 표현의 유리수 성질로 귀결됨을 보여주기.

제안 방법

• 단위 원과 단위 hyperbola의 유리수 매개변수화를 사용하여, 각각 유리수 변수 $\alpha_1, \beta_1, \gamma_1$ 및 $\alpha_2, \beta_2, \gamma_2$ 를 기반으로 NPC의 변과 대각선의 매개변수 표현을 유도한다.
• 완전한 직육면체 문제를 디오판틴 방정식의 체계로 변환하여, 유리수 매개변수를 포함하는 단일 방정식으로 축소한다.
• NPC의 변과 대각선을 동치수 방정식 $y^2 = x^3 - N^2x$ 의 해 쌍 $(X,Y)$ 및 $(Z,W)$ 를 통해 표현하는 불변 매개변수화를 도입하며, 조건으로 $XZ$ 가 완전한 제곱수임을 요구한다.
• 타원곡선 이론과 동치수 곡선 위의 유리점 이론을 적용하여 NPC 해를 생성하고 검증한다.
• 주어진 NPC로부터 $N$, $X/N$, $Z/N$ 을 복원하는 공식을 유도하여 역문제를 해결한다.
• 구체적인 수치 예제를 통해 방법을 검증하였으며, $a=672$, $b=153$, $c=104$, $d_s=697$ 인 경우 $N=34$ 와 여러 해 쌍을 얻었다.

실험 결과

연구 질문

• RQ1 동치수 방정식 $y^2 = x^3 - N^2x$ 의 유리수 해 쌍 $(X,Y)$ 및 $(Z,W)$ 가 어떤 조건을 만족할 경우 완전한 직육면체가 존재하는가?
• RQ2 모든 비틀림 없는 직육면체는 동치수 해를 기반으로 한 완전한 유리수 매개변수화로 생성될 수 있는가?
• RQ3 주어진 비틀림 없는 직육면체로부터 그에 대응하는 동치수 $N$과 해 쌍 $(X,Y)$, $(Z,W)$ 는 유일하게 재구성될 수 있는가?
• RQ4 NPC의 누락된 면 대각선이 유리수임을 보장하는 정확한 대수적 조건은 무엇인가?

주요 결과

• 완전한 직육면체가 존재하는 것은 $XZ$ 가 완전한 제곱수인 유리수 해 쌍 $(X,Y)$, $(Z,W)$ 에 대해 $\sqrt{Y^2W^2 + 4N^2X^2Z^2}$ 가 유리수임과 동치이다.
• 다섯 가지 완전한 비틀림 없는 직육면체(NPC) 매개변수화가 유도되었으며, 각각 동치수 방정식의 유리수 해를 통해 모든 가능한 NPC를 생성한다.
• 변 $a=672$, $b=153$, $c=104$, 공간 대각선 $d_s=697$ 인 NPC에 대해 해당 동치수는 $N=34$ 로 확인되었으며, 여러 해 쌍에 의해 검증되었다.
• 역문제가 완전히 해결되었으며, 주어진 NPC로부터 동치수 $N$과 네 개의 유리수 해 쌍 $(X,Y)$, $(Z,W)$ 가 명시적인 대수 공식을 통해 유일하게 결정된다.
• 이 방법은 불변 매개변수화와 다른 해 쌍을 사용하여 $N=34$ 를 성공적으로 복원하여, 다양한 매개변수화 지점 간의 일관성을 확인한다.
• 추가 예제들은 동일한 NPC가 서로 다른 동치수 방정식(예: $N_1=4305$, $N_2=1717170$) 에서도 생성될 수 있음을 보여주며, 기저 타원곡선 표현의 다중성(다양성)을 입증한다.