命题定理证明知识点-命题定理证明知识点

学数学最烦的就是那种像机器人一样，先列个定理，再背个证明，最终还得整段话总结“大家看吧，这实际上……"。累倒圈，脑子也空了，第二天早上还得照镜子反省今天是不是又在重复昨天的课。
故此，还不如听人讲那些教科书上写死了的“起初、其次、最终”，不如自己拿笔写写，脑子里过一遍，哪怕把那些死板的连接词扔进垃圾桶，脑子里的路线才是确实通，才不算白学。 说确实，定理这东西就是个黑盒子，外面看起来光鲜亮丽，敲代码进去的时候，往往得自己把门打开。
比如我们常琢磨的欧几里得几何里，平行线的判定定理，大量人怕费事，要么死记硬背“内错角相等”那句，要么就指望老师念出来背。殊不知，这不过是把两张纸条随意一摆，只要分角对得上，就知道它们俩不打紧了。
要是真要把这个定理“降维打击”，你想想，两条线如何知道自己平行？除了画那些长长的平行线证明大量，实际上只要算一算，把截线截出来的内错角加起来，要是正好等于 180 度，那就硬得像铁一样，咬不动了。
不用啥全等三角形，不用旋转平移，单靠角度关系，两条线就自动对齐了。
这就好比两个人打架，只要你数着数，发现他们肩膀上的角加起来正好是平角，那他们就注定不会撞在一起，哪怕他们中间隔着万水千山，只要那个角度对得上，他们一辈子分不出流水，一辈子分不出对错。 再说说复数运算那块，那会儿看到 $z_1 cdot z_2$ 就得脖子酸，怕出错，怕被出题人坑。
实际上复数乘法，说白了就是复平面上的旋转。两个复数相乘，本质上是先把它们当作两个向量叉乘点乘，再结合角度。公式看起来像 $a^2+b^2$，但真正计算起来，直接展开写，那个 $a^3 - ab^2$ 项，像极了我们的现实世界，光靠套公式是看不出逻辑的，得往回翻，往回想那三个数是如何整出来的。
比如算 $i^5$，大量人只会写 $i$，根本不懂 $i$ 到底是个如何转的圈。
实际上 $i$ 就代表逆时针转了 90 度，$i^5$ 就是转了 5 次，也就是逆时针转了 225 度，对，就是第三象限那个点，坐标大约是 $-frac{sqrt{2}}{2} - ifrac{sqrt{2}}{2}$。
这时候再想 $z_1 cdot z_2$，你就知道这不就是两个向量的合成了吗？一个是东，一个是北，合成起来就是东北方向。
这种直观感，比背公式强多了，背了记得快忘得快，算出来才是确实懂。 还有啊，数学里那些看似无用的定义，实际上都是救命的钥匙。
比如函数极限的导数定义，平时咱们做题只关心终值，但真正做导数题目时，你得先拿定义去“折磨”它。你拿一个函数 $f(x)$，让你去算 $f'(x)$，一旦算出了，再去验证它是不是确实符合那个极限定义，这个反复折腾的过程，才是推导的核心。大量人做题就跳过了这个步骤，直接套公式，结局一遇到高阶小问就会卡壳。你要明白，导数定义就是把函数“切”开的过程，切得越细，变化率越准。就像切蛋糕，一刀下去是一半，一刀下去剩下一半，你再切，每一刀切下去，蛋糕的大小都不会变，但你切的那份蛋糕的数量是变多了。数学里的极限，就是无限细分的过程，把函数在一点附近的取值，一刀刀地切，直到最终一刀切下去的时候，发现它的变化率已经稳定得不能再稳了，这个稳定的值，就是极限。 再聊聊数列收敛，大量人当作只要数列越来越大就行，实际上不然。
比如 $frac{1}{n}$ 这个数列，别看每一项都在变大，但那是正数，且会越来越小，趋近于 0，这才是收敛。
反过来，$n$ 这个数，越来越大，趋向无穷，这显然发散。
要是你只盯着大小看，不看方向，那就会把发散当收敛，把收敛当发散。
这时候你得学会看那个走向，看那个趋势。
比如判断数列 $frac{1}{n^2}$ 是否收敛，不能只看它比 $frac{1}{n}$ 小，要看到它比 $left(frac{1}{n}right)^2$ 更慢，就连更慢，慢到不管 $n$ 如何变大，它都可能无限接近某个点，比如 0。
这种判断本事，不是靠公式能掏出来的，得靠你看图，靠你脑子里有个大约的图像，知道它往哪儿跑。 还有啊，微积分里那个拉格朗日中值定理，别看名字听起来像是在画像，实际上是个挺硬的武器。它告诉你，在一段区间里，函数肯定有一条曲线，这条曲线要么一直单调，要么要么凹要么要么凸，要么要么不连续，要么要么连续但导数震荡。
这东西一出来，费事就来了，你得先证明它存有，再找一个合适的 $c$ 点，让那个中点公式成立。大量人学到这里就头晕手软，认定这公式就是用来套公式的。
实际上不然，这个定理的深层逻辑，实际上是说函数不会“忒乱”，它在有限范围内，要么走直线，要么走抛物线，要么走某种曲线，绝对不会走那种忽左忽右、毫无规律的路子。
要是你能找到一段函数，它符合这个性质，那就说明它的结构是规整的，是 predictable 的。
比如还不如硬算 $f(x) = x^2$ 的导数，不如想想，$x^2$ 的图像是个抛物线，它肯定有对称轴，肯定有拐点。找到这个对称轴，那就是中值点。
这种思维方式，比背公式管用多了，出于一旦你会了这种“找规律”的本事，大局部微积分题，特别是高中数学里的难题，就能自己搞定了。 另外，证明题里那些坑，大家最熟的就是假证难题。大量人认定要是结论是 $0=1$，那证明肯定有难题。
实际上不一定，可能是证明过程里，某个变量取到了不该取的值，要么某个步骤漏掉了前提条件。
比如求极限时，分母可能恰好为 0，这时候你就得回头检查，是不是题目本身就有矛盾，要么我的计算把不可能形成了当成可能形成了。
这时候，你得把证明过程当成一个黑盒，往里塞进去，看看能不能通，能不能自洽。
要是卡住了，就回头看看每一步的合理性，这比硬推几步再发现矛盾要实在得多。并且，有时候证明一个反例，比证明一个定理还要快，还能让你明白游戏规则里那些被忽略的开锅条件。 还有，数学里的归纳法，大量人怕费事，认定“既然要归纳，那肯定要证明 $n=1$，然后 $n=k$ 推 $n=k+1$"。
实际上这方式本身挺笨的，特别是处理复杂的多项式时，绕来绕去，好办绕死。还不如死磕这个，不如看看能不能直接套用归纳原理的变体，比如处理差分要么求和，是不是能直接跳到结论？
要么看看能不能用数学归纳法去证明一个看似无涉的命题？比如证明 $n^2 < 2^n$，这明明跟数列相关，但要是你换个角度，从 $n=1$ 启动，每一步都比前一步多一点点，并且增长得越来越快，这就自然避开了大量陷阱。
这种视角的转换，才是高手的特征。 最终，得提一下证明中的那些“废话”和“非法操作”。大量人在写证明的时候，喜爱在那儿补漏，加一堆没用的引理，要么为了凑公式，编造一些看起来合理的步骤。但实际上，数学证明讲究的是严密的逻辑链条，每一个环节都得经得起推敲。
要是中间那个引理要么那个假设实际上是不成立的，整个证明瞬间就废了。
故此，有时候多问一句“这里为啥能成立？”比多写一段“出于”要关键一万倍。
有时候，证明的结局是“不存有”，而不是“存有”。
这时候，你得学会否定，学会说“我算不出来”，而不是瞎编一个“假设 $x$ 存有”。
这种自信，靠的是底气，不是运气。 总而言之，数学这东西，表面上是逻辑的游戏，实则是思维的体操。
那些定理、公式、定义，它们只是工具。当你真正用起来，不再需求背诵，不再需求恐惧，不再需求那些“起初、其次”的把戏，而是真正理解背后的机制和直觉的时候，你就已经掌握了这门科学的全体精髓。别怕难，难的是心态，不是方式。
只要你愿意把那些死板的条条框框拿出去，自己敲开那个门，你会发现，原来数学确实如此好玩，如此有意思。