蝴蝶模型，又稱梯形蝴蝶定理，是指壹個梯形中由對角線連接而成的四個三角形。梯形蝴蝶定理是平面幾何中的壹個重要定理。由於該定理的幾何圖形奇特，形似蝴蝶，故以蝴蝶命名。
梯形蝴蝶定理的證明:
S1和S2的三角形相似，所以面積比=邊長比的平方是a？﹍b？。
S1和S4三角形的底高相同，所以我們可以知道S1￣S4 = OA￣OC，由於s 1和S2是相似三角形，相似比= a￣b，所以s 1￣S4 = OA￣OC = a￣b = a？ab；同理s 1 \u S3 = a？ab公司.所以S1︰S2︰S3︰S4=a？﹍b？ab；ab .