京都大学 理系 2015年度 第5問 解説

問題編

問題

a,b,c,d,e を正の実数として整式
\begin{eqnarray}
f(x) &=& ax^2+bx+c \\
g(x) &=& dx+e
\end{eqnarray}を考える。すべての正の整数 n に対して $\displaystyle \frac{f(n)}{g(n)}$ は整数であるとする。このとき、 $f(x)$ は $g(x)$ で割り切れることを示せ。

【広告】

考え方

でました。この年一番の「何をどうしたらいいのかよくわからない問題」です。

2次式を1次式で割るので、余りは定数です。割り切れることを示すということは、この定数が0になることを示すということです。今、余りは $\displaystyle c-\frac{e}{d}b-\frac{e^2}{d^2}a$ と具体的に書くことはできます。しかし、ここから先に進むことができません。条件から、 $\displaystyle \frac{f(n)}{g(n)}$ は整数ですが、その値については何もわからないので、 a, b, cd, e の間の関係式は出てきません。

ですので、別の道を考えてみます。割り算の問題でよくあるのは、商と余りを使って次のように書く方法です。
\begin{eqnarray}
f(x) &=& (px+q) g(x) + r
\end{eqnarray}
ここで、 $r=0$ が言えないかを考えてみます。条件にある $\displaystyle \frac{f(n)}{g(n)}$ が出てくるように $g(x)$ で両辺を割ると
\begin{eqnarray}
\frac{f(x)}{g(x)} &=& px+q + \frac{r}{g(x)}
\end{eqnarray}
となります。条件から、x にどんな正の整数を入れても、この式は整数になります。

ここで注目したいのが、 $\displaystyle \frac{r}{g(x)}$ の部分です。とても大きな整数を入れていくと、これは0に近づいていきます。 $px+q$ の小数部分と打ち消し合って整数になるということも考えられますが、そんなにうまいこといくんでしょうか。

q が邪魔だし、x によって px が変わるのもめんどうなので、 $x=n+1,n$ として差をとってみましょう。
\begin{eqnarray}
\frac{f(n+1)}{g(n+1)} – \frac{f(n)}{g(n)} &=& p + \frac{r}{g(n+1)} – \frac{r}{g(n)}
\end{eqnarray}
すっきりしました。さらにもう一度差をとれば、 p も消えます。そのときの右辺は n を大きくすると限りなく0に近づける一方、左辺は整数なので、 $r=0$ が言えそうです。

解答に書くのは大変ですが、ここまでのことをまとめましょう。