問題.
\begin{align*}
a_n = \int_{\sqrt{3}}^{2\sqrt{2}} \dfrac{x^{2n-1}}{\sqrt{x^2+1}}\, dx
\end{align*}
で定める.
以下の設問に答えよ.
(1) と を求めよ.
(2) すべての自然数 に対し, は正の有理数であることを示せ. さらに, を互いに素な自然数 と を用いて と表すとき, は奇数であることを示せ.
今回は京大の理学部特色入試の問題を解いてみました.
パッと見では (2) が難しそうに見えますが, 与えられた積分の計算ができてしまえばさほど難しくないです.
解答例.
(1) \begin{align*}a_1 = \int_{\sqrt{3}}^{2\sqrt{2}} \dfrac{x}{\sqrt{x^2+1}}\,dx
\end{align*}
ここで, と置換すると, であり,
\begin{align*}
dx &= \dfrac{t}{\sqrt{t^2-1}}\,dt
\end{align*}
となるので,
\begin{align*}
a_1 &= \int_2^3 \dfrac{\sqrt{t^2-1}}{t}\cdot\dfrac{t}{\sqrt{t^2-1}}\,dt\\
&= \int_2^3 \,dt\\
&= \Big[t\Big]_2^3\\
&= 1
\end{align*}
についても同様の置換をすると,
\begin{align*}
a_2 &= \int_{\sqrt{3}}^{2\sqrt{2}} \dfrac{x^3}{\sqrt{x^2+1}}\,dx\\
&= \int_2^3 \dfrac{\left(\sqrt{t^2-1}\right)^{3}}{t}\cdot\dfrac{t}{\sqrt{t^2-1}}\,dt\\
&= \int_2^3 (t^2-1)\,dt\\
&= \Big[\frac{1}{3}t^3-t\Big]_2^3\\
&= \frac{16}{3}
\end{align*}
(2) ここでは に対して, (1) と同じ置換を行います.
\begin{align*}
a_n &= \int_{\sqrt{3}}^{2\sqrt{2}} \dfrac{x^{2n-1}}{\sqrt{x^2+1}}\,dx\\
&= \int_2^3 \dfrac{\left(\sqrt{t^2-1}\right)^{2n-1}}{t}\cdot\dfrac{t}{\sqrt{t^2-1}}\,dt\\
&= \int_2^3 (t^2-1)^{n-1}\,dt
\end{align*}
被積分関数の部分を, 2 項定理を用いて展開して計算していきます.
\begin{align*}
a_n &= \int_2^3 \sum_{k = 0}^{n-1} \left({}_{n-1}C_k \cdot (t^2)^k\cdot (-1)^{n-1-k}\right)\,dt\\
&= \sum_{k = 0}^{n-1} \left({}_{n-1}C_k \cdot (-1)^{n-1-k}\int_{2}^{3} t^{2k}\,dt\right)\\
&= \sum_{k = 0}^{n-1} \left({}_{n-1}C_k \cdot (-1)^{n-1-k} \Big[\frac{1}{2k+1}t^{2k+1}\Big]_2^3\right)\\
&= \sum_{k = 0}^{n-1} \left({}_{n-1}C_k \cdot (-1)^{n-1-k}\cdot\dfrac{3^{2k+1}-2^{2k+1}}{2k+1}\right)
\end{align*}
この式において, 各項は有理数で, は有理数を 個足し合わせたものであるので, も有理数となります.
さらに, コンビネーションの の部分はすべての整数 に対して整数なので, 各項は分母が , すなわち分母が奇数(約数に 2 を含まない)であるような分数となっています.
は分母が奇数である分数の和や差で得られる. 通分することを考えても, その結果の分母は奇数のままであり, さらに計算結果が約分可能であっても, 分母は奇数のままです. したがって, は奇数となります.