文献あり

ラマヌジャンと方程式 a^3+b^3=c^3±1

1068

はじめに

　この記事ではラマヌジャンの発見した以下の奇妙な関係式について簡単に解説していきます。

　整数列 $a_{n}, b_{n}, c_{n}, α_{n}, β_{n}, γ_{n}$ を
$\begin{aligned} \frac{1 + 53 x + 9 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} & = \sum_{n = 0}^{\infty} a_{n} x^{n} = \sum_{n = 1}^{\infty} \frac{α_{n - 1}}{x^{n}} \\ \frac{2 - 26 x - 12 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} & = \sum_{n = 0}^{\infty} b_{n} x^{n} = \sum_{n = 1}^{\infty} \frac{β_{n - 1}}{x^{n}} \\ \frac{2 + 8 x - 10 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} & = \sum_{n = 0}^{\infty} c_{n} x^{n} = \sum_{n = 1}^{\infty} \frac{γ_{n - 1}}{x^{n}} \end{aligned}$
によって定めると
$\begin{aligned} a_{n}^{3} + b_{n}^{3} & = c_{n}^{3} + (- 1)^{n} \\ α_{n}^{3} + β_{n}^{3} & = γ_{n}^{3} + (- 1)^{n} \end{aligned}$
が成り立つ。

　ちなみにこの等式はRamanujan's Lost Notebookにて登場しています。

Ramanujan's Lost Notebookより

具体値

　以下に $a_{n}, b_{n}, c_{n}, α_{n}, β_{n}, γ_{n}$ の具体値を記しておきます。

$\begin{aligned} (a_{0}, b_{0}, c_{0}) & = (1, 2, 2) \\ (a_{1}, b_{1}, c_{1}) & = (135, 138, 172) \\ (a_{2}, b_{2}, c_{2}) & = (11161, 11468, 14258) \\ (a_{3}, b_{3}, c_{3}) & = (926271, 951690, 1183258) \\ (a_{4}, b_{4}, c_{4}) & = (76869289, 78978818, 98196140) \\ (a_{5}, b_{5}, c_{5}) & = (6379224759, 6554290188, 8149096378) \\ (a_{6}, b_{6}, c_{6}) & = (529398785665, 543927106802, 676276803218) \\ (α_{0}, β_{0}, γ_{0}) & = (9, - 12, - 10) \\ (α_{1}, β_{1}, γ_{1}) & = (791, - 1010, - 812) \\ (α_{2}, β_{2}, γ_{2}) & = (65601, - 83802, - 67402) \\ (α_{3}, β_{3}, γ_{3}) & = (5444135, - 6954572, - 5593538) \\ (α_{4}, β_{4}, γ_{4}) & = (451797561, - 577145658, - 464196268) \\ (α_{5}, β_{5}, γ_{5}) & = (37493753471, - 47896135058, - 38522696690) \\ (α_{6}, β_{6}, γ_{6}) & = (3111529740489, - 3974802064140, - 3196919629018) \end{aligned}$
　例えば $(α_{0}, β_{0}, γ_{0}) = (9, - 12, - 10)$ からはかの有名なタクシー数の等式
$1729 = 9^{3} + 10^{3} = 12^{3} + 1^{3}$
が得られます。
　なおこれ以降の項について知りたい場合はこれらが満たす漸化式
$A_{n + 3} - 82 A_{n + 2} - 82 A_{n + 1} + A_{n} = 0$
を用いると便利かもしれません。

導出

　例の如くラマヌジャンは証明を残していないので本人による導出を知ることはできませんが、Hirschhornらによるとラマヌジャンは次のような発想を用いて導出したのではないかと考察されています。

$a_{n}, b_{n}, c_{n}$ の定義

$(u^{2} + 7 u v - 9 v^{2})^{3} + (2 u^{2} - 4 u v + 12 v^{2})^{3} = (2 u^{2} + 10 v^{2})^{3} + (u^{2} - 9 u v - v^{2})^{3}$

　ラマヌジャンが発見していた等式(この記事の公式9)
$(3 a^{2} + 5 a b - 5 b^{2})^{3} + (4 a^{2} - 4 a b + 6 b^{2})^{3} + (5 a^{2} - 5 a b - 3 b^{2})^{3} = (6 a^{2} - 4 a b + 4 b^{2})^{3}$
において $a = u + v, b = u - 2 v$ として両辺を $3^{3}$ で割ることでわかる。

(別証明)

