Divisibility Part2(整除理论2)

Divisibility Part2

本节内容是Part1的进阶内容,主要讲的是整除在竞赛中的一些常用的技巧。

数的分解

一、带余除法

对于任意两个整数 a 、 b ( b ≠ 0 ) a、b(b\neq 0) ab(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(0r<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}) xnyn=(xy)(xn1+xn2y++xyn2+yn1)

  • 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)(xn1xn2y+xyn2+yn1)

运用

1 1 1 证明: 1 0 ⋯ 0 ⏟ 200 个 0 1 1\underbrace{0\cdots0}_{200个0}1 12000 001 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) 12000 001=100067+1=(1001)(100066100065+1000+1)
证毕。


2 2 2 m > n ≥ 0 m>n\geq0 m>n0 ,证明: ( 2 2 n + 1 ) ∣ ( 2 2 m − 1 ) (2^{2^{n}}+1)|(2^{2^m}-1) (22n+1)(22m1)

题解

因为 m − n − 1 ≥ 0 m-n-1\geq 0 mn10

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) 22m1=22n+1+mn11=(22n)2mn11=(22n+11)()

显然 2 2 m − 1 2^{2^m}-1 22m1 2 2 n + 1 − 1 2^{2^{n+1}}-1 22n+11 的倍数。

又因为 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+11=(22n1)(22n+1),即 ( 2 2 n + 1 ) ∣ ( 2 2 n + 1 − 1 ) (2^{2^n}+1)|(2^{2^{n+1}}-1) (22n+1)(22n+11)

根据整除的传递性有: ( 2 2 n + 1 ) ∣ ( 2 2 m − 1 ) (2^{2^{n}}+1)|(2^{2^m}-1) (22n+1)(22m1)

证毕。


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=(10i1)+1=i9 99+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∣n9∣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++n9 99an
等式变成:
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++n9 99an)
显然 n n n 9 9 9 的倍数。

所以 $9|S(n)\Rarr 9|n $ 必要性成立。

证毕。


例4 k k k 是一个奇数 ( k ≥ 1 ) (k\geq1) (k1),证明:对任意正整数 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)+((n1)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 a2,证明: a m − 1 ∣ a n − 1 a^m-1|a^n-1 am1∣an1 的充分必要条件是 m ∣ n m|n mn

题解

充分性:

已知 a m − 1 ∣ a n − 1 a^m-1|a^n-1 am1∣an1,说明
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_+ an1=(am)mn1=(am1)((am)mn1+(am)mn2++1),mnN+
所以 m ∣ n m|n mn

必要性:

已知 m ∣ n m|n mn,设 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) an1=(am)x1=(am1)((am)x1+(am)x2++1)
a m − 1 ∣ a n − 1 a^m-1 |a^n-1 am1∣an1

证毕。


例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=n1​ 为奇数,使得
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=(n1)n1+1=n×((n1)n2(n1)n3+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)(aaa1aaa2++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=2n1 为奇数,使得
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=(2n1)2n1+1=2n×((2n1)2n2(2n1)2n3+1)
显然 ( 2 n − 1 ) 2 n − 1 + 1 (2n-1)^{2n-1}+1 (2n1)2n1+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)(aaa1aaa2++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) (n2),是否能构造出含有 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(1i,jn)

