非対称式 x^2-xy+2y^2=7 の整数解

【NT02】非対称式の整数解

 $x^2-xy+2y^2=7$ を満たす整数解を求めてください。

【ヒント】二次式であることに着目します。

ガウス 整数論への道 (双書―大数学者の数学)

中古価格
¥1,392から
(2017/9/1 13:22時点)


【解答】とりあえず $y$ のことはおいておいて、$x$ に関する二次方程式と考えます。
 
\[x^2+(-y)x+2y^2-7=0\]
 この式を判別式 $D$ を絞り込む手順として用います。
 
\[D=y^2-4(2y^2-7)=-7y^2+28\]
なので、$y$ についての不等式 $D\geq 0$ を解くと、
 
\[y^2\leq 4\]
 $y=0$ が方程式を満たしていないのは明らか($x^2=7$ を満たす整数はない)ので $y$ の候補としては
 
\[-2,\ -1,\ 1,\ 2\]
の 4 つの数が挙げられます。順に代入して確かめていきます。

[1] $y=-2$ のとき、$x^2+2x+1=0$ を解いて
 
\[(x,\ y)=(-1, -2)\]

[2] $y=-1$ のとき、$x^2+x-5=0$ の整数解はなし。

[3] $y=1$ のとき、$x^2-x-5=0$ の整数解はなし。

[4] $y=2$ のとき、$x^2-2x+1=0$ を解いて
 
\[(x,\ y)=(1, 2)\]
 以上より、$x^2-xy+2y^2=7$ を満たす整数解は
 
\[(x,\ y)=(-1, -2),\ (1,\ 2)\]
の 2 組となります。

エクセルや数学に関するコメントをお寄せください