什么是蝴蝶模型？
在初中数学几何板块中，蝴蝶模型（Butterfly Theorem）是一个极具代表性且应用广泛的面积模型。它主要研究的是在四边形（特别是梯形）中，对角线相交所形成的四个三角形之间的面积关系和边长比例关系。
之所以称之为“蝴蝶”，是因为当我们在梯形ABCD中画出对角线AC和BD，交点为O时，形成的左右两个三角形（△AOD和△BOC）形状对称，宛如蝴蝶的双翼，而上下两个三角形（△AOB和△DOC）则构成了蝴蝶的身体部分。
1.1 基本结构
设四边形ABCD，对角线AC、BD交于点O。
- 上三角形：通常指以梯形上底为底的三角形（如△AOB）。
- 下三角形：通常指以梯形下底为底的三角形（如△COD）。
- 左翅膀：左侧的三角形（如△AOD）。
- 右翅膀：右侧的三角形（如△BOC）。
1.2 适用场景
虽然任意四边形都有对角线相交，但蝴蝶模型最核心的应用场景是梯形。在梯形中，由于上下底平行，产生了相似三角形和等高模型，使得面积计算变得极为简便。此外，在圆中的蝴蝶定理也属于此类命名，但初中阶段主要关注平面几何中的梯形蝴蝶模型。
蝴蝶模型基本公式大全
掌握蝴蝶模型的关键在于记忆并理解以下几组核心公式。这些公式是解决复杂几何面积问题的基石。
在梯形ABCD中（AB∥CD），对角线分成的左右两个三角形面积相等。
S左 = S右
即：S△AOD = S△BOC
上下两个三角形面积的乘积，等于左右两个三角形面积的乘积。
S上 × S下 = S左 × S右
结合公式1，可得：S左 = S右 = √(S上 × S下)
上下两个三角形相似（△AOB ∽ △COD）。
S上 / S下 = (AB / CD)² = k²
其中k为相似比。左右三角形面积与上三角形的关系：S左 = k × S上
梯形总面积等于上下底平方和的完全平方关系。
S总 = (√S上 + √S下)²
推导：S总 = S上 + S下 + 2√(S上S下)
公式原理深度推导
知其然，更要知其所以然。理解推导过程有助于在考试中灵活应对变式题。
3.1 为什么 S左 = S右？
证明过程：
- 因为 ABCD 是梯形，所以 AB ∥ CD。
- 根据平行线间的距离处处相等，△ABC 和 △ABD 同底（AB）等高，所以 S△ABC = S△ABD。
- 这两个三角形都包含公共部分 S△AOB（上三角形）。
- 因此，S△ABC - S△AOB = S△ABD - S△AOB。
- 即 S△BOC = S△AOD，也就是 S右 = S左。
3.2 为什么 S上 / S下 = k²？
证明过程：
- 因为 AB ∥ CD，所以 ∠OAB = ∠OCD，∠OBA = ∠ODC（内错角相等）。
- 所以 △AOB ∽ △COD（相似三角形判定）。
- 设相似比为 k = AB / CD。
- 根据相似三角形性质，面积比等于相似比的平方。
- 即 S△AOB / S△COD = k²，也就是 S上 / S下 = k²。
3.3 为什么 S左 = √(S上 × S下)？
证明过程：
- △AOB 和 △AOD 等高（以BD为底，高为A到BD的距离...不对，应是以AC为底，高为B和D到AC的距离...更简单的是看底边比）。
- 观察 △AOB 和 △AOD，它们以OB和OD为底，高相同（A点到BD的距离）。
- 所以 S△AOB / S△AOD = OB / OD。
- 同理，△BOC 和 △COD 以OB和OD为底，高相同（C点到BD的距离）。
- 所以 S△BOC / S△COD = OB / OD。
- 因此 S△AOB / S△AOD = S△BOC / S△COD。
- 因为 S△AOD = S△BOC（翅膀相等），设其为 X。
- 代入得 S上 / X = X / S下。
- 交叉相乘：X² = S上 × S下。
- 所以 X = √(S上 × S下)。
典型例题解析
通过具体案例，展示蝴蝶模型在实际解题中的应用。
例题1
题目：如图，梯形ABCD中，AB∥CD，对角线AC、BD交于点O。已知 S△AOB = 4，S△COD = 9。求梯形ABCD的面积。
解析：
1. 根据蝴蝶模型性质，左右翅膀面积相等，且 S左 = S右 = √(S上 × S下)。
2. 计算翅膀面积：S左 = √(4 × 9) = √36 = 6。
3. 所以 S右 = 6。
4. 梯形总面积 S总 = S上 + S下 + S左 + S右 = 4 + 9 + 6 + 6 = 25。
答案：梯形面积为 25。
例题2
题目：在梯形ABCD中，AB∥CD，AB:CD = 2:3。若 S△AOB = 8，求 S△COD 和 S△AOD。
解析：
1. 因为 AB∥CD，所以 △AOB ∽ △COD。
2. 相似比 k = AB/CD = 2/3。
3. 面积比 S上/S下 = k² = (2/3)² = 4/9。
4. 已知 S上 = 8，所以 8/S下 = 4/9 ⇒ S下 = 8 × 9 / 4 = 18。
5. 计算翅膀面积：S左 = √(S上 × S下) = √(8 × 18) = √144 = 12。
答案：S△COD = 18，S△AOD = 12。
例题3
题目：梯形ABCD面积为50，S△AOB:S△COD = 4:9，求 S△AOD。
解析：
1. 设 S△AOB = 4x，S△COD = 9x。
2. 根据蝴蝶模型，S左 = S右 = √(4x × 9x) = √36x² = 6x。
3. 总面积 S总 = 4x + 9x + 6x + 6x = 25x。
4. 已知 S总 = 50，所以 25x = 50 ⇒ x = 2。
5. S△AOD = S左 = 6x = 6 × 2 = 12。
答案：S△AOD = 12。
解题技巧与避坑指南
5.1 快速识别模型
看到梯形和对角线，第一时间反应出蝴蝶模型。如果题目中给出了上下底的长度比，或者上下三角形的面积，立刻联想到相似比和面积平方关系。
5.2 辅助线技巧
虽然蝴蝶模型本身不需要添加辅助线，但在某些复杂变式中，可能需要延长腰或作高。例如，当已知条件涉及腰的中点时，可考虑中位线。
5.3 常见误区
- 误区1：认为任意四边形左右面积都相等。
纠正：只有梯形（或上下边平行的四边形）才相等。 - 误区2：混淆相似比和面积比。
纠正：面积比是相似比的平方，切勿漏掉平方。 - 误区3：忘记验证平行条件。
纠正：使用前务必确认题目是否说明是梯形或AB∥CD。
5.4 记忆口诀
上下相似左右等。
面积乘积相等式，
开方求解最轻松。
常见问题解答 (FAQ)
不完全是。虽然最经典的蝴蝶模型是在梯形中讨论的，但在任意四边形中，只要对角线相交，形成的四个三角形也存在面积关系：S上×S下 = S左×S右。但在梯形中，由于上下三角形相似，性质更为特殊和常用。
只有在上下底平行的四边形（即梯形）中，左右两个三角形的面积才相等。如果是任意四边形，左右面积通常不相等，但满足 S左×S右 = S上×S下 的乘积关系。
首先判断是否为梯形。若是梯形，利用 S左=S右 和 S上/S下 = (h上/h下)²。若已知上下面积，可直接开方求左右面积。若已知边长比，直接利用相似比平方求面积比。
单独考察蝴蝶模型的题目通常较为基础，属于中档题。但它经常作为辅助工具出现在几何压轴题中，用于快速转化面积关系或线段比例，因此掌握它对于提高解题速度非常有帮助。
总结
蝴蝶模型是初中几何中一个优雅而实用的工具。通过理解其背后的相似和等高原理，我们可以轻松解决各类梯形对角线分成的面积问题。记住核心公式 S左=S右 和 S上/S下 = k²，并在做题中多加练习，你一定能熟练掌握这一模型。
建议同学们将本文中的公式和例题整理到错题本中，定期复习，以便在考试中快速反应。