2次の不定方程式

1.
整数問題の大まかなタイプとしては，

因数分解，範囲を絞ってしらみつぶし，合同式の利用（余りで分類）

というのは有名ですが，このうち一つ目の因数分解を狙うというのは自然な発想かと思います。

（因数分解の方針その１）
\begin{align*}
&2x^2+3xy-2y^2-3x+4y-5=0\\
\Longleftrightarrow~&2x^2+3(y-1)x-2y^2+4y-5=0\\
\Longleftrightarrow~&2x^2+3(y-1)x-2(y^2-2y+1-1)-5=0\\
\Longleftrightarrow~&2x^2+3(y-1)x-2(y-1)^2-3=0\\
\Longleftrightarrow~&(2x-y+1)(x+2y-2)=3
\end{align*}

3行目の変形がちょっと苦しい…？＾＾；

（因数分解の方針その２）
\begin{align*}
&2x^2+3xy-2y^2-3x+4y-5=0\\
\Longleftrightarrow~&2x^2+3(y-1)x-2y^2+4y-5=0\\
\Longleftrightarrow~&2\left(x^2+\frac{3(y-1)}{2}x+\frac{9(y-1)^2}{16}-\frac{9(y-1)^2}{16}\right)-2y^2+4y-5=0\\
\Longleftrightarrow~&2\left(x+\frac{3(y-1)}{4}\right)^2-\frac{9(y-1)^2}{8}-2y^2+4y-5=0\\
\Longleftrightarrow~&(4x+3(y-1))^2-9(y-1)^2-16y^2+32y-40=0\\
\Longleftrightarrow~&(4x+3(y-1))^2-25y^2+50y-49=0\\
\Longleftrightarrow~&(4x+3(y-1))^2-25(y^2-2y+1-1)-49=0\\
\Longleftrightarrow~&(4x+3(y-1))^2-25(y-1)^2=24\\
\Longleftrightarrow~&(4x-2y+2)(4x+8y-8)=24\\
\Longleftrightarrow~&(2x-y+1)(x+2y-2)=3
\end{align*}平方完成で強引に。

（因数分解の方針その３）
\(2x^2+3xy-2y^2=(2x-y)(x+2y)\)に着目し，\((2x-y+a)(x+2y+b)\)という式の展開式を考えます。すると\[(2x-y+a)(x+2y+b)=2x^2+3xy-2y^2+Ax+By+C\]という与式の形が現れますから，\(A=-3,B=4\)を解いて，\(a,b\)を求めます（これを\(a_0,b_0\)とします。これにより\(C=C_0\)も求まる）：\[(2x-y+a_0)(x+2y+b_0)=2x^2+3xy-2y^2-3x+4y+C_0\]与式より\(2x^2+3xy-2y^2-3x+4y=5\)でしたから
\begin{align*}
&(2x-y+a_0)(x+2y+b_0)=2x^2+3xy-2y^2-3x+4y+C_0\\
\Longleftrightarrow&~(2x-y+a_0)(x+2y+b_0)=5+C_0
\end{align*}を得ます。以上を実際行うと，
\[(2x-y+1)(x+2y-2)=2x^2+3xy-2y^2-3x+4y-2=5-2=3\]となります。

…ともあれ因数分解できました。あとは右辺の因数の組み合わせが\((1,3),(-1,-3),(3,1),(-3,-1)\)のみであることから\((x,y)=(1,2),(-1,0)\)を得ます。

2.
これも因数分解…と思いきや，1.のようにうまく因数分解できない。お手上げか…？
そこで姿勢を変えて論理で攻めてみます。

解答
\begin{align*}
&x^2-4xy+5y^2+2x-5y-1=0\\
\Longleftrightarrow~&x^2-2(2y-1)x+5y^2-5y-1=0\\
\Longleftrightarrow~&x=(2y-1)\pm\sqrt{-y^2+y+2}
\end{align*}これが整数解をもつならば，\(-y^2+y+2\geq 0\)であることが必要．
\begin{align*}
&-y^2+y+2\geq 0\\
\Longleftrightarrow~&y^2-y-2\leq 0\\
\Longleftrightarrow~&(y-2)(y+1)\leq 0\\
\Longleftrightarrow~&-1 \leq y\leq 2
\end{align*}

\(y\)は整数であるから，\(y=-1,0,1,2\)
\(y=-1\)のとき\(x=-3\)，
\(y=0\)のとき\(x=-1\pm \sqrt{2}\)，
\(y=1\)のとき\(x=1\pm \sqrt{2}\)，
\(y=2\)のとき\(x=3\)，

ゆえに\((x,y)=(-1,-3),(2,3)\)が求めるものである．

解答終

必要条件なのに逆の考察をしていないのは同値だからです。論理式で記述すると
\begin{align*}
&x,y\in \mathbb{Z},x^2-4xy+5y^2+2x-5y-1=0\\
\Longleftrightarrow~&x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2}\\
\Longleftrightarrow~& x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land -y^2+y+2\geq 0\\
\Longleftrightarrow~& x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land -1\leq y \leq 2\\
\Longleftrightarrow~& x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2}\\
&\land (y=-1 \lor y=0 \lor y=1 \lor y=2)\\
\Longleftrightarrow~& \left(x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land y=-1\right)\\
\lor & \left(x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land y=0\right)\\
\lor & \left(x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land y=1\right)\\
\lor & \left(x,y\in \mathbb{Z} \land x=(2y-1)\pm\sqrt{-y^2+y+2} \land y=2\right)\\
\Longleftrightarrow~& (x,y\in \mathbb{Z} \land x=-3 \land y=-1)\\
\lor & (x,y\in \mathbb{Z} \land x=-1\pm \sqrt{2} \land y=0)\\
\lor & (x,y\in \mathbb{Z} \land x=1\pm\sqrt{2} \land y=1)\\
\lor & (x,y\in \mathbb{Z} \land x=3 \land y=2)\\
\Longleftrightarrow~&(x,y\in \mathbb{Z} \land x=-3 \land y=-1)\lor (x,y\in \mathbb{Z} \land x=3 \land y=2)\\
\Longleftrightarrow~&x,y\in \mathbb{Z} \land (( x=-3 \land y=-1)\lor (x=3 \land y=2))\\
\Longleftrightarrow~&( x=-3 \land y=-1)\lor (x=3 \land y=2)
\end{align*}ということをしています。ちなみに，\(1.,2.\)それぞれを図示すると\(1.\)は双曲線，\(2.\)は楕円になります。