同余的模运算与余数关系

一、同余的基本定义

同余是数论中的核心概念，用于描述两个数在某个模数下的余数关系。若整数 $ a $ 和 $ b $ 模 $ m $ 后的余数相等，即 $ a \equiv b \pmod{m} $，则称 $ a $ 与 $ b $ 在模 $ m $ 下同余。其中，$ m $ 称为模数，$ a - b $ 是被 $ m $ 整除的整数，即 $ a - b = k \cdot m $ 对于某个整数 $ k $。
同余的定义不仅限于整数，也可推广至实数或复数，但通常在数论中聚焦于整数领域。这种关系具有传递性、对称性及结合律等性质，为后续数学分析提供了基础。

二、同余的性质

1. 传递性：若 $ a \equiv b \pmod{m} $ 且 $ b \equiv c \pmod{m} $，则 $ a \equiv c \pmod{m} $。
2. 对称性：若 $ a \equiv b \pmod{m} $，则 $ b \equiv a \pmod{m} $。
3. 结合律：$ (a + b) \equiv (a + c) \pmod{m} $，$ (a \cdot b) \equiv (a \cdot c) \pmod{m} $。
4. 加法逆元：对于任意 $ a \equiv b \pmod{m} $，存在 $ -a \equiv -b \pmod{m} $。
5. 乘法逆元：若 $ a $ 与 $ m $ 互质，则存在唯一整数 $ x $ 满足 $ a \cdot x \equiv 1 \pmod{m} $，即 $ x $ 为 $ a $ 的模 $ m $ 逆元。

三、同余的运算规则

同余运算遵循与整数运算相似的规则，但需注意模数的限制：

1. 加法运算：$ a \equiv b \pmod{m} $ 且 $ c \equiv d \pmod{m} $，则 $ a + c \equiv b + d \pmod{m} $。
2. 乘法运算：$ a \equiv b \pmod{m} $ 且 $ c \equiv d \pmod{m} $，则 $ a \cdot c \equiv b \cdot d \pmod{m} $。
3. 幂运算：$ a \equiv b \pmod{m} $，则 $ a^n \equiv b^n \pmod{m} $ 对所有正整数 $ n $ 成立。
4. 模运算的扩展：若 $ a \equiv b \pmod{m} $，则 $ a \equiv b \pmod{m}