以下のURLは、法が互いに素でない場合なのですが、噛み砕いて説明していただけないでしょうか?ご教授願います。すみません。
https://mathtrain.jp/remainder
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.4
- 回答日時:
「大丈夫」ってのは、どういう意味やねん?
法が互いに素でない場合に中国剰余定理がそのまま適用できるはずがない。
法が互いに素であることが、中国剰余定理の条件なのだから。
その場合にどう応用すれば中国剰余定理が使えるかが説明してあるのが、
そのリンク先の「互いに素でないときの連立合同式」の記事だ。
そもそも中国剰余定理が、解を構成する手順を示した定理ではなく、
解の存在と存在範囲と一意性を示しているだけだけのものだから、
「互いに素でないときの連立合同式」の記事も
「解が求められる」という性質のものではない。
ある範囲に解があることが判るだけだ。
つまり、法が互いに素でない場合は、一部の連立合同方程式のみ満たすものがあり、法が互いに素である場合は、すべての連立合同方程式を満たす。ということでしょうか?ご教授願いたいです。すみません。
No.3
- 回答日時:
中国剰余定理は、
連立合同式の解を求める方法を示しているのではなく、
解がとある mod で唯一に存在するという事実(だけ)を述べています。
というと、どういうことでしょうか?別に法が互いに素でない場合でも大丈夫ということでしょうか?でもそれだと、中国剰余定理に反すると思うのですが。ご教授願います。すみません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・ちょっと先の未来クイズ第4問
- ・【大喜利】【投稿~10/21(月)】買ったばかりの自転車を分解してひと言
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
【線形代数】基底、dimVの求め方
-
大学の記述入試で外積は使えま...
-
ファルコンの定理は解かれまし...
-
【遊びのピタゴラスイッチはな...
-
二次合同式の解き方
-
至上最難問の数学がとけた
-
数学のセミナー発表のときに使...
-
23の23乗を53で割った余りを求...
-
コーシー分布の再生性
-
パップスギュルダンの定理について
-
完全数はどうして「完全」と名...
-
直角三角形じゃないのに三平方...
-
ベクトル解析の分かりやすく丁...
-
傘を買うと雨は止む。
-
実数の整列化について
-
論理回路
-
AとBはn次正方行列とする。 積A...
-
相似比の答え方・・・
-
ガロア理論:単拡大定理の意義
-
過去に 「ii) f(z)=1/(z^2-1) r...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
至上最難問の数学がとけた
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
階差数列・群数列について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
modを使用した平方根の求め方
-
定理と法則の違い
-
ほうべき(方巾)の定理について
-
数A nは自然数とする。n , n+2 ...
-
「整数係数方程式の有理解の定...
-
実数の整列化について
-
至急です! 数学で証明について...
-
三角形の3辺の長さの性質の証明
-
A,Bの異なる2つの箱に異なる1...
-
二次合同式の解き方
-
長さがマイナスの答えのとき、...
-
相似比の答え方・・・
おすすめ情報
法が互いに素じゃないとき解が存在しないってことがあるのは大丈夫ですか?
たとえば
x≡4(mod.6)
x≡1(mod.8)
を満たす xは存在しない!
なぜなら x≡4(mod.6)
だからx は偶数じゃないといけないけど、
x≡1(mod.8)
は xが奇数であるってことをいってるから!
一般には
x≡b1(mod.m1)
x≡b2(mod.m2)
を満たす xが存在する必要十分条件は b1≡b2 (mod.gcd(m1,m2))
が成立すること!
んで、これが成立しているとき、
これを満たすxが 0以上lcm(m1,m2)未満の範囲にただ 1 つある!
んでそれを rっておくと
x≡b1(mod.m1) x≡b2(mod.m2)⇔ x≡r(mod.lcm(m1,m2))
が成立する!
あとは互いに素な時と同じ感じでやればいけんじゃね。
続く
続きです。ここでこの文章の疑問点があり、なぜ、これが、b 1≡b2 が、必要十分条件となるのでしょうか?ご教授願いたいです。すみません。