同余定理
给定一个正整数m，如果两个整数a和b满足a-b能够被m整除，即(a-b)/m得到一个整数，那么就称整数a与b对模m同余，记作a≡b(mod m)。对模m同余是整数的一个等价关系。
记法：a≡b(mod d)
性质：反身性、对称性、传递性等
同余符号
两个整数a、b，若它们除以整数m所得的余数相等，则称a与b对于模m同余或a同余于b模m。
记作：a≡b (mod m)，
读作：a同余于b模m，或读作a与b对模m同余，例如26≡2(mod 12)。
定义
设m是大于1的正整数，a、b是整数，如果m|(a-b)，则称a与b关于模m同余，记作a≡b(mod m)，读作a与b对模m同余。
显然,有如下事实
（1）若a≡0(mod m)，则m|a；
（2）a≡b(mod m)等价于a与b分别用m去除，余数相同。
性质
1.反身性：a≡a (mod m)；
2.对称性：若a≡b(mod m)，则b≡a (mod m)；
3.传递性：若a≡b(mod m)，b≡c(mod m)，则a≡c(mod m)；
5.同余式相乘：若a≡b(mod m)，c≡d(mod m)，则ac≡bd(mod m)。
6.线性运算：如果a ≡ b (mod m)，c ≡ d (mod m)，那么
(1)a ± c ≡ b ± d (mod m)；
(2)a * c ≡ b * d (mod m)。
参考：https://baike.baidu.com/item/%E5%90%8C%E4%BD%99%E5%AE%9A%E7%90%86/ 同余定理百度百科
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/233489.html原文链接：https://javaforall.net
