🔢 mathematics

Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

이 논문은 힐베르트의 고전적 해석학적 증명을 상기시킨 후, 형식적 멱급수를 활용하여 베우커스·베지뱅·로바의 증명 특수화와 저자 고유의 부정적분 기법을 통해 $\mathrm{e}$ 의 초월성을 증명하는 두 가지 대수적 증명을 제시하고 힐베르트의 증명보다 어떻게 개선되었는지 설명합니다.

원저자: Martin Klazar

게시일 2026-03-09

📖 3 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Martin Klazar

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

수학적 보석의 새로운 포장: $e$ 의 초월성 증명

이 논문은 수학의 거대한 업적 중 하나인 **" $e$ (자연로그의 밑) 가 초월수다"**라는 사실을 증명하는 방법을 다룹니다. 여기서 '초월수'란, 정수 계수 다항식의 해가 될 수 없는, 말 그대로 '수학적 법칙을 초월한' 숫자를 뜻합니다.

저자 마르틴 클라자르 (Martin Klazar) 는 고전적인 증명법을 소개한 뒤, 이를 더 깔끔하고, 더 논리적이며, '무한한 집합'이라는 무거운 짐을 덜어낸 두 가지 새로운 대수적 증명으로 제시합니다.

이 복잡한 수학을 일상적인 비유로 쉽게 풀어보겠습니다.

1. 히틀버 (Hilbert) 의 고전적 증명: "거대한 도서관의 책장"

기존의 증명 (힐버트) 은 아주 아름답지만, 약간의 '무거운 짐'을 안고 있습니다.

비유: 이 증명은 무한히 긴 **책장 (실수 집합)**을 상상합니다. 수학자들은 이 책장에서 특정 책 ( $x^n e^{-x}$ 같은 함수) 을 꺼내서 적분 (책 내용을 읽어서 요약) 하는 과정을 반복합니다.
문제점: 이 책장은 셀 수 없을 정도로 (비가산적으로) 많습니다. 우리가 일상에서 '1, 2, 3'처럼 하나씩 세는 것과는 차원이 다릅니다. 저자는 "왜 우리가 증명할 때 이렇게 거대한, 셀 수 없는 도서관을 빌려와야 할까? 더 작은 책상 위에서도 증명할 수 있지 않을까?"라고 질문합니다.

2. 첫 번째 새로운 증명: "레고 블록으로 만든 공식" (Beukers, Bézivin, Robba)

첫 번째 새로운 증명은 **형식적 멱급수 (Formal Power Series)**라는 도구를 사용합니다.

비유: 기존의 증명이 거대한 도서관 (실수 함수) 을 사용했다면, 이 방법은 레고 블록을 사용합니다.
- 함수 $x^n e^{-x}$ 대신, $a_0 + a_1x + a_2x^2 + \dots$ 같은 무한히 긴 다항식 수열을 다룹니다.
- 여기서 $x$ 는 실제 숫자가 아니라, 단순히 **기호 (상징)**일 뿐입니다. "실제 사과를 세는 게 아니라, '사과'라는 단어만 가지고 논리를 전개하는 것"과 같습니다.
장점: 이 방법은 '실제 숫자'나 '무한한 집합'을 직접 건드리지 않습니다. 오직 정수 (1, 2, 3...) 와 기호만으로 논리를 쌓아 올립니다.
- 마치 레고로 성을 쌓을 때, 실제 돌을 가져오지 않고 플라스틱 블록만으로 구조의 견고함을 증명하는 것과 같습니다.
- 이 증명은 $e$ 가 초월수임을 보일 때, 가장 작은 단위 (정수) 만으로 모든 것을 설명해냅니다.

3. 두 번째 새로운 증명: "가상의 적분기" (저자 자신의 증명)

두 번째 증명은 저자가 직접 개발한 것으로, 힐버트의 증명을 형식적 멱급수 언어로 번역한 것입니다.

비유: 힐버트의 증명은 "실제 강 (실수) 을 건너는 배"를 탔다면, 이 증명은 **"가상의 지도 (형식적 수열)"**를 보고 경로를 그리는 것입니다.
- 저자는 **형식적 적분 (Newton Integral)**이라는 새로운 도구를 만들었습니다. 이는 실제 물리 세계의 적분처럼 보이지만, 실제로는 수열의 규칙을 따르는 계산일 뿐입니다.
- 예를 들어, $e$ 를 구할 때 "무한히 긴 곡선 아래 면적"을 재는 대신, **"계산 규칙에 따라 숫자들을 나열하고 더하는 과정"**으로 바꿉니다.
핵심 아이디어:
- $e$ 가 정수들의 합으로 표현될 수 있다고 가정하면 (모순을 위한 전제), 이 가상의 적분 계산에서 **모순 (0 이 아닌데 0 이 되는 상황)**이 발생합니다.
- 이 모순은 거대한 실수 집합을 쓰지 않고, 오직 정수와 기호의 규칙만으로 도출됩니다.

