初等数论第一章整除理论.docxVIP

  • 13
  • 0
  • 约3.18万字
  • 约 56页
  • 2023-10-01 发布于上海
  • 举报
第一章 整除理论 整除性理论是初等数论的基础。本章要介绍带余数除法,辗转相除法,最大公约数,最小公倍数,算术基本定理以及它们的一些应用。 第一节 数的整除性 定义 1 设 a,b 是整数,b 0,如果存在整数 c,使得 a = bc 成立,则称 a 被 b 整除,a 是 b 的倍数,b 是 a 的约数(因数或除数),并且使用记号b a;如果不存在整数 c 使得 a = bc 成立,则称 a 不被 b 整除,记为 b | a。 显然每个非零整数 a 都有约数 1, a, 称这四个数为 a 的平凡约数,a 的另外的约数称为非平凡约数。 被 2 整除的整数称为偶数,不被 2 整除的整数称为奇数。 定理 1 下面的结论成立: (ⅰ) a b a b; (ⅱ) a b,b c a c; (ⅲ) b a ,i = 1, 2, , k b a x a x i 1 1 2 2 a x ,此处 x(i = 1, 2, , k)是任意的整 k k i 数; (ⅳ) 零整数; b a bc ac,此处 c 是任意的非 (ⅴ) |a| |b| 证明 b a,a 0 a = 0 。留作习题。 |b| |a|;b a 且 定义 2 若整数 a 0, 1,并且只有约数 1 和 a,则称 a 是素数(或质数);否则称 a 为合数。 任何大于 1 任何大于 1 的整数 a 都至少有一个 素约数。定理 2 素约数。 证明 若 a 是素数,则定理是显然的。 若 a 不是素数,那么它有两个以上的正的非 平凡约数,设它们是d , d , , d 。不妨设d 是 e21 2 k 1 e 2 d其中最小的。若 d 1 不是素数,则存在 1  1,e 1,使得 d = e e ,因此,e 和 e 也是 a 的正的 d1 1 2 1 2 d d非平凡约数。这与 d 1 的最小性矛盾。所以 是 1 任何大于1 任何大于1 的合数a 必有一个不超过 a 的素约数。 a 的素约数。 证明 使用定理 2 中的记号,有 a = d d , 1 2 其中 d 1 是最小的素约数,所以 d 2 a。证 1 1 毕。 例 1 设 r 是正奇数,证明:对任意的正整数 n,有 n 2 | 1r 2 r n r。 解 对于任意的正整数 a,b 以及正奇数 k, 有 ak bk = (a b)(ak 1 ak 2b ak 3b2 bk 1) = (a b)q, 其中 q 是整数。记 s = 1r 2 r n r,则 2s = 2 (2 r n r) (3 r (n 1)r) (n r 2 r) = 2 (n 2)Q, 其中Q 是整数。若n 2 s,由上式知n 2 2,因为 n 2 2,这是不可能的,所以 n 2 ?| s 。 例 2 设 A = { d , d , , d }是 n 的所有约数 1 的集合,则 B ={ n , 2 k n ,? , n } d d d 1 2 k 也是 n 的所有约数的集合。 解 由以下三点理由可以证得结论: (ⅰ) A 和 B 的元素个数相同; i(ⅱ) 若 d i A,即 d n,则 n | n,反之亦 id i i 然; (ⅲ) 若 d d , 则 n ? n 。 i j d d i j 例 3 以 d(n)表示 n 的正约数的个数,例如: d(1) = 1,d(2) = 2,d(3) = 2,d(4) = 3, 。问: d(1) d(2) d(1997) 是否为偶数 n 解 对于 n 的每个约数 d,都有n = d d , n 因此,n 的正约数 d 与 d 是成对地出现的。只有 n n 当 d = d ,即 n = d2 时,d 和 d 才是同一个数。 故当且仅当 n 是完全平方数时,d(n)是奇数。因为 442 1997 452,所以在 d(1), d(2), , d(1997)中恰有 44 个奇数,故 d(1) d(2) d(1997)是偶数。 例 4 设凸 2n 边形 M 的顶点是 A 1, A 2, , A2n ,点 O 在 M 的内部,用 1, 2, , 2n 将 M 的 2n 条边分别编号,又将 OA , OA , , OA 也同样 1 2 2n 进行编号,若把这些编号作为相应的线段的长 度,证明:无论怎么编号,都不能使得三角形 OA A , OA A , , OA A 的周长都相等。 1 2 2 3 2n 1 解 假设这些三角形的周长都相等,记为 s。 则 2ns = 3(1 2 2n) = 3n(2n 1), 即 2s = 3(2n 1), 因此 2 3(2n 1),这是不可能的,这个矛盾说明这些三角形的周长不可能全都相

文档评论(0)

1亿VIP精品文档

相关文档