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