4. 왜 이것이 중요한가요? (요약)

이 논문의 핵심 메시지는 **"증명의 순수함"**입니다.

기존: "우리는 거대한 무한 집합 (실수) 을 사용해서 $e$ 가 초월수임을 증명했다." (아름답지만 무겁다)
새로운: "우리는 **셀 수 있는 정수와 기호 (레고 블록)**만으로 $e$ 가 초월수임을 증명했다." (깔끔하고 가볍다)

저자는 "수학자들은 보통 이 차이를 중요하게 생각하지 않지만, 나는 중요하다"라고 말합니다. 이는 마치 **"진짜 금괴를 찾아다니는 대신, 금을 만드는 공정을 완벽하게 이해하는 것"**이 더 중요하다는 철학과 같습니다.

결론

이 논문은 $e$ 가 왜 '초월수'인지에 대한 두 가지 새로운, 그리고 더 간결한 증명법을 제시합니다.

**레고 블록 (형식적 멱급수)**을 이용해 거대한 도서관 없이 논리를 쌓는 방법.
가상의 적분을 통해 실제 강을 건너지 않고도 모순을 찾아내는 방법.

두 방법 모두 무한한 실수 집합이라는 거대한 짐을 내려놓고, 오직 정수와 기호의 논리만으로 수학의 가장 아름다운 사실 중 하나를 증명해냅니다. 이는 수학이 얼마나 정교하고 우아하게 작동할 수 있는지 보여주는 멋진 사례입니다.

이 논문은 수 $e$ 의 초월성 (transcendence) 을 증명하는 데 있어 힐버트 (Hilbert) 의 고전적 해석학적 증명을 재조명하고, 이를 **형식적 멱급수 (formal power series)**를 사용하여 두 가지 대수학적 증명으로 개선한 내용을 다루고 있습니다. 저자 마르틴 클라자르 (Martin Klazar) 는 기존 증명에서 필수불가결하게 사용되던 **비가산 집합 (uncountable sets, 예: 실수 구간 $[0, +\infty)$ )**의 사용을 배제하거나 최소화하는 데 중점을 두었습니다.

다음은 논문의 상세한 기술적 요약입니다.

1. 문제 제기 (Problem)

배경: $e$ 의 초월성은 1873 년 에르미트 (Hermite) 에 의해 처음 증명되었으며, 힐버트는 이를 간결하게 재구성했습니다. 힐버트의 증명은 $e$ 가 대수적 수라고 가정하고 모순을 이끌어내는 방식인데, 핵심 도구로 $x^n e^{-x}$ 와 같은 함수들의 **불적분 (improper integrals)**을 사용합니다.
한계: 힐버트의 증명과 그 변형들은 실수 구간 $[0, +\infty)$ 와 같은 **비가산 집합 (uncountable sets)**을 본질적으로 사용합니다. 저자는 "비가산 집합을 실질적으로 사용하지 않고 $e$ 의 초월성을 증명할 수 있는가?"라는 질문을 제기합니다.
목표: 형식적 멱급수 (formal power series) 의 언어를 사용하여 비가산 집합에 의존하지 않는 순수 대수적 (또는 반형식적) 증명을 제시하는 것입니다.

2. 방법론 (Methodology)

저자는 두 가지 다른 접근법을 통해 힐버트의 증명을 형식적 멱급수 체계로 번역하고 개선합니다.

A. 첫 번째 증명: Beukers, Bézivin, Robba (BBR) 의 증명 특수화

기반: BBR 은 린데만 - 바이어슈트라스 (Lindemann-Weierstrass) 정리를 증명하기 위해 형식적 멱급수를 사용한 바 있습니다. 이 논문은 그 정리를 $e$ 의 초월성 (정수 계수 $b_j$ 와 서로 다른 자연수 $\alpha_j$ 에 대한 $b_1 e^{\alpha_1} + \dots + b_t e^{\alpha_t} = 0$ ) 에 특수화하여 재구성합니다.
핵심 도구:
- 유리형 형식적 멱급수 (Rational formal power series): 다항식 $p(x), q(x)$ 에 대해 $q(x)f(x)=p(x)$ 를 만족하는 급수.
- 부분분수 분해 (Partial fraction decomposition): 유리형 급수의 구조 분석.
- 점화식과 점근적 추정: $v_n = n! \sum_{r=0}^n u_r/r!$ 와 같은 수열을 정의하고, $v_n$ 이 $O(A^n)$ 으로 유계 (bounded) 임을 보임.
- 논리적 구조: $v_n$ 이 특정 점화식을 따르며, 충분히 큰 $n$ 에서 $v_n(k)$ 가 0 이 되어야 함을 유도하여, 형식적 멱급수 $V(x)$ 가 유리형임을 증명합니다. 이후 $V(x)$ 의 유리성과 미분 연산의 성질을 모순으로 이끌어냅니다.