$(x^{2} + 16 x - 21)^{3} + (2 x^{2} - 4 x + 42)^{3} = 9 (x^{6} + 145 x^{4} - 245 x^{2} + 7203)$
が偶多項式であることから
$(x^{2} + 16 x - 21)^{3} + (2 x^{2} - 4 x + 42)^{3} = (2 x^{2} + 4 x + 42)^{3} + (x^{2} - 16 x - 21)^{3}$
が成り立つ。
　また $x = 2 y - 1$ とおき両辺を $4^{3}$ で割ると
$(y^{2} + 7 y - 9)^{3} + (2 y^{2} - 4 y + 12)^{3} = (2 y^{2} + 10)^{3} + (y^{2} - 9 y - 1)^{3}$
となるので、 $y = u / v$ として両辺に $v^{6}$ を掛けることで所望の式を得る。

　数列 $h_{n}$ を漸化式
$h_{0} = 0, h_{1} = 1, h_{n + 2} = a h_{n + 1} + h_{n}$
によって定めると
$h_{n}^{2} - h_{n + 1} h_{n - 1} = (- 1)^{n - 1}$
が成り立つ。

　漸化式から
$(\begin{matrix} h_{n + 2} & h_{n + 1} \\ h_{n + 1} & h_{n} \end{matrix}) = (\begin{matrix} a & 1 \\ 1 & 0 \end{matrix}) (\begin{matrix} h_{n + 1} & h_{n} \\ h_{n} & h_{n - 1} \end{matrix})$
が成り立つので、両辺の行列式を取ることで
$\begin{aligned} h_{n + 2} h_{n} - h_{n + 1}^{2} & = - (h_{n + 1} h_{n - 1} - h_{n}^{2}) \\ = (- 1)^{n} (h_{2} h_{0} - h_{1}^{2}) \\ = (- 1)^{n - 1} \end{aligned}$
を得る。

(別証明)

$\begin{aligned} h_{n + 1} & = a h_{n} + h_{n - 1} \\ h_{n + 2} & = a h_{n + 1} + h_{n} \end{aligned}$
に対しそれぞれ $h_{n + 1}, h_{n}$ を掛けて差を取ると
$h_{n + 1}^{2} - h_{n + 2} h_{n} = h_{n + 1} h_{n - 1} - h_{n}^{2}$
が成り立つので後は同様。

　いま整数列 $h_{n}$ を漸化式
$h_{0} = 0, h_{1} = 1, h_{n + 2} = 9 h_{n + 1} + h_{n}$
によって定め、 $u = h_{n + 1}, v = h_{n}$ とおくと
$u^{2} - 9 u v - v^{2} = h_{n + 1}^{2} - h_{n + 2} h_{n} = (- 1)^{n}$
が成り立つので補題2に注意して
$\begin{aligned} a_{n} & = u^{2} + 7 u v - 9 v^{2} \\ b_{n} & = 2 u^{2} - 4 u v + 12 v^{2} \\ c_{n} & = 2 u^{2} + 10 v^{2} \end{aligned}$
とおくことで
$a_{n}^{3} + b_{n}^{3} = c_{n}^{3} + (- 1)^{n}$
が成り立つ。

母関数の導出

　これによって良い感じの整数列 $a_{n}, b_{n}, c_{n}$ が構成できたので後はこれらの母関数を求めれば終わりとなります。

$\begin{aligned} \sum_{n = 0}^{\infty} h_{n}^{2} x^{n} & = \frac{x - x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} h_{n + 1}^{2} x^{n} & = \frac{1 - x}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} h_{n + 1} h_{n} x^{n} & = \frac{9 x}{1 - 82 x - 82 x^{2} + x^{3}} \end{aligned}$
が成り立つ。

