급수의 무리수성: 이중 지수 성장과 골든비율의 새로운 경계

초록

이 논문은 양의 정수열 {aₙ}이 골든비율 ϕ에 대해 이중 지수적으로 성장하면 ∑ₙ 1/(aₙaₙ₊₁) 의 합은 무리수임을 증명한다. 더 일반적으로 가중 지수 형태의 급수에 대한 충분조건과, 그 조건이 최적임을 보이는 반례까지 제시한다.

상세 분석

본 연구는 Erdős와 Graham이 제시한 “a₁<a₂<⋯, lim inf a₁/2ⁿ > 1이면 ∑1/(aₙaₙ₊₁) 은 무리수인가?”라는 질문에 대한 완전한 해답을 제공한다. 저자들은 먼저 기존의 충분조건인 lim sup a₁/2ⁿ = ∞ 를 골든비율 ϕ≈1.618으로 완화한다. 구체적으로, aₙ이 ϕⁿ에 대해 lim sup a₁/ϕⁿ = ∞ 일 때 급수 (2.2) 가 무리수임을 보인다. 이는 “이중 지수 성장”이라는 새로운 성장 척도를 도입한 것으로, ϕⁿ은 2ⁿ보다 느리지만 여전히 급격히 증가한다는 점을 이용한다.

Theorem 2는 보다 일반적인 형태 ∑ₙ 1/(aₙ^{w₀}aₙ₊₁^{w₁}…aₙ₊₍d₋₁₎^{w_{d-1}}) 에 대해, ψ가 ψ^{d}=ψ^{d-1}+1 을 만족하는 고유 실근일 때 lim sup a₁/ψⁿ = ∞ 이면 무리수임을 증명한다. 여기서 ψ는 d에 따라 달라지며, d=2이면 ψ=ϕ가 된다.

Theorem 3은 가중 지수 w=(w₀,…,w_{d-1})와 보조 수열 {bₙ}을 도입해, aₙ이 충분히 빠르게 성장하고 bₙ이 다항식 성장 제한을 만족하면 ∑bₙ/(aₙ^{w₀}…aₙ₊₍d₋₁₎^{w_{d-1}}) 가 무리수임을 일반화한다. 핵심은 다항식 P_w(x) 의 유일한 양의 실근 c_w 를 이용해 lim sup a₁/c_wⁿ = ∞ 라는 조건을 도출하는데, 이는 기존 조건보다 약하지만 충분히 강력하다.

Theorem 5는 위의 충분조건이 최적임을 보여준다. 특정 가중치 w에 대해 가장 큰 실근 \tilde c_w 를 사용하면, lim sup a₁/\tilde c_wⁿ = C (임의의 C>1) 인 경우 급수가 유리수가 될 수 있음을 구성한다. 이는 Theorem 3의 가정이 필요충분조건이 아님을 시사하지만, w가 0·1 값만 가질 때는 완전한 최적성을 제공한다.

증명 전략은 Mahler‑Lemma(레마 8)와 Borel‑Lemma(레마 9)를 결합한 고전적 무리수 판정법을 사용한다. 특히, 급수의 부분합을 정수배로 만들 수 있는 D_N 을 정의하고, D_N·잔여합 r_N 이 0으로 수렴함을 보임으로써 무리수성을 확보한다. 이를 위해 레마 10의 dyadic 블록 분석과 로그 변환을 통한 상한 평가가 핵심이다.

또한 논문은 AI‑Human 협업 사례를 상세히 기술한다. 초기 문제 해결은 DeepMind의 Gemini 기반 에이전트 Aletheia가 자동으로 수행했으며, 이후 인간 저자들이 정리·일반화·반례 구성 등을 담당했다. 이 과정은 AI가 수학적 추론을 자동화하고, 인간이 직관과 검증을 보완하는 모델을 보여준다.

전체적으로 이 연구는 급수 무리수성에 대한 새로운 성장 기준을 제시하고, 그 한계와 최적성을 동시에 밝힘으로써 수론·분석학에 의미 있는 기여를 한다.