一.
结论 : Ax≡B(modC) 有解的充要条件为 B|gcd(A,C) 且解的个数有 gcd(A,C) 个。
证明(扯淡): 方程 ax≡b(modc) (a,c互质)在 [0,c) 内有且仅有一个解。那么原式就有 gcd(A,C) 个解。
二.
结论:
f[i]
表示斐波那契数列第i项,那么
f[n+m]=f[n−1]f[m]+f[n]f[m+1]
证明:
三.
指数循环节: ABmodC=AB%ϕ(C)+ϕ(C)modC(B≥ϕ(C)) ,把它当成欧拉定理的扩展吧,这里A,C可以不互质。
四.
斯特林公式: n!≈2πn−−−√(ne)n
五.
泰勒展开: f(x)=∑i=0∞f(i)(x0)i!(x−x0)i