数列

　　１，１，１，２，２，３，４，５，７，９，１２，１６，２１，・・・

は直前の１項を除いたその前の２項を加えたものです．漸化式は

　　Ｐn＝Ｐn-2＋Ｐn-3　　　（Ｐ0＝Ｐ1＝Ｐ2＝１）

で表されます．この各項が２つ前と３つ前の項の和で与えられる数列は，イタリアの建築家パドヴァンにちなんでパドヴァン数列と呼ばれています．

　パドヴァン数列の特性方程式

　　ｘ^3−ｘ−１＝０

の唯一の実数解より，パドヴァン数列の連続する２項の比はプラスチック比

　　ｐ＝１／３｛3√（２７／２−３√６９／２）＋3√（１／２＋√６９／１８）｝＝１．３２４７１８・・・

に次第に近づくことになります．ｐがφよりも小さいことより，パドヴァン数列はフィボナッチ数列に較べてゆっくりと増加することになります．

　　ｐ^5−ｐ^3−ｐ^2＝０

　　ｐ^4−ｐ^2−ｐ^1＝０

より

　　ｐ^5−ｐ^4−ｐ^3−ｐ^1＝ｐ^5−ｐ^4−１

ですから，３次方程式ｐ^3−ｐ−１＝０の解はこの５次方程式も満たすことがわかります．あるいは，因数分解

　　ｐ^5−ｐ^4−１＝（ｐ^3−ｐ−１）（ｐ^2−ｐ＋１）

でもよいのですが，このことから

　　Ｐn＝Ｐn-1＋Ｐn-5

の関係が成り立つこともわかります．

　　ｘ^3−ｘ−１＝０とｘ^5−ｘ^4−１＝０が同じ解を持つことはすぐにわかります。それでは・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

一見異なる形をしている2つの数

α＝√13＋(10+2√13)^1/2

β＝(5+2√3)^1/2+{18-2√3+2(65-26√3)^1/2}^1/2

は本当に同じ数なのだろうか？　すぐには信じがたいが、α＝βである。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

２乗を繰り返してルートを消去。高次方程式が得られたら因数分解して共通因子を探すしかないと思われる。

x=√13＋(10+2√13)^1/2

x^2=13+10+2√13+2√13(10+2√13)^1/2

(x^2-23)/2=√13+√13(10+2√13)^1/2

{(x^2-23)/2}^2=13+13(10+2√13)+26(10+2√13)^1/2

{(x^2-23)/2}^2=143+26√13+26(10+2√13)^1/2

{(x^2-23)/2}^2=143+26x

x^4-46x^2+529=572+104x

x^4-46x^2-104x-43=0

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

x=(5+2√3)^1/2+{18-2√3+2(65-26√3)^1/2}^1/2

x^2=(5+2√3)+18-2√3+2(65-26√3)^1/2+2(5+2√3)^1/2{18-2√3+2(65-26√3)^1/2}^1/2

x^2-23=2(65-26√3)^1/2+2(5+2√3)^1/2{18-2√3+2(65-26√3)^1/2}^1/2

(x^2-23)/2=(65-26√3)^1/2+(5+2√3)^1/2{18-2√3+2(65-26√3)^1/2}^1/2

{(x^2-23)/2}^2=(65-26√3)+(5+2√3){18-2√3+2(65-26√3)^1/2}+2(65-26√3)^1/2(5+2√3)^1/2{18-2√3+2(65-26√3)^1/2}^1/2

{(x^2-23)/2}^2=(65-10√3)+(78+26√3)+2(5+2√3)(65-26√3)^1/2+2(65-26√3)^1/2(5+2√3)^1/2{18-2√3+2(65-26√3)^1/2}^1/2

=143+26(5+2√3)^1/2+26{16-2√29+2(55-10√29)^1/2}^1/2

{(x^2-23)/2}^2=143+26x

x^4-46x^2-104x-43=0

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