熊本大学 2025年度理系数学第4問（医学部医学科）解答・解説

問題

実数 $p > 1$ と正の整数 $n$ に対して $S_{n} = \sum_{k = 1}^{n} k^{p}$ とおく。以下の問いに答えよ。(問1)　 $lim_{n \to \infty} \frac{S _{n}}{n ^{p + 1}}$ を求めよ。(問2)　 $0 ≦ α < β$ とする。点 $(α, α^{p})$ における $y = x^{p}$ の接線の方程式を求めよ。また,不等式 $\frac{1}{2} (β - α) {2 α^{p} + p (β - α) α^{p - 1}}$ $≦ \int_{α}^{β} x^{p} d x$ $≦ \frac{1}{2} (β - α) (β^{p} + α^{p})$ を証明せよ。(問3)　(問1)で求めた値を $c$ とおく。 $lim_{n \to \infty} \frac{S _{n} - c n ^{p + 1}}{n ^{p}}$ を求めよ。

出典：熊本大学 2025年度前期理系第4問

方針

(問1)は $x^{p}$ の積分によるはさみうちで示す。(問2)は接線が下側、弦が上側にあることを導関数の単調性で証明し、積分する。(問3)は(問2)を各区間 $[k - 1, k]$ に適用して、 $S_{n} - c n^{p + 1}$ を上下から $n^{p} /2$ へはさむ。

解答

(問1)

$x^{p}$ は $x ≧ 0$ で増加するから

\int_{0}^{n} x^{p} d x ≦ S_{n} ≦ \int_{1}^{n + 1} x^{p} d x

である。したがって

\frac{1}{p + 1} ≦ \frac{S _{n}}{n ^{p + 1}} ≦ \frac{( n + 1 ) ^{p + 1} - 1}{( p + 1 ) n ^{p + 1}}

であり、はさみうちにより

n \to \infty lim \frac{S _{n}}{n ^{p + 1}} = \frac{1}{p + 1}

である。

(問2)

$y = x^{p}$ の $x = α$ における接線は

y = α^{p} + p α^{p - 1} (x - α)

である。

$α ≦ x ≦ β$ で

ϕ (x) = x^{p} - α^{p} - p α^{p - 1} (x - α)

とおくと

ϕ^{'} (x) = p (x^{p - 1} - α^{p - 1}) ≧ 0, ϕ (α) = 0

である。よって接線は曲線の下側にある。これを積分して

\frac{1}{2} (β - α) {2 α^{p} + p (β - α) α^{p - 1}} ≦ \int_{α}^{β} x^{p} d x

を得る。

また、 $y = x^{p}$ の導関数は増加するので、曲線は区間 $[α, β]$ で弦の下側にある。すなわち

x^{p} ≦ \frac{β - x}{β - α} α^{p} + \frac{x - α}{β - α} β^{p}

である。これを積分して

\int_{α}^{β} x^{p} d x ≦ \frac{1}{2} (β - α) (α^{p} + β^{p})

を得る。

(問3)

(問1)より $c = 1/ (p + 1)$ である。まず(問2)の右側の不等式を各区間 $[k - 1, k]$ に用いて足すと

c n^{p + 1} = \int_{0}^{n} x^{p} d x ≦ S_{n} - \frac{1}{2} n^{p}

である。したがって

\frac{S _{n} - c n ^{p + 1}}{n ^{p}} ≧ \frac{1}{2}

である。

次に(問2)の左側の不等式を各区間 $[j, j + 1]$ に用いると

\int_{j}^{j + 1} x^{p} d x ≧ j^{p} + \frac{p}{2} j^{p - 1}

である。これを $j = 1, 2, \dots, n - 1$ について足すと

c n^{p + 1} ≧ S_{n - 1} + \frac{p}{2} j = 1 \sum n - 1 j^{p - 1}

であるから

S_{n} - c n^{p + 1} ≦ n^{p} - \frac{p}{2} j = 1 \sum n - 1 j^{p - 1}

である。積分比較により

n \to \infty lim \frac{1}{n ^{p}} j = 1 \sum n - 1 j^{p - 1} = \frac{1}{p}

である。したがって

\frac{S _{n} - c n ^{p + 1}}{n ^{p}} ≦ \frac{1}{2}

へはさまれるので

n \to \infty lim \frac{S _{n} - c n ^{p + 1}}{n ^{p}} = \frac{1}{2}

である。

熊本大学 2025年度理系数学 第4問（医学部医学科）

問題

方針

解答

(問1)

(問2)

(問3)

熊本大学 2025年度
理系数学第4問（医学部医学科）