【東大数学分野別解説】#08 証明問題で出やすい "整式 (微積分以外)"

連載：東大数学分野別解説

2022.01.31

林俊介

この連載では，東大数学の過去問の中から学びの多そうなものを分野別に解説していきます。単に正解を述べるだけでなく，問題を解く際のアプローチや補足事項も添えるので，初見の問題への対応力も磨けることでしょう。

今回のテーマは "整式" です。
ただし，数学II の微分・積分が主な内容ではない問題を扱います。

東大入試では，文系・理系ともに整式に関する問題がよく出題されます。
たとえば整式の割り算を学ぶのは数学II の最初の方ですから，学習が比較的後になる

微分
積分
ベクトル

あたりと比べて "難しい" という印象はないかもしれません。
しかし，東大ではさまざまな観点での整式の問題が出題されており，中には難しいものもあります。

問題 1

$n$ は正の整数とする。 $x^{n + 1}$ を $x^{2} - x - 1$ で割った余りを $a_{n} x + b_{n}$ とおく。

(1) 数列 $a_{n}, b_{n}, n = 1, 2, 3, \dots$ は
$\begin{array}{r} {\begin{cases} a_{n + 1} = a_{n} + b_{n} \\ b_{n + 1} = a_{n} \end{cases} \end{array}$
　を満たすことを示せ。
(2) $n = 1, 2, 3, \dots$ に対して， $a_{n}, b_{n}$ は共に正の整数で，互いに素であることを証明せよ。
2002年東大文理共通問題

問題 1 の解答

(1)

$x^{n + 1}$ を $x^{2} - x - 1$ で割った商を $f_{n} (x)$ とする。このとき $x^{n + 1} = f_{n} (x) (x^{2} - x - 1) + a_{n} x + b_{n}$ なので

$\begin{aligned} x^{n + 2} & = x f_{n} (x) (x^{2} - x - 1) + a_{n} x^{2} + b_{n} x \\ = x f_{n} (x) (x^{2} - x - 1) + a_{n} x (x^{2} - x - 1) + (a_{n} + b_{n}) x + a_{n} \\ = {x f_{n} (x) + a_{n}} (x^{2} - x - 1) + (a_{n} + b_{n}) x + a_{n} \end{aligned}$

であり， $x^{n + 2}$ を $x^{2} - x - 1$ で割った余りは $(a_{n} + b_{n}) x + a_{n}$ となる。 $a_{n}, b_{n}$ の定義より $a_{n + 1} = a_{n} + b_{n}, b_{n + 1} = a_{n} (n = 1, 2, 3, \dots)$ が成り立つ。■

(2)

まず $x^{2} = 1 \cdot (x^{2} - x - 1) + 1 \cdot x + 1$ より $a_{1} = 1, b_{1} = 1$ であり，これらの最大公約数は 1 である。

次に， $k$ を正整数とするとき， $a_{k}, b_{k}$ の最大公約数が 1 であったとする。Euclid の互除法の考え方に基づくと

$\begin{aligned} (a_{k + 1} と b_{k + 1} の最大公約数) \\ = (b_{k + 1} と a_{k + 1} - b_{k + 1} の最大公約数) \\ = (a_{k} と b_{k} の最大公約数) (∵ a_{k + 1} = a_{k} + b_{k}, b_{k + 1} = a_{k}) \end{aligned}$

が成り立ち，これは仮定より $1$ である。■

問題 1 のポイント・補足

整式の割り算は，このように漸化式との相性がよいです。東大で頻繁に出題されているわけではありませんが，たとえば京大の過去問にはこの類の問題が散見されます。
(注：これは今回の趣旨と関係が薄いです。) 数学的帰納法による証明はさまざまな書き方ができますが，今回のようなさっぱりした書き方でもよいでしょう。解説の内容は，実際の試験で答案として書いても問題ない最低限の量だと思ってください。もちろん，"数学的帰納法で証明する" や "(ii) n = k のとき" といった文言を書いても OK です。

問題 2

$n$ と $k$ を正の整数とし， $P (x)$ を次数が $n$ 以上の整式とする。
整式 $(1 + x)^{k} P (x)$ の $n$ 次以下の項の係数が全て整数ならば， $P (x)$ の $n$ 次以下の項の係数は，すべて整数であることを示せ。ただし，定数項については，項それ自体を係数とみなす。
2007年東大理系数学第1問

問題 2 の解答

$m$ を正の整数， $Q (x)$ を整式とするとき， $(1 + x) Q (x)$ の係数がすべて整数ならば， $Q (x)$ の係数はすべて整数であること $\dots (*)$ を示す。まず $Q (x)$ の次数を $m$ 次とし，

$\begin{array}{r} Q (x) = a_{0} + a_{1} x + a_{2} x^{2} + \dots + a_{m} x^{m} = \sum_{k = 0}^{m} a_{k} x^{k} \end{array}$

とすると

$\begin{aligned} (1 + x) Q (x) & = (a_{0} + a_{1} x + a_{2} x^{2} + \dots a_{m} x^{m}) \\ + x (a_{0} + a_{1} x + a_{2} x^{2} + \dots a_{m} x^{m}) \\ = a_{0} + (a_{0} + a_{1}) x + (a_{1} + a_{2}) x^{2} + \dots \\ + (a_{m - 1} + a_{m}) x^{m} + a_{m} x^{m + 1} \end{aligned}$

となる。ここで $(1 + x) Q (x)$ の係数がすべて整数とすると，

$\begin{array}{r} {\begin{cases} a_{0} & = (整数) \\ a_{0} + a_{1} & = (整数) \\ a_{1} + a_{2} & = (整数) \\ \dots \\ a_{m - 1} + a_{m} & = (整数) \\ a_{m} & = (整数) \end{cases} \end{array}$

が成り立つ。第 1 式より $a_{0}$ は整数であり，これと第 2 式より $a_{1}$ は整数であり，同様にこれらの式を上から用いることで， $a_{1}, a_{2}, a_{3}, \dots, a_{m}$ がすべて整数であることがいえる。

こうして示された $(*)$ において $Q (x) = (1 + x)^{k - 1} P (x)$ に， $m$ を $(1 + x)^{k - 1} P (x)$ の次数におきかえることで， $(1 + x)^{k - 1} P (x)$ の各次数の係数は整数とわかる。次に $(*)$ において $Q (x) = (1 + x)^{k - 2} P (x)$ に， $m$ を $(1 + x)^{k - 2} P (x)$ の次数におきかえることで， $(1 + x)^{k - 2} P (x)$ の各次数の係数は整数とわかる。以下同様の操作を繰り返すことで， $P (x)$ の各次数の係数は整数であることが示される。■

問題 2 のポイント・補足

さまざまな書き方ができる証明問題ですが，どのような方針であっても上のように連立方程式からもとの係数がすべて整数であることを示す過程は必須と思われます。
問題文では $n, k, P (x)$ という文字等が登場していますが，まず一般の場合を証明したかったこと， $P (x)$ の次数が定まっていないこともあり，解説では $m, Q (x)$ という新しい文字で議論しました。こうした取り組みは必須ではありませんが，これにより自分で自分を混乱させる可能性を減らすことができます。

まとめ

微積分を伴わない整式の問題は，このように数学的帰納法や "順次示す" 類の議論と非常に相性がよいです。
また，求値問題ではなく証明問題が多いのも特徴です。
記述式の試験ですから，"頭の中でなんとなく理解できている" 状態では当然不十分です。
多分解けるからいいや，ではなく，実際に答案を作成し，自分の議論を形にできるようにしておきましょう！