在一个梯型四边形中，以对角线相交后，形成左右两个三角形成蝴蝶模型，左右两个三角形面积相等，上下两个三角形面积乘积等于左右两个翅膀面积乘积。

蝴蝶定理（Butterfly Theorem），是古代欧氏平面几何中最精彩的结果之一。这个命题最早出现在1815年，由W.G.霍纳提出证明。而“蝴蝶定理”这个名称最早出现在《美国数学月刊》1944年2月号，题目的图形像一只蝴蝶。这个定理的证法多得不胜枚举，至今仍然被数学热爱者研究，在考试中时有出现各种变形。

蝴蝶定理表达式：

XM=MY

蝴蝶模型基本公式是AD：BC=OA：OC。

蝴蝶模型又称梯形蝴蝶定理，是指在一个梯形中连接对角线

后形成四个三角形。梯形蝴蝶定理是一个平面几何中的重要定理，由于该定理的几何图形

形状奇特，形似蝴蝶，所以以蝴蝶来命名。