Evolton

一橋大学 2017年度 前期文系数学 第2問

連立方程式{x2=yz+7y2=zx+7z2=xy+7を満たす整数の組(x,y,z)xyzとなるものを求めよ。

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

整数方程式・不等式 式変形、場合分け、解と係数の関係、範囲評価

方針

3式を引き算して,(xy)(x+y+z)=0(yz)(x+y+z)=0 を得る。x+y+z0 なら x=y=z となって矛盾するので,x+y+z=0 に帰着する。あとは x,y を2次方程式の2根と見て,判別式が非負の平方数になる z を調べる。

解答

第1式から第2式を引くとx2y2=yzzxであるから(xy)(x+y+z)=0を得る。同様に第2式から第3式を引くと(yz)(x+y+z)=0である。もし x+y+z0 なら x=y かつ y=z であり,x=y=z となる。しかしこのとき第1式は x2=x2+7 となり矛盾する。したがってx+y+z=0である。

条件 xyz と和が 0 であることから z0 である。また x+y=z であり,第3式から xy=z27 である。よって x,y は2次方程式T2+zT+z27=0の2つの整数解である。この判別式はΔ=z24(z27)=283z2である。z0 かつ Δ0 より z=0,1,2,3 のみを調べればよい。

z=0 のとき Δ=28 で平方数でない。z=1 のとき Δ=25 で,解は 3,2 であるが yz を満たさない。z=2 のとき Δ=16 で,(x,y)=(3,1) を得る。z=3 のとき Δ=1 で,(x,y)=(2,1) を得る。

よって求める組は(3,1,2),(2,1,3)である。

別解

解法2

方針

差を取って x+y+z=0 を得た後,x=(y+z) を1本目へ代入する。正定値二次形式 y2+yz+z2=7 の整数解を直接絞り,順序条件で選ぶ。

解答

3式の差から(xy)(x+y+z)=0,(yz)(x+y+z)=0.もし x+y+z0 なら x=y=z となって x2=x2+7 という矛盾が生じる。よってx+y+z=0.したがって x=(y+z) であり,第1式は(y+z)2=yz+7,すなわちy2+yz+z2=7となる。左辺は(y+z2)2+3z24なので z3 である。さらに xyz と和が0であることから z0 だから z=0,1,2,3 を調べればよい。

z について y2+zy+z27=0 を解くと,順序条件を満たすのは(z,y)=(2,1),(3,1)である。x=(y+z) を戻して(x,y,z)=(3,1,2),(2,1,3).

総評

難度5,計算量5。想定時間は18分程度。対称な連立方程式を差で崩し,和 x+y+z=0 を導くところが山場である。その後は x,y を2次方程式の解として扱えば探索は短くなる。採点点は,x=y=z の矛盾確認,z0 と判別式による候補制限,最後の順序条件 xyz の確認である。

冊子PDFで見る一橋大学の整数の問題で問題集を作る

出典: 一橋大学 2017年度 前期 数学 第2問(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。