[논문 리뷰] Infinite arctangent sums involving Fibonacci and Lucas numbers

Kunle Adegoke|arXiv (Cornell University)|2016. 03. 26.

Advanced Mathematical Theories and Applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 피보나치 수와 루카스 수를 포함하는 새로운 무한 아크탄젠트 합공식을 유도한다. 기본 삼각함수 항등식과 이 수열들의 성질을 이용하여 유도한다. 주요 기여는 기존에 알려진 결과를 통합하고 확장하는 일반화된 아크탄젠트 항등식을 체계적으로 유도한 것이다. 특수한 경우는 π/2, π/3, π/4와 같은 닫힌 형태로 수렴한다.

ABSTRACT

Using a straightforward elementary approach, we derive numerous infinite arctangent summation formulas involving Fibonacci and Lucas numbers. While most of the results obtained are new, a couple of celebrated results appear as particular cases of the more general formulas derived here.

연구 동기 및 목표

• 피보나치 수와 루카스 수를 포함하는 새로운 무한 아크탄젠트 합공식을 유도하기.
• 이전에 알려진 아크탄젠트 항등식을 더 넓고 종합적인 형태로 일반화하기.
• 기본적인 방법을 사용하여 문헌에 있는 유명한 결과들을 하나의 체계적인 프레임워크로 통합하기.
• 피보나치 수열과 루카스 수열의 곱과 관련된 아크탄젠트 급수의 특수값이 π/2, π/3, π/4와 같은 알려진 상수로 수렴하는지 탐구하기.
• 아크탄젠트 급수, 루카스 수와 피보나치 수의 항등식, 그리고 그 곱들 사이의 관계를 설정하기.

제안 방법

• 아크탄젠트 덧셈 공식을 사용: $\tan^{-1}\left(\frac{\lambda(y-x)}{xy + \lambda^2}\right) = \tan^{-1}(\lambda/x) - \tan^{-1}(\lambda/y)$, 특정 부호 및 크기 조건에서 유효하다.
• 피보나치 수와 루카스 수를 연결하는 기본 항등식을 적용: $F_{u-v}F_{u+v} = F_u^2 - (-1)^{u-v}F_v^2$ 및 $L_u L_v = L_{u+v} + (-1)^u L_{v-u}$.
• 재귀 기반 항등식을 활용: $F_{2u} = F_u L_u$, $L_{2u} = L_u^2 - 2(-1)^u$, 및 $5F_u^2 - L_u^2 = 4(-1)^{u+1}$.
• 매개변수 $G_0, G_1$를 가진 일반화된 피보나치 수열 $G_i$를 도입하여, 특정 초기값을 가질 경우 $F_i$ 또는 $L_i$로 환원된다.
• 일반화된 아크탄젠트 항등식을 수열 $G_{mr+n}$ 과 $G_{mr+n-m}$에 적용하여 무한 급수 항등식을 도출한다.
• 특정 값 $\lambda$, $p$, $k$, $j$를 대입함으로써 닫힌 형태의 합을 도출한다.

실험 결과

연구 질문

• RQ1 기본 삼각함수 항등식을 사용하여 피보나치 수와 루카스 수를 포함하는 무한 아크탄젠트 합을 체계적으로 유도할 수 있는가?
• RQ2 임의의 $G_0, G_1$를 가진 일반화된 피보나치 수열 $G_i$는 어떻게 더 넓은 아크탄젠트 항등식을 도출하는 데 기여하는가?
• RQ3 특정 매개변수($\lambda$, $p$, $k$, $j$)를 유도된 항등식에 대입했을 때 어떤 특수값이 도출되는가?
• RQ4 기존에 알려진 유명한 결과들(예: $\sum \tan^{-1}(1/F_{2r+1}) = \tan^{-1}(1/F_{2k})$)이 더 일반적인 공식의 특수한 경우로 복원될 수 있는가?
• RQ5 매개변수 $j \to \infty$일 때 유도된 아크탄젠트 급수의 점근적 행동은 어떠한가?

주요 결과

• 논문은 항등식 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{2j}^2 L_{4jr+2j}}{F_{4jr+2j}^2}\right) = \tan^{-1}\left(\frac{1}{L_{2j}}\right)$를 유도하였으며, 모든 정수 $j \neq 0$에 대해 유효하다.
• 논문은 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{L_{4r-2}}{F_{4r-2}^2}\right) = \frac{\pi}{2}$를 확립하였으며, 이는 π/2로 수렴하는 중요한 특수값이다.
• 항등식 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{3}L_{2r}}{L_{4r}}\right) = \frac{\pi}{3}$는 특수한 경우로 도출되었다.
• 논문은 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{1}{5} \frac{L_{2r}}{F_{2r}^2}\right) = \frac{\pi}{4}$를 증명하였으며, 이는 중요한 상수합 결과이다.
• 논문은 $\sum_{r=1}^{\infty} \tan^{-1}\left(\frac{\sqrt{5} F_{2r-1}}{L_{2r-1}^2}\right) = \frac{\pi}{2}$를 증명하였으며, 이는 또 다른 정확한 상수합 항등식이다.
• 한계 $\lim_{j \to \infty} \sum_{r=1}^{\infty} \tan^{-1}\left(\frac{F_{4j}}{F_{4jr+2k-1}}\right) = \tan^{-1}(\phi^{-(2k-1)})$가 도출되었으며, 이는 급수를 황금비율과 연결한다.