蝴蝶模型，以其独特的梯形对角线构图而闻名，其核心公式表述为：AD与BC的比例等于OA与OC的比例，即AD:BC=OA:OC。这个定理，也称为梯形蝴蝶定理，源于平面几何，因其图形特征呈现出蝴蝶的形状而得名。

它的基本原理体现在连接梯形对角线后形成的四个三角形之间的关系上。根据相似三角形的性质，当我们连接对角线，将梯形划分为两个相似三角形S1和S2时，它们的面积之比等于对应边长的平方比，即S1面积:S2面积 = a²:b²。另外，S1和S4、S1和S3也分别具有相同的底和高，从而推导出S1与S4的比例也是a:OC，即S1:S4=a²:ab。同理，S1与S3的比例也为a²:ab。因此，四个三角形的面积比总结为S1:S2:S3:S4 = a²:b²:ab:ab。

这个模型简洁直观地展示了梯形中对角线对各部分比例的影响，是几何学中的一个实用工具。