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的公式