B. 두 번째 증명: 저자 (Klazar) 의 반형식적 적분 (Semiformal Integration)

개념 정의:
- 수렴 형식적 멱급수 ( $R\{x\}$ ): 무한 수렴 반경을 가진 급수.
- 반형식적 연산 (Semiformal operations): 시프트 (shift, $f(x+b)$ ) 와 적분 ( $\int f$ ) 을 정의하되, 계수 계산에 극한 (limit) 이 포함되더라도 급수의 수렴성을 보장하여 정의합니다.
- 뉴턴 적분 (Newton integral): $\int_u^v f = (\int f)(v) - (\int f)(u)$ 로 정의.
주요 정리:
- 오일러 항등식의 대수적 유도: $\int_0^{+\infty} x^k \text{Exp}(-x) dx = k!$ 을 비가산 집합 없이 유도합니다. 여기서 $\text{Exp}(x)$ 는 형식적 지수 함수입니다.
- 적분 변환: 선형성, 구간 분할, 시프트 ( $\int_u^v f(x+b) = \int_{u+b}^{v+b} f(x)$ ) 등의 성질을 형식적 급수 체계 내에서 증명합니다.
증명 과정:
1. $e$ 가 대수적이라고 가정 ( $P = \sum a_i e^i = 0$ ).
2. 힐버트와 동일한 다항식 $p_r(x)$ 를 정의하고, 이를 형식적 지수 함수 $\text{Exp}(-x)$ 와 곱하여 적분합니다.
3. 적분을 $A_r$ (유한 구간) 과 $B_r$ (무한 구간) 로 분할합니다.
4. $B_r$ 의 분석: 형식적 적분과 시프트 연산을 사용하여 $B_r$ 이 $r!$ 의 배수이며 0 이 아님을 보입니다.
5. $A_r$ 의 분석: 형식적 적분의 오차 항을 다항식의 계수와 지수 함수의 성질을 이용해 지수적으로 유계 ( $|A_r| \le c^r$ ) 임을 보입니다.
6. 모순: $A_r + B_r = 0$ 이어야 하는데, $B_r$ 은 $r!$ 로 나누어떨어지는 큰 정수이고 $A_r$ 은 매우 작아 $r \to \infty$ 일 때 모순이 발생합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

비가산 집합의 배제: 힐버트의 증명에서 핵심 역할을 하던 실수 함수 공간과 적분 구간을 형식적 멱급수와 대수적 연산으로 대체하여, 증명 과정이 가산 집합 (정수, 유리수, 형식적 급수) 만을 사용하도록 재구성했습니다.
BBR 증명의 특수화 및 재해석: BBR 의 복잡한 린데만 - 바이어슈트라스 정리를 $e$ 의 초월성 증명으로 단순화하여 논리적 구조를 명확히 제시했습니다.
새로운 대수적 증명 제시: 저자 고유의 "반형식적 적분" 개념을 도입하여 힐버트의 증명을 형식적 언어로 직접 번역한 두 번째 증명을 제시했습니다.
오일러 항등식의 대수적 증명: 적분 $\int_0^\infty x^k e^{-x} dx = k!$ 을 해석학이 아닌 형식적 급수의 미분/적분 규칙과 귀납법으로만 증명했습니다.

4. 의의 (Significance)

수학적 기초의 정밀화: 이 논문은 수학적 증명에서 "실수"나 "연속성"과 같은 비가산 집합의 개념이 필수적인지, 아니면 대수적 구조만으로도 충분할 수 있는지에 대한 철학적, 기초론적 질문을 다룹니다.
증명의 단순화 및 일반화: 복잡한 해석학적 도구 (M-L 부등식, 실수 적분의 수렴성 등) 를 형식적 급수의 대수적 성질 (점화식, 계수 추정) 로 대체함으로써 증명을 더 순수하고 구조적으로 만듭니다.
교육적 및 연구적 가치: 초월수 이론을 가르칠 때 해석학적 난이도를 낮추고 대수적 직관을 강조할 수 있는 새로운 프레임을 제공합니다. 또한, 형식적 멱급수 이론이 해석학의 강력한 도구로 어떻게 활용될 수 있는지 보여줍니다.

결론

마르틴 클라자르는 이 논문에서 $e$ 의 초월성 증명을 위해 힐버트의 고전적 방법을 형식적 멱급수 체계로 완전히 이식하여, 비가산 집합의 실질적 사용 없이 순수 대수적 (또는 반형식적) 인 두 가지 증명을 완성했습니다. 이는 수학의 기초론적 엄밀성을 높이고, 해석학적 개념을 대수적 언어로 환원하는 데 중요한 기여를 합니다.

수학적 보석의 새로운 포장: eee 의 초월성 증명