$α = \frac{9 + \sqrt{85}}{2}, β = \frac{9 - \sqrt{85}}{2}$
とおくと $h_{n}$ の一般項は
$h_{n} = \frac{α^{n} - β^{n}}{\sqrt{85}}$
と求まるので
$\begin{aligned} h_{n}^{2} & = \frac{α^{2 n} + β^{2 n} - (- 1)^{n} 2}{85} \\ h_{n + 1} h_{n} & = \frac{α^{2 n + 1} + β^{2 n + 1} - (- 1)^{n} 9}{85} \end{aligned}$
が成り立つ。したがって
$\begin{aligned} \sum_{n = 0}^{\infty} h_{n}^{2} x^{n} & = \frac{1}{85} (\frac{1}{1 - α^{2} x} + \frac{1}{1 - β^{2} x} - \frac{2}{1 + x}) \\ = \frac{1}{85} (\frac{2 - 83 x}{1 - 83 x + x^{2}} - \frac{2}{1 + x}) \\ = \frac{x - x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} h_{n + 1}^{2} x^{n} & = \frac{1}{x} \sum_{n = 0}^{\infty} h_{n}^{2} x^{n} \\ = \frac{1 - x}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} h_{n + 1} h_{n} x^{n} & = \frac{1}{85} (\frac{α}{1 - α^{2} x} + \frac{β}{1 - β^{2} x} - \frac{9}{1 + x}) \\ = \frac{1}{85} (\frac{9 (1 + x)}{1 - 83 x + x^{2}} - \frac{9}{1 + x}) \\ = \frac{9 x}{1 - 82 x - 82 x^{2} + x^{3}} \end{aligned}$
を得る。

　以上より

$\begin{aligned} \sum_{n = 0}^{\infty} a_{n} x^{n} & = \frac{(1 - x) + 7 \cdot 9 x - 9 (x - x^{2})}{1 - 82 x - 82 x^{2} + x^{3}} \\ = \frac{1 + 53 x + 9 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} b_{n} x^{n} & = \frac{2 (1 - x) - 4 \cdot 9 x + 12 (x - x^{2})}{1 - 82 x - 82 x^{2} + x^{3}} \\ = \frac{2 - 26 x - 12 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} \\ \sum_{n = 0}^{\infty} c_{n} x^{n} & = \frac{2 (1 - x) + 10 (x - x^{2})}{1 - 82 x - 82 x^{2} + x^{3}} \\ = \frac{2 + 8 x - 10 x^{2}}{1 - 82 x - 82 x^{2} + x^{3}} \end{aligned}$
を得る。　

$α_{n}, β_{n}, γ_{n}$ について

　なお $α_{n}, β_{n}, γ_{n}$ については $a_{n}, b_{n}, c_{n}$ の"負の項"となっているため、別途同様の証明を行う必要はありません。

$α_{n} = - a_{- n - 1}, β_{n} = - b_{- n - 1}, γ_{n} = - c_{- n - 1}$
が成り立つ。

　 $a_{n}$ の一般項は適当な定数 $α, β, γ$ を用いて
$a_{n} = A α^{n} + B β^{n} + C γ^{n}$
と表せることに注意すると
$\begin{aligned} \sum_{n = 0}^{\infty} a_{n} x^{n} & = \frac{A}{1 - α x} + \frac{B}{1 - β x} + \frac{C}{1 - γ x} \\ = - A \frac{(α x)^{- 1}}{1 - (α x)^{- 1}} - B \frac{(β x)^{- 1}}{1 - (β x)^{- 1}} - C \frac{(γ x)^{- 1}}{1 - (γ x)^{- 1}} \\ = - \sum_{n = 1}^{\infty} \frac{A α^{- n} + B β^{- n} + C γ^{- n}}{x^{n}} \end{aligned}$
と変形できるので
$α_{n - 1} = - (A α^{- n} + B β^{- n} + C γ^{- n}) = - a_{- n}$
を得る。

McLaughlinの公式

　以上がラマヌジャンの公式の解説でした。
　ところで上での議論の核として
$(u^{2} + 7 u v - 9 v^{2})^{3} + (2 u^{2} - 4 u v + 12 v^{2})^{3} = (2 u^{2} + 10 v^{2})^{3} + (u^{2} - 9 u v - v^{2})^{3}$
という恒等式がありました。
　ラマヌジャンの公式はこの恒等式のある一項を $\pm 1$ とするような数列を持ってくることで構成できたわけですが、となるとこのように例えば
$\sum (X, Y に関する二次形式) = 0$
という形の恒等式があれば、それに合わせて適当な数列を持ってくることでラマヌジャンのような公式が作れてしまう、ということになります。
　そしてその最たる例としてMcLaughlinの公式というものが知られています。

