梅涅劳斯定理应用-梅涅劳斯定理应用

梅涅劳斯定理，这东西听着像是一本字典里生僻的词条，实际上就是画一张三角形图，量三个点在那边，算出比例关系。 画个图吧，等腰三角形 ABC，底边 BC 上有点 D，腰 AB 上有点 E，腰 AC 上有点 F。
这三条线 DE 和 CF 是个“三线共点”的模型，叫梅涅劳斯定理。 啥叫“三线共点”？就是三条线都挤在三角形里，要么交于一点。梅涅劳斯定理最核心的那个名字，实际上就是“共点”这个词的翻版。
要是这三条线不共点，那就没法用梅涅劳斯定理了，得用塞瓦定理。 这个定理最猛的劲儿在哪？在于它能把线段比例全扯出来。比方说，点 D 分底边 BC 成了两段，一段是 BD，一段是 DC。点 E 分腰 AB 成了两段，一段是 AE，一段是 EB。点 F 分腰 AC 成了两段，一段是 AF，一段是 FC。
这三段长度比加起来，绝对等于 1。 你看，这个公式就是 $frac{BD}{DC} cdot frac{CF}{FA} cdot frac{AE}{EB} = 1$。 这就怪了，既然三个未知数，一个等式，如何解？实际上挺好办，只要知道两个，第三个就顺藤摸瓜出来了。
比如你告诉我是 BD 和 DC 的比，AC 和 CF 的比，那剩下的 AB 和 AE 的比就是定数了。
反过来，你要是想知道某个点在哪，只要量出一个相邻点的长度比，剩下的两个比例就凭空给你算出来了。 举个具体的例子吧，别整那些虚的，直接上数据。 设三角形 ABC 是个边长为整数的直角三角形，直角在 C 点。设 AC = 6，BC = 8，那么斜边 AB 就是 10。我们在 AB 上取一个点 E，在 AC 上取一个点 F，在 BC 上取一个点 D。 假设我们让 D 点把 BC 分成了 3:5，也就是 BD = 3，DC = 5。假设我们让 F 点把 AC 分成了 1:4，也就是 AF = 2，FC = 4。 目前我们要找 E 点在哪。用那个定理：$frac{BD}{DC} cdot frac{CF}{FA} cdot frac{AE}{EB} = 1$。 代入数字：$frac{3}{5} cdot frac{4}{2} cdot frac{AE}{EB} = 1$。 算一下前两项：$frac{3}{5} cdot 2 = frac{6}{5}$。 那剩下的局部就得是它的倒数，也就是 $frac{5}{6}$。
故此 $frac{AE}{EB} = frac{5}{6}$。 这意味着 AE 占整个 AB 的五分之二，EB 占占三分之五。AB 总共是 10，故此 AE = 10 5/11，约等于 4.54。EB = 10 6/11，约等于 5.45。 你看，只要给了两个点的分点位置，第三个点的分点位置就立马出来了。
这个逻辑链条忒顺了，彻底不需求任何额外的辅助线，也不需求引入复杂的坐标系。 再换个角度想，这个定理有时候也能用来验证。
比如你在做几何证明题，需求证明某条线是中点，要么某一点共线。当你算出来最终那个比例乘积不等于 1 的时候，那就说明你的图做错了，要么那条线根本不该如此画。梅涅劳斯定理简直就是个“裁判”，哪位算错了，它就告诉你哪位错了。 有时候大家会认定这个定理忒“霸道”，仿佛只要知道两边，第三边就死定了。
实际上不是的。
要是那个“比值”不是定值，那就意味着这三个点根本不在一条直线上，要么说梅涅劳斯定理不适用。
这时候你得换条路。
比如用面积法，要么直接用向量。但一旦这三个点确实共线，梅涅劳斯定理就是那个唯一的钥匙。 还有一个点，大量人搞混的是塞瓦和梅涅劳斯。塞瓦定理是“三线共点”，公式是 $frac{BD}{DC} cdot frac{CF}{FA} cdot frac{AE}{EB} = 1$。
什么的，这两个公式看起来一模一样啊？ 别急，仔细看看分母和分子的位置。塞瓦定理里，分母是邻边比，分子是邻边比，比如 $frac{BD}{DC}$ 和 $frac{CF}{FA}$。梅涅劳斯定理里，分母是邻边比，分子也是邻边比，比如 $frac{CF}{FA}$ 和 $frac{AE}{EB}$。 不对，我刚刚看错了。 来重新理一遍。 塞瓦定理：$frac{AF}{FB} cdot frac{BD}{DC} cdot frac{CE}{EA} = 1$。
注意这里，分子是“被分点”和“分点”之间的距离。 梅涅劳斯定理：$frac{AE}{EB} cdot frac{BD}{DC} cdot frac{CF}{FA} = 1$。 你看，MBE 定理里是 $frac{AE}{EB}$，MEV 定理里是 $frac{AF}{FB}$（假设 F 是 AC 上点，B 是顶点）。 啊，我之前的记忆有点不清楚了，让我们再看一眼标准的定义。 梅涅劳斯定理的标准形式是：从顶点 A 到分点 E，比例是 $frac{AE}{EB}$。从顶点 B 到分点 D（在 BC 上），比例是 $frac{BD}{DC}$。从顶点 C 到分点 F（在 AC 上），比例是 $frac{CF}{FA}$。 这三个数相乘等于 1。 而塞瓦定理是从分点连到顶点。从分点 D 到顶点 A，比例是 $frac{BD}{DC}$。从分点 E 到顶点 B，比例是 $frac{CE}{EA}$。从分点 F 到顶点 C，比例是 $frac{AF}{FB}$。
这三个数也相乘等于 1。 这两个定理的公式长一样，可是对应关系的顺序有点“坑”。 梅涅劳斯定理是 $frac{AE}{EB} cdot frac{BD}{DC} cdot frac{CF}{FA} = 1$。 塞瓦定理是 $frac{BD}{DC} cdot frac{CE}{EA} cdot frac{AF}{FB} = 1$。 你会发现，梅涅劳斯里的是 $frac{CF}{FA}$，塞瓦里的是 $frac{AF}{FB}$。别看都是邻边比，但分子分母对应的是不同的线段。 梅涅劳斯定理对应的三个点，务必按顺时针要么逆时针顺序排列。
比如 A -> B -> C。
那么分点分别在 AB 上、BC 上、CA 上。 塞瓦定理对应的三个点，也务必按顺序排列。
可是它的公式里，分点是连向顶点的。 实际上最好办的理解方式是：梅涅劳斯定理是“截线定理”，它关切的是横截线把边分开的比例。塞瓦定理是“共点定理”，它关切的是三条线会聚到一点。当它们变成同一个点的时候，公式就能够互换。 比如，要是三条线交于一点，那就在对应的边上取分点。梅涅劳斯定理里的分点，实际上就是在边上取点，然后连起来。塞瓦定理里的分点，实际上就是连起来后的交点。 故此，当梅涅劳斯定理和塞瓦定理互换角色时，公式就变样了，但数值务必相等。
这就是为啥它们看起来像一样，但又不能直接混用。一个算截线，一个算共点。 再说说它的实际用处。除了验证，还能够用来求未知比例，能够用来证明平行线，就连能够在不彻底知道图形形状的情况下，强行构造一个模型。 比如，假设你要证明某条线段平行于底边。你能够随意选一个点，算出它把底边分成的比例。
然后反过来，看看能不能凑出梅涅劳斯公式等于 1。
要是能，那说明这三条线共点，也就说明原图形里那条线平行于底边。 这就像是一个数字游戏，你给出一局部，剩下的局部自动补全。
这种“自动补全”的感觉，让梅涅劳斯定理用起来特别顺手。 有时候你会认定它不够优雅，出于它不需求引入任何新的几何元素，不画辅助线。
有时候会让人认定它忒粗糙，出于它只给比例，不给位置。 比如你量出 AE 占 AB 的 5/11，EB 占 6/11。
这时候你只知道 E 点的位置了。
要是你画一条通过 E 点的任意直线，它和 BC 的交点 D，和 CA 的交点 F，D 和 F 的位置是固定的，一旦固定了，CF 和 FA 的比就是固定的，BD 和 DC 的比也是固定的。 可是，要是你移动 E 点，D 和 F 就会跑。
这时候你就没法用那个定理了，得重新算。 这说明梅涅劳斯定理别看是个强大的工具，但它也是个“静态”的工具。就像一张快照，你只能看到那一刻的状态，管住不了后续的变化。 不过，换一种说法，梅涅劳斯定理是描述一种“状态守恒”。三个点共线，这个状态，三个分点比例加起来一辈子等于 1。
不管你如何动，只要保持共线，这个 1 就一辈子挂着。 实际做题的时候，我极少单独用它。出于大量时候，要是不用辅助线，我认定它可能会显得生硬。 比如，要是题目给的是中点。
那截线分点都是 1:1。代入公式，1 1 x = 1，故此 x = 1。瞬间解出来，根本不用画图，也不用列方程。 这就是梅涅劳斯定理的魅力，数学有时候就是如此简洁。
不需求长篇大论，不需求复杂的论证，只要把比例列出来，那个 1 就出来了。 最终，我想说，这个定理本质上就是线段比例的根本运算。它把几何变成了代数，把图形变成了数字。当你看到三个数字相乘等于 1 的时候，你就知道这三点共线了。 梅涅劳斯定理，就是个好办粗暴的计算器。它不需求你懂几何，它只在乎数字。你要是能算出数字，它就能算出几何。 如何样，是不是感觉比背公式要有趣多了？ 不过，还是要提醒一句，千万别在题目没搞清楚前乱用。
要是找不到共点，要么不能确定共线，这个定理就是废纸一张。 总而言之，记住这个公式，$frac{AE}{EB} cdot frac{BD}{DC} cdot frac{CF}{FA} = 1$。
这是梅涅劳斯定理的专属咒语。念咒语，量点，乘积，等于 1。 搞定。