[自用] 数学小定理相关

写在前面

由于上一篇数学相关分版块记录定理及证明,对于小定理等略有繁琐,故新开一篇博客记录一些数学小芝士,以此备忘。


关于质因子

\(1-2\times 10^9\) 中任何数的不同质因子都不会超过 \(10\) 个,且所有质因子的指数总和不超过 \(30\)

证明:因为最小的 \(11\) 个质因子相乘 \(2\times 3\times 5\times 7\times 11\times 13\times 17\times 19\times 23\times 29\times 31>2\times 10^9\),所以 \(N\leq 2\times 10^9\) 不可能有多于 \(10\) 个不同质因子。
因为即使只包含最小的质数,仍然有 \(2^{31}>2\times 10^9\) ,所以 \(N\leq 2\times 10^9\) 的质因子质数总和不会超过 \(30\)


欧拉函数

\[\sum _{d\mid n}\phi(d)=n \]


扩展欧拉定理

\[a^b\equiv \begin{cases}a^{b\% \phi(p)}\;\;\;\qquad gcd(a,p)=1\\a^b\qquad\;\qquad\;\; gcd(a,p)\ne1,b<\phi(p)\\a^{b\%\phi(p)+\phi(p)}\quad gcd(a,p)\ne1,b\geq\phi(p)\end{cases} \qquad (mod\;p) \]


小引理

\(gcd(a,n)=1\),则满足 \(a^x\equiv 1\quad (mod\;n)\) 的最小正整数 \(x_0\)\(\phi(n)\) 的约数。


范德蒙德卷积

\[\sum_{i+j=k} C_n^i \times C_m^j = C_{n+m}^k \]


不会证的东西

\[\lfloor{\frac{\lfloor{\frac{n}{i}}\rfloor}{j}}\rfloor=\lfloor{\frac{n}{i\times j}}\rfloor \]

\[x\;\text{mod}\;yz\;\text{div}\;z=x\;\text{div}\;z\;\text{mod}\; y \]


带根号求\(k\)次方

有时候需要求这个式子:\((a+b\sqrt c)^k\)。比如说求一下这个式子的整数部分。或许会有特性是\((a-b\sqrt c)<1\)

直接求?精度误差很大。

有个结论是:\((a+b\sqrt c)^k+(a-b\sqrt c)^k\) 肯定是个整数。

证明可以用二项式定理那一套证,指数是偶数的是整数,指数是奇数的直接消掉了。

又观察到\((a-b\sqrt c)^k\)是个非常非常小的小数,所以我们求的式子的整数部分就是这个整数减去1了。

posted @ 2018-05-12 23:25  YoungNeal  阅读(426)  评论(1编辑  收藏  举报