■パラメータ解(その48)

  立方数の和=三角数Tnの平方   (Σk^3=(n(n+1)/2)^2)

であるが、五角数1,5,12,22,35,・・・,Pn=n(3n−1)/2については,五角数の和が

  ΣPk=n^2(n+1)/2

となること,三角数との関係では

  Pn=T2n-1−Tn-1,Pn=T3n-1/3

となることは高校生でも計算できるだろう.

===================================

一般に「m角数定理」とは「すべての自然数はたかだかm個のm角数で表せる」というものである.三角数を△,四角数を□,五角数を☆で表すことにすると,この定理でm=3の場合がガウスの定理「n=△+△+△」,m=4の場合がラグランジュの定理「n=□+□+□+□」,m=5の場合が五角数定理「n=☆+☆+☆+☆+☆」に相当する.

 五角数に限らず,m角数を図形的に考えてみると,m角形にn−1番目の三角数Tn-1=(n−1)n/2個の点からなる三角形を追加して作ることができるから

  n+(m−2)Tn-1=1/2・n・{2+(m−2)(n−1)}

と考えることができる.したがって,三角数との関係は五角数に特別のものではない.それでは,五角数には何か面白い性質はないのだろうか?

===================================

 フィボナッチ数Fnは指数関数的であって,たとえば,初項1,第2項2のフィボナッチ数列1,2,3,5,8,13,・・・の一般項は

  Fn=1/√5[{(1+√5)/2}^n+1−{(1−√5)/2}^n+1]

と表される.また,三角関数を使った積表示

  Fn=Π(l=1~[(n+1)/2]{1+4cos^2(lπ/(n+1))}

をもつ.

 初項1,第2項1のフィボナッチ数列の場合は積表示においてn+1→nとなるだけのことであり,いろいろな恒等式

  Fn・Fn+2=Fn+1^2−(−1)^n   (カッシーニの公式)

  F1+F2+F3+・・・+Fn=Fn+2−1

  F1+F3+F5+・・・+F2n-1=F2n

  F2+F4+F6+・・・+F2n=F2n+1−1

フィボナッチ数の平方の和については

  F1^2+F2^2+F3^2+・・・+Fn^2=Fn・Fn+1

  Fn+1^2=4FnFn-1+Fn-2^2

  Fn+1^2=2Fn^2+2Fn-1^2−Fn-2^2

  Fn+1^2=4Fn-1^2+4Fn-1Fn-2+Fn-2^2

  Fn+1^2=4Fn^2−4Fn-1Fn-2−3Fn-2^2

などが知られている.

 それに対して,五角数Pnは多項式関数であるから,積表示はもたないだろうと思われる.特別な点といえば,五角数(したがって三角数も)整数の分割数と深く関係していることであろう.

===================================