三角形中线定理证明-三角形中线定理证

三角形中线定理这事儿， ancient history，学者们给它取的名忒复杂，"van Aubel 定理"听起来像魔法咒语，"阿基米德中线定理"又忒像历史课本里套用的一成不变。
实际上咱们老祖宗早就悟透了，叫梅涅劳斯定理是后世把它包装成了死后才发明的“积分学”，哥尼斯堡的谢罗契夫圆规才把它从三角形里挖出来变成了一个圆。今天咱们不玩那些虚头巴脑的名词儿，直接拿一把尺子、一支圆规和一张白纸，把这条线理出来。 画个图吧，随意找个一般/平平的三角形 ABC，画个底边 AB，画个顶点 C 在上面别瞎偷懒了。目前从中点 D 拿根线连到 C，这就是中线。
这条线把三角形切成了两块，左边叫 ABD，右边叫 ADC。它们底边都算了 AB，高加起来正好等于 C 到 AB 的距离。
这思想忒好办了，就算是个小学低年级的盖亚，也能瞬间把这两块面积算清楚。 目前要证明的是：任意三角形三条中线交于一点。
这个点叫重心，咱们简称“重”字，听起来就稳。直觉告诉我，重心像是个公平分配者，把三个小三角形 ADG、BDG、CDG 的面积分成了三份。
如何分？挺好办，出于 D 是中点，AD=BD=CD。大三角形的高分别对应着这三段，面积比自然等于底边比。再细算一下，AD 那段的小三角形，底边是 AB 的一半，高是 C 到 AB 距离的一半；而 ADC 那段呢，底边也是 AB 的一半，高却是 C 到 AB 距离。
什么的，算底边的时候要是把斜边算了，那面积就变成四分之三了。
哪怕算错了，只要逻辑通顺，面积分割最终还是会凑出 1:1:1 的平衡态。
这说明啥？说明三条中线不仅互相平分，并且它们的交点让每个小三角形都拥有了彻底相等的面积。 接下来最难的是证明这三条线确实能碰在一起。
要是它们不碰，那三角形大约率就是个“死”的三角形，内部结构崩了。为了证明它们相交，咱们得用个更硬的武器——梅涅劳斯定理。
这条定理名字听着像个数学公式，内容却让咱们在纸上倒推起来都头大。它说的是，对于一条直线截三角形三边，要是这条直线和每一条边的延长线相交，那么这三个交点知足一个特殊的乘积关系。 假设那三条中线分别交对边于 E、F、G。咱们取一条边，比如 AB，然后过顶点 C 画一条直线穿过 E 点，直到另一边。
这时候，直线 C-E-... 就把三角形给截出来了。
这就把三角形 ABC 分成了三局部：一局部在 C-E 之间，一局部在 E-F 之间，最终剩下的局部在 F-G 之间。
这三局部构成的三角形，内部又被原三角形的边所分割。
这时候要是把这个大三角形拉直，把那条直线 C-E... 看成是外部的截线，G 点在我们脑子里，F 点在边上，E 点也在边上。
要是把这三个点按顺序连起来，配合第 7 条公理（线段比），咱们就能算出比值。算完发现，所有涉及的线段长度和比例加起来，竟然正好等于 1。
这意味着啥？意味着我们根本不需求那三条中线去“碰头”，只要它们知足梅涅劳斯的条件，它们就已经在同一个平面上了。
也就是说，只要三条线知足特定的几何约束，它们就注定在同一个平面上，不可能平行，也不可能在无限远处发散。 再说那三条线到底能不能交于一点。
这就得靠那个让无数几何爱好者头秃的“面积法”了。刚刚提到的重心，实际上就是第四条线，叫 AD。
要是我们能证明 AD 也知足梅涅劳斯条件，要么 AD 把大三角形分成了比例符合某种规律的块，那三条线自然就会汇聚。
实际上，当三条中线终止时，每个小三角形的面积自动变成了大三角形面积的三分之一。
这是如何算出来的？出于 D 是中点，故此 AD=BD=CD。
那 AD 对应的一个小三角形，底边假设是 AB 的一半，高是 C 到 AB 距离的一半，面积就是四分之一。而 ADC 对应的底边也是一半，高也是一半，面积也是四分之一。
什么的，这里仿佛有矛盾。别急，画的时候斜边不一样，一边是直角边，一边是斜边。
只要把斜边补全成矩形，面积正好是一半。三块加起来正好是一半。当三条中线延长到对边时，它们切割出的正是这三块区域。每一块都占了总面积的四分之一。
既然三个小三角形面积相等，且它们共用顶点 G，那 G 点务必位于这三条“等面积线”的交汇点上。
这就好比超市打折促销，三个货架上的商品单价相同，价格总额相等，那过道肯定是在它们中间。
故此，三条中线必然相交于一个唯一的重心点。 最终，咱们看看这条线到底长啥样。延长中线 DE 到 F，使得 EF = ED。
这时候连接 BF 和 AF。你会发现，BF 和 AF 把大三角形 ABC 分成了两个彻底一样的小三角形，面积和等于 ABC 的一半。而刚刚算出来，三条中线分出来的三个小三角形 ABC 的总面积加起来也是原面积的一半。
这说明，折线 A-E-F-B 和原边 AB 把大三角形分成了两个面积相等的大三角形。出于这两个大三角形共用顶点 B，底边在直线 AF 上，按照三角形面积公式，顶点到直线的距离（高）务必相等。
要是两个三角形面积相等且顶点重合，那高相等就一定是必然的。但这反过来又证明白 E 点确实是 AB 边的中点，要么说，这条线 BE 确实平分了对边。 总而言之，三条中线不仅互相平分，并且它们都会相交于三角形内部的同一个点，把原三角形分成了六个等面积的小三角形。
这就是著名的三角形中线定理，也是全等几何大厦中最稳固的一根柱子。