【難度A】演習7〜九州大学・1982年〜

2020年9月2日 2020年9月28日

解答解説

問題

整数を係数とする $n (> 1)$ 次の整式

$f (x) = x^{n} + a_{1} x^{n - 1} + \dots + a_{n - 1} x + a_{n}$

について，次の(1)，(2)を証明せよ。

(1) 有理数 $α$ が方程式 $f (x) = 0$ の1つの解ならば， $α$ は整数である。

(2) ある自然数 $k (> 1)$ に対して，

$k$ 個の整数 $f (1), f (2), \dots, f (k)$ のどれもが $k$ で割り切れなければ，

方程式 $f (x) = 0$ は有理数の解をもたない。

初見ではかなり厳しい問題と言えるでしょう．(1)(2)ともにある程度の知識が必要です．

それでも，(1)の知識は一定のレベルの大学を受けるならば必ず解けるべき問題です．

まず，有理数は $「 = \frac{q}{p}$ （ $p, q$ は互いに素な整数， $p \geq 1$ ）」とおいて代入が基本．

（無理数と関連があり，有理数が加減乗除について閉じていることを用いる場合はこの限りではありませんが，ほとんどの場合は↑で対処します．）

有理数をおいたら，「互いに素」を利用します．ここまで一本道で来れるようにしてください．

$p, q$ が互いに素の時

「肯定」最大公約数が $1$ である
利用： $p, q$ について整理（ $p = P, q = Q$ の形）
証明：最大公約数をおいて，それが $1$ であることを示す
「否定」共通素因数を持たない
利用：両辺を $p, q$ でくくり出す（ $p \cdot A = B \cdot q$ の形）
証明：共通素因数をおいて，矛盾することを示す

でした．有理数解を代入した場合は， $p, q$ を繋ぐ等式が得られますから，②の方を用います．

両辺から $p, q$ をくくりだすために，最高次係数と定数項（つまり両端）に注目する必要があります．

以下に詳しく説明しているのでぜひみてみてください．

: 定義から紐解く有理数と無理数

short summary! ・有理数 →分数を代入，整数条件と「互いに素」の利用を意識する・無理数 →「否定」の利用を意識するはじめに有理数と無理数を初めて習ったのは中学生の時のはずです．で ...

続きを見る

(2)です．

有理数解を持たないことを直接示すためには，実際に解いて確認するのが一番ですが，こんな方程式が綺麗に解けるわけがないので頓挫します．

「否定の証明」ですから，背理法を使うのが良いでしょう．

有理数解を持つとすると，(1)からこれが整数だとわかります．(1)が使えるのでこの方針で間違いなさそうです．

さてここで整理すると

１．整数解 $α$ を持つ

２． $f (1), f (2), \dots, f (k)$ のどれもが $k$ で割り切れない

大まかにこの２つの条件から「矛盾」を示す，ということになります．

割り切れるかどうかという話なので，剰余系を考えますね．

: 整数の基本3：剰余系（合同式）

short summary! 合同式の性質と式変形に慣れる「余りを代入する」計算から「除外する（不成立を示す）」意識を持つはじめに大詰めです．今回は整数の基本3ヶ条の3つ目，剰余系について解説し ...

続きを見る

こちらのまとめにも書いている通りですが，剰余系では

整数係数の整式 $f (x)$ について，余りの代入計算が可能
$α \equiv r \Rightarrow f (α) \equiv f (r)$ 合同式を用いた絞り込みは．「一部の条件を除外する」

ことを知っておくのでした．

整数係数の整式と剰余系は相性が良いのです．さらに「一部の条件を除外する」というところは背理法と相性が良い．

具体的には $α$ を $k$ で割った余りを $r$ おくと， $f (α)$ を $k$ で割った余りは $f (r)$ と等しいが， $f (α) = 0$ と矛盾するという流れです．

整数に関する深い理解が必要な名問ですね．

解答

(1)

$α = \frac{q}{p} (p, q は互いに素な整数， p ≧ 1)$ と表せるので，代入して

より， $q^{n} = p \times (整数)$

