蝴蝶模型的面积公式是S1：S2=a^2/b^2，蝴蝶定理（Butterfly Theorem），是古代欧氏平面几何中最精彩的结果之一，这个命题最早出现在1815年。

梯形蝴蝶定理是一个平面几何中的重要定理，由于该定理的几何图形形状奇特，形似蝴蝶，所以以蝴蝶来命名梯形蝴蝶定理是一个平面几何中的重要定理，由于该定理的几何图形形状奇特，形似蝴蝶，所以以蝴蝶来命名