一道圆锥曲线题目的纯几何证明

看一个有趣的题目：

这种题用解析几何基本上秒解，所以题主才要求用纯几何。而纯几何的解法也要分类看，但基本上都用到了旁切圆。

我给出的这种证法还是要申明一个道理，即 “辅助线就是参照系”，解析几何能秒解硬算几乎所有平面几何问题，就在于坐标本身就是图形间关系沟通的参照媒介，而方程则是关系本身，因此，一目了然。

坐标系这么厉害，人们当然拿它做更高尚的事去了，解平面几何题，显然大材小用了。平面几何题还得要纯几何法。

但解析几何显然是一种思想而不仅仅是一种方法和工具，本文介绍的我的这种证法就是 “解析” 思想的贯彻，即拆解并理清出图形之间的关系。

我仅作一条辅助线，拉清楚关系，证明也就明晰了。过程如下。

纯几何可以使用的椭圆性质：

• 椭圆上任意一点到两个焦点的距离之和等于 2a；

如图，椭圆两个焦点 $F_1，F_2$，中心为 O。

作 $DG\perp F_1{F}_2$，有 $\frac{DG}{AG}=\frac{CB}{AB}$，下面分别处理左右两边。

注意到 $△F_{1}DG，△F_{2}DG$，分别使用勾股定理：

$$\begin{gathered} F_1{D}^2=D{G}^2+F_1{G}^2 \\ {F}_2{D}^2=D{G}^2+F_2{G}^2 \end{gathered}$$

两式相减：

$(F_{1}D+F_{2}D)(F_{1}D-F_{2}D)=(F_{1}G+F_{2}G)(F_{1}G-F_{2}G)$

纯平面几何，a 为半长轴，b 为半短轴，c 为半焦距，椭圆上一点到焦点之和为 2a，将这等参数代入：

$\begin{array}{rl}2a(F_{1}D-F_{2}D)& =2c(F_{1}G-F_{2}G)\end{array}$
$\to$
$\begin{array}{rl}{F}_{1}D-F_{2}D& =\frac{c}{a}(F_{1}G-F_{2}G)\end{array}【等式1】$

由于:

$\begin{array}{rl}2AG& =(F_{1}O+F_{1}A+OG)+(OG+a)\\ & =a+(F_{1}O+OG)-(a-OG-F_{2}B)+a\\ & =2a+F_{1}G-F_{2}G\end{array}$

上式缩放 $\frac{c}{a}$，即 $2c+\frac{c}{a}(F_{1}G-F_{2}G)$，代入 【等式 1】，即:

$\frac{2c}{a}\times AG=2c+F_{1}D-F_{2}D$

整理上式:

$2c+F_{1}D-F_{2}D=F_1{F}_2+F_{1}D+F_{2}D-2F_{2}D=2a+2c-2F_{2}D$

所以:

$AG=\frac{a}{2c}(2a+2c-2F_{2}D)$

现在看 $\frac{DG}{AG}$:

$\begin{array}{rl}\frac{DG}{AG}& =\frac{DG}{\frac{a}{2c}(2a+2c-2F_{2}D)}\\ & =\frac{2c\times DG}{a\times (2a+2c-2F_{2}D)}\end{array}$

而我们知道 A，D，C 共线，且 $\frac{DG}{AG}=\frac{CB}{AB}$，因此：

$\begin{array}{rl}\frac{CB}{AB}& =\frac{2c\times DG}{a\times (2a+2c-2F_{2}D)}\\ & =\frac{2\times 半径}{2a}\end{array}$

故:

$半径=\frac{2c\times DG}{2a-2c-F_{2}D}$

由于 $△F_{1}D{F}_2$ 为焦点三角形，$D{F}_2$ 边的旁切圆半径为：

$\begin{array}{rl}{r}_{旁}& =\frac{S_{焦点三角形}}{焦点三角形半周长-对应切边长}\\ & =\frac{S_{△F_{1}D{F}_2}}{a+c-F_{2}D}\\ & =\frac{\frac{1}{2}{F}_1{F}_2\times DG}{a+c-F_{2}D}\\ & =\frac{2c\times DG}{2a-2c-F_{2}D}\end{array}$

因此题中的圆就是焦点三角形 $△F_{1}D{F}_2$ 在 $D{F}_2$ 边的胖切圆。

再次评价。

找准辅助线，那条辅助线就是笛卡儿的坐标轴，就是阿基米德能撬起地球的支点，就是关系的中介，所以本质上作辅助线就是建系。

看一下我的辅助线作法：《圆锥曲线论》命题 I.20 的纯几何论证

该文中所展示的方法和本文分享的题目的解法雷同，我甚至用另一条抛物线作待解抛物线的参照，并不限于形式，这就是精髓。

这种朴素的 “找关系” 的风格首先被罗马帝国帕普斯掌握，笛卡儿循着这种风格作线索，解决了 “帕普斯问题”，成了解析几何的雏形。推荐一本卡尔·波耶的书：

浙江温州皮鞋湿，下雨进水不会胖。