　整数列 $a_{n}, b_{n}, c_{n}, d_{n}, e_{n}, f_{n}$ および $p_{n}, q_{n}, r_{n}, s_{n}, t_{n}$ を
$\begin{aligned} \frac{x^{2} + 164 x + 3}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} a_{n} x^{n}, & \frac{- 5 x^{2} + 138 x + 3}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} p_{n} x^{n} \\ \frac{- 7 x^{2} + 134 x + 1}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} b_{n} x^{n}, & \frac{3 x^{2} + 244 x + 1}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} q_{n} x^{n} \\ \frac{- x^{2} + 298 x - 1}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} c_{n} x^{n}, & \frac{x^{2} + 254 x - 7}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} r_{n} x^{n} \\ \frac{- 5 x^{2} + 228 x - 7}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} d_{n} x^{n}, & \frac{- 7 x^{2} + 148 x - 5}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} s_{n} x^{n} \\ \frac{3 x^{2} + 258 x - 5}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} e_{n} x^{n}, & \frac{3}{1 - x} & = \sum_{n = 0}^{\infty} t_{n} x^{n} \\ \frac{- 3 x^{2} + 94 x - 3}{x^{3} - 99 x^{2} + 99 x - 1} & = \sum_{n = 0}^{\infty} f_{n} x^{n} \end{aligned}$
によって定めると任意の $k = 1, 2, 3, 4, 5$ および $n \geq 0$ に対し
$a_{n}^{k} + b_{n}^{k} + c_{n}^{k} + d_{n}^{k} + e_{n}^{k} + f_{n}^{k} - p_{n}^{k} - q_{n}^{k} - r_{n}^{k} - s_{n}^{k} - t_{n}^{k} = 1$
が成り立つ。

　例えば $n = 1$ の場合を考えると
$(- 461)^{k} + (- 233)^{k} + (- 199)^{k} + 465^{k} + 237^{k} + 203^{k} - (- 435)^{k} - (- 343)^{k} - 439^{k} - 347^{k} - 3^{k} = 1$
という等式が得られます。
　中々いかつい公式ですが、元となった公式は割と対称性の高いものとなっています。

(Chernick)

$\begin{aligned} a^{'} & = - 5 X^{2} + 4 X Y - 3 Y^{2}, & p^{'} & = - 5 X^{2} + 6 X Y + 3 Y^{2} \\ b^{'} & = - 3 X^{2} + 6 X Y + 5 Y^{2}, & q^{'} & = - 3 X^{2} - 4 X Y - 5 Y^{2} \\ c^{'} & = - X^{2} - 10 X Y - Y^{2}, & r^{'} & = - X^{2} + 10 X Y - Y^{2} \\ d^{'} & = - a^{'}, & s^{'} & = - p^{'} \\ e^{'} & = - b^{'}, & t^{'} & = - q^{'} \\ f^{'} & = - c^{'}, & u^{'} & = - r^{'} \end{aligned}$
とおくと $k = 1, 2, 3, 4, 5$ に対し
$a^{' k} + b^{' k} + c^{' k} + d^{' k} + e^{' k} + f^{' k} = p^{' k} + q^{' k} + r^{' k} + s^{' k} + t^{' k} + u^{' k}$
が成り立つ。

