蝴蝶定理的公式是任意四边形中的比例关系为S1∶S2=S4∶S3或S1×S3=S2×S4,上、下部分的面积之积等于左、右部分的面积之积,这是古代欧氏平面几何中最精彩的结果之一。
蝴蝶定理最早出现在1815年,由WG霍纳提出证明。而“蝴蝶定理”这个名称最早出现在《美国数学月刊》1944年2月号,题目的图形像一只蝴蝶。