蝴蝶模型公式推导步骤详解
理解蝴蝶模型公式推导步骤的核心在于利用“等高三角形面积比等于底边比”这一基本性质。以下是严谨的推导过程：
设四边形ABCD的对角线AC与BD交于点O。我们将四边形分为四个小三角形：
① S上 = S△AOB
② S下 = S△COD
③ S左 = S△AOD
④ S右 = S△BOC
观察△AOD和△AOB。如果我们以BD为底边来看，它们的高不同，不方便直接比较。但如果我们以AC为底边呢？也不对，因为它们不共线。
正确视角：观察△AOD和△AOB，它们共用顶点A，底边OD和OB在同一条直线BD上。
根据“等高模型”，面积比等于底边比：
S△AOD / S△AOB = OD / OB (式1)
同理，观察△COD和△COB。它们共用顶点C，底边OD和OB也在同一条直线BD上。
因此，面积比也等于底边比：
S△COD / S△COB = OD / OB (式2)
由(式1)和(式2)可知，两个比例式的右边相等，因此左边也相等：
S△AOD / S△AOB = S△COD / S△COB
将分母移到等式另一边（交叉相乘）：
S△AOD × S△COB = S△AOB × S△COD
即：S左 × S右 = S上 × S下
不同场景下的蝴蝶模型变式
网友们常问：“梯形里的蝴蝶模型和任意四边形一样吗？”、“圆里的蝴蝶定理又是什么？” 以下是针对不同场景的详细解析。
梯形蝴蝶模型
在梯形ABCD中（AD // BC），对角线交于O点。除了满足 S左 × S右 = S上 × S下 外，还有两个重要性质：
- S左 = S右：即 S△AOD = S△BOC。这是因为 S△ABC = S△DBC（同底等高），减去公共部分 S△BOC 即可得证。
- S上 : S下 = (AD : BC)2：因为 AD // BC，所以 △AOD ~ △COB，相似比为 k，面积比为 k2。
- S梯形 = (√S上 + √S下)2：这是一个非常实用的速算公式。
若梯形中 S上=4, S下=9，则 S左=S右=√(4×9)=6。梯形总面积=4+9+6+6=25。或者直接用公式 (√4+√9)2 = (2+3)2 = 25。
圆蝴蝶定理
这是1851年威廉·华莱士证明的一个著名定理，与面积无关，而是关于线段长度。
内容：M是圆内弦PQ的中点，过M作两条弦AB和CD，连接AD和BC，分别交PQ于E和F，则M也是EF的中点（即ME=MF）。
推导思路：通常使用相似三角形、正弦定理或圆幂定理结合反演变换来证明。这个模型在竞赛中常作为“对称性”的体现出现。
向量法推导
对于高年级学生，可以使用向量法进行更通用的推导。
设 O 为原点，向量 OA=a, OB=b, OC=c, OD=d。由于 A,O,C 共线，B,O,D 共线，存在实数 λ, μ 使得 c = -λa, d = -μb。
利用向量叉积的几何意义（面积=1/2|a×b|），可以证明四个三角形面积的乘积关系依然成立。这种方法在处理解析几何问题时更为便捷。
经典例题与实战演练
掌握了蝴蝶模型公式推导步骤后，我们通过两道典型题目来巩固知识。
题目：如图，梯形ABCD中，AD // BC，对角线交于O。已知 S△AOD = 2，S△AOB = 3，求梯形ABCD的面积。
解析：
- 在梯形中，S左 = S右 = S△AOB = 3？不对，S左是△AOD吗？通常定义上底为AD，下底为BC。则△AOD是上，△BOC是下，△AOB和△COD是左右。题目已知 S△AOD=2 (上)，S△AOB=3 (左)。
- 根据梯形性质，S左 = S右，所以 S△COD = 3。
- 根据推导结论 S上 × S下 = S左 × S右，即 2 × S△BOC = 3 × 3 = 9。
- 所以 S△BOC = 4.5。
- 总面积 = 2 + 3 + 3 + 4.5 = 12.5。
题目：四边形ABCD中，对角线交于O。S△AOB=6, S△BOC=8, S△COD=12。求 S△AOD 及 AO:OC 的值。
解析：
- 根据 S左 × S右 = S上 × S下，设 S△AOD = x。则 x × 8 = 6 × 12。
- 8x = 72 => x = 9。所以 S△AOD = 9。
- 求 AO:OC。观察△AOB和△BOC，它们以AC为底线时，高相同（从B到AC的距离），所以面积比等于底边比。AO:OC = S△AOB : S△BOC = 6 : 8 = 3 : 4。