整除:数论的第一块砖
整数的所有性质都是从“谁被谁整除”开始的。这一节把整除的定义、四条基本性质,以及它在证明题里的三种用法讲清楚。
记号与定义
是整数,。如果存在整数 使 ,就说 整除 ,记作 。
换成大白话: 是 的整数倍, 除以 余数为零。
几个立刻能看出来但常被忽略的事实:
- 任何整数都整除 (),但 不整除任何非零整数
- 整除所有整数
- 若 且 ,则
是一个运算,结果可以是分数; 是一个判断,只有“成立”或“不成立”。写证明时用竖线,不要写成分数。
四条基本性质
性质一(传递):, ⇒ 。
设 ,,则 ,成立。
性质二(可加可减):, ⇒ 。
设 ,,则 。
性质三(倍数): ⇒ ,对任意整数 成立。
性质四(线性组合):, ⇒ ,对任意整数 。
第四条是前两条的合体,也是最常用的。它的实际意义是:如果一堆数都能被 整除,那么它们的任意整数组合也能被 整除。看到“证明 某个复杂式子”,第一反应就该是把它拆成若干个已知能被 整除的部分。
带余除法
任意整数 除以正整数 ,都存在唯一的整数 和 ,使
叫商, 叫余数。 就是整除。
带余除法是“分类讨论”的依据:要证明某个性质对所有整数成立,按余数分成 类分别验证,就穷尽了所有情况。 就是奇偶分析, 就是模 3 分类。
例题
例1 用线性组合
证明:若 且 ,则 。
解:,,则 ,故 。
系数 是任意的,换成任何整数都一样。
例2 拆成已知部分
证明:对任意整数 , 能被 整除。
解:,是连续三个整数。
三个连续整数中必有一个是 的倍数;也必有一个是偶数。所以乘积被 和 整除,即被 整除。
另一种写法(用带余除法):按 除以 的余数分六类,逐一验证。笨但绝对可靠,考场上想不出分解时就用这个。
例3 幂的整除
证明:对任意正整数 ,。
解:用因式分解: 后面那个括号是整数,所以 整除 。
这条结论几乎每年竞赛都会用到。特别地,、 时得 (废话),但换成 就得到“”,可以用来证明“由 个 1 组成的数能被 9 整除”。
例4 反过来用
已知 ,,且 都是正整数,求 与 的关系。
解:,,代回得 ,即 。,所以 。
都是正整数,只能 ,故 。
这类“互相整除”的推理在竞赛里很常见,套路是设出倍数、代回、利用正负和大小夹逼。
例5 整除与余数
求所有正整数 ,使 。
思路:用 去除 ,把 换成 。
解: 前两项都被 整除,所以要 。
是大于 的正整数,只能是 ,故 。
检验: 时 ,成立。
- 把整除写成除法: 是一个命题,不能写进算式里当运算。
- 忘记 :除数为零时整除没有定义。
- 只验证几个数就下结论: 成立不代表所有 成立,必须给一般性证明。
- 证明:若 ,则 。
- 证明:若 且 ,则 。
- 证明: 对任意正整数 成立。
- 求所有正整数 ,使 。
- 证明:若 且 ,则 。
看答案
1. ,则 。
2. ,则 。
3. 。
4. ,故需 。 或 ,得 或 。
5. 相加得 ,两个加数都被 整除,故 。
- ⇔ 存在整数 使
- 四条性质:传递、可加减、可乘倍数、可线性组合
- 带余除法 是分类讨论的依据
- 证明整除:拆成已知部分 / 因式分解 / 按余数分类
- 是高频结论