先看看两道题:
BZOJ 4176 - Lucas的数论
51Nod 1220 - 约数之和
这两题,一个是求
∑
i
=
1
n
∑
j
=
1
n
σ
0
(
i
j
)
\displaystyle\sum_{i=1}^{n}\displaystyle\sum_{j=1}^{n}\sigma_0(i j)
i=1∑nj=1∑nσ0(ij),一个是求
∑
i
=
1
n
∑
j
=
1
n
σ
1
(
i
j
)
\displaystyle\sum_{i=1}^{n}\displaystyle\sum_{j=1}^{n}\sigma_1(ij)
i=1∑nj=1∑nσ1(ij),很自然的让人联~想到求
∑
i
=
1
n
∑
j
=
1
n
σ
k
(
i
j
)
\displaystyle\sum_{i=1}^{n}\displaystyle\sum_{j=1}^{n}\sigma_k(ij)
i=1∑nj=1∑nσk(ij)。更巧合的是,两题的起点都在一个对
σ
\sigma
σ 的转换上。具体而言,对
σ
0
(
m
n
)
\sigma_0(mn)
σ0(mn) 可以转化为
∑
i
∣
m
∑
j
∣
n
[
g
c
d
(
i
,
j
)
=
1
]
\displaystyle\sum_{i|m}\displaystyle\sum_{j|n}[gcd(i,j)=1]
i∣m∑j∣n∑[gcd(i,j)=1],对
σ
1
(
m
n
)
\sigma_1(mn)
σ1(mn) 可以转化为
∑
s
∣
m
∑
t
∣
n
m
t
s
[
g
c
d
(
s
,
t
)
=
1
]
\displaystyle\sum_{s|m}\displaystyle\sum_{t|n}\frac{mt}{s}[gcd(s,t)=1]
s∣m∑t∣n∑smt[gcd(s,t)=1]。尤其是在对后者有一个感性认识后能自然联~想到这样的转换:
σ
k
(
m
n
)
=
∑
s
∣
m
∑
t
∣
n
m
k
t
k
s
k
[
g
c
d
(
s
,
t
)
=
1
]
\sigma_k(mn)=\displaystyle\sum_{s|m}\displaystyle\sum_{t|n}\frac{m^kt^k}{s^k}[gcd(s,t)=1]
σk(mn)=s∣m∑t∣n∑skmktk[gcd(s,t)=1],并且的确可以通过归纳证明。这在处理
σ
k
\sigma_k
σk 相关问题时可以作为一个思考方向。
约数函数的等价变换
最新推荐文章于 2022-10-10 10:47:37 发布