Franel number(
Franel numberはその一般項の表示から、すべて整数ですが、この漸化式だけをみると、このことはとても非自明です。このような数列は他にもたくさんあります。(
アペリーの数列など
)
(リンク先のPDFに
このような数列が存在すること自体が驚異ですが、「どうやってこんな数列と一般項を見つけたのか?」「一般項がこの漸化式を満たすことを、どうやって証明したのか?」」はとても気になる所です。
今回、このような漸化式を満たす数列を一つ見つけたので発見の経緯や証明を解説します。
注意:偶然と直感に頼る部分が多く含まれます。
一般項
このような非線形漸化式から一般項を求めることはとても難しいので、一般項から漸化式を推測します。
この
を満たすと仮定します。このことはFranel numberのΣの中身が二項係数3つの積だから、似た漸化式を満たしそうだなーとういう感覚からです。
あとはnに1,2,…と自然数を代入し、9つの文字についての連立方程式を立てます。(定数項がないので不定方程式になる)
これを解いて最大公約数で割って、
(ここでの証明は、 せいすうたん 1 整数たちの世界の奇妙な物語小林 銅蟲 (著), 関 真一朗 (著) )
の「第5話アペリー数」を参考にしました)
と定義する。
ここで
が成り立つ。というのも、
(上式の左辺)×
であり、
(上式の右辺)×
であるが、これらはともに
に等しいから。さて、
と
なので、
が示された。
多項式×
ここまで読んで下さりありがとうございました。誤り等の指摘よろしくお願いいたします。