- ベストアンサー
中国の余剰定理の応用とは?
- 中国の余剰定理を使用して、与えられた合同方程式の全ての解を求める方法について説明します。
- 与えられた合同方程式は、mod 11, 121, 1331, 77, 847の余剰定理を使って解くことができます。
- ただし、それぞれの合同式を解くためには連立合同方程式を解く必要があります。
- みんなの回答 (7)
- 専門家の回答
質問者が選んだベストアンサー
find all the solutions of each of the following congruences. a) x^3+8*x^2-x-1≡0(mod 11) b) x^3+8*x^2-x-1≡0(mod 121) c) x^3+8*x^2-x-1≡0(mod 1331) d) x^3+8*x^2-x-1≡0(mod 77) e) x^3+8*x^2-x-1≡0(mod 847) これはどうやって解けばいいのでしょうか? modが11, 11^2, 11^3, 7*11, 7*11^2と11の倍数なのでそれを使う事はうっすらとわかるのですが >いかんせん、わかりません。 a)~e)は個別の問題だと思います。解く途中で連立合同式の解法を使います。 >a)はx≡4(mod 11), x≡5(mod 11)までは出せました。 この2つが解です。 >b) x^3+8*x^2-x-1≡0(mod 121) >c) x^3+8*x^2-x-1≡0(mod 1331) この2つはうまい解法が分からなくて、結局、余りとして考えられる全部の値を代入して、121,1331で割って余りが0になる場合を調べました。(手計算でやるのは大変なので、短いプログラムを作ってパソコンで計算しました。) b)の解は、x≡59(mod121) c)の解は、x≡1148(mod1331) の1つずつでした、 59は素数だし、1148は11を因数に持たないので、11との関連がよく分かりません。 >d) x^3+8*x^2-x-1≡0(mod 77) 77=7×11なので、x^3+8*x^2-x-1≡0(mod 7)の解を求めます。 x=0~6まで代入して、7で割って余りが0になるのは、 x≡1(mod7),x≡6(mod7)……(1) a)の解 x≡4(mod 11), x≡5(mod 11)と組み合わせて連立合同式を作って解を求めます。 組み合わせは4通り x≡1(mod7),x≡4(mod 11), x≡1(mod7),x≡5(mod 11) x≡6(mod7)x≡4(mod 11), x≡6(mod7)x≡5(mod 11) 中国の余剰定理を使って解きます。 解は、x=15,27,48,71(mod77) e) x^3+8*x^2-x-1≡0(mod 847) 847=7×11^2なので、(1)とb)の解を使って連立合同式を作ります。 x≡1(mod7),x≡59(mod121), x≡6(mod7)x≡59(mod121), 最初の方を解いてみます。 mod7で、x1・121≡1 121x1≡1 2x1≡8 x1≡4 mod121で、x2・7≡59 7x2≡59 7x2≡301 x2≡43 x=4×121+43×7 =484+301 =785 よって、x≡785(mod847),x≡664(mod847) になりました。 b)c)は答えだけで申し訳ないですが参考にして下さい。 何かあったらお願いします。
その他の回答 (6)
- ferien
- ベストアンサー率64% (697/1085)
No.1No.6さん、別解ありがとうございます。 >んで d は #2 の筋だけど 8 ≡ 1 (mod 7) を使えば左辺が因数分解できる, と. x^3+8*x^2-x-1≡x^3+x^2-x-1 ≡x^2(x+1)-(x+1) ≡(x+1)(x^2-1) ≡(x+1)^2(x-1) ≡0(mod7) x+1≡0(mod7)→x≡-1≡6(mod7) x-1≡0(mod7)→x≡1(mod7)
- Tacosan
- ベストアンサー率23% (3656/15482)
えぇと, 正直なところ #2 の「うまい解法が分からなくて、結局、余りとして考えられる全部の値を代入して」は #4 の (従って #1 の) 筋でやったものだと思ってました. いや, #1 はいくらなんでも直接的なんで (「ゴリゴリ押せば」がその辺のニュアンス), もっと賢い方法があるかもしれないとは考えてたんです.... そのわりに「59は素数だし、1148は11を因数に持たないので、11との関連がよく分かりません」というのが謎だったです. んで d は #2 の筋だけど 8 ≡ 1 (mod 7) を使えば左辺が因数分解できる, と.
- ferien
- ベストアンサー率64% (697/1085)
No.4さん、ありがとうございます。 最初は、式変形の過程があまりにも簡潔でよく分からなかったのですが、実際に代入して計算して得られた結果なのだとようやく理解できました。 マネして、c)もやってみます。 >どの式も、左辺が同じでしょう? それを使います。 >A≡B mod mn ⇒ A≡B mod m より、 >b) の解は a) を、c) の解は b) を満たします。 x≡59+121k (mod 1331)を c) へ代入すれば、 (x=1331n+59+121k の余りの部分を代入) 実際はもっとかなり込み入った式になりますが、 1331の倍数になっている部分と、残りの部分(余り)に分けて 余りだけ取り出して書くと、 11^2k+233167≡11^2(k+1927)より、 11^2(k+1927)≡0(mod1331) これより、k+1927≡0(mod11)→k≡-1927≡9(mod11) k=11n+9とおくと、 x=59+121(11n+9)=59+1331n+1089=1148+1331n よって、x≡1148(mod1331)
- alice_44
- ベストアンサー率44% (2109/4759)
A No.1 の方針で、落ち穂拾いです。 どの式も、左辺が同じでしょう? それを使います。 A≡B mod mn ⇒ A≡B mod m より、 b) の解は a) を、c) の解は b) を満たします。 x≡4+11k, 5+11k mod 121 を b) へ代入すれば、 x≡4+11k ⇒ 11(k+6)≡0 mod 121 ⇒ k≡-6 mod 11 k≡-6 mod 121 とは限らないので、注意してください。 よって、x=4+11(5+11n)=59+121n≡59 mod 121. x≡5+11k ⇒ 77≡0 mod 121 ⇒ 解なし 以上より、b) は x≡59 mod 121. c) も同様です。
- ferien
- ベストアンサー率64% (697/1085)
すみません。訂正です。 解は、x≡15,27,48,71(mod77) です。他に何か間違いがあったら連絡お願いします。
- Tacosan
- ベストアンサー率23% (3656/15482)
「連立合同方程式で解いて」って, どういう意味でしょうか? で, 例えば x≡4 mod 11 が出ているなら, これから法 121 で x がどう書けそうかわかるはず. それを代入してゴリゴリ押せば b や c はできるんじゃない?