阿波罗尼奥斯定理:一道高联一试题背后的“几何之魂”

高中数学 · 解析几何专题 ｜ 顶级陪伴家吴老师 · 课堂笔记

同学们好，我是顶级陪伴家吴老师。

今天这篇文章，我们不急着刷题，而是想围绕一道高联一试的经典小题，好好认识一个定理——它叫阿波罗尼奥斯定理，你们课本里通常叫它“中线长公式”。

为什么值得专门写一篇？因为这道题最精彩的地方，恰恰不在计算，而在这个定理的一次“变形”上。很多同学公式背得滚瓜烂熟，却在这个变形面前卡住；而一旦想通，你会突然明白解析几何的很多难题，难的不是思路，而是工具没选对。

这篇文章我会讲清楚三件事：这个定理到底怎么来的、它有哪些证明方法、以及它在竞赛里是怎么“一招制敌”的。文章不赶进度，适合慢慢读、反复翻。

一、原题

已知椭圆 x²/a² + y²/20 = 1（a² > 20），F 为左焦点，AB 为椭圆的一条弦，M 为弦 AB 的中点，且满足：

题设条件

|FM|² = |FA| · |FB|

求：正整数 a 的最小值；并求此时过点 P(1, 1) 且满足条件的直线方程。

图4　弦 AB 过左焦点 F，M 为 AB 中点，满足 |FM|² = |FA|·|FB|（示意）

二、主角登场：阿波罗尼奥斯定理

1. 定理内容

在三角形 FAB 中，M 是 AB 的中点，那么：

阿波罗尼奥斯定理（中线长公式）

|FA|² + |FB|² = 2|FM|² + 2|AM|²

因为 M 是 AB 的中点，|AM| = |AB|/2，所以也有等价写法：

|FA|² + |FB|² = 2|FM|² + (1/2)|AB|²

这个定理还有几个名字：中线定理、巴布斯定理、重心定理。它说的是：三角形中线的两侧所对边的平方和，等于“底边一半的平方”加上“中线平方”的和的两倍。

图1　阿波罗尼奥斯定理：中线把“平方和”与“平方和的一半”联系起来（示意）

2. 定理的来历：阿波罗尼奥斯是谁

阿波罗尼奥斯（约公元前262—约公元前190），古希腊数学家、天文学家，与欧几里得、阿基米德并称“亚历山大前期的三大数学巨人”。他出生于小亚细亚的佩尔加（今属土耳其），青年时代前往亚历山大城，在欧几里得继承者的门下学习，并在此完成了一生最重要的学术工作。

他最为人称道的是八卷本巨著《圆锥曲线论》，全书约487个命题，用纯几何方法系统构建了圆锥曲线的完整理论体系，其深刻与完备程度，使此后近两千年几乎无人能在此基础上增添实质性内容。我们今天课本里的“椭圆、抛物线、双曲线”这三个名字，都是他命名的。他也是第一个发现双曲线有两支的人。

有意思的是，这道高联题把“阿波罗尼奥斯定理”和“椭圆”放在同一道题里，而这两样东西，恰恰出自同一位数学家之手——这大概也是一种奇妙的呼应。

三、四种证明：把一个定理吃透

证法一：勾股定理法（作高）

设 M 是 BC 中点，过 A 作 BC 边上的高，垂足为 H。不妨设 M 在 H 的某一侧，利用两次勾股定理，把 AB² 和 AC² 分别展开成关于 AM、BM、MH 的式子，相加之后 MH 的交叉项刚好抵消，整理即得结论。这是最朴素、也最直观的证法。

四、定理的推广：斯特瓦特定理

如果 D 不是中点，而是 BC 边上的任意一点，结论会变成什么样？这就是斯特瓦特定理：

斯特瓦特定理

b² · m + c² · n = a · (d² + m · n)

其中：a = |BC|，d = |AD|，m = |BD|，n = |DC|，b = |AC|，c = |AB|。

图2　斯特瓦特定理：D 为 BC 上任意点（中线定理是其特例）（示意）

它还有两个漂亮推论：当 AD 为角平分线时，d² = bc - mn；当 AD 为高时，也有对应的简单形式。也就是说，斯特瓦特定理像一把“万能钥匙”，中线的、角平分线的、高的公式，都可以从它推出来。记住它，等于同时记住三个公式。

五、回到这道题：为什么“变形”是全题灵魂

1. 条件翻译：题目给的其实是一个“等比中项”

题设 |FM|² = |FA|·|FB|，意思是 FM 的长度是 FA、FB 的等比中项。这类“乘积型”条件，用常规的设直线、联立、韦达去处理，会非常痛苦，因为两个焦半径相乘，展开之后全是四次项。出题人想要的是：你能不能用几何定理，把这个乘积条件转化成更简单的形式。

2. 变形全过程（逐行拆解）

先把阿波罗尼奥斯定理写出来：

|FA|² + |FB|² = 2|FM|² + 2|AM|²

因为 |AM| = |AB|/2，所以 2|AM|² = |AB|²/2，代入：

|FA|² + |FB|² = 2|FM|² + (1/2)|AB|²

把含有 |FM| 的项单独留在左边，其余移到右边：

2|FM|² = |FA|² + |FB|² - (1/2)|AB|²

两边除以 2：

|FM|² = (1/2)(|FA|² + |FB|²) - (1/4)|AB|²

现在把题设 |FM|² = |FA|·|FB| 代进去：

|FA|·|FB| = (1/2)(|FA|² + |FB|²) - (1/4)|AB|²

两边同乘 4：

