피타고라스 삼각형과 정육면체의 존재 불가능성

초록

본 논문은 피타고라스 삼각형과 정육면체(피타고라스 박스) 사이의 구조적 제약을 연구한다. 4차 디오판틴 방정식 z² = x⁴ + 4y⁴ 의 무해성을 이용해 네 변수 시스템의 해가 없음을 보이고, 이를 바탕으로 (1) 가장 긴 변이 다른 삼각형의 빗변이면서 동시에 가장 짧은 변이 그 삼각형의 다른 변과 일치하는 피타고라스 삼각형 쌍은 존재하지 않음, (2) 정육면체의 두 면이 정사각형이면서 다른 두 면의 대각선이 모두 정수인 경우도 존재하지 않음을 증명한다.

상세 분석

논문은 먼저 피타고라스 삼각형을 생성하는 전통적인 매개변수식 a = m² − n², b = 2mn, c = m² + n² 을 정리하고, 이를 기반으로 네 개의 정수 변수 x, y, z, w 가 등장하는 복합 디오판틴 시스템을 구성한다. 핵심은 제1명제에서 제시된 방정식 z² = x⁴ + 4y⁴ 이 양의 정수 해를 갖지 않음을 증명하는데, 이는 모듈러 연산(특히 mod 16)과 제곱수의 잉여 특성을 활용한 고전적 방법이다. 방정식의 좌변은 0 또는 1 (mod 16)만을 취하지만, 우변은 x⁴ 과 4y⁴ 의 조합으로 2, 5, 8, 9 (mod 16) 중 하나가 되므로 모순이 발생한다. 이 무해성은 바로 제2명제의 네 변수 시스템 x⁴ + 4y⁴ = z⁴ + 4w⁴ 에 적용되어, 두 쌍의 제곱합이 동일한 경우에도 정수 해가 존재하지 않음을 보인다.

이러한 수론적 결과를 기하학적 상황에 연결하는 과정이 논문의 독창성을 만든다. 섹션 5에서는 공통 빗변을 갖는 두 피타고라스 삼각형의 예시를 제시하면서, 일반적으로는 빗변이 동일해도 다른 변들의 비율은 자유롭게 변할 수 있음을 보여준다. 그러나 섹션 6에서 제2명제를 이용해 “첫 번째 삼각형의 가장 긴 변이 두 번째 삼각형의 빗변이면서, 동시에 첫 번째 삼각형의 가장 짧은 변이 두 번째 삼각형의 다른 변과 동일한 길이”인 경우를 가정하면, 이는 바로 x⁴ + 4y⁴ = z⁴ + 4w⁴ 형태의 방정식으로 귀착한다. 앞서 증명된 무해성에 의해 이러한 구성은 불가능하므로 정리 1이 성립한다.

섹션 7에서는 피타고라스 박스, 즉 세 차원에서 모든 면이 피타고라스 삼각형을 이루는 직육면체를 논한다. 여기서는 면 대각선와 공간 대각선이 모두 정수인 경우를 “정수 피타고라스 박스”라 정의하고, 매개변수식의 변형을 통해 무한히 많은 예시를 생성하는 방법을 제시한다. 마지막 섹션 8에서는 정리 2를 증명한다. 정리 2는 “두 대면이 정사각형이며, 반대 면의 네 대각선이 모두 같은 정수 길이를 갖는 피타고라스 박스는 존재하지 않는다”는 주장이다. 이 경우에도 면의 변과 대각선 길이 사이에 나타나는 관계식이 제2명제와 동일한 형태를 띠게 되며, 따라서 무해성에 의해 모순이 발생한다. 전체적으로 논문은 고전적인 피타고라스 삼각형의 매개변수식과 현대 수론의 모듈러 기법을 결합해, 겉보기로는 가능한 기하학적 구성이 실제로는 정수 해를 가질 수 없음을 체계적으로 증명한다.