大阪公立大学/2023年度/前期

3大阪公立大学 2023年 数学 第3問解答・解説

二次関数指数関数・対数関数極限微分法積分法数列

1問題

大阪公立大学2023年度第3問


次の問いに答えよ。

問1 a,ba,b は実数とし、f(x)f(x) は a,ba,b が属する開区間で定義された関数とする。f(x)f(x) が連続な第2次導関数 f′′(x)f''(x) をもつとき、次の等式を証明せよ。
∫ab(b−x)(x−a)f′′(x) dx=(b−a)(f(a)+f(b))−2∫abf(x) dx \int_{a}^{b}(b-x)(x-a)f''(x)\,dx=(b-a)(f(a)+f(b))-2\int_{a}^{b}f(x)\,dx

問2 tt を正の実数とする。次の不等式を証明せよ。
0≦∫tt+1log⁡x dx−12(log⁡t+log⁡(t+1))≦18(1t−1t+1) 0\leqq \int_{t}^{t+1}\log x\,dx-\frac{1}{2}\bigl(\log t+\log(t+1)\bigr)\leqq \frac{1}{8}\left(\frac{1}{t}-\frac{1}{t+1}\right)

問3 次で定まる数列 {an}\{a_{n}\} に対し、極限値 lim⁡n→∞anlog⁡n\displaystyle \lim_{n\to\infty}\dfrac{a_{n}}{\log n} を求めよ。
an=log⁡(n!)−nlog⁡n+n(n=1,2,3,⋯ ) a_{n}=\log(n!)-n\log n+n\qquad(n=1,2,3,\cdots)

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる

3解答

解答を見る途中式つきの解答

解答

第3問

(1)

q(x)=(b−x)(x−a)q(x)=(b-x)(x-a) とおくと
q(a)=q(b)=0,q′(a)=b−a,q′(b)=a−b,q′′(x)=−2. q(a)=q(b)=0,\qquad q'(a)=b-a,\qquad q'(b)=a-b,\qquad q''(x)=-2.
部分積分を2回用いると
∫abq(x)f′′(x) dx=[q(x)f′(x)]ab−∫abq′(x)f′(x) dx=−[q′(x)f(x)]ab+∫abq′′(x)f(x) dx=−{(a−b)f(b)−(b−a)f(a)}−2∫abf(x) dx=(b−a){f(a)+f(b)}−2∫abf(x) dx. \begin{aligned} \int_a^b q(x)f''(x)\,dx &=[q(x)f'(x)]_a^b-\int_a^b q'(x)f'(x)\,dx\\ &=-[q'(x)f(x)]_a^b+\int_a^b q''(x)f(x)\,dx\\ &=-\{(a-b)f(b)-(b-a)f(a)\}-2\int_a^b f(x)\,dx\\ &=(b-a)\{f(a)+f(b)\}-2\int_a^b f(x)\,dx. \end{aligned}
これは示すべき等式である。

(2)

f(x)=log⁡xf(x)=\log x とし、問1を a=t, b=t+1a=t,\ b=t+1 に適用する。f′′(x)=−1/x2f''(x)=-1/x^2 なので、求める差を
I=∫tt+1log⁡x dx−12{log⁡t+log⁡(t+1)} I=\int_t^{t+1}\log x\,dx-\frac12\{\log t+\log(t+1)\}
とおけば
I=12∫tt+1(t+1−x)(x−t)x2 dx. I=\frac12\int_t^{t+1} \frac{(t+1-x)(x-t)}{x^2}\,dx.
ここで u=x−tu=x-t とすると 0≦u≦10\leqq u\leqq1 であり、
(t+1−x)(x−t)=u(1−u)≧0,u(1−u)≦14,x≧t>0. (t+1-x)(x-t)=u(1-u)\geqq0,\qquad u(1-u)\leqq\frac14,\qquad x\geqq t>0.
従って
0≦I≦18∫tt+1dxx2=18(1t−1t+1), 0\leqq I\leqq\frac18\int_t^{t+1}\frac{dx}{x^2} =\frac18\left(\frac1t-\frac1{t+1}\right),
となり、両側の不等式が示された。

(3)

問2の差を IkI_k と書くと、任意の自然数 kk に対し
0≦Ik=∫kk+1log⁡x dx−12{log⁡k+log⁡(k+1)}≦18(1k−1k+1). 0\leqq I_k= \int_k^{k+1}\log x\,dx-\frac12\{\log k+\log(k+1)\} \leqq\frac18\left(\frac1k-\frac1{k+1}\right).
これを k=1, 2, ⋯ , n−1k=1,\,2,\,\cdots,\,n-1 について加える。台形和は
∑k=1n−1log⁡k+log⁡(k+1)2=∑k=2n−1log⁡k+12log⁡n=log⁡(n!)−12log⁡n \sum_{k=1}^{n-1}\frac{\log k+\log(k+1)}2 =\sum_{k=2}^{n-1}\log k+\frac12\log n =\log(n!)-\frac12\log n
であり、また
∫1nlog⁡x dx=nlog⁡n−n+1. \int_1^n\log x\,dx=n\log n-n+1.
従って
∑k=1n−1Ik=∫1nlog⁡x dx−log⁡(n!)+12log⁡n \sum_{k=1}^{n-1}I_k =\int_1^n\log x\,dx-\log(n!)+\frac12\log n
より
an=1+12log⁡n−∑k=1n−1Ik. a_n=1+\frac12\log n-\sum_{k=1}^{n-1}I_k.
上の評価を足すと、n≧2n\geqq2 について
1+12log⁡n−18(1−1n)≦an≦1+12log⁡n. 1+\frac12\log n-\frac18\left(1-\frac1n\right) \leqq a_n\leqq 1+\frac12\log n.
log⁡n>0\log n>0 で割り、n→∞n\to\infty とすると、両端とも 1/21/2 に収束する。はさみうちの原理により
lim⁡n→∞anlog⁡n=12 \boxed{\displaystyle\lim_{n\to\infty}\frac{a_n}{\log n}=\frac12}
である。

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 部分積分法
  • 第二次導関数
  • 指数・対数関数の微分
  • 二次関数の最大・最小
  • 不定積分・定積分の性質
  • 三角・指数・対数関数等の積分
  • 総和記号と数列の和
  • 階差・和の利用
  • 対数とその性質
  • 数列の極限

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

大阪公立大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第4問へ進むいろいろな式・数学と人間の活動(整数)・数列

大阪公立大学のほかの年度

似た問題を、ほかの大学で