🔢 mathematics

Binary Trees and Sum of Two Squares

이 논문은 스턴-브로코트 트리와 칼킨-윌프 트리를 통합하는 행렬 기반 이진 트리를 소개하고, 연분수와의 연결성을 탐구하며, 이 프레임워크를 활용하여 두 제곱수의 합에 관한 브릴하트의 증명을 경로 기반 표현으로 제공한다.

원저자: Hongshen Chua

게시일 2026-06-25

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Hongshen Chua

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신에게 마법의 가계도가 있다고 상상해 보세요. 하지만 여기에는 사람이 담기는 대신, 모든 가지에 분수(1/2이나 3/4 같은 숫자)가 담겨 있습니다. 오랫동안 수학자들은 이 나무의 유명한 두 가지 버전을 알고 있었습니다: 바로 **스턴-브로코트 트리(Stern–Brocot tree)**와 **칼킨-윌프 트리(Calkin–Wilf tree)**입니다. 이 둘은 매우 비슷해서 마치 쌍둥이 같습니다. 하지만 이들은 서로 약간 다른 규칙을 사용하여 가지를 뻗어나갑니다.

이 논문은 이 두 나무 아래에 자리 잡고 있으며, 그들의 공통 조상 역할을 하는 '마스터 트리(master tree)'를 소개합니다. 또한 이 나무를 사용하여 아주 오래되고 유명한 수수께끼를 해결합니다: 4의 배수에 1을 더한 형태의 모든 소수(예: 5, 13, 17)는 두 개의 완전제곱수의 합으로 나타낼 수 있는가? (예를 들어, $5 = 1^2 + 2^2$ 입니다).

이 논문의 이야기를 다음과 같이 쉬운 단계로 나누어 설명합니다:

1. 마스터 트리: 행렬 이동의 게임

저자는 단순히 분수를 적는 대신, 2x2 숫자 격자(행렬이라고 불리는)를 사용하여 나무를 구축합니다.

시작점: 당신은 빈 도화지(항등 행렬)에서 시작합니다.
이동 규칙: 나무를 키우기 위해, 당신은 오직 두 가지 유형의 이동만 할 수 있습니다:
- "오른쪽" 이동 (R): 왼쪽 열의 숫자들을 오른쪽 열에 더합니다.
- "왼쪽" 이동 (L): 오른쪽 열의 숫자들을 왼쪽 열에 더합니다.
결과: 이 이동들을 반복함으로써, 당신은 격자들로 이루어진 거대한 가계도를 만들어냅니다.

마법 같은 연결 고리:
이 나무에 있는 어떤 격자라도 가져와서 간단한 "합산" 기술을 적용하면, 즉시 스턴-브로코트 트리를 얻게 됩니다. 만약 행과 열을 바꾸는 약간 다른 "합산" 기술을 사용한다면, 칼킨-윌프 트리를 얻게 됩니다. 따라서, 이 하나의 "행렬 트리(Matrix Tree)"는 두 유명한 나무를 움직이는 비밀 엔진입니다.

2. 지도: 연분수 읽기

수학자들은 종종 복잡한 숫자를 "연분수"(숫자를 $1 + \frac{1}{2 + \frac{1}{3...}}$ 와 같이 덧셈과 나눗셈의 사슬으로 쓰는 멋진 방식)로 표현합니다.

이 논문은 이러한 연분수가 사실 행렬 트리를 걷기 위한 지도 또는 지침임을 보여줍니다.

만약 당신의 지도가 "오른쪽으로 3번, 그다음 왼쪽으로 2번 가라"고 한다면, 당신은 나무에서 그 경로를 따라갑니다.
저자는 당신이 걷기를 마친 끝에 도착한 격자가 그 분수의 정확한 답(근삿값/수렴값)을 포함하고 있다는 것을 증명합니다. 이것은 마치 경로를 따라가면 보물이 나타나는 보물 찾기와 같습니다.

