Divisibility Part2
本节内容是Part1的进阶内容,主要讲的是整除在竞赛中的一些常用的技巧。
数的分解
一、带余除法
对于任意两个整数 a 、 b ( b ≠ 0 ) a、b(b\neq 0) a、b(b=0),都有唯一确定的整数 q , r q,r q,r, 满足
a = q b + r ( 0 ≤ r < b ) a=qb+r\quad (0\leq r<b) a=qb+r(0≤r<b)
二、分解式
- 若 n n n 是正整数,则
x n − y n = ( x − y ) ( x n − 1 + x n − 2 y + ⋯ + x y n − 2 + y n − 1 ) \qquad \quad x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+\cdots+xy^{n-2}+y^{n-1}) xn−yn=(x−y)(xn−1+xn−2y+⋯+xyn−2+yn−1)
- 若 n n n 是正奇数,则(在上式中用 − y -y −y 代换 y y y )
x n + y n = ( x + y ) ( x n − 1 − x n − 2 y + ⋯ − x y n − 2 + y n − 1 ) x^n+y^n=(x+y)(x^{n-1}-x^{n-2}y+\cdots-xy^{n-2}+y^{n-1}) xn+yn=(x+y)(xn−1−xn−2y+⋯−xyn−2+yn−1)
运用
例 1 1 1 证明: 1 0 ⋯ 0 ⏟ 200 个 0 1 1\underbrace{0\cdots0}_{200个0}1 1200个0 0⋯01 被 1001 1001 1001 整除。
题解
可以用第二种分解构造出 ( 1000 + 1 ) ( ⋯ ) (1000+1)(\cdots) (1000+1)(⋯)
1 0 ⋯ 0 ⏟ 200 个 0 1 = 100 0 67 + 1 = ( 1001 ) ( 100 0 66 − 100 0 65 + ⋯ − 1000 + 1 ) 1\underbrace{0\cdots0}_{200个0}1=1000^{67}+1=(1001)(1000^{66}-1000^{65}+\cdots-1000+1) 1200个0 0⋯01=100067+1=(1001)(100066−100065+⋯−1000+1)
证毕。
例 2 2 2 设 m > n ≥ 0 m>n\geq0 m>n≥0 ,证明: ( 2 2 n + 1 ) ∣ ( 2 2 m − 1 ) (2^{2^{n}}+1)|(2^{2^m}-1) (22n+1)∣(22m−1)。
题解
因为 m − n − 1 ≥ 0 m-n-1\geq 0 m−n−1≥0,
故 2 2 m − 1 = 2 2 n + 1 + m − n − 1 − 1 = ( 2 2 n ) 2 m − n − 1 − 1 = ( 2 2 n + 1 − 1 ) ( ⋯ ) 2^{2^m}-1=2^{2^{n+1+m-n-1}}-1=(2^{2^n})^{2^{m-n-1}}-1=(2^{2^{n+1}}-1)(\cdots) 22m−1=22n+1+m−n−1−1=(22n)2m−n−1−1=(22n+1−1)(⋯)
显然 2 2 m − 1 2^{2^m}-1 22m−1 是 2 2 n + 1 − 1 2^{2^{n+1}}-1 22n+1−1 的倍数。
又因为 2 2 n + 1 − 1 = ( 2 2 n − 1 ) ( 2 2 n + 1 ) 2^{2^{n+1}}-1=(2^{2^n}-1)(2^{2^n}+1) 22n+1−1=(22n−1)(22n+1),即 ( 2 2 n + 1 ) ∣ ( 2 2 n + 1 − 1 ) (2^{2^n}+1)|(2^{2^{n+1}}-1) (22n+1)∣(22n+1−1)。
根据整除的传递性有: ( 2 2 n + 1 ) ∣ ( 2 2 m − 1 ) (2^{2^{n}}+1)|(2^{2^m}-1) (22n+1)∣(22m−1) 。
证毕。
例 3 3 3 对正整数 n n n,记 S ( n ) S(n) S(n) 为 n n n 的十进制表示中数码之和。证明: 9 ∣ n 9|n 9∣n 的充分必要条件是 9 ∣ S ( n ) 9|S(n) 9∣S(n)。
题解
充分性
我们可以将 n n n 表示成
n = a 0 + a 1 × 1 0 1 + a 2 × 1 0 2 + ⋯ + a n × 1 0 n n=a_0+a_1\times 10^1+a_2\times10^2+\cdots+a_n\times10^n n=a0+a1×101+a2×102+⋯+an×10n
而 S ( n ) = ∑ i = 1 n a [ i ] S(n)=\sum_{i=1}^{n}a[i] S(n)=∑i=1na[i]。
因为 1 0 i = ( 1 0 i − 1 ) + 1 = 9 ⋯ 9 ⏟ i 个 9 + 1 10^i=(10^i-1)+1=\underbrace{9\cdots9}_{i个9}+1 10i=(10i−1)+1=i个9 9⋯9+1。
显然 1 0 i 10^i 10i 除以 9 9 9 的余数是 1 1 1,所以 a i × 1 0 i a_i\times10^i ai×10i 除以 9 9 9 的余数是 a i a_i ai。
如果 9 ∣ n 9|n 9∣n,说明 n n n 除以 9 9 9 余数为 0 0 0。
而 n n n 除以 9 9 9 的余数,等价于 a 0 + a 1 + a 2 + ⋯ + a n a_0+a_1+a_2+\cdots+a_n a0+a1+a2+⋯+an 除以 9 9 9 的余数
所以,我们只需要判断 S ( n ) S(n) S(n) 除以 9 9 9 的余数是否为 0 0 0。
即 9 ∣ n ⇒ 9 ∣ S ( n ) 9|n\Rarr9|S(n) 9∣n⇒9∣S(n) ,充分性成立。
必要性
已知 9 ∣ S ( n ) 9|S(n) 9∣S(n) ,等价于存在整数 q q q 使得
a 0 + a 1 + a 2 + ⋯ + a n = 9 q a_0+a_1+a_2+\cdots+a_n=9q a0+a1+a2+⋯+an=9q
成立,然后等式左右两边同时增加:
9 a 1 + 99 a 2 + 999 a 3 + ⋯ + 9 ⋯ 9 ⏟ n 个 9 a n 9a_1+99a_2+999a_3+\cdots+\underbrace{9\cdots9}_{n个9}a_n 9a1+99a2+999a3+⋯+n个9 9⋯9an
等式变成:
n = 9 q + ( 9 a 1 + 99 a 2 + 999 a 3 + ⋯ + 9 ⋯ 9 ⏟ n 个 9 a n ) n=9q+(9a_1+99a_2+999a_3+\cdots+\underbrace{9\cdots9}_{n个9}a_n) n=9q+(9a1+99a2+999a3+⋯+n个9 9⋯9an)
显然 n n n 是 9 9 9 的倍数。
所以 $9|S(n)\Rarr 9|n $ 必要性成立。
证毕。
例4 设 k k k 是一个奇数 ( k ≥ 1 ) (k\geq1) (k≥1),证明:对任意正整数 n n n,数 1 k + 2 k + ⋯ + n k 1^k+2^k+\cdots+n^k 1k+2k+⋯+nk 不能被 n + 2 n+2 n+2 整除。
题解
2 × ( 1 k + 2 k + ⋯ + n k ) = ( n k + 2 k ) + ( ( n − 1 ) k + 3 k ) + ⋯ + ( 2 k + n k ) + 2 2\times(1^k+2^k+\cdots+n^k)=(n^k+2^k)+((n-1)^k+3^k)+\cdots+(2^k+n^k)+2 2×(1k+2k+⋯+nk)=(nk+2k)+((n−1)k+3k)+⋯+(2k+nk)+2
显然当 k k k 为正奇数的时候,形如 ( i k + j k ) , ( j + i = n + 2 ) (i^k+j^k)\:,\:(j+i=n+2) (ik+jk),(j+i=n+2) 能被 n + 2 n+2 n+2 整除。
所以 2 × ( 1 k + 2 k + ⋯ + n k ) 2\times(1^k+2^k+\cdots+n^k) 2×(1k+2k+⋯+nk) 除以 ( n + 2 ) (n+2) (n+2) 的余数是 2 2 2。
所以 ( 1 k + 2 k + ⋯ + n k ) (1^k+2^k+\cdots+n^k) (1k+2k+⋯+nk) 除以 ( n + 2 ) (n+2) (n+2) 的余数是 1 1 1。
证毕。
例5 设 a , m , n a,m,n a,m,n 均是正整数, a ≥ 2 a\geq2 a≥2,证明: a m − 1 ∣ a n − 1 a^m-1|a^n-1 am−1∣an−1 的充分必要条件是 m ∣ n m|n m∣n 。
题解
充分性:
已知 a m − 1 ∣ a n − 1 a^m-1|a^n-1 am−1∣an−1,说明
a n − 1 = ( a m ) n m − 1 = ( a m − 1 ) ( ( a m ) n m − 1 + ( a m ) n m − 2 + ⋯ + 1 ) , n m ∈ N + a^n-1=(a^m)^{\frac{n}{m}}-1=(a^m-1)((a^m)^{\frac{n}{m}-1}+(a^m)^{\frac{n}{m}-2}+\cdots+1),\:\frac{n}{m}\in N_+ an−1=(am)mn−1=(am−1)((am)mn−1+(am)mn−2+⋯+1),mn∈N+
所以 m ∣ n m|n m∣n。
必要性:
已知 m ∣ n m|n m∣n,设 n m = x \frac{n}{m}=x mn=x, x x x 是一个正整数,显然有
a n − 1 = ( a m ) x − 1 = ( a m − 1 ) ( ( a m ) x − 1 + ( a m ) x − 2 + ⋯ + 1 ) a^n-1=(a^m)^{x}-1=(a^m-1)((a^m)^{x-1}+(a^m)^{x-2}+\cdots+1) an−1=(am)x−1=(am−1)((am)x−1+(am)x−2+⋯+1)
故 a m − 1 ∣ a n − 1 a^m-1 |a^n-1 am−1∣an−1。
证毕。
例6 任给 n > 1 n>1 n>1,证明:有正整数 a a a,使得 a a + 1 , a a a + 1 , ⋯ a^a+1,a^{a^a}+1,\cdots aa+1,aaa+1,⋯ 中所有数均被 n n n 整除。
题解
当 n n n 为偶数,显然存在 a = n − 1 a=n-1 a=n−1 为奇数,使得
a a + 1 = ( n − 1 ) n − 1 + 1 = n × ( ( n − 1 ) n − 2 − ( n − 1 ) n − 3 + ⋯ − 1 ) a^a+1=(n-1)^{n-1}+1=n\times(\:(n-1)^{n-2}-(n-1)^{n-3}+\cdots-1) aa+1=(n−1)n−1+1=n×((n−1)n−2−(n−1)n−3+⋯−1)
因为 n n n 是偶数,所以 a a + 1 a^a+1 aa+1 必然是偶数,所以 a a a^a aa 必然是奇数。
故 a a a + 1 = ( a + 1 ) ( a a a − 1 − a a a − 2 + ⋯ + 1 ) a^{a^a}+1=(a+1)(a^{a^{a}-1}-a^{a^{a}-2}+\cdots+1) aaa+1=(a+1)(aaa−1−aaa−2+⋯+1) 能被 a + 1 = n a+1=n a+1=n 整除。
对于 a a a a + 1 a^{a^{a^a}}+1 aaaa+1 同理。
归纳下去,原命题显然成立。
当 n n n 为奇数,显然存在 a = 2 n − 1 a=2n-1 a=2n−1 为奇数,使得
a a + 1 = ( 2 n − 1 ) 2 n − 1 + 1 = 2 n × ( ( 2 n − 1 ) 2 n − 2 − ( 2 n − 1 ) 2 n − 3 + ⋯ − 1 ) a^a+1=(2n-1)^{2n-1}+1=2n\times(\:(2n-1)^{2n-2}-(2n-1)^{2n-3}+\cdots-1) aa+1=(2n−1)2n−1+1=2n×((2n−1)2n−2−(2n−1)2n−3+⋯−1)
显然 ( 2 n − 1 ) 2 n − 1 + 1 (2n-1)^{2n-1}+1 (2n−1)2n−1+1 被 n n n 整除。
由上式可知, a a + 1 a^a+1 aa+1 是一个偶数,故 a a a^a aa 是一个奇数。
故 a a a + 1 = ( a + 1 ) ( a a a − 1 − a a a − 2 + ⋯ + 1 ) a^{a^a}+1=(a+1)(a^{a^{a}-1}-a^{a^{a}-2}+\cdots+1) aaa+1=(a+1)(aaa−1−aaa−2+⋯+1) 能被 a + 1 = 2 n a+1=2n a+1=2n 整除。
由整除的传递性可知, a a a + 1 a^{a^a}+1 aaa+1 能被 n n n 整除。
对于 a a a a + 1 a^{a^{a^a}}+1 aaaa+1 同理。
归纳下去,原命题显然成立。
证毕。
例7 任给 n n n ( n ≥ 2 ) (n\geq2) (n≥2),是否能构造出含有 n n n 个互不相同的正整数的序列,使得这个序列中任意两项之和,能整除这 n n n 个互不相同的数的乘积。
题解
即证:存在这样的一组数: a 1 , a 2 , . . . , a n a_1,a_2,...,a_n a1,a2,...,an,对于任意的正整数 i , j ( 1 ≤ i , j ≤ n ) i,j(1\leq i,j\leq n) i,j(1≤i,j≤n) 有
( a i + a j ) ∣ ∏ i = 1 n a i (a_i+a_j)|\prod_{i=1}^{n}a_i (ai+aj)∣∏i=1nai。
数学归纳法
n = 2 n=2 n=2 时, a 1 = ( 1 + 2 ) , a 2 = 2 ( 1 + 2 ) a_1=(1+2),a_2=2(1+2) a1=(1+2),a2=2(1+2)。
即 a 1 = 3 , a 2 = 6 a_1=3,a_2=6 a1=3,a2=6 时满足题意。
n = 3 n=3 n=3 时, a 1 = ( 1 + 2 ) ( 1 + 3 ) ( 2 + 3 ) = 3 × 4 × 5 , a 2 = 2 a 1 , a 3 = 3 a 1 a_1=(1+2)(1+3)(2+3)=3\times4\times5,a_2=2a_1,a_3=3a_1 a1=(1+2)(1+3)(2+3)=3×4×5,a2=2a1,a3=3a1
即 a 1 = 60 , a 2 = 120 , a 3 = 180 a_1=60,a_2=120,a_3=180 a1=60,a2=120,a3=180 时满足题意。
不难归纳出,对于任意一个 n ( n ≥ 2 ) n\:(n\geq2) n(n≥2) 都有:
{ a 1 = ( 2 n − 1 ) ! 2 ( i = 1 ) a i = a 1 × i ( i ≥ 2 ) \begin{cases} a_1=\frac{(2n-1)!}{2}\quad(i=1)\\ a_i=a_1\times \:\:i\quad(i\geq2) \end{cases} {a1=2(2n−1)!(i=1)ai=a1×i(i≥2)
证毕。
这是一种构造方法,解法是构造一个形如 a 1 , 2 a 1 , ⋯ , n a n a_1,2a_1,\cdots,na_n a1,2a1,⋯,nan 的序列。
a 1 a_1 a1 必须要包括这个序列中任意两项系数(如 第 i , j i,j i,j 项分别是 a i , a j a_i,a_j ai,aj,系数分别是 i , j i,j i,j
)之和的乘积。
观察结构可以发现是阶乘的形式。
例8 设 n n n 是正整数, n > 1 n>1 n>1,是否存在正整数,它被 11 ⋯ 1 ⏟ n 个 1 \underbrace{11\cdots1}_{n个1} n个1 11⋯1 整除,而且(十进制下的)各位数码之和小于 n n n?
题解
不存在这样的正整数,设 a = 11 ⋯ 1 ⏟ n 个 1 a=\underbrace{11\cdots1}_{n个1} a=n个1 11⋯1,设 x = q × a x=q\times a x=q×a,因为 a a a 的各位数码之和已经
等于 n n n 了,并且每一位数码都是 1 1 1,如果我们想要 x x x 在十进制下的各位数码之和不大
于 n n n,并且还要被 a a a 整除,那么 q q q 只能是 1 0 i 10^i 10i ,即我们只能往 a a a 后面加 0 0 0。但是题目要求各位数码之和小于 n n n,
这是不存在的。
证毕。
例9 设 n n n 和 k k k 都是正整数,证 1 , 2 , ⋯ , n 1,2,\cdots,n 1,2,⋯,n 中恰好有 [ n k ] [\frac{n}{k}] [kn] 个数被 k k k 整除。
题解
对于正整数 n , k n,k n,k ,有唯一的整数 q , r q,r q,r 满足
n = q k + r ( 0 ≤ r < k ) n=qk+r\quad(0\leq r<k) n=qk+r(0≤r<k)
这意味着在 1 ∼ n 1\sim n 1∼n 中恰好有 q q q 个数能被 k k k 整除。
又 q = [ n k ] q=[\frac{n}{k}] q=[kn],所以原命题得证。
证毕。
例10 11 11 11 个女孩与 n n n 个男孩去采蘑菇,一共采到 n 2 + 9 n − 2 n^2+9n-2 n2+9n−2 个蘑菇。
已知每个孩子采到的蘑菇数量都相同,请确定采蘑菇的孩子中哪个性别最多。
题解
设每个孩子采到的蘑菇数量为 x x x。
那么总共采到的蘑菇就可以表示为 ( 11 + n ) × x (11+n)\times x (11+n)×x。
就有等式
n 2 + 9 n − 2 = ( 11 + n ) × x n^2+9n-2=(11+n)\times x n2+9n−2=(11+n)×x
也就是说 n 2 + 9 n − 2 n^2+9n-2 n2+9n−2 是 ( 11 + n ) (11+n) (11+n) 的倍数。
即
n 2 + 9 n − 2 n + 11 = ( n − 2 + 20 n + 11 ) ∈ N + \frac{n^2+9n-2}{n+11}=(n-2+\frac{20}{n+11})\in \N_+ n+11n2+9n−2=(n−2+n+1120)∈N+
当且仅当 n = 9 n=9 n=9 时成立。
所以女性更多。
证毕。
例11 设正整数 n n n 的十进制表示为 n = a k a k − 1 a k − 2 ⋯ a 0 ( 0 ≤ a i ≤ 9 , a k ≠ 0 ) n=a_ka_{k-1}a_{k-2}\cdots a_0\:(0\leq a_i\leq9,a_k\neq0) n=akak−1ak−2⋯a0(0≤ai≤9,ak=0),
记 T ( n ) = a 0 − a 1 + ⋯ + ( − 1 ) k a k T(n)=a_0-a_1+\cdots+(-1)^ka_k T(n)=a0−a1+⋯+(−1)kak (由 n n n 的个位起始的数码的正负交错和)。
证明: n − T ( n ) n-T(n) n−T(n) 被 11 11 11 整除。
由此得出被 11 11 11 整除的数的数字特征: 11 11 11 整除 n n n 的充分必要条件是 11 11 11 整除 T ( n ) T(n) T(n)。
题解
对 n n n 可以写成下面的形式:
n = a k × 1 0 k + a k − 1 × 1 0 k − 1 + ⋯ + a 1 × 10 + a 0 n=a_k\times10^k+a_{k-1}\times10^{k-1}+\cdots+a_1\times10+a_0 n=ak×10k+ak−1×10k−1+⋯+a1×10+a0
n − T ( n ) n-T(n) n−T(n) 可以写成下面的形式:
n − T ( n ) = a k × ( 1 0 k + ( − 1 ) k ) + ⋯ + a 1 × ( 10 − 1 ) ) n-T(n)=a_k\times(10^k+(-1)^k)+\cdots+a_1\times(10-1)) n−T(n)=ak×(10k+(−1)k)+⋯+a1×(10−1))
对于任意整数 i ( 0 ≤ i ≤ k ) i\:(0\leq i\leq k) i(0≤i≤k), n − T ( n ) n-T(n) n−T(n) 的第 i i i 项是 a i × ( 1 0 i + ( − 1 ) i ) a_i\times(10^i+(-1)^i) ai×(10i+(−1)i)。
若 i i i 是奇数,那么 n − T ( n ) n-T(n) n−T(n) 的第 i i i 项是 a i × ( 1 0 i − 1 ) = a i × 9 ⋯ 9 ⏟ i 个 9 a_i\times(10^i-1)=a_i\times\underbrace{9\cdots9}_{i个9} ai×(10i−1)=ai×i个9 9⋯9
显然能够整除 11 11 11。
若 i i i 是偶数, n − T ( n ) n-T(n) n−T(n) 的第 i i i 项是 [ n − T ( n ) ] i = a i × ( 1 0 i + 1 ) [n-T(n)]_i=a_i\times(10^i+1) [n−T(n)]i=ai×(10i+1)。
n − T ( n ) n-T(n) n−T(n)的 i + 1 i+1 i+1 项是 [ n − T ( n ) ] i + 1 = a i + 1 × ( 1 0 i + 1 − 1 ) [n-T(n)]_{i+1}=a_{i+1}\times(10^{i+1}-1) [n−T(n)]i+1=ai+1×(10i+1−1)。
因为 1 0 i + 1 + 1 0 i = 11 × 1 0 i 10^{i+1}+10^i=11\times10^i 10i+1+10i=11×10i,显然整除 11 11 11。
且 [ n − T ( n ) ] i = a i + 1 × 1 0 i − a i + 1 × 1 0 i + a i × 1 0 i [n-T(n)]_i=a_{i+1}\times10^i-a_{i+1}\times10^i+a_i\times10^i [n−T(n)]i=ai+1×10i−ai+1×10i+ai×10i 。
那么我们把第 i i i、 i + 1 i+1 i+1 项合并有:
[ n − T ( n ) ] i + [ n − T ( n ) ] i + 1 = a i + 1 × ( 1 0 i + 1 + 1 0 i ) − ( a i + 1 − a i ) × ( 1 0 i − 1 ) [n-T(n)]_i+[n-T(n)]_{i+1}=a_{i+1}\times(10^{i+1}+10^i)-(a_{i+1}-a_i)\times(10^i-1) [n−T(n)]i+[n−T(n)]i+1=ai+1×(10i+1+10i)−(ai+1−ai)×(10i−1)
显然等式右边能够整除 11 11 11,所以 11 ∣ ( [ n − T ( n ) ] i + [ n − T ( n ) ] i + 1 ) 11|([n-T(n)]_i+[n-T(n)]_{i+1}) 11∣([n−T(n)]i+[n−T(n)]i+1)。
所以:
- 当 k k k 是偶数的时候, ( n − T ( n ) ) (n-T(n)) (n−T(n)) 显然可以分成偶数对 ( i , i + 1 ) , i 是偶数 (i,i+1),i是偶数 (i,i+1),i是偶数。每一对之和都是 11 11 11 的倍数,故 n − T ( n ) n-T(n) n−T(n) 是 11 11 11 的倍数。
- 当 k k k 是奇数的时候,显然 1 ∼ k − 1 1\sim k-1 1∼k−1 能够分成偶数对,现在剩下 a k × ( 1 0 k − 1 ) a_k\times(10^k-1) ak×(10k−1)
显然 a k × ( 1 0 k − 1 ) a_k\times(10^k-1) ak×(10k−1) 是 11 11 11 的倍数,故 n − T ( n ) n-T(n) n−T(n) 是 11 11 11 的倍数。。
综上 n − T ( n ) n-T(n) n−T(n) 能被 11 11 11 整除。
证毕。
例12 设 n n n 个整数具有下述性质:其中任意 n − 1 n-1 n−1 个数之积与剩下的那个数的差都能被 n n n 整除。证明:
这 n n n 个数的平方和也能被 n n n 整除。
题解
设这 n n n 个数是 a 1 , a 2 , ⋯ , a n a_1,a_2,\cdots,a_n a1,a2,⋯,an,设 S = ∏ i = 1 n a i S=\prod_{i=1}^{n}a_i S=∏i=1nai。
已知任意的整数 i ( 1 ≤ i ≤ n ) i(1\leq i\leq n) i(1≤i≤n) 都满足 n ∣ ( S a i − a i ) n|(\frac{S}{a_i}-a_i) n∣(aiS−ai)。
显然存在一个正整数 q i q_i qi 满足 q i × n = ( S a i − a i ) q_i\times n=(\frac{S}{a_i}-a_i) qi×n=(aiS−ai)。
整理得:
q i × n × a i = S − a i 2 q_i\times n\times a_i=S-a_i^2 qi×n×ai=S−ai2
对于每一个 i ∈ { i ∣ 1 ≤ i ≤ n } i\in \lbrace i| 1\leq i\leq n\rbrace i∈{i∣1≤i≤n},累加 ( 1 ) (1) (1) 则有
n × ( ∑ i = 1 n ( q i × a i ) ) = n × S − ∑ i = 1 n a i 2 n\times(\sum_{i=1}^n(q_i\times a_i))=n\times S-\sum_{i=1}^{n}a_i^2 n×(i=1∑n(qi×ai))=n×S−i=1∑nai2
等式左边是 n n n 的倍数,等式右边 n × S n\times S n×S 是 n n n 的倍数。
显然 ∑ i = 1 n a i 2 \sum_{i=1}^{n}a_i^2 ∑i=1nai2 是 n n n 的倍数。
证毕。
例13 设整数 a 、 b 、 c 、 d a、b、c、d a、b、c、d 满足 a d − b c > 1 ad-bc>1 ad−bc>1,证明: a 、 b 、 c 、 d a、b、c、d a、b、c、d 中至少有一个不被 a d − b c ad-bc ad−bc 整除。
题解
考虑反证法。
假设 a 、 b 、 c 、 d a、b、c、d a、b、c、d 都被 a d − b c ad-bc ad−bc 整除,则存在四个整数 q 1 , q 2 , q 3 , q 4 q_1,q_2,q_3,q_4 q1,q2,q3,q4,满足
{ a = q 1 ( a d − b c ) b = q 2 ( a d − b c ) c = q 3 ( a d − b c ) d = q 4 ( a d − b c ) \begin{cases} a=q_1(ad-bc)\\ b=q_2(ad-bc)\\ c=q_3(ad-bc)\\ d=q_4(ad-bc)\\ \end{cases} ⎩ ⎨ ⎧a=q1(ad−bc)b=q2(ad−bc)c=q3(ad−bc)d=q4(ad−bc)
设 x = a d − b c ( x > 1 ) x=ad-bc\:(x>1) x=ad−bc(x>1) , 则有 a d − b c = ( q 1 × q 4 − q 2 × q 3 ) × x 2 ad-bc=(q_1\times q_4-q_2\times q_3)\times x^2 ad−bc=(q1×q4−q2×q3)×x2。
化解为 ( q 1 × q 4 − q 2 × q 3 ) × x = 1 (q_1\times q_4 -q_2\times q_3)\times x=1 (q1×q4−q2×q3)×x=1。
又因为 x > 1 x>1 x>1 ,说明 ( q 1 × q 4 − q 2 × q 3 ) = 1 x < 1 (q_1\times q_4 -q_2\times q_3)=\frac{1}{x}<1 (q1×q4−q2×q3)=x1<1。
显然无解。
与假设矛盾,原命题得证。
证毕。
例14 设 a 、 b a、b a、b 及 n n n 是给定正整数,若对任意正整数 k ( k ≠ b ) k(k\neq b) k(k=b),总有 b − k ∣ a − k n b-k|a-k^n b−k∣a−kn,
证明: a = b n a=b^n a=bn。
题解
已知 b − k ∣ a − k n b-k|a-k^n b−k∣a−kn 对任意正整数 k ( k ≠ b ) k(k\neq b) k(k=b) 都成立。
那么存在整数 q q q,使得 a − k n = q ( b − k ) a-k^n=q(b-k) a−kn=q(b−k)。
变形得: a − b n + b n − k n = q ( b − k ) a-b^n+b^n-k^n=q(b-k) a−bn+bn−kn=q(b−k)
因为 b n − k n = ( b − k ) ( b n − 1 + b n − 2 k + ⋯ + k n − 1 ) b^n-k^n=(b-k)(b^{n-1}+b^{n-2}k+\cdots+k^{n-1}) bn−kn=(b−k)(bn−1+bn−2k+⋯+kn−1)。
即 b n − k n b^n-k^n bn−kn 是 b − k b-k b−k 的倍数。
所以 a − b n a-b^n a−bn 必然是 b − k b-k b−k 的倍数。
则存在一个整数 q 1 q_1 q1 满足 a − b n = q 1 ( b − k ) a-b^n=q_1(b-k) a−bn=q1(b−k) 。
但 k k k 是任意值,所以显然上式子与 k k k 无关。
即 q 1 = 0 q_1=0 q1=0,所以 a = b n a=b^n a=bn。
证毕。
例15 设 m m m 是给定正整数,若有 n n n 个非负整数 k 1 , k 2 , ⋯ , k n k_1,k_2,\cdots,k_n k1,k2,⋯,kn,
使得 2 k 1 + 2 k 2 + ⋯ + 2 k n 2^{k_1}+2^{k_2}+\cdots+2^{k_n} 2k1+2k2+⋯+2kn 被 2 m − 1 2^m-1 2m−1 整除,证明 n ≥ m n\geq m n≥m。
题解
考虑构造使得每一项都能整除 2 m − 1 2^m-1 2m−1。
设 A = 2 k 1 + 2 k 2 + ⋯ + 2 k n A=2^{k_1}+2^{k_2}+\cdots+2^{k_n} A=2k1+2k2+⋯+2kn。
A − n = 2 k 1 − 1 + 2 k 2 − 1 + ⋯ + 2 k 3 − 1 A-n=2^{k_1}-1+2^{k_2}-1+\cdots+2^{k_3}-1 A−n=2k1−1+2k2−1+⋯+2k3−1。
不妨设 k i = q i × m k_i=q_i\times m ki=qi×m 。
那么显然对于 A − n A-n A−n 的任意一项都有 2 k i − 1 = ( 2 m ) q i − 1 = ( 2 m − 1 ) ( ⋯ ) 2^{k_i}-1=(2^{m})^{q_i}-1=(2^m-1)(\cdots) 2ki−1=(2m)qi−1=(2m−1)(⋯)
即每一项都被 2 m − 1 2^m-1 2m−1 整除,所以 A − n A-n A−n 被 2 m − 1 2^m-1 2m−1 整除。
又因为 A A A 被 2 m − 1 2^m-1 2m−1 整除,所以 n n n 被 2 m − 1 2^m-1 2m−1 整除。
2 m − 1 2^m-1 2m−1 当且仅当 m = 1 m=1 m=1 的时候等于 m m m ,所以 n ≥ 2 m − 1 ≥ m n\geq2^m-1\geq m n≥2m−1≥m。
证毕。
或者从二进制的角度思考,因为 2 m − 1 = 2 m − 1 + 2 m − 2 + ⋯ + 2 0 2^m-1=2^{m-1}+2^{m-2}+\cdots+2^0 2m−1=2m−1+2m−2+⋯+20。
即占了二进制的第 0 ∼ m − 1 0\sim m-1 0∼m−1 位,总共 m m m 位。
而 A A A 的每一项都是 2 k i 2^{k_i} 2ki 的形式,所以至多影响 1 1 1 个二进制位。
因为已知 2 m − 1 ∣ A 2^m-1|A 2m−1∣A 所以至少要影响 m m m 位,显然 n ≥ m n\geq m n≥m。
证毕。