が得られるが， $p, q$ は互いに素であることより， $p$ と $q^{n}$ も互いに素なので， $p$ は $1$ のみに限られる。

よって $α = q (\in Z)$ が成立する。

(2)

方程式 $f (x) = 0$ は有理数の解 $α$ を持つとすると，(1)より $α$ は整数であり， $f (α) = 0$ が成立。

合同式の法 $k$ として， $α \equiv r (r = 1, 2, \dots, k)$ とおくと，

より， $f (α) \equiv f (r)$ が得られるが， $f (α) = 0$ より， $f (r) \equiv 0$

$f (r)$ は $k$ 個の整数 $f (1), f (2), \dots, f (k)$ のいずれかであるため， $k$ で割り切れる数が存在することになり，与条件に矛盾。

よって背理法により，方程式 $f (x) = 0$ は有理数の解 $α$ を持たない。

< 1 2>

役に立ったら押して頂けると励みになります！

-問題演習, 問題演習A, 整数・整式

はじめに整式を決定する問題です．積分方程式（関数方程式）の形をとっていますが，どこから手をつけるのが良いでしょうか．今回の問題は，難易度Bです．ますプラの問題演習では，独自でつけた難易度でタグ付け，さらに東大と京大は別でタグ付けをしてあります．見直す際に利用してください．難易度は以下のようにざっくりと３つに分けています． S：特別な知識や熟考が必要なもの（入試では解けなくても問題なし！） A：難問（解けるとアドバンテージ） B：典型問題（解けなければディスアドバンテー ...

2020/9/28

【難度B】演習14（理）〜愛知県立大学〜

はじめにたくさんの正方形が登場する問題です．３点が一直線上にあることを示す方法はいくつかありますが，どれを考えるのが得策でしょうか… 今回の問題は，難易度Bです．ますプラの問題演習では，独自でつけた難易度でタグ付け，さらに東大と京大は別でタグ付けをしてあります．見直す際に利用してください．難易度は以下のようにざっくりと３つに分けています． S：特別な知識や熟考が必要なもの（入試では解けなくても問題なし！） A：難問（解けるとアドバンテージ） B：典型問題（解けなければデ ...

2020/9/28

【難度S】演習13〜早稲田大学（教育）・2017年〜

はじめに抽象関数に関する問題です．答えの予想はつくのですが，いざ証明するとなると難航すると思います．早稲田大学は学部ごとに特徴があって個人的に好きです．商学部と理工学部が難しいので有名ですが，本問のように教育学部（理数）も面白い出題がされています．今回の問題は，難易度Sです．ますプラの問題演習では，独自でつけた難易度でタグ付け，さらに東大と京大は別でタグ付けをしてあります．見直す際に利用してください．難易度は以下のようにざっくりと３つに分けています． S：特別な知識や ...

2020/9/28

【難度B】演習12（理）〜名古屋市立大学〜

はじめに極線に関する基本的な問題です．テーマとして知っているかどうか，とった類の問題で，近年はあまり見かけませんがやっておいて損はないでしょう．今回の問題は，難易度Bです．ますプラの問題演習では，独自でつけた難易度でタグ付け，さらに東大と京大は別でタグ付けをしてあります．見直す際に利用してください．難易度は以下のようにざっくりと３つに分けています． S：特別な知識や熟考が必要なもの（入試では解けなくても問題なし！） A：難問（解けるとアドバンテージ） B：典型問題（解 ...

2020/9/28

【難度A】演習11〜東京都立大学・1987年〜

はじめに多項式の集合と写像に関する問題です．集合と言えば数を含んでいるイメージが強いでしょうが，「一次式」全体を集合と捉えて他の多項式との対応関係（＝関数）を考えてもなんら問題ありません．とっつきづらいかもしれませんが… 今回の問題は，難易度Aです．ますプラの問題演習では，独自でつけた難易度でタグ付け，さらに東大と京大は別でタグ付けをしてあります．見直す際に利用してください．難易度は以下のようにざっくりと３つに分けています． S：特別な知識や熟考が必要なもの（入試では ...