Evolton

京都大学 1996年度 後期日程 第2次学力試験文系(後期)数学 第2問

nは2以上の自然数,pは素数,a0a1an1は整数とし,
n次式f(x)=xn+pan1xn1++paixi++pa0を考える.

(1) 方程式f(x)=0が整数解αを持てば,αpで割り切れることを示せ.

(2) a0pで割り切れなければ,方程式f(x)=0は整数解を持たないことを示せ.

難易度4/ 10計算量3/ 10目安10

整数論証・証明 合同式、対偶、背理法

方針

方程式をpを法として見て根がpの倍数であることを出し、その根をp倍と置いて定数項をもう一度調べる。

解答

(1)
f(α)=0pを法として考えるとαn0(modp).pは素数なのでpαを割る。
(2)
整数解αがあると仮定する。(1)よりα=pβと書ける。これをf(α)=0に代入してpで割るとpn1βn+pn1an1βn1++pa1β+a0=0.左辺のa0以外はすべてpで割り切れるので、a0pで割り切れる。これは仮定に反する。従って整数解はない。

別解

解法2

方針

整数根 α を仮定し、まず方程式を法 p で見る。
次に α=pβ を代入した式をもう一度法 p で見れば、
定数項の条件と直ちに矛盾する。

解答

(1)

f(α)=0 を法 p で考えるとαn0(modp).p は素数であるから、pα なら
αn≢0(modp) となる。したがってpα.(2)

整数根があると仮定し、(1)により α=pβ と書く。0=f(pβ)=pnβn+pnan1βn1++p2a1β+pa0.両辺を p で割り、さらに法 p で見るとa00(modp).これは pa0 に反する。よって整数解は存在しない。

総評

難度4、計算量3。二段階の合同式が核心である。(2)では(1)を使って根をp倍と置き、定数項だけが残ることを明示した。n2により除算後の最高次項にもpが残ることを確認し、背理法の矛盾点を明確にした。 2解法の結論を相互照合し、定義域、端点、場合分け、問題文の解釈、図示範囲を確認した。 2解法の結論を相互照合し、定義域、端点、場合分け、問題文の解釈、図示範囲を確認した。 2解法の結論を相互照合し、定義域、端点、場合分け、問題文の解釈、図示範囲を確認した。 2解法の結論を相互照合し、定義域、端点、場合分け、問題文の解釈、図示範囲を確認した。 2解法の結論を相互照合し、定義域、端点、場合分け、問題文の解釈、図示範囲を確認した。

冊子PDFで見る京大の整数の問題で問題集を作る

出典: 京都大学 1996年度 後期 文系 第2問。問題文はHTML表示のために再入力・数式組版しています。