　ただ見ての通りこの公式はそのままだとあまり面白くないので少し変形しておきましょう。
　いま上のような $a^{'}, b^{'}, \dots, u^{'}$ と任意の多項式 $M, K$ に対し
$a = M a^{'} + K, b = M b^{'} + K, \dots, u = M u^{'} + K$
とおいても $k = 1, 2, 3, 4, 5$ に対し
$a^{k} + b^{k} + c^{k} + d^{k} + e^{k} + f^{k} = p^{k} + q^{k} + r^{k} + s^{k} + t^{k} + u^{k}$
が成り立つ(二項展開することでわかる)ことに注意して
$a = a^{'} + 2 u^{'}, b = b^{'} + 2 u^{'}, \dots, u = u^{'} + 2 u^{'}$
とおくことにします。
　このとき $r = X^{2} - 10 X Y + Y^{2}$ が良い形をしているので、これが $1$ となるように
$h_{0} = 0, h_{1} = 1, h_{n + 2} = 10 h_{n + 1} - h_{n}$
なる整数列を持ってきて $X = h_{n + 1}, Y = h_{n}$ と置くことで
$a_{n}^{k} + b_{n}^{k} + c_{n}^{k} + d_{n}^{k} + e_{n}^{k} + f_{n}^{k} = p_{n}^{k} + q_{n}^{k} + 1 + s_{n}^{k} + t_{n}^{k} + 3^{k}$
という公式が得られることになります。
　あとは $h_{n}$ に関する母関数を用いて $a_{n}$ たちの母関数を求めることで上の主張が得られる、というわけです。

$\begin{aligned} \sum_{n = 0}^{\infty} h_{n}^{2} x^{n} & = \frac{- x^{2} - x}{x^{3} - 99 x^{2} + 99 x - 1} \\ \sum_{n = 0}^{\infty} h_{n + 1}^{2} x^{n} & = \frac{- x - 1}{x^{3} - 99 x^{2} + 99 x - 1} \\ \sum_{n = 0}^{\infty} h_{n + 1} h_{n} x^{n} & = \frac{- 10 x}{x^{3} - 99 x^{2} + 99 x - 1} \end{aligned}$
が成り立つ。

　皆様も何か良い感じの恒等式を見かけたらこのような公式を作ってみてはいかがでしょうか。では。

おまけ

　最後におまけとしてHirschhornによる二通りのゴリ押し解法を紹介しておきます。参考までに。

方法1

　方針としては
$a_{n}^{3} + b_{n}^{3} - c_{n}^{3} - (- 1)^{n}$
がそれぞれ八項間漸化式を満たすことと、初期値 $0 \leq n \leq 6$ において $0$ となることを確かめていく感じである。
　ただ漸化式と母関数の関係を説明するのは面倒なので、下では母関数の話だけで完結するように議論していく。

　ある $7$ 次多項式 $f (x)$ が存在し、 $a_{n}^{3}, b_{n}^{3}, c_{n}^{3}$ の母関数はそれぞれ
$\frac{(6 次以下の式)}{f (x)}$
という形に求まる。特に
$a_{n}^{3} + b_{n}^{3} - c_{n}^{3} - (- 1)^{n}$
の母関数についても同様である。

$α, β = \frac{83 \pm 9 \sqrt{85}}{2}$
とおくと
$\begin{aligned} 1 - 82 x - 82 x^{2} + x^{3} & = (1 - 83 x + x^{2}) (1 + x) \\ = (1 - α x) (1 - β x) (1 + x) \end{aligned}$
と因数分解できるので、上の母関数たちは
$\begin{aligned} \frac{(二次式)}{1 - 82 x - 82 x^{2} + x^{3}} & = \frac{(定数)_{1}}{1 - α x} + \frac{(定数)_{2}}{1 - β x} + \frac{(定数)_{3}}{1 + x} \\ = \sum_{n = 0}^{\infty} ((定数)_{1} α^{n} + (定数)_{2} β^{n} + (定数)_{3} (- 1)^{n}) x^{n} \end{aligned}$
と展開できる。
　つまり $a_{n}, b_{n}, c_{n}$ の一般項は
$α^{n}, β^{n}, (- 1)^{n}$
の線型結合として表せる。
　特に $a_{n}, b_{n}, c_{n}$ の三乗は
$α^{3 n}, β^{3 n}, (α^{2} β)^{n}, (α β^{2})^{n}, (- α^{2})^{n}, (- β^{2})^{n}, α^{n}, β^{n}, (- 1)^{n}$
の線型結合として表せ、また $α β = 1$ つまり
$(α^{2} β)^{n} = α^{n}, (α β^{2})^{n} = β^{n}$
に注意すると $a_{n}^{3}$ たちの母関数は $7$ 次多項式
$f (x) = (1 - α^{3} x) (1 - β^{3} x) (1 + α^{2} x) (1 + β^{2} x) (1 - α x) (1 - β x) (1 + x)$
を用いて
$\frac{(6 次以下の式)}{f (x)}$
と表せることがわかる。

　 $n = 0, 1, 2, 3, 4, 5, 6$ において
$a_{n}^{3} + b_{n}^{3} = c_{n}^{3} + (- 1)^{n}$
が成り立つ。

　上の具体値を用いて頑張って計算すればわかる。

定理1の証明

　いま補題9から
$\sum_{n = 0}^{\infty} (a_{n}^{3} + b_{n}^{3} - c_{n}^{3} - (- 1)^{n}) x^{n} = \frac{(6 次以下の式)}{f (x)}$
が成り立つのであったが、補題10より左辺は $x^{7}$ で割り切れるので右辺の分子は $0$ でなければならない。
　つまり
$\sum_{n = 0}^{\infty} (a_{n}^{3} + b_{n}^{3} - c_{n}^{3} - (- 1)^{n}) x^{n} = 0$
が示された。

方法2

　方針としては $a_{n}, b_{n}, c_{n}$ の一般項を具体的に求め、また
$a_{n}^{3} + b_{n}^{3} - c_{n}^{3} - (- 1)^{n}$
を頑張って計算することで、これらが $0$ となることを確かめていく感じである。

$α = \frac{83 + 9 \sqrt{85}}{2}, β = \frac{83 - 9 \sqrt{85}}{2}$
とおくと
$\begin{aligned} a_{n} & = \frac{1}{85} ((64 + 8 \sqrt{85}) α^{n} + (64 - 8 \sqrt{85}) β^{n} - 43 (- 1)^{n}) \\ b_{n} & = \frac{1}{85} ((77 + 7 \sqrt{85}) α^{n} + (77 - 7 \sqrt{85}) β^{n} + 16 (- 1)^{n}) \\ b_{n} & = \frac{1}{85} ((93 + 9 \sqrt{85}) α^{n} + (93 - 9 \sqrt{85}) β^{n} - 16 (- 1)^{n}) \end{aligned}$
が成り立つ。特に
$\begin{aligned} a_{n}^{3} = \frac{1}{85^{3}} ( & (1306624 + 141824 \sqrt{85}) α^{3 n} + (1306624 - 141824 \sqrt{85}) β^{3 n} \\ - (1230144 + 132096 \sqrt{85}) (- α^{2})^{n} - (1230144 - 132096 \sqrt{85}) (- β^{2})^{n} \\ + (96960 + 12120 \sqrt{85}) α^{n} + (96960 - 12120 \sqrt{85}) β^{n} + 267245 (- 1)^{n}) \\ b_{n}^{3} = \frac{1}{85^{3}} ( & (1418648 + 153664 \sqrt{85}) α^{3 n} + (1418648 - 153664 \sqrt{85}) β^{3 n} \\ + (484512 + 51744 \sqrt{85} (- α^{2})^{n} + (484512 - 51744 \sqrt{85}) (- β^{2})^{n} \\ + (466620 + 42420 \sqrt{85}) α^{n} + (466620 - 42420 \sqrt{85}) β^{n} + 173440 (- 1)^{n}) \\ c_{n}^{3} = \frac{1}{85^{3}} ( & (2725272 + 295488 \sqrt{85}) α^{3 n} + (2725272 - 295488 \sqrt{85}) β^{3 n} \\ - (745632 + 80352 \sqrt{85}) (- α^{2})^{n} - (745632 - 80352 \sqrt{85}) (- β^{2})^{n} \\ + (563580 + 54540 \sqrt{85}) α^{n} + (563580 - 54540 \sqrt{85}) β^{n} - 173440 (- 1)^{n}) \end{aligned}$
が成り立つ。

　母関数を部分分数分解し、頑張って計算すればわかる。

参考文献

[1]

M. D. Hirschhorn, An amazing identity of Ramanujan, Math. Mag., 1995, 199-201

[2]

M. D. Hirschhorn, A proof in the spirit of Zeilberger of an amazing identity of Ramanujan, Math. Mag., 1995, 267-269

[3]

M. D. Hirschhorn, Ramanujan's approxiation to the zero of a continued fraction, Austral. Math. Soc. Gazette, 2004, 256-257

[4]

J. H. Han, M. D. Hirschhorn, Another look at an amazing identity of Ramanujan, Math. Mag., 2006, 302-304

[5]

J. Chernick, Ideal Solutions of the Tarry-Escott Problem, Amer. Math. Monthly, 1937, 626-633

[6]

J. McLaughlin, An identity motivated by an amazing identity of Ramanujan, Fibonacci Quart, 2010, 34-38

[7]

G. E. Andrews, B. C. Berndt, Ramanujan's Lost Notebook Part IV, Springer, 2013

[8]

S. Ramanujan, Lost Notebook and Other Unpublished Papers, New Delhi, Narosa, 1988, p.341

投稿日：4月20日

更新日：4月20日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉

1129

285269

主に複素解析、代数学、数論を学んでおります。私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

他の人のコメント

コメントはありません。

読み込み中

子葉

ラマヌジャンと方程式 a^3+b^3=c^3±1

はじめに
具体値
導出
$a_{n}, b_{n}, c_{n}$ の定義
母関数の導出
$α_{n}, β_{n}, γ_{n}$ について
McLaughlinの公式
おまけ
方法1
方法2
参考文献

ラマヌジャンと方程式 a^3+b^3=c^3±1

はじめに

具体値

導出

an,bn,cnの定義

母関数の導出

αn,βn,γnについて

McLaughlinの公式

おまけ

方法1

定理1の証明

方法2

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

$a_{n}, b_{n}, c_{n}$ の定義

$α_{n}, β_{n}, γ_{n}$ について