■グノモンなしの平方数

 三角数△n=Σk=n(n+1)/2

 平方数□n=Σ(2k−1)=n^2

 後者はグノモンの組み合わせによって,幾何学的に表現されたのである.ここではグノモンを使わないで,三角数経由でこれを求めてみたい.

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

  1+2+・・・+2n=n(2n+1)

  2+4+・・・+2n=2(1+2+・・・+n)=n(n+1)

 したがって,

  1+3+・・・+2n−1

={1+2+・・・+2n}−{2+4+・・・+2n}=n(2n+1)−n(n+1)=n^2

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

  △n+△n-1=n(n+1)/2+n(n−1)/2=n^2=□n

  8△n+1==4n(n+1)+1=(n+1)^2=□n+1

なども幾何学的に証明することができる.

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