Evolton

名古屋大学 1995年度 前期日程 第2次学力試験理系数学 第2問

0以上の整数kに対し,Sk(n)=1k+2k++nkとおく.

(1) 等式(n+1)5=1+k=045CkSk(n)
すべての正の整数nについて成り立つことを示せ.

(2) nの5次多項式としてS4(n)を求めよ.

難易度5/ 10計算量5/ 10目安20

数列数と式 二項定理、和の計算、計算整理

方針

(1)(j+1)5j5 を二項定理で展開し,j=1 から n まで足して左辺を相殺させる。(2) では(1)の等式から S4(n) を解き,既知の S0,S1,S2,S3 を代入して整理する。最後は5次多項式としても,因数分解された形としても確認できるようにする。

解答

(1)

二項定理より,正の整数 j について(j+1)5=j5+5C4j4+5C3j3+5C2j2+5C1j+1である。したがって(j+1)5j5=1+5C1j+5C2j2+5C3j3+5C4j4である。これを j=1,2,,n について足すと,左辺は j=1n{(j+1)5j5}=(n+1)51 となる。一方,右辺はS0(n)+5C1S1(n)+5C2S2(n)+5C3S3(n)+5C4S4(n)である。よって (n+1)51=k=045CkSk(n) となり,(n+1)5=1+k=045CkSk(n) が成り立つ。

(2)

(1) の等式より 5S4(n)=(n+1)51S0(n)5S1(n)10S2(n)10S3(n) である。ここで S0(n)=n,S1(n)=n(n+1)2, S2(n)=n(n+1)(2n+1)6,S3(n)={n(n+1)2}2を代入する。すると5S4(n)=(n+1)51n5n(n+1)210n(n+1)(2n+1)610n2(n+1)24である。これを整理すると 5S4(n)=n(n+1)(2n+1)(3n2+3n1)6 となる。したがって S4(n)=n(n+1)(2n+1)(3n2+3n1)30 である。展開すれば S4(n)=15n5+12n4+13n3130n であり,確かに n の5次多項式である。

差を足すと中間項が消える

別解

解法2

方針

(1) は右辺を n の関数と見て、隣り合う差と初期値から帰納的に示す。
(2) は S4(n) を未知の5次多項式とおき、差が n4 になるよう係数を比較する。

解答

(1) Tn=1+k=045CkSk(n)とおく。Sk(n)Sk(n1)=nk だからTnTn1=k=045Cknk=(n+1)5n5.また T0=1 である。したがって順に足せば Tn=(n+1)5 となり、与えられた等式が成り立つ。

(2) S4(n)=An5+Bn4+Cn3+Dn2+En+Fとおく。S4(0)=0 より F=0 である。またS4(n)S4(n1)=n4.各べきの差を展開し、n4,n3,n2,n,1 の係数を比較すると5A=1,10A+4B=0,10A6B+3C=0,5A+4B3C+2D=0,AB+CD+E=0.よってA=15,B=12,C=13,D=0,E=130.したがってS4(n)=15n5+12n4+13n3130nである。因数分解するとS4(n)=n(n+1)(2n+1)(3n2+3n1)30となる。

総評

難度は10段階中5、計算量は10段階中5。目安時間は18分から22分。(1) は差 (j+1)5j5 を作って足すと中間項が消えるという標準手法である。(2) は新しい発想よりも整理力が問われる。S3(n)={n(n+1)/2}2 まで正確に代入し,最後に5で割るところで係数を落とさないことが重要である。因数分解形と展開形の両方を書いておくと,5次多項式であることも確認しやすい。 2解法の結論を照合し、条件の必要十分性、端点、符号、定義域、等号成立条件を再確認した。図は論証を補助するものに限定し、縮尺に依存しない式による説明も併記している。

冊子PDFで見る名大の数列の問題で問題集を作る

出典: 名古屋大学 1995年度 前期日程 第2次学力試験 理系 第2問。問題文はHTML表示のために再入力・数式組版しています。