合同式の性質を使った整数の余りの計算方法 趣味の大学数学
簡単な合同方程式の解き方 合同式の基本的性質 (11) 反射律 （証明） だから， と は を法として合同であると言える． (12) 対称律 ならば （証明） ならば だから成り立つ． (13) 推移律 かつ ならば （証明） ならば だから成り立つ 合同式の四則計算 (1) かつ ならば (21) (22) (23) （証明） かつ ならば (21) だから， が成り立つ． (22) だから， が成り立つ． (23) だから， が成り立つ． ※ 合同式の表記 27≡2≡－3(mod 5) 7で割った余りを求めたいわけですが、注目しないといけないのは $1\cdot2\cdot3\cdot4$ だけです。 から7の倍数を捨てたわけですが、 展開する前に捨ててしまってもかまわない というのが合同式の基本的な考え方
