[논문 리뷰] Elementary proofs of generalized continued fraction formulae for $e$

Zhentao Lu|arXiv (Cornell University)|2019. 07. 12.

History and Theory of Mathematics참고 문헌 2인용 수 6

한 줄 요약

이 논문은 수학 상수 e에 대한 두 가지 일반화된 연속분수 표현에 대한 간단한 증명을 제시한다. 하나는 잘 알려진 것이고, 다른 하나는 기계학습을 통해 최근에 발견된 것이다. 수렴하는 유계의 순환 수열과 닫힌형 표현식의 귀납적 검증을 통해 저자는 두 연속분수가 모두 e로 수렴한다는 것을 입증하며, 기본 분석 및 기호 계산 기법을 이용한 이러한 공식을 검증하는 체계적인 접근 방식을 보여준다.

ABSTRACT

In this short note we prove two elegant generalized continued fraction formulae $$e= 2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{2}{3+\cfrac{3}{4+\ddots}}}}$$ and $$e= 3+\cfrac{-1}{4+\cfrac{-2}{5+\cfrac{-3}{6+\cfrac{-4}{7+\ddots}}}}$$ using elementary methods. The first formula is well-known, and the second one is newly-discovered in arXiv:1907.00205 [cs.LG]. We then explore the possibility of automatic verification of such formulae using computer algebra systems (CAS's).

연구 동기 및 목표

• e를 표현하는 두 가지 일반화된 연속분수 공식에 대해 간단하고 자립적인 증명을 제공한다.
• 최근 수치적으로 발견된 연속분수 공식을 엄밀한 수학적 귀납법을 통해 검증한다.
• e와 같은 상수에 대한 일반화된 연속분수 공식을 검증하기 위한 체계적이고 계산적으로 실현 가능한 워크플로우를 수립한다.
• 기호 대수 시스템이 이러한 수학적 항등식의 발견과 검증에 어떻게 기여할 수 있는지 보여준다.

제안 방법

• 표준 연속분수 이론을 이용해 수렴하는 유계의 분자 $ A_n $와 분모 $ B_n $에 대한 재귀 관계를 유도한다.
• 보조 수열을 도입하여 귀납 단계를 단순화함으로써 $ A_n $과 $ B_n $에 대한 닫힌형 표현식을 수학적 귀납법으로 증명한다.
• 재귀 관계를 합계 형태로 변환하여 무한한 극한을 취하는 데 용이하게 한다.
• 특히 $ \sum_{k=0}^\infty \frac{1}{k!} = e $와 같은 알려진 급수 전개를 적용하여 수렴하는 유계의 극한을 평가한다.
• WolframAlpha와 OEIS를 활용하여 닫힌형 표현식을 추측하고 확인하는 다섯 단계의 자동화된 검증 워크플로우를 제안한다.
• 기호 계산을 활용하여 연속분수가 e로 수렴하는 것을 검증한다.

실험 결과

연구 질문

• RQ1 잘 알려진 일반화된 연속분수 공식 $ e = 2 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{2}{3 + \cdots}}} $는 간단한 방법과 귀납적 추론을 통해 증명할 수 있는가?
• RQ2 최근에 발견된 연속분수 $ e = 3 + \cfrac{-1}{4 + \cfrac{-2}{5 + \cdots}} $는 수학적으로 타당하며 간단한 기법으로 증명할 수 있는가?
• RQ3 e와 같은 상수에 대한 일반화된 연속분수 공식을 검증하기 위해 어떤 체계적인 접근 방식을 사용할 수 있는가?
• RQ4 기호 대수 시스템은 이러한 공식의 발견과 검증에 어떻게 기여할 수 있는가?

주요 결과

• 첫 번째 연속분수 $ e = 2 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{2}{3 + \cdots}}} $는 $ A_n = n+2 $와 $ B_n $에 대한 유도된 표현식의 귀납적 검증을 통해 e로 수렴한다는 것이 엄밀히 입증되었다.
• 두 번째 공식 $ e = 3 + \cfrac{-1}{4 + \cfrac{-2}{5 + \cdots}} $는 $ B_n = (n+1) \cdot (n+1)! $와 $ A_n = \sum_{k=0}^{n+1} (k+1)! \binom{n+1}{k} $임을 보여줌으로써 검증되었으며, 극한이 e를 도출한다.
• 두 번째 공식의 수렴하는 유계 $ \frac{A_n}{B_n} $는 지수 급수의 부분합 조합으로 표현함으로써 e로 수렴함을 입증하였다.
• 논문은 두 연속분수 모두 $ \lim_{n \to \infty} \frac{A_n}{B_n} = e $임을 수립하여 그 정확성을 확인하였다.
• 제안된 워크플로우를 통해 기호 계산, 수열 추측, 귀납적 증명을 조합함으로써 이러한 공식의 자동 검증이 가능하다.