1. 带约数 \sum 变连续 \sum

    d=dnnd=d=1d<\begin{gather} \text{设}d'=\dfrac{d}{n}\\ \sum\limits_{n\mid d}=\sum\limits_{d'=1}^{d'<\infty}\\ \end{gather}

  2. 又一个求约数个数的公式

    d(n)n约数个数d(nm)=dngm[(d,g)=1]\begin{gather} \text{设}d(n)\text{为}n\text{约数个数}\\ d(nm)=\sum\limits_{d\mid n}\sum\limits_{g\mid m}[(d,g)=1]\\ \end{gather}

  3. 构造莫反

    f(n)=[(i,j)=n]F(n)=[ninj]F(n)=ndf(d)\begin{gather} \text{设}f(n)=\sum\limits_{\cdots}[(i,j)=n]\\ \text{设}F(n)=\sum\limits_{\cdots}[n\mid i\land n\mid j]\\ \text{则}F(n)=\sum\limits_{n\mid d}f(d) \end{gather}

  4. 含约数的 \sum 改变变量定义的顺序

    i=1indi=d=1dndiin\begin{gather} \sum\limits_{i=1}^{i\le n}\sum\limits_{d\mid i}=\sum\limits_{d=1}^{d\le n}\sum\limits_{d\mid i}^{i\le n}\\ \end{gather}

  5. 含约数的 \sum 改变变量定义的顺序2

    dngnd=gndng\begin{gather} \sum\limits_{d\mid n}\sum\limits_{g\mid \frac{n}{d}}=\sum\limits_{g\mid n}\sum\limits_{d\mid \frac{n}{g}} \end{gather}

  6. \sum 的基本运算

    1. AA 为任意算式,若 AA 中不含 1\sum_1 中定义的变量,则 1A=A1\sum_1 A=A\sum_1

    2. A,BA,B 为任意算式,若 2\sum_2BB 中不含 1\sum_1 中定义的变量,则 1A2B=(1A)(2B)\sum_1 A\sum_2 B=(\sum_1 A)(\sum_2 B)