数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪....
Transcript of 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪....
![Page 2: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/2.jpg)
目录
下取整函数的一条性质
下取整函数的另一条性质
欧拉函数的一条性质
σ0 函数的一些性质
欧拉定理的一个推论
除数函数的渐进上界
参考资料
2
![Page 3: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/3.jpg)
下取整函数的一条性质.
![Page 4: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/4.jpg)
结论
⌊nd⌋至多只有 2√n种取值
3
![Page 5: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/5.jpg)
证明
(α) d ≤√n,有至多有
√n个 d,所以 ⌊nd⌋至多有
√n种不
同的取值
(β) d >√n,有 ⌊nd⌋ <
√n,所以 ⌊nd⌋至多有
√n种不同的
取值
由 (α), (β)得 ⌊nd⌋至多只有 2√n种取值
4
![Page 6: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/6.jpg)
下取整函数的另一条性质.
![Page 7: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/7.jpg)
结论
若 m ∈ Z+,有: ⌊⌊x⌋m
⌋=
⌊xm
⌋
5
![Page 8: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/8.jpg)
证明
设 ⌊x⌋存在分解 qm+ r,其中 q, r ∈ N, r ∈ [0,m)
LHS =
⌊q+ r
m
⌋= q
RHS =
⌊⌊x⌋m + x−⌊x⌋
m
⌋=
⌊q+ x−⌊x⌋+r
m
⌋= q = LHS
6
![Page 9: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/9.jpg)
欧拉函数的一条性质.
![Page 10: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/10.jpg)
结论
n =∑d:d|n
φ(d)
7
![Page 11: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/11.jpg)
证明
考虑集合 Xn = {1, 2, 3, . . . ,n}。对于 ∀m ∈ Xn 有唯一分解m = d · md 满足 d = (m,n)
按 d分类,构造集合 Ai = {dik∣∣di | n, (k, n
di= 1),dik ≤ n},
显然这些集合互不相交,又 Xn =∪Ai,所以 |Xn| =
∑|Ai|
对于任意集合 Ai 有 k = 1, 2, · · · , ndi,所以 |Ai| = n
di,所以
|Xn| = n =∑d:d|n
nd
8
![Page 12: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/12.jpg)
σ0函数的一些性质.
![Page 13: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/13.jpg)
结论
σ0(ab) =∑i:i|a
∑j:j|b
[gcd(i, j) = 1]
σ0(abc) =∑i:i|a
∑j:j|b
∑k:k|c
[gcd(i, j) = gcd(j, k) = gcd(i, k) = 1]
· · ·
9
![Page 14: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/14.jpg)
证明
按 gcd(a,b)的不同质因子的个数 k来归纳证明σ0(ab) =
∑i:i|a
∑j:j|b
[gcd(i, j) = 1]:
(α)当 k = 0时,a,b互质。因为 σ0(x)是积性函数,所以σ0(ab) = σ0(a)σ0(b) = (
∑i:i|a
1) · (∑j:j|b
1) =∑i:i|a
∑j:j|b
1 =∑i:i|a
∑j:j|b
[gcd(i, j) = 1],即当 k = 0时结论成立
(β)当 k ≥ 1时,取任意质因数 p,并将 a,b分解:a = Apk0 ,b = Bpk1 满足 gcd(A,p) = gcd(B,p) = 1,有:
10
![Page 15: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/15.jpg)
证明
σ0(a,b) =(k0 + k1 + 1)σ0(AB)
=(k0 + k1 + 1)∑i:i|A
∑j:j|B
[gcd(i, j) = 1] (根据归纳假设)
=∑
i:i|Apk0
∑j:j|B
[gcd(i, j) = 1] +∑i:i|A
∑j:j|Bpk1
[gcd(i, j) = 1]
−∑i:i|A
∑j:j|B
[gcd(i, j) = 1]
=∑
i:i|Apk0
∑j:j|Bpk1
[gcd(i, j) = 1]
=∑i:i|a
∑j:j|b
[gcd(i, j) = 1]
所以在这种情况下,结论仍然成立
由 (α), (β)得,σ0(ab) =∑i:i|a
∑j:j|b
[gcd(i, j) = 1]11
![Page 16: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/16.jpg)
证明
σ0(abc) =∑i:i|a
∑j:j|b
∑k:k|c
[gcd(i, j) = gcd(j, k) = gcd(i, k) = 1]的
证明:
http://codeforces.com/blog/entry/5600
12
![Page 17: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/17.jpg)
欧拉定理的一个推论.
![Page 18: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/18.jpg)
结论
若 x ≥ φ(m),有:
ax ≡ ax%φ(m)+φ(m) (mod m)
13
![Page 20: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/20.jpg)
除数函数的渐进上界.
![Page 21: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/21.jpg)
结论
在一定范围内,n的约数至多有多少个呢?
105 以内 83160,128个
106 以内 720720,240个
107 以内 8648640,448个
108 以内 73513440,768个
109 以内 735134400,1344个
int32以内 2095133040,1600个
1018 以内 897612484786617600,103680个
int64以内 9200527969062830400,161280个
15
![Page 22: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/22.jpg)
参考资料.
![Page 23: 数论常见结论及其证明 - oi.cyo.ng...数论函数及其求和 潘承洞, 潘承彪. 初等数论 16. Title: 数论常见结论及其证明 Author: Qizy Created Date: 2/9/2018](https://reader035.fdocument.pub/reader035/viewer/2022062417/612f0d331ecc5158694332a5/html5/thumbnails/23.jpg)
参考资料
金策. 数论函数及其求和
潘承洞,潘承彪. 初等数论
16