这篇文章主要是整理一些定理,方便后面复习。没有证明(学OI要什么证明)。
数论相关
常见的积性函数
单位函数
欧拉函数
表示小于等于n的数字中与n互质的数字个数。
莫比乌斯函数
正因子数
因子函数
易知(sigma_0(n)=d(n))
(sigma_1(n))一般记作(sigma(n))
常值函数
幂函数
特别的,(Id_1(n))常记作(Id(n))
狄利克雷卷积
对于两个数论函数(f),(g)
其中*为狄利克雷卷积的运算符号。如果f和g为积性函数,那么(f*g)也为积性函数。
性质
1.对于任意的数论函数f有
2.$$Id = 1*varphi$$
3.$$epsilon=1*mu$$
4.$$sigma_k=1*Id_k$$
莫比乌斯反演
如果(g=f*1)
那么有(f=f*epsilon=f*1*mu=g*mu)
莫比乌斯反演常用卷积:(mu*1=epsilon,Id=1*varphi)
约数个数定理
(n=prod p_i^{k_i}Rightarrowsigma(n) = sumlimits_{d|n}1=prod (k_i+1))
证明:其实很显然,只要枚举每种质因子的出现在约数中的个数就能得到所有的约数。对于在(n)里出现了(k)次的质因子,在约数里面有(k+1)中选择,即选(0,1,2...k)个。
拉格朗日插值
拉格朗日插值可以在给定n个点的情况下,在(O(n^2))复杂度内找到原多项式在(k)位置的取值。
中国剩余定理
对于一个同余方程组(egin{cases}x equiv a_1(mod m_1)\xequiv a_2(mod m_2)\ cdots\ xequiv a_n(mod m_n)end{cases})。如果满足(m_1,m_2...m_n)两两互质。
那么就有(xequivsumlimits_{i=1}^na_ifrac{M}{a_i}(frac{M}{a_i})^{-1}_{m_i}(mod M))。
其中(M=prodlimits_{i=1}^na_i)
组合相关
二项式定理
广义二项式定理:
多项式相关
由1式求导得(frac{1}{(1-x)^2}=1+2x+3x^2+4x^3+...)
由上式求导得(frac{2}{(1-x)^3}=2+6x+12x^2+20x^3+...)
其他小知识点
(lfloorfrac{lfloorfrac{n}{i} floor}{x} floor=lfloorfrac{n}{ix} floor)
(sumlimits_{i=1}^nlfloorfrac{n}{i} floor=sumlimits_{i=1}^nd(i))