>>53
a[n]^3 + 2b[n]^3 + 4c[n]^3 - 6a[n]b[n]c[n] = 1
が常に成り立つことは帰納的に確かめられる。

もし仮にc[n]=0が成り立てば
a[n]^3 + 2b[n]^3 = 1
となるが、これは
x^3 + 2y^3 = 1 の整数解を与えることになる。

これって確か(1,0)と(-1,1)しか無いんじゃなかったっけ、楕円曲線とか使って