解決済み

すみません。自分のよく理解していない分野である合同式に関しての質問です。

ab(modm)a≣b(\mod m)であるとき、abmZa-b \in m \mathbb{Z}であることと同値であることを証明できる方はいらっしゃいますか?

補足

なんか最初の式の棒の数が4本ですが(イコールは二本、合同は三本)3本です。

すみません

ベストアンサー

ベストアンサー

上の合同式を最初に変形して、

ab0(modm)a-b≡0 (\mathrm{mod} m)

となり、これが示すのは

ab=mk (k:整数) です。a-b=mk (k:整数) です。


さらに、 abmZab=md (d:整数)a-b\in m\mathbb{Z}⇔a-b=md (d:整数)であることが分かります。

したがって、二つの条件は同値と言えるのではないでしょうか。

質問者からのお礼コメント

質問者からのお礼コメント

お久しぶりです。

ありがとうございます!

大変助かりました。!

そのほかの回答(0件)

関連する質問

もっとみる