目录
整除定义
一些性质
若合数 n 等于 n1 * n2 , 且 n1 = n2 , 则 n1 是素数
任意,一定有
关于gcd
算术基本定理
设 n 是大于 1 的正整数,则 n 可唯一的表示为一些互不相同 的素数方幂的乘积
同余
定义
设 a, b, c ∈ Z, m ∈ N ∗
当 m|(a − b) 时, 我们说 a, b 模 m 同余, 记作 a ≡ b (mod m)
当 m 不能整除 a − b 时,我们说 a, b 模 m 不同余,记作 a ̸≡ b (mod 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)
利用同余证明有解性问题, 思路如下: