高校数学の質問スレ Part421

高校数学の質問スレ Part421 at MATH

472:１３２人目の素数さん
22/09/22 15:46:01.38 ouSyEt/G.net
>>409
a≡b mod m
⇔a-b=mtとなる整数tが存在する。
a1-b1=mt、a2-b2=msより
(a1±a2)-(b1±b2)
=mt±ms=m(t±s)となり成り立つ。
a1a2-b1b2=a1a2+a1b1-a1b1-b1b2
=a1(a2+b1)-b1(a1+b2)
=(a1-b1)(a2+b1)
=mt(a2+b1)となり成り立つ。
これらから、mod mで
・aⁿ≡bⁿ
・Na≡Nb
・Na1ⁿ¹a2ⁿ²…≡Nb1ⁿ¹b2ⁿ²…
・ΣNa1ⁿ¹a2ⁿ²…≡ΣNb1ⁿ¹b2ⁿ²…
これから
・f(a1, a2, …)≡f(b1, b2, …)
・このように和差積に関しては普通の等号=と同じである。

次ページ

続きを表示

1を表示