什么是共边三角形？
在平面几何中，共边三角形指的是两个或多个三角形拥有一条完全相同的边，这条边被称为“公共边”。共边定理则是基于这一几何特征，揭示三角形面积之间比例关系的重要定理。它不仅是解决几何面积问题的有力工具，也是连接代数计算与几何图形性质的桥梁。
核心概念图解
想象一个三角形 ABC，如果在边 BC 上取一点 D，连接 AD。此时，△ABD 和 △ACD 就是典型的共边三角形。它们共用底边 AD（如果我们以AD为底），或者更常见的是，它们共用顶点 A，底边 BD 和 DC 在同一直线上。根据共边定理的推论，它们的面积比等于底边之比：
S△ABD : S△ACD = BD : DC
为什么需要学习共边定理？
- 简化计算： 避免复杂的坐标解析或繁琐的高线计算，直接通过线段比例求解面积。
- 竞赛利器： 在初中数学竞赛（如希望杯、华杯赛）中，共边定理及其推广模型（燕尾、蝴蝶）是高频考点。
- 逻辑训练： 培养从图形结构中识别基本模型的能力，提升几何直观。
共边定理的数学推导
为了深入理解共边定理，我们需要从三角形面积公式出发进行严谨的逻辑推导。这有助于我们在遇到变式题时能够灵活运用，而不是死记硬背。
1. 基本模型推导
设 △ABC 中，D 为 BC 边上任意一点。连接 AD。
设 h 为点 A 到直线 BC 的距离（即 △ABC、△ABD、△ACD 的高）。
根据三角形面积公式：
| 三角形 | 底 | 高 | 面积 |
|---|---|---|---|
| △ABD | BD | h | S△ABD = ½ × BD × h |
| △ACD | DC | h | S△ACD = ½ × DC × h |
| △ABC | BC | h | S△ABC = ½ × BC × h |
由此可得：
S△ABD / S△ACD = (½ × BD × h) / (½ × DC × h) = BD / DC
这就是共边定理最基础的形式：等高三角形的面积比等于底边之比。
2. 一般共边模型（交叉型）
如果两个三角形 △ABC 和 △DBC 共用边 BC，但顶点 A 和 D 在 BC 的异侧，且 AD 与 BC 相交于点 O。此时，共边定理依然适用，但通常结合相似三角形或梅涅劳斯定理使用。
共边定理的经典应用模型
掌握共边定理不仅仅是记住一个公式，更是要识别出图形中的特定模型。以下是三种最常见的应用场景。
燕尾定理（Swallowtail Theorem）
燕尾定理是共边定理在三角形内部一点的应用。如图，P 是 △ABC 内一点，连接 AP, BP, CP 并延长交对边于 D, E, F。
结论：
S△ABP / S△ACP = BD / DC
同理：
S△ABP / S△CBP = AE / EC, S△ACP / S△CBP = AF / FB
燕尾定理常用于求解三角形内部面积比，或者已知面积比求线段比。它是共边定理最直接的延伸，因为 △ABD 和 △ACD 共边 AD 不成立，但它们共顶点 A 且底边在同一直线，本质仍是等高模型。更准确地说，燕尾定理是利用 △PBD 和 △PCD 共高，以及 △ABD 和 △ACD 共高，通过面积差推导出来的。
蝴蝶模型（Butterfly Theorem）
在圆或梯形中，对角线相交形成的四个三角形面积存在特定关系。虽然经典的蝴蝶定理关于弦的中点，但在一般四边形 ABCD 中，对角线 AC, BD 交于 O，则：
S△AOB × S△COD = S△AOD × S△BOC
这一结论源于共边定理：因为 △ABD 和 △ACD 同底 AD（如果不平行则不直接共底，这里指等高变换）。更简单的理解是： S△ABO / S△ADO = BO / OD 且 S△CBO / S△CDO = BO / OD。因此 S△ABO / S△ADO = S△CBO / S△CDO，交叉相乘即得结论。
梅涅劳斯定理辅助
当共边定理遇到的线段比例无法直接通过等高获得时，往往需要引入梅涅劳斯定理（Menelaus' Theorem）或塞瓦定理（Ceva's Theorem）来建立线段间的比例关系，进而结合面积比求解。
例如，在 △ABC 中，D, E, F 分别在 BC, CA, AB 上，且 AD, BE, CF 交于一点 P。若已知 AF/FB = 1/2, BD/DC = 1/3，求 AE/EC 及 S△PEF / S△ABC。此时需先用塞瓦定理求 AE/EC，再用共边定理（燕尾模型）求面积比。
典型例题深度解析
通过具体题目，我们来看看共边定理如何化繁为简。
例题 1：基础面积比
题目： 在 △ABC 中，D 是 BC 的中点，E 是 AC 的三等分点（AE = 2EC）。连接 AD、BE 交于点 F。若 S△ABC = 1，求 S△ABF。
解析：
- 连接 CF。
- 设 S△ABF = x, S△AEF = y, S△BDF = z, S△CDF = w。
- 因为 D 是中点，S△ABD = S△ACD = 1/2。且 S△BDF = S△CDF（共高，底相等），即 z = w。
- 因为 AE = 2EC，所以 S△ABE = 2 S△CBE 且 S△AFE = 2 S△CFE。
- 利用共边定理（燕尾模型）：
S△ABF / S△CBF = AE / EC = 2 / 1 → x = 2(z + w) = 4z。
S△ACF / S△BCF = AD / DB = 1 / 1（因为D是中点，这里需注意，AD是中线，所以S△ABD=S△ACD，对于F点，S△ABF/S△ACF = BD/DC = 1? 不对，应该是 S△ABF/S△ACF = BD/DC 是错误的。正确的是：S△ABF/S△ACF = BD/DC 仅当F在AD上且B,C,D共线时... 这里用燕尾定理更清晰：
由 D 为中点：S△ABF = S△ACF （因为 S△ABD=S△ACD 且 S△FBD=S△FCD，相减得）。
由 E 为三等分点：S△ABE = 2 S△CBE。 - 设 S△BCF = S。则 S△ABF = S△ACF = (1 - S) / 2。
- 在 △BCE 中，S△ABE / S△CBE = 2。
S△ABE = S△ABF + S△AFE
S△CBE = S△BCF + S△CFE
又 S△AFE = 2 S△CFE。
这是一个复杂的方程组。让我们换一种更简单的共边定理视角：
S△ABF / S△ACF = BD / DC = 1 (因为D是中点，F在AD上，这是不对的，F是交点。正确的是：S△ABF/S△ACF = BD/DC 是不成立的，除非BF/FC=1。
正确路径：
1. S△ABD = 1/2, S△ADC = 1/2.
2. S△ABE = 2/3, S△EBC = 1/3.
3. 设 S△AEF = x, S△BDF = y.
4. S△ABF = 2/3 - x.
5. S△ACF = 1/2 - x.
6. S△BCF = 1/2 - y.
7. 由 D 中点：S△ABF = S△ACF (因为 S△ABD=S△ACD, S△FBD=S△FCD).
→ 2/3 - x = 1/2 - x? 矛盾。说明 S△ABF ≠ S△ACF. 错误在于 S△FBD=S△FCD 是对的，但 S△ABD=S△ACD 也是对的。相减得 S△ABF = S△ACF 是对的。
等等，S△ABE = 2/3 是基于 AE=2EC。
如果 S△ABF = S△ACF，那么 S△ABF = 1/2 S△ABC = 1/2? 不对，F不是重心。
重新计算：
设 S△ABC = 6.
S△ABD = 3, S△ADC = 3.
S△ABE = 4, S△EBC = 2.
设 S△AEF = x, S△BDF = y.
S△ABF = 4 - x.
S△ACF = 3 - x.
S△BCF = 3 - y.
由 D 中点：S△ABF / S△ACF = BD / DC = 1 (这是燕尾定理结论：S△ABF/S△ACF = BD/DC).
→ 4 - x = 3 - x? 还是矛盾。
啊，燕尾定理是 S△ABF / S△ACF = BD / DC 是错误的。正确的是 S△ABF / S△ACF = BF / FC (如果AD, BE, CF共点)。这里只有两条线。
正确推导：
S△ABF / S△ACF = BD / DC = 1 (因为F在AD上，A-F-D共线，所以S△ABF/S△ACF = S△ABD/S△ACD = 1).
所以 S△ABF = S△ACF.
又 S△ABF + S△ACF + S△BCF = 6.
且 S△ABF / S△BCF = AE / EC = 2 / 1 (因为F在BE上，B-F-E共线，所以S△ABF/S△BCF = S△ABE/S△CBE = 2).
设 S△BCF = k. 则 S△ABF = 2k, S△ACF = 2k.
2k + 2k + k = 6 → 5k = 6 → k = 1.2.
S△ABF = 2.4.
若 S△ABC = 1，则 S△ABF = 2/5.