蝴蝶定理（Butterfly Theorem）是一个关于几何中圆与弦的性质的有趣定理。以下是蝴蝶定理的三个主要公式或结论：
1. 基本形式
在任意一个圆上，取任意四点A、B、C、D，使得线段AB和CD相交于圆内一点P。连接AD和BC，它们交于点Q。再连接AC和BD，它们交于点R。那么点P、Q、R是共线的，并且PQ=QR（即这三点构成一个等腰三角形）。
公式表达：若P为AB与CD的交点，Q为AD与BC的交点，R为AC与BD的交点，则P、Q、R三点共线且PQ=QR。
2. 中点形式
如果点M是线段AB的中点，N是线段CD的中点，且MN垂直于AB和CD，那么MN会经过圆心O，并且OM=ON=OP（其中P是AB与CD的交点）。此外，MQ=NR（其中Q和R分别是AD与BC、AC与BD的交点）。
公式表达：设M为AB中点，N为CD中点，MN⊥AB且MN⊥CD，则MN过圆心O，OM=ON=OP，且MQ=NR。
3. 推广形式
蝴蝶定理可以推广到更复杂的图形中，例如椭圆或其他圆锥曲线。在这些情况下，虽然具体的点和线段的名称可能不同，但基本的共线性质仍然成立。不过，这些推广形式的证明通常更加复杂，并可能需要使用更高级的数学工具。
公式表达（非具体）：在椭圆或其他圆锥曲线上，类似地选取点并构造相应的线段和交点，可以证明存在类似的共线性质。
需要注意的是，蝴蝶定理的证明通常需要一些几何知识和技巧，包括相似三角形的性质、圆的性质以及角度和长度的计算等。对于初学者来说，理解这个定理可能需要一些时间和努力。同时，也要注意区分不同形式的蝴蝶定理及其应用场景。