( 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(n2) 都有:
{ 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(2n1)!(i=1)ai=a1×i(i2)
证毕。

这是一种构造方法,解法是构造一个形如 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} n1 111 整除,而且(十进制下的)各位数码之和小于 n n n

题解

不存在这样的正整数,设 a = 11 ⋯ 1 ⏟ n 个 1 a=\underbrace{11\cdots1}_{n个1} a=n1 111,设 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(0r<k)
这意味着在 1 ∼ n 1\sim n 1n 中恰好有 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+9n2 个蘑菇。

已知每个孩子采到的蘑菇数量都相同,请确定采蘑菇的孩子中哪个性别最多。

题解

设每个孩子采到的蘑菇数量为 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+9n2=(11+n)×x
也就是说 n 2 + 9 n − 2 n^2+9n-2 n2+9n2 ( 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+9n2=(n2+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=akak1ak2a0(0ai9,ak=0)

T ( n ) = a 0 − a 1 + ⋯ + ( − 1 ) k a k T(n)=a_0-a_1+\cdots+(-1)^ka_k T(n)=a0a1++(1)kak (由 n n n 的个位起始的数码的正负交错和)。

证明: n − T ( n ) n-T(n) nT(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+ak1×10k1++a1×10+a0
n − T ( n ) n-T(n) nT(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)) nT(n)=ak×(10k+(1)k)++a1×(101))
对于任意整数 i   ( 0 ≤ i ≤ k ) i\:(0\leq i\leq k) i(0ik) n − T ( n ) n-T(n) nT(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) nT(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×(10i1)=ai×i9 99

显然能够整除 11 11 11

i i i 是偶数, n − T ( n ) n-T(n) nT(n) 的第 i i i 项是 [ n − T ( n ) ] i = a i × ( 1 0 i + 1 ) [n-T(n)]_i=a_i\times(10^i+1) [nT(n)]i=ai×(10i+1)

n − T ( n ) n-T(n) nT(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) [nT(n)]i+1=ai+1×(10i+11)

因为 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 [nT(n)]i=ai+1×10iai+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) [nT(n)]i+[nT(n)]i+1=ai+1×(10i+1+10i)(ai+1ai)×(10i1)
显然等式右边能够整除 11 11 11,所以 11 ∣ ( [ n − T ( n ) ] i + [ n − T ( n ) ] i + 1 ) 11|([n-T(n)]_i+[n-T(n)]_{i+1}) 11∣([nT(n)]i+[nT(n)]i+1)

所以:

  1. k k k 是偶数的时候, ( n − T ( n ) ) (n-T(n)) (nT(n)) 显然可以分成偶数对 ( i , i + 1 ) , i 是偶数 (i,i+1),i是偶数 (i,i+1),i是偶数。每一对之和都是 11 11 11 的倍数,故 n − T ( n ) n-T(n) nT(n) 11 11 11 的倍数。
  2. k k k 是奇数的时候,显然 1 ∼ k − 1 1\sim k-1 1k1 能够分成偶数对,现在剩下 a k × ( 1 0 k − 1 ) a_k\times(10^k-1) ak×(10k1)

显然 a k × ( 1 0 k − 1 ) a_k\times(10^k-1) ak×(10k1) 11 11 11 的倍数,故 n − T ( n ) n-T(n) nT(n) 11 11 11 的倍数。。

综上 n − T ( n ) n-T(n) nT(n) 能被 11 11 11 整除。

证毕。


例12 n n n 个整数具有下述性质:其中任意 n − 1 n-1 n1 个数之积与剩下的那个数的差都能被 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(1in) 都满足 n ∣ ( S a i − a i ) n|(\frac{S}{a_i}-a_i) n(aiSai)

显然存在一个正整数 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=(aiSai)

整理得:
q i × n × a i = S − a i 2 q_i\times n\times a_i=S-a_i^2 qi×n×ai=Sai2
对于每一个 i ∈ { i ∣ 1 ≤ i ≤ n } i\in \lbrace i| 1\leq i\leq n\rbrace i{i∣1in},累加 ( 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=1n(qi×ai))=n×Si=1nai2
等式左边是 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 abcd 满足 a d − b c > 1 ad-bc>1 adbc>1,证明: a 、 b 、 c 、 d a、b、c、d abcd 中至少有一个不被 a d − b c ad-bc adbc​ 整除。

题解

考虑反证法。

假设 a 、 b 、 c 、 d a、b、c、d abcd 都被 a d − b c ad-bc adbc 整除,则存在四个整数 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(adbc)b=q2(adbc)c=q3(adbc)d=q4(adbc)
x = a d − b c   ( x > 1 ) x=ad-bc\:(x>1) x=adbc(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 adbc=(q1×q4q2×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×q4q2×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×q4q2×q3)=x1<1

显然无解。

与假设矛盾,原命题得证。

证毕。


例14 a 、 b a、b ab n n n 是给定正整数,若对任意正整数 k ( k ≠ b ) k(k\neq b) k(k=b),总有 b − k ∣ a − k n b-k|a-k^n bkakn

证明: a = b n a=b^n a=bn

题解

已知 b − k ∣ a − k n b-k|a-k^n bkakn 对任意正整数 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) akn=q(bk)

变形得: a − b n + b n − k n = q ( b − k ) a-b^n+b^n-k^n=q(b-k) abn+bnkn=q(bk)

因为 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}) bnkn=(bk)(bn1+bn2k++kn1)

b n − k n b^n-k^n bnkn b − k b-k bk 的倍数。

所以 a − b n a-b^n abn 必然是 b − k b-k bk 的倍数。

则存在一个整数 q 1 q_1 q1 满足 a − b n = q 1 ( b − k ) a-b^n=q_1(b-k) abn=q1(bk)

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 2m1 整除,证明 n ≥ m n\geq m nm

题解

考虑构造使得每一项都能整除 2 m − 1 2^m-1 2m1

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 An=2k11+2k21++2k31

不妨设 k i = q i × m k_i=q_i\times m ki=qi×m

那么显然对于 A − n A-n An 的任意一项都有 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) 2ki1=(2m)qi1=(2m1)()

即每一项都被 2 m − 1 2^m-1 2m1 整除,所以 A − n A-n An 2 m − 1 2^m-1 2m1 整除。

又因为 A A A 2 m − 1 2^m-1 2m1 整除,所以 n n n 2 m − 1 2^m-1 2m1 整除。

2 m − 1 2^m-1 2m1 当且仅当 m = 1 m=1 m=1 的时候等于 m m m ,所以 n ≥ 2 m − 1 ≥ m n\geq2^m-1\geq m n2m1m

证毕。

或者从二进制的角度思考,因为 2 m − 1 = 2 m − 1 + 2 m − 2 + ⋯ + 2 0 2^m-1=2^{m-1}+2^{m-2}+\cdots+2^0 2m1=2m1+2m2++20

即占了二进制的第 0 ∼ m − 1 0\sim m-1 0m1 位,总共 m m m 位。

A A A 的每一项都是 2 k i 2^{k_i} 2ki 的形式,所以至多影响 1 1 1​ 个二进制位。

因为已知 2 m − 1 ∣ A 2^m-1|A 2m1∣A 所以至少要影响 m m m 位,显然 n ≥ m n\geq m nm

证毕

  • 15
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

louisdlee.

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值