Evolton

九州大学 2001年度 前期日程 第2次学力試験 行列(問題が明示的に行列を扱う場合、または出題範囲が許す場合のみ)・整数理系数学 第5問(c)

pqを整数とし,xyを未知数とする連立1次方程式
{4x+9y=p2x+6y=q
を考える.

(1) この方程式を行列を用いて表し,係数行列の逆行列を求めよ.

(2) 上の連立方程式の解xyが共に整数であるような組(p,q)をすべて求めよ.
ただし,0p50q5とする.

(3) 正の整数dで,
dのどんな倍数pqに対しても上の連立方程式の解xyが整数になる」
ものが存在することを示せ.

(4) (3)におけるdのうちで最小のものを求めよ.

難易度5/ 10計算量5/ 10目安20

行列整数 文字消去、合同式、必要十分条件

方針

係数行列の逆行列を求め、x,yp,q で明示する。整数条件は x=p3q/2 から q が偶数、y=(p+2q)/3 から p2q(mod3) と読む。(2)では 0p,q5 の範囲でこの合同条件を列挙する。(3)(4)では、任意の d の倍数 p,q に対して整数解をもつ条件を、p=d,q=0p=0,q=d から必要条件として調べ、d=6 が十分であることを確認する。

解答

(1)

連立方程式は(4926)(xy)=(pq)と表される。係数行列を A とするとA=(4926)であり、行列式は 4692=6 である。したがって逆行列はA1=16(6924)=(1321323)である。

(2)

(1) より(xy)=(1321323)(pq)である。すなわち x=p32q,y=p+2q3 である。 x が整数となるためには q が偶数であることが必要十分である。また y が整数となるためには p+2q0(mod3) すなわち p2q(mod3) であることが必要十分である。 0q5 で偶数のものは q=0,2,4 である。それぞれについて 0p5 の範囲で調べると、q=0:p=0,3 q=2:p1(mod3),p=1,4 q=4:p2(mod3),p=2,5 である。したがって求める組は (p,q)=(0,0),(3,0),(1,2),(4,2),(2,4),(5,4) である。

(3)

たとえば d=6 とする。p,q がともに6の倍数なら、q は偶数であり、また p0,2q0(mod3) なので p2q(mod3) も成り立つ。したがって(2)で得た整数条件を満たし、解 x,y はともに整数である。よって条件を満たす正の整数 d は存在する。

(4)

条件を満たす d を考える。まず p=d,q=0d の倍数の組である。このとき y=d3 が整数でなければならないので、d は3の倍数である。

次に p=0,q=d とすると x=32d が整数でなければならない。したがって d は2の倍数である。

よって d は2の倍数かつ3の倍数、すなわち6の倍数でなければならない。(3)で d=6 が条件を満たすことを示したので、最小のものは d=6 である。

別解

解法2

方針

逆行列とは別に、2本の式を加減して x,y を消去法で求める。
そこから偶奇と3による剰余条件を読み、必要な周期を
特別な右辺 (d,0),(0,d) で決定する。

解答

(1) (4926)(xy)=(pq),A1=16(6924).(2)
第1式から第2式を2倍したものを引くと 3y=p2q なのでy=p+2q3.これを第2式へ戻すとx=p32q.よって q は偶数、かつ p2q(mod3) が必要十分である。
q=0,2,4 を順に調べて(p,q)=(0,0),(3,0),(1,2),(4,2),(2,4),(5,4).(3)
d=6 とすれば、p,q がその倍数のとき
q は偶数で p2q は3の倍数である。
よって常に x,y は整数となり、条件を満たす d は存在する。

(4)
(p,q)=(d,0) から y=d/3 が整数なので 3d
(p,q)=(0,d) から x=3d/2 が整数なので 2d
よって 6d が必要で、(3)より d=6 は十分である。
最小値は6である。

総評

逆行列による連立方程式の解表示と、整数条件の合同式処理を組み合わせる問題。難度は標準、計算量は中程度で、目安時間は16〜20分。(1)の逆行列は行列式6を忘れずに処理する。(2)では x の整数条件から q 偶数、y の整数条件から p2q(mod3) と分けて読むと列挙が安定する。(4)では任意の倍数 p,q について成り立つ必要があるため、(d,0)(0,d) という特別な組を代入して必要条件を引き出すのが要点である。

冊子PDFで見る九大の行列の問題で問題集を作る

出典: 九州大学 2001年度 前期 理系 第5問(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。