数论，在 OI 中是解决一些实际问题，或者化简时间复杂度使用的。
整除/同余理论常见符号
- \(a | b\)：表示 \(y\) 可以整除 \(x\)，即 \(x\) 是 \(y\) 的因数。
- \(a \bmod b\)：表示 \(a\) 除以 \(b\) 的余数
- \(\gcd(a,b)\)：表示 \(a\) 与 \(b\) 的最大公因数
- \(\operatorname{lcm}(a,b)\)：表示 \(a\) 与 \(b\) 的最小公倍数
- \(a \bot b\)：表示 \(a\) 与 \(b\) 互质，即 \(\gcd(a,b)=1\)
数论函数常见符号
求和符号：\(\sum\)
- \(\sum_{i=1}^n a_i\) 表示 \(a_1 + a_2 + a_3 + \cdots + a_n\)，即 \(\frac{n(n+1)}{2}\)
- \(\sum_{i | d}i\) 表示 \(d\) 的所有因数之和
- \(\sum_{i \bot d,i \le d}1\) 表示小于等于 \(d\) 的数中有多少个与 \(d\) 互质
求积符号：\(\prod\)
- \(\prod_{i=1}^ni\) 表示 \(1 \sim n\) 的乘积，即 \(n\) 的阶乘 \(n!\)
- \(\prod_{i | d}i\) 表示 \(d\) 所有因数的乘积