整数解が無い不定方程式

【問１】（超難問）
以下の不定方程式の整数解をすべて求めよ。

（コメント）
　この問題はとても難しいので、理系最難関大学か医学部を受験する大学受験生も含め、大学の数学専門コース専攻者以外は、この問題を無視して良いと考えます。

【解答】
　この問題の解として、正の整数ｘ＝ｚ_１とｙ＝ｚ_２を求める。以下で扱うｘ，ｙは全て正であるものとする。
　先ず、この問題の解が１つでもあれば、それ以外の解を１つ求めるための漸化式を以下の様にして求めます。
（その漸化式は、残りの解のうちの一部を導き出せるだけの漸化式が見つかれば、それで十分である。）
以下の式２の行列Ｍで定義される漸化式を求めます。
なお、問１の式１は、以下の式３（及び４）に一般化します。

 式３及び４は以下の式５で代表させる。
そして、式５に漸化式Ｍの行列を導入し易くするために、行列ａを使って式５の左辺をあらわします。

式８に行列Ｍを導入して変形すると以下の式９が得られます。

ここで、行列Ｍが以下の式１０を満足するものとします。そうすれば、この行列が漸化式をあらわす行列になります。

式１０を成り立たせる行列Ｍであれば、以下の式１１が成り立つからです。

式１０が成り立てば、行列Ｍの行列式の絶対値が１になります。ここで、行列式の値が１とした式１２も、行列Ｍを限定する条件に加えます。

式１１が式１３に変形でき、更に式１４に変形できる。

式１４を具体的に以下の式に書く。

 この式の左右の項を計算し以下の式１５が得られる。

 この式を解き、変数ｃとｄで表した以下の式１６が得られる。

 ここで、行列式１２によって、以下の式１７が得られる。

 この式１７はペル方程式である。
この式１７の最小の解を探し、以下の解１８を得た。

 この解を使って以下の式１９の行列Ｍが得られ、漸化式２０が得られる。

これで、解が１つ見つかれば、それ以外の解を計算できる漸化式が得られた。

　次に、この行列Ｍの逆行列が以下の式２１で得られ、漸化式２０の逆に、解の値を小さくしていく式２２が得られた。

 この式２２があらわす逆漸化式を使うことで、もし解があれば、その解を小さくしていくことが可能である。
　ただし、この逆漸化式２２は、正の値のｘ＝ｚ_１とｙ＝ｚ_２に適用して、正の値のｘ＝ｚ_１と負の値のｙ＝ｚ_２を導き出すことが可能であるという特徴がある。
　また、そうして得た正の値のｘ＝ｚ_１と負の値のｙ＝ｚ_２にこの逆漸化式を適用する場合を考えると、ｘと（－ｙ）に対する漸化式に書き直すと、式２０になる。すなわち、ｘと（－ｙ）の解の絶対値を大きくしていく漸化式であるとも言える。

（漸化式によって得られる解の大きさ）
　漸化式２０のうちの１つは以下の式２３である。

ここで、式１から、解のｘ＝ｚ_１とｙ＝ｚ_２とは以下の式２４であらわされ、概ね比例する。

式２３を変形して以下の式２５が得られる。

 また、式１８から、以下の式２６が得られる。

 この式２６を式２５に代入して以下の式２７が得られる。

 この式２７の関係により、漸化式は、解のｘ＝ｚ_１とｙ＝ｚ_２の大きさを概ね８９×２≒１８０倍に大きくする。
その逆に、行列Ｍの逆行列による逆漸化式は、解の大きさを概ね１８０分の１程度に小さくする。

例えば、この漸化式は、
（ｘ，ｙ）の、
（１，１）を（１５５，２０９）にし、
（１，２）を（２２１，２９８）にし、
（２，３）を（３７６，５０７）にする。

　もし式１に１８０以上の解があれば、その解は、その解から逆漸化式によって１８０分の１になる小さな正値の解にリンクしている。

逆漸化式２２のうちの１つは、以下の式２８である。

ここで、式１から、解のｘ＝ｚ_１はｙ＝ｚ_２で、以下の式２９であらわされる。 

式２９を式２８に代入して計算する。

（この式３０からも、ｙが逆漸化式によって１８０分の１以下に小さくなることが言える） 
なお、 ｘ＝ｚ_１は、以下の式で与えられる。

式３０は、ｙ＝ｚ_２がある値よりも小さければ、逆漸化式２２で得られるｙの値は負の値になってしまうが、その値よりも大きければ正の値になることを示している。
これが、逆漸化式２２によってより小さな正の解を導く限界を与える。
　この限界値以上のｙの解は、逆漸化式２２によって、より小さな正の値の解が導き出され、その小さな解に漸化式２０を適用することで導き出すことができる解なので、調べる必要は無い。
　一方、その限界値未満の解は、逆漸化式２２によってはより小さい正の解が得られないので、正の値の解に漸化式２０を適用することでは得られない。 
　そのため、その限界値未満の解については、それが解であるかを直接に計算して調べる必要がある。

　以下で、解を調べるべき限界値を計算する。
式３０が正になる条件がその限界の条件である。それは、以下の式で与えられる。

式３２により、ｘ＝ｚ_１≧２０が、式３０が正になる条件である。よって、ｘが２０以上の範囲の解を除外した、ｘが２０未満の解を調べるだけで、全ての解の存在の有無を確認することができる。
　その範囲内の全ての値のｘが解にはなら無いことを計算して確認した。
　そのため、 式１には、どのように大きな解も存在し得ず、解が存在しないことがわかった。

【問２】（超難問）
以下の不定方程式の整数解をすべて求めよ。


【解答】（途中まで）
　この問２は、更に難問ですが、以下の式に変形できるので、同様に「無限降下法」を使うことで、限定された値の範囲に解が存在しなければ、全く解が無いことが証明できる。
（その限定された値の範囲で解を発見できれば、漸化式を適用することで得られる無限個の解がある。）

 

この式２は、以下のように変形できる。

 この式４は、
解が無さそうであるが、
解が無いことが簡単には証明できない。
しかし、問１と同様に漸化式Ｍを求めて「無限降下法」を使うことで解が存在しないことを証明できると考える。
　そのためには、ある限定された値の範囲内で解が存在しないことを確認する。
（あるいは、その限定された値の範囲内で、１つ以上の解を発見するかもしれない）
その、有限の範囲内の確認を行なえば解が存在するかしないかの決着をつけられると考える。
・・・
（解答の途中）

リンク：
高校数学の目次