■グノモンなしの平方数
三角数△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
なども幾何学的に証明することができる.
===================================