お知らせ

  • トップ

  • お知らせ

  • 2025年度 大阪大学 理科系入試数学 第4問

数学部

2025年度 大阪大学 理科系入試数学 第4問

2025年度 大阪大学 理科系入試数学 第4問

\( \def\df#1#2{\dfrac{#1}{#2}} \)次の問いに答えよ.
(1)$t>0$のとき
\[ -\frac{1}{t}<\int_t^{2t}\frac{\sin x}{x^2}dx<\frac{1}{t} \] が成り立つことを示せ. (2)$\displaystyle\lim_{t\to\infty}\int_t^{2t}\frac{\cos x}{x}dx=0$を示せ. (3)$\displaystyle f(x)=\sin\left(\frac{3x}{2}\right)\sin\left(\frac{x}{2}\right)$とおく. \[ \lim_{t\to\infty}\int_1^t\frac{f(x)}{x}dx=\frac{1}{2}\int_1^2\frac{\cos x}{x}dx \] を示せ.

(1)まず「はさみ打ち」が閃きます。
任意の$x>0$に対して
\[-1\leqq \sin x\leqq 1\]
各辺$x^2>0$で割って
\[-\df{1}{x^2}\leqq \df{\sin x}{x^2}\leqq \df{1}{x^2}\]
各辺$x=t$から$2t$で積分して
\[ \int_t^{2t}-\df{1}{x^2}dx< \int_t^{2t}\df{\sin x}{x^2}dx< \int_t^{2t}\df{1}{x^2}dx\] 両端は積分できます。 \[ \left[\df{1}{x}\right]_t^{2t}< \int_t^{2t}\df{\sin x}{x^2}dx< \left[-\df{1}{x}\right]_t^{2t}\] つまり \[ -\df{1}{2t}< \int_t^{2t}\df{\sin x}{x^2}dx< \df{1}{2t}\] $t>0$に対して$ -\df{1}{t}<-\df{1}{2t}$および$ \df{1}{2t}<\df{1}{t}$なので \[ -\df{1}{t}< \int_t^{2t}\df{\sin x}{x^2}dx< \df{1}{t}\] (2)「部分積分」をするのでしょう。 \[ \begin{aligned} \int_t^{2t}\frac{\cos x}{x}\,dx &=\int_t^{2t}(\sin x)'\,\frac{1}{x}\,dx\\ &=\left[\sin x\cdot\frac{1}{x}\right]_t^{2t} -\int_t^{2t}\sin x\cdot\left(\frac{1}{x}\right)'\,dx\\ &=\frac{\sin 2t}{2t}-\frac{\sin t}{t} +\int_t^{2t}\frac{\sin x}{x^2}\,dx. \end{aligned} \] 右辺の第3項に(1)で評価した定積分が現れました。 $t\rightarrow \infty$のとき全て$0$に収束します。 (3)$f(x)$の形が積で不自然なので、積・和の公式で解(ほぐ)しておきます。 \[f(x)=\sin\left(\frac{3x}{2}\right)\sin\left(\frac{x}{2}\right)=\df{\cos{x}-\cos{2x}}{2}\] とりあえず(極限をとる前の)定積分だけでもしておきましょう。 \[\int_1^t\frac{f(x)}{x}dx=\int_1^t\df{\cos{x}-\cos{2x}}{2x}dx\] 分けたくなります。 \[\int_1^t\frac{f(x)}{x}dx=\df{1}{2}\int_1^t\df{\cos{x}}{x}dx-\int_1^t\df{\cos{2x}}{2x}dx\] 右辺の第2項だけ$p=2x$と置換したくなります。 \[\int_1^t\frac{f(x)}{x}dx=\df{1}{2}\int_1^t\df{\cos{x}}{x}dx-\df{1}{2}\int_2^{2t}\df{\cos{p}}{p}dp\] 定積分は変数に依存しないので、$p$を$x$に戻しましょう。 \[\int_1^t\frac{f(x)}{x}dx=\df{1}{2}\int_1^t\df{\cos{x}}{x}dx-\df{1}{2}\int_2^{2t}\df{\cos{x}}{x}dx\] 第2項を反転させます。 \[\int_1^t\frac{f(x)}{x}dx=\df{1}{2}\int_1^t\df{\cos{x}}{x}dx+\df{1}{2}\int_{2t}^{2}\df{\cos{x}}{x}dx\] 「惜しい!$x=t$から$2t$までの定積分があれば繋がるのに!」と嘆きます。 でも「なければ付けたせばよい」のです。その後、帳尻合せておけば…
\[
\int_1^t\frac{f(x)}{x}dx=
\df{1}{2}\int_1^t\df{\cos{x}}{x}dx
{\color{blue}{+\df{1}{2}\int_{t}^{2t}\df{\cos{x}}{x}dx}}
+\df{1}{2}\int_{2t}^{2}\df{\cos{x}}{x}dx
{\color{red}{-\df{1}{2}\int_{t}^{2t}\df{\cos{x}}{x}dx}}
\]
無事に三つ繋がりました。

\[\int_1^t\frac{f(x)}{x}dx=
\df{1}{2}\int_1^{2}\df{\cos{x}}{x}dx
\color{red}{-\df{1}{2}\int_{t}^{2t}\df{\cos{x}}{x}dx}
\]
これの$t\rightarrow \infty$のときの極限について、右辺の第一項は$t$に依存しない定数なのでそのまま残り、右辺の第二項が$0$になるのは先ほど(2)で示しました。

執筆:目時先生(JUKEN1月号掲載)

一覧へ戻る