[논문 리뷰] On Ramanujan Cubic Polynomials

Vladimir Shevelev|ArXiv.org|2007. 11. 21.

Advanced Mathematical Identities참고 문헌 1인용 수 9

한 줄 요약

이 논문은 실근을 가진 삼차 다항식인 라마누잔 삼차다항식(RCPs)을 도입하며, 조건 $pr^{1/3} + 3r^{2/3} + q = 0$를 만족하는 다항식으로, 그 근들의 세제곱근의 합과 그 두 근의 곱의 세제곱근의 합이 모두 비율 $rac{pq}{r}$에 의해 유일하게 결정됨을 증명한다. 핵심 기여는 이러한 대칭 합이 $rac{pq}{r}$에 의해 완전히 결정됨을 보여주며, 삼각함수와 삼차근을 포함하는 새로운 항등식을 도출한다.

ABSTRACT

A polynomial x^3+px^2+qx+r with the condition pr^(1/3)+ 3r^(2/3)+q=0 we call a Ramanujan cubic polynomial (RCP). We study different interest properties of RCP, in particular, an important role of a parameter pq/r. We prove some new beautiful identities containing sums of 6 cubic radicals of values of trigonometrical functions as well.

연구 동기 및 목표

• 라마누잔 삼차다항식(RCPs)을 정의하고, 계수와 근호를 포함한 특정 대수적 조건을 만족하는 삼차다항식의 체계적 연구를 수행한다.
• RCPs에서 근들의 세제곱근의 대칭합과 근들의 두 개씩 곱한 것의 세제곱근의 합이 모두 비율 $\frac{pq}{r}$에 의해 유일하게 결정됨을 입증하여 깊이 있는 구조적 불변성을 드러낸다.
• 삼각함수의 여섯 개의 삼차근의 합을 포함하는 새로운 항등식을 유도하고 증명하며, 라마누잔의 원래 작업을 확장한다.
• 라마누잔의 노트와 최근 문헌에서 알려진 항등식들을 통합하고 일반화하여, 이들이 모두 동일한 $\frac{pq}{r}$ 값을 갖는 RCPs로부터 유도됨을 보여준다.

제안 방법

• RCP를 실근을 가진 삼차다항식 $x^3 + px^2 + qx + r$로 정의하고, $pr^{1/3} + 3r^{2/3} + q = 0$ 조건을 만족함으로써, 원래의 라마누잔 정리와 연결한다.
• 대수적 변환과 대칭함수 항등식을 사용하여 근들의 세제곱근의 합과 그 두 개씩 곱한 것의 세제곱근의 합을 $p$, $q$, $r$, 및 $\frac{pq}{r}$로 표현한다.
• 비에트의 정리와 대입 기법을 적용하여 변환된 다항식 $x^3 + p_1x^2 + q_1x + r_1$의 근이 $x_i - r^{1/3}$임을 보여주며, 핵심 대칭성 성질을 증명한다.
• 근들이 $\xi_i = (x_i^{1/3} + x_j^{1/3} + x_k^{1/3})^3$인 삼차다항식을 유도하며, 그 계수들이 $\frac{pq}{r}$에만 의존함을 보여준다.
• 라마누잔의 노트와 위투라, 슬로타의 최근 연구에서 알려진 알려진 항등식들이 모두 $\frac{pq}{r} = 2, -40, -180$인 RCPs의 특수한 경우임을 검증하여 통합 원리의 타당성을 확인한다.
• 예를 들어 $\cos(2\pi/7)$, $\cos(2\pi/9)$ 등의 삼각함수 다항식 분해를 활용하여 $\sec^{1/3}$과 $\sin^2$가 가중치로 작용하는 삼차근의 합을 포함하는 새로운 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 라마누잔의 원래 삼각함수의 세제곱근의 합을 포함하는 항등식들이 단일 대수적 프레임워크에서 체계적으로 유도될 수 있는가?
• RQ2 삼차다항식의 계수에 어떤 대수적 조건이 성립하면, 그 근들의 세제곱근의 합이 근호 표현으로 단순화되는가?
• RQ3 왜 $2\pi/7$, $4\pi/7$, $8\pi/7$ 및 $2\pi/9$, $4\pi/9$, $8\pi/9$ 각도에서 코시누스와 secant 값의 세제곱근을 포함하는 알려진 항등식들이 모두 동일한 $\frac{pq}{r}$ 값을 갖는가?
• RQ4 근들과 그 곱의 세제곱근에 대한 대칭 함수가 $\frac{pq}{r}$에만 의존하고 개별 계수 $p$, $q$, $r$에는 의존하지 않는 정도는 어느 정도인가?
• RQ5 특정 $\frac{pq}{r}$ 값을 갖는 RCPs로부터 삼각함수의 여섯 개의 삼차근의 합을 포함하는 새로운 항등식을 유도할 수 있는가?

주요 결과

• RCP의 근들의 세제곱근의 합은 $x_1^{1/3} + x_2^{1/3} + x_3^{1/3} = (-p - 6r^{1/3} + 3(9r - pqr)^{1/3})^{1/3}$를 만족하며, 이는 $p$, $q$, $r$, 및 $\frac{pq}{r}$에 명시적으로 의존한다.
• 근들의 두 개씩 곱한 것의 세제곱근의 합은 $(x_1x_2)^{1/3} + (x_2x_3)^{1/3} + (x_3x_1)^{1/3} = (q + 6r^{2/3} - 3(9r^2 - pqr)^{1/3})^{1/3}$를 만족하며, 다시 말해 $\frac{pq}{r}$에 의해 결정된다.
• 대칭합 $\xi_1 = (x_1^{1/3} + x_2^{1/3} + x_3^{1/3})^3$, $\xi_2 = (x_1^{1/3} + x_2^{1/3} + x_3^{1/3})^3$ (순환치환를 고려한 경우)는 계수들이 $\frac{pq}{r}$에만 의존하고 $p$, $q$, $r$ 개별 값에 의존하지 않는 삼차다항식의 근이 된다.
• 모든 RCP에서 $\left\{ \frac{r^{2/3}}{x_i} \right\}$은 $\{ r^{1/3} - x_i \}$의 순열임을 보여주며, 역수와 이동 변환에 대한 깊은 대칭성을 드러낸다.
• $\frac{pq}{r}$는 $\frac{9}{4}$ 이하로 유계이며, 삼각함수 항등식에서 유래된 모든 알려진 RCP들은 $\frac{pq}{r} \in \{2, -40, -180\}$을 갖는 것으로 나타나, 유한하고 이산적인 구조임을 시사한다.
• 예를 들어 $\sin^2(2\pi/7)(2\cos(4\pi/7))^{1/3} + \cdots = -\frac{1}{4}(63(1 + 7^{1/3}))^{1/3}$와 같은 새로운 항등식이 도출되었으며, 이는 본 방법의 일반성을 확인한다.