一、模运算的定义
对于
∀
a
∈
R
,
m
∈
(
0
,
+
∞
)
\forall~a\in \mathbb{R},~m \in (0, +\infty)
∀ a∈R, m∈(0,+∞),求
a
a
a 除以
m
m
m 的余数的运算,就是取模运算,记作
a
m
o
d
m
a~mod~m
a mod m。
规定
0
≤
a
m
o
d
m
≤
m
−
1
0 \leq a~mod~m \leq m - 1
0≤a mod m≤m−1。若
a
a
a 为负数,则
a
%
m
a~\%~m
a % m 可能小于
0
0
0。此时,对结果进行
a
%
m
+
m
a~\%~m+m
a % m+m,使取模运算满足规定。
若
a
a
a 和
b
b
b 对
m
m
m 取模后结果相同,则说明
a
a
a 和
b
b
b 同余,记作
a
≡
b
(
m
o
d
m
)
a \equiv b~(mod~m)
a≡b (mod m)。
二、模运算的性质
- 加法
( a + b ) m o d m = ( a m o d m + b m o d m ) m o d m (a + b)~mod~m = (a~mod~m + b~mod~m)~mod~m (a+b) mod m=(a mod m+b mod m) mod m - 减法
( a − b ) m o d m = ( a m o d m − b m o d m ) m o d m (a - b)~mod~m = (a~mod~m - b~mod~m)~mod~m (a−b) mod m=(a mod m−b mod m) mod m - 乘法
( a ∗ b ) m o d m = ( a m o d m ∗ b m o d m ) m o d m (a \ast b)~mod~m = (a~mod~m \ast b~mod~m)~mod~m (a∗b) mod m=(a mod m∗b mod m) mod m
完