[Q]偶数の完全数は三角数である.
[A]2^n-1(2^n-1)=2^n(2^n-1)/2
これは最初の(2^n-1)個の自然数であるから,定義より三角数である.
===================================
[Q]9^0+9^1+9^2+・・・+9^n-1は三角数である.
[A]9^0+9^1+9^2+・・・+9^n-1=(9^n-1)/(9-1)
N(N+1)/2=(9^n-1)/(9-1)
N(N+1)=(9^n-1)/4
N=1/2・{-1+√(1-1+9^n)}=(3^n-1)/2
とおけばよい.
1+9=10=4(4+1)/2
1+9+81=91=13(13+1)/2
1+9+81+729=820=40(40+1)/2
===================================
9でなく4の場合を考えてみよう.
[A]4^0+4^1+4^2+・・・+4^n-1=(4^n-1)/(4-1)
N(N+1)/2=(4^n-1)/(4-1)
N(N+1)=2(4^n-1)/3
N=1/2・{-1+√(1-8(4^n-1)/3}
となって,うまくいかない.
===================================