在一个梯形中，两条过顶点相交叉的线，对角的两个三角形相似且面积相等，即S1=S2。

在蝴蝶模型中，对角的两个三角形的面积都是相等的。蝴蝶模型最早是由霍纳提出的欧式平面几何，因为形状酷似蝴蝶，所以才被称为蝴蝶模型，流传至今。由蝴蝶模型推导出的蝴蝶定理是解析平面几何的一项重要定理。