解決済み

整数方程式

a2b2+c2d2+acbd=0a^2 - b^2 + c^2 - d^2 + ac - bd =0

は解けますか?


ベストアンサー

ベストアンサー

結論から言うと、解けると思います。が、あまりにも方程式の自由度が高いせいで不定解のみしか出ませんでした。それも含めて説明できたらと思います。(ごり押しです)


最初の変形としては、斉次であることから何かの文字について解くことから始めました。つまりこんな感じ、

d2+bd(a2b2+c2+ac)=0d^2+bd-(a^2-b^2+c^2+ac)=0

d=b±b2+4(a2b2+c2+ac)2d=\dfrac{-b±\sqrt{b^2+4(a^2-b^2+c^2+ac)}}{2}と出てきます。普通整数の問題でこんなことはしませんが後のことを考えてのことです。見た目がひどいので平方根をkkという変数で簡約しましょう。

d=b±k2d=\dfrac{-b±k}{2}ここで先に条件絞りをします。分子は22の倍数でないといけないので 

 bk (mod 2)ー①  b≡k (\mathrm{mod} 2)ー①

これが成立します、ここで一旦この変数は放置します。(覚えておいてください)

続いて、kkの中身を綺麗にしたいので二乗し、

b2+4(a2b2+c2+ac)=k2b^2+4(a^2-b^2+c^2+ac)=k^2

これでは何もわからないので、

(2a+c)2+3(b2c2)=k2(2a+c)^2+3(b^2-c^2)=k^2

こうすると次で積の形で解を導出できます。

3(b+c)(bc)={k(2a+c)}{k+(2a+c)}3(b+c)(b-c)=\{k -(2a+c) \} \{ k+(2a+c) \}

さて、ここからがおよそ1010を超える場合分けの作業となります。左辺を見ると33の倍数となっているので、右辺のどちらかは33を持つことになり、以下のように分けられます。

()k(2a+c)0 (mod 3)のとき(ⅰ) k-(2a+c)≡0 (\mathrm{mod} 3)のとき

()k+(2a+c)0 (mod 3)のとき(ⅱ) k+(2a+c)≡0 (\mathrm{mod} 3)のとき

一度このパターンですべて書き出してみると、(分裂している式々は横に見てもらってください)

()のとき(ⅰ)のとき

k(2a+c)={33(bc)3(b+c)3(b2c2) 、 k+(2a+c)={(b2c2)(b+c)(bc)1k-(2a+c)= \begin{cases}3\\3(b-c)\\3(b+c)\\3(b^2-c^2)\end{cases} 、 k+(2a+c)= \begin{cases}(b^2-c^2)\\(b+c)\\(b-c)\\1\end{cases}


()のとき(ⅱ)のとき

k+(2a+c)={33(bc)3(b+c)3(b2c2) 、 k(2a+c)={(b2c2)(b+c)(bc)1k+(2a+c)= \begin{cases}3\\3(b-c)\\3(b+c)\\3(b^2-c^2)\end{cases} 、 k-(2a+c)= \begin{cases}(b^2-c^2)\\(b+c)\\(b-c)\\1\end{cases}

この時点で多すぎるのですが、よく見てみると、この二つに大きな違いは数学的になさそうです。ですのでここらで形式を変えてみましょう。2k2(2a+c)2kと2(2a+c)について解けばいいです。

2k={3+(b2c2)3(bc)+(b+c)3(b+c)+(bc)3(b2c2)+1 、 2(2a+c)={3±(b2c2)()3(bc)±(b+c)()3(b+c)±(bc)()3(b2c2)±1()2k= \begin{cases}3+(b^2-c^2)\\3(b-c)+(b+c)\\3(b+c)+(b-c)\\3(b^2-c^2)+1\end{cases} 、 2(2a+c)= \begin{cases}∓3±(b^2-c^2)ー(ア)\\∓3(b-c)±(b+c)ー(イ)\\∓3(b+c)±(b-c)ー(ウ)\\∓3(b^2-c^2)±1ー(オ)\end{cases}

ここからは地道に解いてみます。まずは解がなさそうな()()(ア)と(オ)から、

()のとき、(ア)のとき、

2k=3+(b2c2)2k=3+(b^2-c^2)ここで、kの偶奇について考えます。kの偶奇について考えます。

kが偶数だと 2kb23c2 (mod 4)kが偶数だと 2k-b^2≡3-c^2 (\mathrm{mod} 4) このときに左辺は44で割り切れるものの、右辺が問題です、二乗の際に余りは0,10,1のどちらかしかとらず式が満足できません。次はkkが奇数のときです。ここで①より

kb1 (mod 2)k≡b≡1 (\mathrm{mod} 2)が分かりますね、すると与式は次のようになります,

しかし、前述の通り、c2c^2というのは余りに22を持たず、さらにkkは奇数なので左辺の余りは22になります。ゆえにこちらの場合も満足できないので、

ということで思った通り(ア)は不適。

()のとき、(エ)のとき、

2k=3(b2c2)+1ここで、d=b±k22k=3(b^2-c^2)+1ここで、d=\dfrac{-b±k}{2}こいつを考えてみましょう。d=2b±(3b33c2+1)4d=\dfrac{-2b±(3b^3-3c^2+1)}{4}こうなりますが、よく見るとbcbとcの偶奇が一致するとまずいのが分かるかと思います。ですので、

⒈ b1,c0(mod 2)⒈ b≡1 ,c≡0 (\mathrm{mod} 2)のとき

⒉ b0,c1(mod 2)⒉ b≡0 ,c≡1(\mathrm{mod} 2)のとき

と分けます。

⒈では2b±(3b33c2+1)2b±42(mod 4)⒈では-2b±(3b^3-3c^2+1)≡-2b±4≡2 (\mathrm{mod} 4)

⒉では、2b±(3b33c2+1)±(13c2)±2(mod 4)⒉では、-2b±(3b^3-3c^2+1)≡±(1-3c^2)≡±2 (\mathrm{mod} 4)

よっていずれの場合も与式を満足できないので、これも不適。


あとは()()(イ)(ウ)だけです。

この時点で文章が冗長なので、一旦切らせてもらいます(すみません🙇)

返信の欄等でまた書きますね



補足

回答の続きは明日以降になるかもしれません💦

そのほかの回答(0件)

関連する質問

もっとみる