数学定理大全及证明-数学定理大全及证明

数学这东西，有时候真像生活本身，光怪陆离。别让我来教你那些死板的定理，我也不是那种站在讲台上一言不发的人。咱们就聊聊那些能实实在在把事儿做透的玩意儿。 比如算一算，圆周率到底能扯多远。我小时候跟着老师算，写到 314256，脑子里直接就蹦出了 3.14256 这个数字，心里直打鼓：这玩意儿到底是个死数？还是说它在某个看不见的维度里躲着？后来我琢磨着，圆周率是个无理数。
如何证明？我试过带根号，比如 $sqrt{2}$，但那是无理数，跟圆周率没关系；我也试过平方根，仿佛也没用。
然后我就碰上了一个神秘的大神——欧拉。他把那个陈年旧账给翻出来了，直接写了个公式，说 $sin(frac{pi}{3}) = frac{sqrt{3}}{2}$ 和 $cos(frac{pi}{3}) = frac{1}{2}$ 是一回事，这两条路实际上是一条。路径 A：三角函数恒等式，路径 B：复数理论。复数把平面分成了实轴和虚轴，把几何难题变成了代数难题。算出来 $pi$ 和 $sqrt{3}$ 都是无限不循环小数，便 $frac{pi}{3}$ 也必然是无理数。至于 $frac{pi}{4}$？那是黄金分割点，跟黄金 Ratio 没啥好说的，反正它也是无理数。
这一套下来，证明白 $frac{pi}{3}$ 是无理数，也就证明白 $frac{pi}{3}$ 的平方根是无理数。逻辑闭环，这玩意儿懂的行人才能看懂。 再聊聊不等式。
不等式这东西，在不等式这种“夹逼鬼”面前，它有时候显得有点弱。
比如 $x^2 + y^2 ge 2xy$。高中生都能看出来，两边展开消掉平方项，左边减右边等于 $(x-y)^2$，而平方项一辈子非负，故此不等式成立。但要是不等式两边都是变量，要么指数更高呢？比如 $sqrt{x} + sqrt{y} ge sqrt{x+y}$（$x,y ge 0$）这种。
这时候去代换，你会发现化简得特别长，并且好办出错。到了大学，数学这门课在那边教，那就是给这玩意儿开挂。我试过用柯西不等式，那是个好东西。柯西不等式的平方形式，把两个向量的内积关系跟模长联系起来，瞬间就能搞定。再结合其他几个工具，比如三角换元要么代数变形，$x$ 和 $y$ 到底长啥样，那个黑板上的证法就活了。
这比高中生那套“凑系数”要智慧得多，也更像确实数学。 还有那个著名的费马点难题。你在平面上画三条直线，困住了四个点。你总当作这四点围成的是一个凸四边形，四个顶点分别是费马点。错！
这不是费马点，这是“费马区域”里的一个点。真正的费马点，得看三角形形状。
要是三角形是钝角三角形，费马点就在三角形内部，像个中心点；要是锐角三角形，费马点就在最远的那个顶点。
这听起来有点绕。我试着画个图，标出三角形 $DEF$。
要是 $angle D$、$angle E$、$angle F$ 都是锐角，那我把 $F$ 绕着 $E$ 转个圈，让 $FE$ 扫过一条弧线，扫过的区域里肯定有个点，到 $D$ 和 $F$ 的距离和最短。
这就好比把三角形拉平成一条线，把 $F$ 推那会儿，直到最近。
这时候构成的三角形，它的三个角加起来刚好是平角，说明它是退化的。费马点就是那个让距离和最小的“折纸”点。 说到这，还得提一下“平方和等于 1"这事儿。大量人一上来就想设圆，$x^2 + y^2 = 1$。结局呢？算出来拿到的点，反正就是圆。仿佛这题就是关于圆的方程。但不对。题目要求的是“平方和等于 1"，没说“点在圆上”。
这就像说“所有(integer)"等于 1，那答案只能是 0,1,-1 这些整数的集合。
这是集合运算里最好办的例子。别看这题看起来挺好办，像小学就见过的，但要是让你搞出啥卡洛尼亚曲线，要么把焦点放个怪的位置，那可就复杂了。
这时候就需求解析几何和代数变形。
比如把 $x^2 + y^2 = 1$ 换成 $x^2 + 4y^2 = 2$，这就变成了椭圆。椭圆是一种抛物线，只是开口更窄。抛物线是直线，椭圆是封闭曲线。
这就是集合论和代数概念碰撞出的火花。 还有一种叫“调和级数”的，别看跟圆周率有点像，但它是另一个维度的无穷。
这是把 $1, frac{1}{2}, frac{1}{3}, dots$ 加起来。前几项加起来总和是 $1 + frac{1}{2} + frac{1}{3} approx 1.833$。但这只是个有限和，后面无穷加下去，总和发散到无穷大。
这跟 $pi$ 不一样，$pi$ 是个固定的无理数，而调和级数的和是变化的。
要是非要跟 $pi$ 比，得看 $pi$ 的倒数根号。$sqrt{frac{1}{pi}}$ 是个正数。当 $x$ 越来越小，$sqrt{frac{1}{pi}} - frac{1}{x}$ 会越来越大，趋向于正无穷。
这就证明白 $sqrt{frac{1}{pi}}$ 也是一个超越数，跟 $pi$ 一样，不是根号、不是三角函数，也不是任何多项式的根。
这玩意儿一旦证明，整个数学界都得跟着繁华一阵子。 自然，数学里还有更疯狂的。
比如哥德巴赫猜想。说每一个大于 2 的偶数，都能写成两个素数相加。
比如 $4 = 2 + 2$，$6 = 3 + 3$，$8 = 3 + 5$，$10 = 3 + 7$。
这真不是开玩笑。我试过对前几个都验证过了。
这要是真能证明，那未来两千年里，所有偶数都解决了。可要是没证明成，那这猜想就一辈子是个谜。
这玩意儿没法用常规代数证明，可能要用到数论里最深层的东西。就连有人说，要是哥德巴赫猜想被证明白，数学家们就能够随意填数字了。出于这代表了一种“完备性”。 还有那个费马大定理。说 $sum x_i^{2^n} = 0$ 当 $n ge 3$。
这听起来如何如此像代数数系里的东西？比如 $1 + 1 + 1 = 0$ 在复数域成立，但不在代数数域里。费马大定理说，在代数数域里，这种形式一辈子不等于 0。
这要是真成立，那代数数域里就没有非零的形如 $x^{2^n}$ 的项。
这简直是数学史上最大的成就之一。别看一启动就让人质疑，但经过百年来的努力，终于被证明是假的了，不过证明过程比证明哥德巴赫还漫长。 最终说说杨氏三角不等式。
这是经典里的经典。$|x+y| le |x| + |y|$。
这规则忒好办了，像极了日常生活的经验法则。但要是让一个高中生去证这个，他可能会卡住。出于三角不等式本身就挺基础，如何用它去证更基础的？这就像让你用“小于等于”去证明“小于等于”，逻辑上有点鸡同鸭讲。
这时候就需求引入更高级的工具，比如复数要么矩阵理论。把向量看作复数，用模长、辐角这些概念，把不等式展开看。你会发现，杨氏三角不等式实际上是复数系数的一个推论。
这显示了数学深处那种统一的美感。 数学就是这样，没有标准答案。有的证明是精简的，有的冗长得像写论文，有的就连得用电脑算到小数点后 100 位才能看出规律。有的定理是万无一失的公理，有的则是悬而未决的猜想。但不管如何折腾，数学那股子劲儿，那股子能把荒谬变成必然的劲儿，一辈子在变。