命题定理证明教学视频-命题定理证明视频

别整那些“起初、其次”了，直接上干货：命题定理如何一步步证出来？ 你见过那种教科书式地开场吗？“同学们好，今天我们上课，主要内容是学习…起初我们要定义一点，然后我们用反证法证明第三点，最终总结一下。”这人味儿忒浓了，听着就发腻。咱们这种实战派，把那些虚头巴脑的开场白扔了，直接开干。想象一下你手里拿着把锤子，面对的是一块石头，第一刀下去，立马见血。 就拿最经典的勾股定理来说吧，别整那些套话。咱们不讲那个枯燥的欧几里得证明流程。来，咱们就用最朴素的拼图法，看看如何把直角三角形那三个边给“焊”在一起。 起初，你得把那个直角放在桌上，边长标清楚。
然后，拿两个全等的直角三角形，把斜边靠在一起，这就构成了一个等腰梯形。好，接下来别急着喊“证明”，直接动手画辅助线。
如何证？从直角顶点往斜边做垂线。
这一步是拍板性的。人一看就知道，垂足分出了一个小直角三角形。 这一步骤得细说两句：在 $triangle ABC$ 里，$AC$ 和 $BC$ 是直角边，$AB$ 是斜边。从 $C$ 点引垂线 $CD$ 交 $AB$ 于 $D$。
这一笔下去，你立马看到了两个小三角形：$triangle ADC$ 和 $triangle CDB$。它们都是直角三角形，并且腰 $AC=BC$，底角 $angle A=angle B$。
这就自动导出了 $triangle ADC cong triangle CDB$（ASA）。 好，看这里。
既然全等，对应边就得相等。
故此 $AD=DB$。
这意味着 $D$ 是 $AB$ 的中点。
那 $CD$ 就是中线，与此同时也是高。在等腰三角形里，中线就是高。
这逻辑链条忒美好了，但千万别光盯着公式看。 咱们来算个数。设直角边 $AC=BC=3$，斜边 $AB=5$（勾股数 $3-4-5$ 还是老规矩）。先算 $CD$ 的长度。利用面积法最快。$triangle ABC$ 的面积既能够用 $frac{1}{2} times 3 times 3$ 算，也能够用 $frac{1}{2} times 5 times CD$ 算。 $4.5 = 2.5 times CD$，算出来 $CD=1.8$。
这个数据对后续求高还是挺有用的。 接下来是核心：求斜边上的高 $CE$。出于 $D$ 是中点，$AD=DB=2.5$。又出于 $triangle ADC cong triangle CDB$，故此 $BD=AD$。
什么的，这里好办乱。重来。$CD=1.8$，在 $triangle CDB$ 里，$CD$ 是高，$BD$ 是底。$CD^2 + BD^2 = BC^2$。$1.8^2 + BD^2 = 3^2$，$3.24 + BD^2 = 9$，$BD^2 = 5.76$，$BD=2.4$。 故此 $AB = AD + DB$。$AB = AD + 2.4$。而 $AD$ 呢？在 $triangle ADC$ 里，$AD = sqrt{AC^2 - CD^2} = sqrt{9 - 3.24} = sqrt{5.76} = 2.4$。 故此 $AB = 2.4 + 2.4 = 4.8$？不对，题目给的是 $5$。
哪儿错了？哦，我刚刚算的 $3-4-5$ 例子要是 $AC=3, BC=4$ 才行，不是等腰。 啊，明白了，这种拼图法最适合等腰直角三角形。 好，换个例子，等腰直角三角形。$AC=BC=1$，$angle C=90^circ$。 作 $CD perp AB$。 此时 $triangle ACD$ 和 $triangle BCD$ 全等。 $AD = BD = frac{1}{2} AB$。 $triangle ACD$ 中，$AD^2 = AC^2 - CD^2$。 $CD^2 = BD^2 - AD^2$。 $AD^2 = AC^2 - BD^2$。 $AD^2 = AC^2 - (2AD)^2$？不对，$AB=2AD$。 $AD^2 = AC^2 - CD^2$。 $CD^2 = AD^2 - AD^2$？乱了。 标准算法：$AD = frac{1}{2} AB$。$AC = frac{1}{sqrt{2}} AB$。 $AD^2 = frac{1}{4} AB^2$。 $AC^2 = frac{1}{2} AB^2$。 $CD^2 = AC^2 - AD^2 = frac{1}{2} AB^2 - frac{1}{4} AB^2 = frac{1}{4} AB^2$。 故此 $CD = frac{1}{2} AB$。 结论出来了：斜边上的高等于斜边的一半。 这逻辑多顺畅啊，不是如何得来的？就是由全等三角形直接继承来的。 再回头看反证法。
这个工具别看老派，但在某些命题里是唯一的解法。
比如：“若两个角互补，则这两个角之和为 180 度。” 这个不用证。直接定义：邻补角之和是 180 度。 那要是要证：“若两个角不相等，则它们不是邻补角。” 反证法启动：假设这两个角相等。 那它们的和就是 $2x$。 要是它们又是邻补角，那 $2x = 180^circ$。 那 $x = 90^circ$。 这时候，这两个角就互余了（互补且相等就是直角）。 故此，既相等又是邻补角，那它们就是直角。 这命题成立吗？要是它们既不相等又不是邻补角，那它们能够是锐角或钝角。 什么的，命题是“若不相等，则非邻补角”。 假设它们相等且是邻补角，那就推出它们是直角。 但这并不矛盾。出于存有直角且不相等？不，直角本来就相等啊。 故此，要是它们是邻补角，它们务必相等。 这就证明白：要是它们不相等，它们一定不是邻补角。 逻辑闭环了，这就是反证法的威力，把一堆废话变成了严密的推导。 这种教法，核心不在于你用了多少术语，而在于你给了学生一副“手术刀”和一块“田绘布”。
1. 定义即武器：把公理、定理、定义当成最锋利的工具。
2. 构造即路径：看到几何图，脑子里立马浮现出辅助线。
3. 计算即反馈：算出数字，误差越小，逻辑越通顺。
4. 否定即升维：遇到反证法，别怕，把它当成另一种推导武器。
5. 数据即锚点：别整那些“任意”、“一般”。给具体数字，比如 $3-4-5$，$1-sqrt{2}-1$，就连 $1-sqrt{3}-1$。让数据讲话，逻辑才能落地。 最终我再唠叨两句。 有些学生喜爱找“定义”。
实际上定义只是名字，不是性质。 有些学生喜爱找“全等”。
实际上全等只是方式，不是结论。 有些学生喜爱找“结论”。
实际上结论是目标，过程是手段。 咱们的目标不是背诵，而是掌握。 你要学会在乱中悟理，在好办中见复杂。 几何证明，就是一场在二维平面上，通过逻辑的切割与拼接，去逼近真理的过程。 别怕慢，别怕错。
只要路子对，哪怕绕了 500 步，最终也是 180 度。 这就是数学的魅力，也是这门课唯一的真理。 下课。