\(k , m , n\) は整数とし, \(n \geqq 1\) とする. \({} _ {n}\text{C} {} _ {k}\) を二項係数として, \(S_k(n) , T_m(n)\) を以下のように定める. \[\begin{align} S_k(n) & = 1^k +2^k + \cdots +n^k , \ S_k(1) = 1 \quad ( k \geqq 0 ) \\ T_m(n) & = {} _ {m}\text{C} {} _ {1} S_1(n) +{} _ {m}\text{C} {} _ {2} S_2(n) + \cdots +{} _ {m}\text{C} {} _ {m-1} S_{m-1}(n) \\ & = \textstyle\sum\limits_{k=1}^{m-1} {} _ {m}\text{C} {} _ {k} S_k(n) \quad ( m \geqq 2 ) \end{align}\]
(1) \(T_m(1)\) と \(T_m(2)\) を求めよ.
(2) 一般の \(n\) に対して \(T_m(n)\) を求めよ.
(3) \(p\) が \(3\) 以上の素数のとき, \(S_k(p-1) \ ( k = 1, 2, 3, \cdots , p-2 )\) は \(p\) の倍数であることを示せ .
続きを読む