圆锥曲线的部分趣事——圆的第二定义的传统几何证明方法、过圆锥曲线上点的切线方程以及该方程更广泛的意义-CSDN博客

本文链接：https://blog.csdn.net/weixin_37670295/article/details/129212946

搞数学切忌杀鸡用牛刀（当然此处仅为比喻，本人平生以仁义为己任，虽然由于种种原因尚未素食，但也决不杀生），例如，但凡一次方程组能解决的数学问题用算术方法均可以解决，根本不需要去列方程。如果一个人用方程去解反而比算术方法更快那说明这个人对该数学问题的本质没有深刻的认识。再如，几何上一些所固有的性质不依赖于坐标，这种问题如果你认识足够深刻，是绝对不需要解析几何和向量方法来证明的，是传统几何办法一定可以解决的。

优秀的数学家或数学学者不会用牛刀去杀鸡，同时鸡刀不足以发挥威力之时他们也善于发现牛刀。这两种能力表面上似乎是对立的，但实际上是统一的，只有能够清晰认识数学的人才不至于在方法手段上大材小用，同时也更容易发现新的数学工具。

本文先介绍一下圆的第二定义的几何证明，再用简洁的方法讨论一下圆锥曲线的切线问题以及该方程更广泛的意义。当然用解析几何的方法证明极易，只需要计算一下即可，此处我们用传统几何的方法证明之。

如图假定圆 $O$ 的半径为 $r$ ， $D$ 为圆上的任意一点，不妨假定

$OA=\frac{1}{k}r, ~~~OC=kr$

则由

$\frac{OA}{OD}=\frac{OD}{OC}\Rightarrow\Delta OAD\backsim \Delta ODC\Rightarrow\frac{AD}{DC}=\frac{OA}{OD}=\frac{1}{k}$

进而推出圆的第二定义：“到两定点 $A, C$ 距离之比为定值的轨迹为圆。”

下面再讨论一下圆锥曲线的切线问题，下面只以椭圆举例，其实下列结论对双曲线和圆也成立，推法完全相同。如下图所示

椭圆

$\frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}=1$

对该椭圆求导可得

$\frac{x_{0}}{a^{2}}+\frac{y_{0}y'|_{x=x_{0}}}{b^{2}}=0\Rightarrow y'_{x=x_{0}}=-\frac{b^{2}x_{0}}{a^{2}y_{0}}$

又知切线过点 $(x_{0}, y_{0})$ 可得切线方程为

$\frac{x_{0}x}{a^{2}}+\frac{y_{0}y}{b^{2}}=1$

我们再看当 $(x_{0}, y_{0})$ 在椭圆外时该方程表示哪条直线

$l_{1}, l_{2}$ 为切线， $l_{3}$ 为过切点的弦，我们已经知道过切点 $(x_{1}, y_{1}), (x_{2}, y_{2})$ 的切线方程分别为

$\frac{x_{1}x}{a^{2}}+\frac{y_{1}y}{b^{2}}=1, \\ \frac{x_{2}x}{a^{2}}+\frac{y_{2}y}{b^{2}}=1$

又因为两切线均过 $(x_{0}, y_{0})$ ，因此又有

$\frac{x_{1}x_{0}}{a^{2}}+\frac{y_{1}y_{0}}{b^{2}}=1\\ \frac{x_{2}x_{0}}{a^{2}}+\frac{y_{2}y_{0}}{b^{2}}=1$

其实到了这一步，我们已经可以睿智地断定 $l_{3}$ 的解析式为

$\frac{x_{0}x}{a^{2}}+\frac{y_{0}y}{b^{2}}=1$

这是因为两个切点均满足此方程，两点确定一条直线，因此弦的方程自然就是该方程。如果非要去证明也极容易，还是那句话，杀鸡不要用牛刀，我们不要见到直线与圆锥曲线就想到两方程联立，用判别式法去求解，如果这样做会很麻烦，绕了个大圈子结果还是一样的。我们可以直接用点差法即将两个方程相减求得 $l_{3}$ 斜率为

$\frac{y_{2}-y_{1}}{x_{2}-x_{1}}=-\frac{b^{2}x_{0}}{a^{2}y_{0}}$