一些见过的数学定理

数学定理真是多啊 -_-|| 奈何本人又懒于特意寻找，于是乎就把见到的定理一股脑都写在这吧。

也就是说，这篇博客是会一直更新的，随着博主见到的题目的丰富。最终会是什么样子呢？如果我坚持ACM的话，这篇博客会相当精彩吧，就像我的学习生涯一样（会是这样吗？）。

列个目录先。

---

1.Beatty定理

百度百科
中文名： 贝蒂定理
内容:
设 a 、 b 是 无 理 数 ， 且 1 a + 1 b = 1 。 记 P = { [ n a ] ∣ n 为 任 意 正 整 数 } ， Q = { [ n b ] ∣ n 为 任 意 正 整 数 } ， [ x ] 意 为 取 x 的 整 数 部 分 ， 则 P 与 Q 是 Z + 的 一 个 划 分 ， 即 P ∩ Q = ϕ 且 P ∪ Q = Z + . 设a、b是无理数，且\frac1a+\frac1b=1。记P=\{[na]|n为任意正整数\}，Q=\{[nb]|n为任意正整数\}，[x]意为取x的整数部分，则P与Q是 \mathbb{Z^+} 的一个划分，即P\cap Q=\phi且P\cup Q=\mathbb{Z^+}. 设a、b是无理数，且a1​+b1​=1。记P={[na]∣n为任意正整数}，Q={[nb]∣n为任意正整数}，[x]意为取x的整数部分，则P与Q是Z+的一个划分，即P∩Q=ϕ且P∪Q=Z+.

实例:
威佐夫博弈中a=n*(sqrt(5)+1)/2的证明。

2.素数定理

百度百科
内容： 设x≥1，以π(x)表示不超过x的素数的个数，当x→∞时，π(x)～Li(x)或π(x)～x/ln(x)。

3.齐肯多夫定理

百度百科
内容： 任何正整数都可以表示成若干不连续的斐波那契数（不包括第一个）之和。

实例： 斐波那契博弈。

4.一些无名的规律

• gcd(fib(x),fib(y))=fib(gcd(x,y))，其中fib(x)表示斐波那切数列的第x项，可以用矩阵快速幂求出来。