3. "두 제곱수의 합" 퍼즐 해결하기

논문의 마지막 부분은 페르마의 유명한 정리인 **"4의 배수에 1을 더한 형태의 모든 소수는 두 제곱수의 합으로 나눌 수 있다"**는 문제를 다룹니다.

저자는 트리를 사용하여 이 문제를 다음과 같이 해결합니다:

설정: 소수(예: 13)를 하나 정합니다. 특정 분수를 설정하는 데 도움이 되는 특별한 숫자( $x_0$ )를 찾습니다.
거울 기법: 이 분수를 연분수 지도로 바꿀 때, 마법 같은 일이 일ขึ้น 일어납니다. 그 지도는 대칭적인, 즉 회문(palindrome) 구조가 됩니다. 마치 거울에 비친 모습처럼 보입니다 (예: 오른쪽, 왼쪽, 오른쪽, 오른쪽, 왼쪽, 오른쪽).
걷기: 당신은 행렬 트리 위에서 이 대칭적인 경로를 따라 걷습니다. 경로가 대칭적이기 때문에, 수학적으로 계산했을 때 당신이 도착한 최종 격자는 매우 특별한 성질을 갖게 됩니다.
드러남: 그 최종 격자 안의 숫자들을 살펴보면, 소수(13)가 수학 속에 숨겨진 두 제곱수의 합으로 나타납니다.
- 저자는 제곱해야 할 두 숫자가 실제로 나무 위의 특정 경로의 결과임을 보여줍니다.
- 우리의 예시에서, 경로는 $13 = 2^2 + 3^2$ 임을 밝혀냅니다.

핵심 요약

이 논문은 단순히 이 숫자들을 제곱수의 합으로 쓸 수 있다는 것을 증명하는 데 그치지 않고, 그것들이 정확히 어떤 제곱수들인지 찾아내는 레시피를 제공합니다.

비유: 행렬 트리를 거대한 마법의 미로라고 생각해 보세요. "두 제곱수의 합" 문제는 잠긴 문입니다. 저자는 만약 당신이 (소수의 성질에 기반하여) 특정한 대칭 경로를 따라 미로를 통과한다면, 문이 열리고 그 비밀을 풀 수 있는 두 숫자가 바로 그곳 바닥에 놓여 있다는 것을 발견했습니다.

요약하자면, 이 논문은 트리 구조, 분수 지도, 그리고 숫자 퍼즐이라는 세 가지 서로 달라 보이는 것들을 연결하며, 이들이 모두 동일한 근본적인 수학적 기계의 서로 다른 모습임을 보여줍니다.

기술 요약: 이진 트리와 두 제곱수의 합

문제 정의
본 논문은 유리수의 두 가지 저명한 이진 트리인 스턴-브로코(Stern–Brocot) 트리와 칼킨-윌프(Calkin–Wilf) 트리 사이의 구조적 관계를 다룬다. 나아가, 연분수 이론과 이 트리들 내의 행렬 기반 경로 표현을 활용하여, 페르마의 두 제곱수 정리(특히 $4k+1$ 형태의 소수에 대하여)에 대한 새로운 해석을 제공하고자 한다.

방법론
저자들은 **행렬 이진 트리(matrix binary tree)**를 기반으로 한 통합 프레임워크를 구축한다. 이 트리는 $2 \times 2$ 항등 행렬에서 시작하여, "오른쪽(Right, R)" 이동은 $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ 을 후곱(post-multiplication)하는 것으로, "왼쪽(Left, L)" 이동은 $\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}$ 을 후곱하는 것으로 정의된다.