4|FA||FB| = 2|FA|² + 2|FB|² - |AB|²

移项，把 |AB|² 放到左边：

|AB|² = 2|FA|² + 2|FB|² - 4|FA||FB|

右边提取公因数 2，括号里正好是完全平方：

关键一步：配完全平方

|AB|² = 2·(|FA| - |FB|)²

到这一步，题目条件的“乘积”就变成了“平方差”，这才是整个题目真正的突破口。

3. 等式两边的落地：一个靠平面几何，一个靠椭圆

配出来的等式左边 |AB|²，用两点间距离公式展开，这是任何坐标系下都成立的平面几何事实：

|AB|² = (x1 - x2)² + (y1 - y2)²

等式右边 (|FA| - |FB|)²，则要用到椭圆独有的焦半径公式。对左焦点 F：

|FA| = a + e·x1，|FB| = a + e·x2，e = c/a

两式相减，常数 a 直接抵消，只剩下横坐标之差：

|FA| - |FB| = e·(x1 - x2) = (c/a)(x1 - x2)

这里恰恰是椭圆最“给力”的地方：常数项抵消，差只和 x1 - x2 有关。如果是双曲线，焦半径带绝对值，就没有这么干净；如果是抛物线，只有一个焦点，根本不存在两个焦半径相减。所以这道题能走通，是椭圆焦半径的特殊结构给的机会。

4. 联立两个等式，求出斜率

把两点距离和焦半径差同时代入关键等式：

(x1-x2)² + (y1-y2)² = 2·(c/a)²·(x1-x2)²

移项整理：

(y1-y2)² = ((2c²/a²) - 1)·(x1-x2)²

代入 c² = a² - 20：

(y1-y2)² = ((a² - 40)/a²)·(x1-x2)²

左边是平方，恒大于等于 0，分母 a² > 0，所以必须有：

a² - 40 ≥ 0，即 a ≥ √40

a 是正整数，√40 约为 6.32，所以最小正整数：

答案一

a = 7

把 a = 7 代回：

(y1-y2)² = (9/49)·(x1-x2)²

所以弦所在直线的斜率 k = (y1-y2)/(x1-x2) 满足：

k² = 9/49，即 k = ±3/7

直线过 P(1, 1)，用点斜式写出两条直线：

y - 1 = (3/7)(x - 1)，y - 1 = -(3/7)(x - 1)

整理成一般式：

答案二

3x - 7y + 4 = 0　或　3x + 7y - 10 = 0

5. 如果不变形，会怎样？

有同学会问：我不配这个完全平方，直接联立直线和椭圆硬算，行不行？答案是：能，但代价极大。设直线 y - 1 = k(x - 1)，联立椭圆后要写出 x1 + x2、x1x2，再算中点 M 坐标，再算 |FM|²，再算 |FA|·|FB|——两个焦半径相乘展开后是四次表达式，令两者相等又是一通化简，最后还要讨论参数恒成立。整页整页的代数，考场里几乎不可能算完，而且完全看不到题目在考什么。

这也正是这道题的命题意图：定理人人会背，但能不能主动对定理做代数重构，才是区分高手和普通学生的关键。

六、本质总结：这道题到底在考什么

把整道题浓缩成一张“路线图”：

题目给出“中点 M”，这是信号，提醒你该用中线长公式；题目给出“乘积 |FM|² = |FA|·|FB|”，这是障碍，常规韦达处理不了；中线公式把“平方和”与“中点”挂钩，变形后把“乘积”变成“平方差”，这是桥梁；最后焦半径做差把“线段差”翻译成“坐标差”，这是落地。

所以这道题的本质是：通过阿波罗尼奥斯定理的代数变形，把“线段乘积”这种解析几何难以处理的约束，转化为“平方差”，再借助椭圆焦半径的特殊结构落地。一句话：见焦点、见中点，优先中线；遇乘积、遇平方，立刻变形。

七、延伸彩蛋：阿波罗尼奥斯圆（阿氏圆）

同一个阿波罗尼奥斯，还留下另一个几乎每年都会出现在中考、高考模拟里的结论——阿波罗尼奥斯圆，简称阿氏圆。

阿波罗尼奥斯圆

平面内到两个定点 A、B 的距离之比为定值 λ（λ > 0，λ ≠ 1）的点 P 的轨迹是一个圆

如果 λ = 1，轨迹退化为线段 AB 的垂直平分线；当 λ ≠ 1 时，轨迹是一个圆，圆心在两定点连线的延长线上，且把两定点连线按 λ² 的比例内分外分。这个圆最早由阿波罗尼奥斯发现，因此在解析几何、平面几何的最值问题里非常常见。

图3　阿波罗尼斯圆（阿氏圆）：到两定点距离之比为定值的点的轨迹（示意）

你看，同一个人的两个发现——一个“定理”管住三角形中线，一个“圆”管住距离之比，都在今天的考试里大放异彩。学数学最幸福的事之一，就是隔着两千多年，还能和这样的头脑对话。

八、吴老师总结

回到最开始的问题：为什么这道题值得反复翻阅？因为它的核心不是计算，而是“工具意识”——面对中点想中线，面对乘积想变形，面对线段差想焦半径。这种意识，比任何一道题本身都值钱。

思考题：如果本题把椭圆换成双曲线 x²/a² - y²/20 = 1（a² > 20），同样的条件 |FM|² = |FA|·|FB| 还能不能做？卡在哪里？（提示：双曲线焦半径公式带绝对值，常数项不一定能干净抵消。）想明白了，欢迎来评论区交流。