數論函數與數論恆等式

數論函數與數論恆等式


1. 取整函數

r=r+{r},rZ,{r}[0,1)

r=rc,rZ,c[0,1)

幾個不等式:

插入/刪除取整號

  1. r<nr<n
    證明:

    r<nnr>{r}0r<n

    同理有:
    r>nr>n
  2. rnrn
    證明:

    rnrcnrnc<1r<n+1rn

    同理有:
    rnrn

整除邊界值

pi=pkkppi

證明:

由於:

pi=pi+c1pk=pk+c2

滿足c[0,1) ,聯立以上若干式,可得:

0pkpi<1

滿足:

kppikppi

2. 數論函數

歐拉函數

φ(i)=ki[(i,k)=1]

性質: 歐拉函數是積性函數。

證明:

φ(ij)=kij[(ij,k)=1]=kij[(i,k)=1][(j,k)=1]=j(p1)+qij,qj[(i,j(p1)+q)=1][(j,j(p1)+q)=1]=(p1)+q/ji,qj[(i,j(p1)+q)=1][(j,q)=1]

k=(p1)+q/j ,則原式爲:

ki,qj[(i,kj)=1][(j,q)=1]

其中k 是一個有理數,因爲素數有無窮多個,對於任意大的i,j ,總可以找到一個素數作爲模。容易利用同餘式證明模意義下存在:

(i,j)=1 then (i,kj)=1(i,k)=1

則原式就是:

ki,qj[(i,k)=1][(j,q)=1]

注意到:

φ(i)φ(j)=ki[(i,k)=1]kj[(j,k)=1]=ki,pj[(i,k)=1][(j,p)=1]=ki,pj[(i,k)=1][(j,p)=1]

則有:(m,n)=1,φ(mn)=φ(m)φ(n)

因子個數函數

d(n)=i[i|n]

性質: d(i)=(pk(i)+1) 。證明依賴唯一分解定理和乘法原理。其中pk(i) 表示第k 個素數在i 的唯一分解中的冪次。

函數d 與另一個函數e(n) 密切相關,它被定義爲n 的最小素因子在唯一分解中的冪次。

下列性質給出了O(n) 求解d 函數的方法。

  • jij 最小的素因子,d(ij)=d(i)(e(i)+2)(e(i)+1)
  • (i,j)=1d(ij)=d(i)d(j)

e(i) 的維護十分方便,因此可以得到:

const int MAXN = 50005;
int prime[MAXN], not_prime[MAXN], e[MAXN], d[MAXN], top = 0;
void get_prime(int n)
{
    e[1] = 0, d[1] = 1;
    for (int i = 2; i <= n; i++) {
        if (!not_prime[i]) { prime[++top] = i, e[i] = 1, d[i] = 2; }
        for (int j = 1; j <= top && prime[j]*i <= n; j++) {
            not_prime[prime[j]*i] = 1;
            if (i%prime[j] == 0) {
                d[prime[j]*i] = d[i]/(e[i]+1)*(e[i]+2);
                e[prime[j]*i] = e[i]+1;
                break;
            }
            e[prime[j]*i] = 1;
            d[prime[j]*i] = d[i]*d[prime[j]];
        }
    }
    for (int i = 1; i <= 20; i++)
        cout << d[i] << " ";
    puts("");
}

莫比烏斯函數

μ(d)=[p,p(i)1](1)p(i)

符號p(k) 爲k中蘊含素因子p的個數。

性質:

  1. 莫比烏斯函數是積性函數
  2. d|nμ(d)=[n=1]
  3. (反演定理)
    F(n)=d|nf(n)f(n)=d|nμ(nd)F(d)

    證明:
    d|nμ(nd)F(d)=d|nμ(nd)k|df(k)=k|nf(k)k|d,d|nμ(nd)

    d=pk,q=n/k ,原式=
    k|nf(k)pk|nμ(npk)=k|nf(k)p|qμ(qp)=k|nf(k)[q=1]=f(n)
  4. 另一種形式的反演定理:
    F(i)=k1f(ki)f(i)=k1μ(k)F(ki)

處理的技巧

參見:http://blog.csdn.net/oiljt12138/article/details/70188437

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章