整除

2、3、4、5、6、8、9 的整除判定法则 2 的倍数： 个位数字是偶数 (0, 2, 4, 6, 8)。 3 的倍数： 各个位数之和是 3 的倍数。 4 的倍数： 末两位数是 4 的倍数。 5 的倍数： 个位数字是 0 或 5。 6 的倍数： 既是 2 的倍数又是 3 的倍数。 8 的倍数： 末三位数是 8 的倍数。 9 的倍数： 各个位数之和是 9 的倍数。 7 的整除判定法则 去掉个位数字，将剩下的数字乘以 2。 将第一步的结果与原数的个位数字相加。 如果最终结果是 7 的倍数，则原数也是 7 的倍数。 例如，判断 357 是否为 7 的倍数： 35 × 2 = 70 70 + 7 = 77 77 是 7 的倍数，因此 357 也是 7 的倍数。

数域 F 上的一元多项式环 F[x] 与整数环 Z 在性质上有很多相似之处。例如，整数环中存在带余除法：对于任意整数 a 和非零整数 b，存在唯一的整数 q 和 r，满足 a = qb + r，且 0 ≤ r < |b|。类似地，多项式环 F[x] 中也存在带余除法。 定理： 设 f(x) 和 g(x) 是 F[x] 中的多项式，且 g(x) ≠ 0。则存在唯一的 q(x) 和 r(x) ∈ F[x]，满足 deg r(x) < deg xss=removed> 证明： 存在性 设 f(x) = a_nx^n + a_{n-1}x^{n-1} + ... + a_1x + a_0 (a_n ≠ 0) 和 g(x) = b_mx^m + b_{m-1}x^{m-1} + ... + b_1x + b_0 (b_m ≠ 0)。 当 n < m xss=removed xss=removed> 当 n ≥ m 时，令 f_1(x) = f(x) - (a_n/b_m)x^{n-m}g(x)。显然，deg f_1(x) < deg> 对 deg f(x) = n 使用数学归纳法，存在多项式 q_1(x) 和 r(x) ∈ F[x]，满足 deg r(x) < deg xss=removed> 因此，f(x) = (q_1(x) + (a_n/b_m)x^{n-m})g(x) + r(x)。 唯一性 假设存在另外一对多项式 q'(x) 和 r'(x) 也满足条件，即 f(x) = q'(x)g(x) + r'(x) 且 deg r'(x) < deg> 那么 (q(x) - q'(x))g(x) = r'(x) - r(x)。 由于 deg(r'(x) - r(x)) < deg xss=removed xss=removed> 因此，r'(x) - r(x) = 0，即 r(x) = r'(x)。 综上所述，q(x) 和 r(x) 是唯一的。