有限べき乗和
式を整理する。Σのkは1からn-1。n^3=n+6Σk(n-k)n^4=n^2+12Σk^2(n-k)n^5=n+30Σk^2(n-k)^2n^6=n^2+60Σk^3(n-k)^2n^7=10n/3+7n^3/3+140Σk^3(n-k)^3Σの中身のべき乗が増えているので、べき乗部分をaとbと置いてS(a,b,n)を定義する。S(a,b,n)=Σk^a(n-k)^b (Σのkは1からn-1) ... (1)aとbは0以上の整数、nは2以上の整数を扱う。離散的な畳み込みだったりベータ関数に似ている。余談だけど、aとbの0以上の整数以外であっても、式としては成り立つ。この式の性質として、aとbを入れ替えても等しい。S(a,b,n)=S(b,a,n) ... (2)Σの中身のkと(n-k)は1から順にn-1まで増えるかn-1から1まで順に減るかの違いで、kを1から増やすしてもn-1から減らしても合計は同じ。それとΣの中身のkと(n-k)を足すとnになる。n=k+(n-k) ... (3)すると、こんな関係式をつくることができる。nS(a,b,n)=S(a+1,b,n)+S(a,b+1,n) ... (4)S(a,b,n)をΣの式に一度戻すとわかりやすいnS(a,b,n)=nΣk^a(n-k)^b=Σnk^a(n-k)^b=Σ(k+(n-k))k^a(n-k)^b=Σk^(a+1)(n-k)^b+Σk^a(n-k)^(b+1)S(a,b+1,n)について変形してみる。S(a,b+1,n)=Σk^a(n-k)^(b+1)=Σk^a(n-k)^b(n-k)=Σ(nk^a(n-k)^b-
0