오즈타 값의 무리성 증명: 새로운 접근법

초록

**
이 논문은 기존에 알려진 베타 상수 (L(2n+1,\chi))의 무리성을 이용해, 모든 홀수 정수 (s=2n+1;(n\ge 1))에 대해 리만 제타값 (\zeta(s))가 무리수임을 증명하려는 시도를 제시한다. Dedekind ζ함수의 분해와 두 개의 독립적인 유리 근사열을 결합해 모순을 도출함으로써 무리성을 주장한다.

**

상세 분석

**
논문은 크게 네 부분으로 구성된다. 첫째, 기본적인 무리성 기준(레머 2.1, 2.2)과 디오판틴 근사 이론(Dirichlet, Khintchine)을 정리하고, 이를 통해 “무리수는 충분히 좋은 유리 근사를 무한히 가질 수 있다”는 사실을 강조한다. 둘째, Dedekind ζ함수 (\zeta_K(s)=\zeta(s)L(s,\chi))의 평균값 정리(레머 3.1)를 이용해 (\sum_{n\le x}r_Q(n)n^{-s})가 (\zeta(s)L(s,\chi))에 근접함을 보인다. 여기서 (r_Q(n))은 두 제곱수의 표현 개수이며, (q=4)인 경우 (\chi)는 비주요 2차 문자이다. 셋째, (\zeta(2n))와 (\zeta(3))의 무리성은 기존 결과(정리 4.1)로 인용하고, (\zeta(2n+1))에 대한 새로운 증명을 제시한다. 핵심 아이디어는 다음과 같다.

1. (L(2n+1,\chi)=a\pi^{2n+1}) (정리 4.2)로부터 (1/L(2n+1,\chi))의 유리 근사열 ({p_n/q_n})가 존재함을 보이고, 근사 오차가 (\mathcal{O}(q_n^{-2n})) 수준임을 이용한다.
2. 같은 (s)에 대해 (\sum_{n\le x}r_Q(n)n^{-s})의 부분합을 (\zeta(s))와 비교하여 (\zeta(s)-\sum_{n\le x}r_Q(n)n^{-s}=c_0x^{1-s}+O(x^{1/2-s})) 형태의 오차식을 얻는다.
3. 위 두 근사열을 적절히 결합해 (\zeta(s))와 유리수 (p_n/q_n) 사이의 차이가 동시에 두 개의 서로 다른 상수에 의해 하한과 상한이 제한되는 모순을 만든다.

논문은 이 모순을 “(\zeta(2k+1))가 유리수라면 레머 2.1에 위배된다”는 식으로 정리한다. 그러나 몇 가지 심각한 결함이 존재한다. 첫째, 레머 3.1의 상수 (c_0)와 오차항의 정확한 부호와 크기가 증명에 필수적인데, 논문은 이를 전혀 검증하지 않는다. 둘째, 두 근사열이 “선형 독립”이라는 주장에 대한 엄밀한 정의와 증명이 빠져 있다. 실제로 (p_n/q_n)와 (u_m/v_m)가 서로 독립적이라는 사실은 (\zeta(s))와 (L(s,\chi)) 사이의 대수적 관계가 알려지지 않은 이상 증명하기 어렵다. 셋째, 무리성 기준으로 사용된 레머 2.2는 “(\psi(q)=o(1/q))”라는 조건을 만족해야 하는데, 논문은 구체적인 (\psi)를 제시하지 않고 단순히 “충분히 빠른 수렴”이라고만 언급한다. 마지막으로, 증명 과정에서 무한히 많은 근사열을 선택하는 알고리즘(식 20‑21)은 실제로 존재함을 보이는 구체적인 구성 없이 가정에 머물러 있다.

따라서 논문의 전반적인 전략은 흥미롭지만, 현재 형태로는 정밀한 수론적 추정과 근사열의 독립성 증명이 부족해 결론을 확정짓기엔 미흡하다.

**