Z上的线性方程
- 形如
ax+by的最小正整数与gcd(a,b)相等 - 线性方程定理
a \neq 0 \and b \neq 0$，$ax + by = gcd(x,y)总有一整数解(x_1, y_1)
同余式
- 若
a_1 \equiv b_1(\mod \space m)$、$a_2 \equiv b_2(\mod \space m)，则： a_1+a_2 \equiv b_1+b_2(\mod \space m)a_1 \cdot a_2 \equiv b_1 \cdot b_2(\mod \space m)- *线性同余定理
- *模
p多项式根定理
博客园似乎不支持markdown的公式