기존 트리의 복원: 각 행렬에 열 벡터 $\begin{pmatrix} 1 \\ 1 \end{pmatrix}$ 을 후곱함으로써(열의 합) 스턴-브로코 트리를 복원한다. 행 벡터 $\begin{pmatrix} 1 & 1 \end{pmatrix}$ 을 전곱함으로써(행의 합) 칼킨-윌프 트리를 복원한다.
연분수와의 연결: 본 논문은 연분수 $[q_0; q_1, q_2, \dots]$ 의 근사 분수(convergents)와 이 행렬 트리에서의 경로 사이의 직접적인 매핑을 확립한다. 경로는 경로 $W$ 를 부분 몫(partial quotients)에 대응하는 이동의 순서( $q_0$ 번의 R-이동, $q_1$ 번의 L-이동 등)로 정의한다. 정리 1은 이러한 경로로부터 생성된 행렬이 그 성분 안에 근사 분수 $A_n/B_n$ 과 그 전항들을 포함함을 증명한다.
두 제곱수의 합 증명: 소수 $p \equiv 1 \pmod 4$ 가 두 제곱수의 합임을 증명하기 위해, 저자들은 $x_0^2 \equiv -1 \pmod p$ 를 만족하는 $p/x_0$ 의 연분수를 이용한 브릴하트(Brillhart)의 접근 방식을 활용한다. 저자들은 이 연분수가 짝수 개의 항을 가진 회문(palindromic) 구조임을 주목한다. 저자들은 연속체(continuants)를 사용하는 대신, 이 회문 구조의 연분수 경로를 모사하는 행렬 트리의 특정 경로 $W$ 를 구성한다. 이 경로를 행렬 $M$ 과 그 전치 행렬 $M^T$ 로 분해하고, 결과 행렬 곱을 분석함으로써 두 제곱수의 합 항등식을 도출한다.

주요 결과

트리의 통합: 본 논문은 스턴-브로코 트리와 칼킨-윌프 트리가 별개의 개체가 아니라, 단순한 선형 연산(열 또는 행의 합)을 통해 하나의 근본적인 행렬 이진 트리로부터 유도되는 것임을 입증한다.
경로-근사 분수 대응: 정리 1은 연분수 계수로 정의된 경로의 행렬 곱과 해당 연분수의 근사 분수 사이를 연결하는 엄밀한 공식을 제공한다.
페르마 정리의 구성적 증명: 본 논문은 임의의 소수 $p = 4k+1$ 이 $p = x^2 + y^2$ 로 쓰일 수 있음을 보여주는 증명을 제시한다. 이 증명은 $p/x_0$ 의 연분수의 회문적 성질에 의존한다.
제곱수의 명시적 식별: $p = x^2 + y^2$ 를 만족하는 정수 $x$ 와 $y$ 를 명시적으로 식별할 수 있는 유의미한 결과를 제시한다. 정리 5는 만약 분수 $x/y$ 가 (회문적 연분수 경로의 앞부분에서 유도된) 경로 $M^T$ 에 대응하는 스턴-브로코 트리의 경로라면, $p = x^2 + y^2$ 임을 명시한다. 경로 $M$ 을 사용하는 칼킨-윌프 트리에서도 유사한 결과가 성립한다.

의의 및 주장
본 논문은 페르마의 두 제곱수 정리에 대한 브릴하트의 증명에 대해 새로운 해석을 제공한다고 주장한다. 저자들은 연속체의 대수적 성질에만 의존하는 대신, 행렬 이진 트리의 경로를 통한 기하학적 및 구조적 성질을 활용한다. 주요 의의는 두 제곱수의 합을 나타내는 정수 $x$ 와 $y$ 를 트리 경로를 통해 명시적으로 구성할 수 있다는 점에 있다. 이는 연분수, 이진 트리, 그리고 수론적 항등식 사이의 구체적인 알고리즘적 연결 고리를 제공한다. 본 연구는 연분수 이론을 행렬 기반의 유리수 트리 생성 방식과 매끄럽게 통합하여, 이러한 수학적 대상들에 대한 통합적인 관점을 제시한다.

1. 마스터 트리: 행렬 이동의 게임

2. 지도: 연분수 읽기

3. "두 제곱수의 합" 퍼즐 해결하기

핵심 요약

유사한 논문