■ほとんど完全数(その17)

 任意の4乗数は2つの三角数の和で表される.

  m(m+1)/2+n(n+1)/2=k^4

  m^2+m+n^2+n=2k^4

  4m^2+4m+4n^2+4n+1=8k^4+2

  (2m+1)^2+(2n+1)^2=8k^4+2

では,ペル方程式には帰着されない.

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

 任意の4乗数は2つの三角数の和で表されることを証明したいのであるが,任意の平方数は2つの連続した三角数の和で表される.

 少しごちゃごちゃした計算を続けると

  Tn+Tn-1=n^2

  (Tn+Tn-1)^2=n^4

 また,

  (Tn)^2=Tn+Tn-1Tn+1

  2TnTn-1=Tn^2-1

より,

  (Tn+Tn-1)^2=(Tn)^2+(Tn-1)^2+Tn^2-1=n^4

=Tn+Tn-1Tn+1+Tn-1+Tn-2Tn+Tn^2-1

=Tn(1+Tn-2)+Tn-1(Tn+1+1)+Tn^2-1

  Tn-2+1=(n−2)(n−1)/2+1=(n^2−3n+4)/2

  Tn+1+1=(n+1)(n+2)/2+1=(n^2+3n+4)/2

  Tn^2-1=(n^2−1)n^2/2

  Tn(1+Tn-2)=n(n+1)(n^2−3n+4)/4

=n(n^3−2n^2+n+4)/4

  Tn-1(Tn+1+1)=n(n−1)(n^2+3n+4)/4

=n(n^3+2n^2+n−4)/4

  Tn(1+Tn-2)+Tn-1(Tn+1+1)=n^2(n^2+1)/2

 これは三角数

  Tn^2=(n^2+1)n^2/2

であるから,

  n^4=Tn^2-1+Tn^2

となった.

  7^4=T48+T49=2401

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