積性函數&歐拉函數&莫比烏斯函數

積性函數

  • (積性函數).
    如果算術函數ff對任意兩個互素的正整數a和b,f(ab)=f(a)f(b)f(ab)=f(a)f(b),則ff被稱爲積性函數(或乘性函數);如果對任意兩個正整數a和b,f(ab)=f(a)f(b)f(ab)=f(a)f(b),則ff被稱爲完全積性函數(或完全乘性函數)。

  • fnnn=p1a1p2a2...pmam,f(n)=f(p1a1)f(p2a2)...f(pmam).如果f是一個積性函數,n是一個正整數,且n有素冪因子分解\\n=p_1^{a_1}p_2^{a_2}...p_m^{a_m}, 則f(n)=f(p_1^{a_1})f(p_2^{a_2})...f(p_m^{a_m}).

歐拉函數

  • (歐拉函數ϕ(n)\phi(n)
    nn是一個正整數。歐拉ϕ\phi函數ϕ(n)\phi(n)是不超過nn且與nn互素的正整數的個數;
    如果nn是素數,ϕ(n)=n1\phi(n)=n-1;如果n是合數,ϕ(n)<n1\phi(n)<n-1.

  • ϕ\phi函數公式)
    如果p是一個素數,且k是正整數,則ϕ(pk)=pkpk1\phi(p^k)=p^k-p^{k-1}
    如果m和n是互素的正整數,ϕ(mn)=ϕ(m)ϕ(n)\phi(mn)=\phi(m)\phi(n)
    所以,ϕ(n)\phi(n)是積性函數,但不是完全積性函數。

  • ϕ(n)\phi(n)計算公式)
    如果nn有素因子分解n=p1a1p2a2...pmamn=p_1^{a_1}p_2^{a_2}...p_m^{a_m},那麼有歐拉ϕ\phi函數ϕ(n)=n(11p1)(11p2)...(11pm)\phi(n) = n*(1-\frac{1}{p_1})(1-\frac{1}{p_2})...(1-\frac{1}{p_m})

  • (歐拉定理)
    如果nnaa 是互素的正整數,則aϕ(n)1mod  na^{\phi(n)}≡1 \mod n.

  • (a模n的階)
    設a和n是互素的整數,a>=0,n>0。使得ax1mod  na^x≡1\mod n成立的最小正整數x被稱爲a模n的階,並記爲ordnaord_na

  • (原根)
    設a和n是互素的整數,且n>0。如果ordna=ϕ(n)ord_na = \phi(n),則稱a是模n的原根,並稱n有一個原根。

    如果正整數n有一個原根,那麼它有ϕ(ϕ(n))\phi(\phi(n))個不同餘的原根。

  • (模nn的既約剩餘系)
    模n的既約剩餘系是由ϕ(n)\phi(n)個整數構成的集合,集合中的每個元素均與nn互素,且任何兩個元素模nn不同餘。

    定理:如果集合{r1,r2,,rn}\{r_1, r_2, …, r_n\}是一個模n的既約剩餘系,並且nnaa是互素的正整數,則集合{ar1,ar2,,arn}\{a*r_1,a*r_2, …,a*r_n\}也是一個模nn的既約剩餘系。

  • 計算gcd(i,N)\sum gcd(i,N)
    首先,在從1到N的每個數中,如果gcd(i,N)=p,1<pNgcd(i, N)=p,(1<p\leq N),則i/p和N/p互素,且滿足gcd(i,N)=pgcd(i, N)=p的i的個數是ϕ(N/p)\phi(N/p),所以,相應的和爲pϕ(N/p)p*\phi(N/p)。所以,要計算gcd(i,N)\sum gcd(i,N),只需要根據gcd的值不同,分類進行計算即可,gcd(i,N)=pNpϕ(N/p)\sum gcd(i,N)=\sum_{p|N} p*\phi(N/p).

莫比烏斯函數

考慮非平方數的因子個數,ff的和函數F(n)=dnf(d)F(n)=\sum_{d|n}f(d).
由此可見,f(n)f(n)等於±F(n/d)\pm F(n/d)之和。

  • (莫比烏斯函數)
    μ(n)={1n=1(1)mn=p1p2...pm,pi0\mu(n)=\begin{aligned} \left\{ \begin{array}{lr} 1 & n=1\\ (-1)^m &n=p_1p_2...p_m,其中p_i爲不同的素數 \\0&其他 \end{array} \right. \end{aligned}
  • 定理:莫比烏斯函數μ(n)\mu(n)是積性函數。、
  • (莫比烏斯反演公式)
    ff是算術函數,FFff的和函數,F(n)=dnf(d)F(n)=\sum_{d|n}f(d),則f(n)=dnμ(d)F(n/d)f(n)=\sum_{d|n}\mu(d)F(n/d)
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章