蝴蝶定理（Butterfly Theorem）是平面几何中最具美感且令人着迷的定理之一。它以其图形形似蝴蝶翅膀而得名。该定理最早由W.G.霍纳（W.G. Horner）于1815年在《剑桥数学杂志》上提出。然而，关于其起源有一个著名的传说：1844年，该定理被《平民问答题》杂志刊登，一位读者署名“一个高中生”提出了证明，人们推测这位“高中生”可能就是威廉·金登·韦伯（William Kingdon Clifford）。此后，许多数学家如高斯、柯西等都曾研究过此定理，并给出了不同的证明方法。
设M为圆O内弦PQ的中点，过M作两条弦AB和CD，连接AD和BC分别交PQ于E和F，则M也是EF的中点。即 EM = MF。
蝴蝶定理揭示了圆内弦的中点所具有的深刻对称性质。它不仅是欧几里得几何的一个优美结论，也是射影几何中极点极线理论的一个特例。在数学竞赛中，它常作为难题出现，考察学生对几何变换和代数计算的综合运用能力。
虽然标题为“100例”，但在数学界，核心的证明逻辑主要归结为几大类。以下通过选项卡展示三种最经典且最具代表性的证明方法。
面积法是初中竞赛中最常用的方法，其核心思想是利用三角形面积比与线段比的关系。
此方法优势在于几何意义明确，无需复杂计算，但需要较强的辅助线构造能力。
坐标法是一种“暴力”但通用的方法，通过建立直角坐标系，将几何问题转化为代数方程求解。
此方法虽然计算量较大，但逻辑链条固定，适合编程实现或处理复杂变式。
射影几何法是从更高维度看待蝴蝶定理，揭示了其本质。
此方法展示了蝴蝶定理是圆锥曲线的一个普遍性质，不仅限于圆。
W.G. Horner在《剑桥数学杂志》上首次提出了蝴蝶定理，但未给出详细证明。
《平民问答题》杂志刊登了该定理，一位署名“一个高中生”的读者给出了第一个完整证明，此人极可能是William Kingdon Clifford。
随着几何学的发展，数学家们开始利用面积法、三角法等多种手段重新证明此定理，证明了其广泛的适用性。
射影几何学成熟后，蝴蝶定理被证明是圆锥曲线极点极线理论的特例，其地位从平面几何难题提升为射影几何的基本性质之一。
借助计算机代数系统，数学家可以验证更复杂的广义蝴蝶定理，甚至发现新的变式。
| 证明方法 | 难度系数 | 计算量 | 几何直观性 | 适用场景 |
|---|---|---|---|---|
| 面积法 | ★★★☆☆ | 低 | 高 | 初高中数学竞赛，快速解题 |
| 坐标解析法 | ★★★★☆ | 高 | 低 | 无法构造辅助线时，通用性强 |
| 三角法 | ★★★★☆ | 中 | 中 | 涉及角度计算较多的题目 |
| 射影几何法 | ★★★★★ | 低 | 高（抽象） | 研究圆锥曲线通用性质，高阶数学研究 |
| 复数法 | ★★★★☆ | 中 | 中 | 复平面上的几何问题 |
蝴蝶定理不仅仅局限于圆，它在更广泛的几何图形中依然成立。
对于任意椭圆，若M是弦PQ的中点，过M作两弦AB、CD，则AD、BC与PQ的交点E、F仍满足EM=MF。这是因为椭圆可以通过仿射变换由圆得到，而中点性质在仿射变换下保持不变。
同理，蝴蝶定理在双曲线和抛物线中也成立。这体现了圆锥曲线在射影几何中的统一性。
在三维空间中，若考虑球面或二次曲面，也存在类似的对称性质，但图形结构更为复杂，通常涉及球面几何或射影空间。
蝴蝶定理是平面几何中的一个著名定理。其经典形式为：设M为圆O内弦PQ的中点，过M作两条弦AB和CD，连接AD和BC分别交PQ于E和F，则M也是EF的中点。
常见的证明方法包括：1. 面积法（利用三角形面积比）；2. 坐标解析法（建立直角坐标系计算）；3. 射影几何法（利用极点极线性质）；4. 对称变换法（构造辅助线利用对称性）。
可以。蝴蝶定理不仅适用于圆，也适用于椭圆、抛物线和双曲线等所有圆锥曲线。这是因为射影几何变换可以将任意圆锥曲线变为圆，而中点性质在仿射变换下保持不变。
非常有帮助。蝴蝶定理是平面几何中的经典难题，掌握其多种证明方法有助于提升几何直观、代数运算能力以及逻辑推理能力，是高中数学联赛及国际数学奥林匹克（IMO）培训中的重要素材。
因为当画出定理的图形时，弦AB、CD与AD、BC围成的图形形状像一只蝴蝶，M是蝴蝶的身体，EF是蝴蝶的触角，因此得名。