判定两个点是否在一条直线的同一侧_极点极线内一系列点共线的解析几何证明...

前言：极点极线背景下的圆锥曲线在各省市模拟题中频频出现，标准答案里的解答也是又臭又长，而且运算量巨大，笔者也试图寻找过相关的纯几何以及解析几何的简便证明方法，终于，笔者在10年前的一个数学论坛的帖子里发现了一位大佬的证明，笔者对这一系列的证明进行了简单整理，方便大家推导。

---

预备知识：

1、圆锥曲线一般式的切点弦方程：

对于一个般的圆锥曲线

过点

（在圆锥曲线外）的切点弦方程为

证明：对此圆锥曲线进行隐函数求导，可得

整理得

设切点

则切线分别为

和

两直线过点

,代入整理，得

和

不难看出

满足

展开化简得

又因为上面的曲线过A、B两点，代入，与椭圆方程联解，可以进一步消去二次项，并发现A、B两点满足下列方程：

移项并同时除以2可得

证毕。

---

下面是第一个问题：

一、从圆O外一点P引两条切线PA,PB，切点为A,B,再从点P引圆O的两条割线PCD,PEF,与圆O交于点C,D,E,F.弦CF,DE交于点G，求证：A，G,B三点共线。

下面的方法来自zhangyuong^[1]

注1：上面获得圆O的方程的方法，正是曲线系的知识，两条相交的直线，可以看作一条退化的二次曲线，经过两二次曲线交点的所有二次曲线，可以用这两个二次曲线的方程表示，就像圆系方程中经过两圆交点的所有的圆方程一样。

注2：切点弦AB的方程可由前文得到。

第二个问题：

在第一问的基础上，若直线AC与直线BD交于点H，求证A、B、H、G共线。

这个很简单，当EF恰与OP重合时，DE与DF垂直，EF与EC垂直，在三角形HEF中，G为垂心，显然此时GH连线垂直于OP，由过直线外能且仅能做一条垂线于已知直线垂直，A、B、H、G四点共线。

至此，我们已经完成了几何定义上极线的构造，但是对于极线最重要的调和点列性质，我们还没证明。

第三个问题：

过点P作圆O两条割线PAB与PCD，连结AD与BC，交于点Q，直线PQ交圆O于点E、F，点M为弦EF的中点．求证：

实际上，这个问题等价于求证

，为什么呢？

不妨设

化简上式即可得到

，故

。

事实上，

是判定调和点列的一个判定定理。

这里，笔者仅将曲线系的解法放出，该解法的作者未知，更多的证法详见^[2]

故

成立。

至此，我们已经证明了圆外一点的极线（切点弦）与从此点引出的割线的关系，并证明了圆外一点与极线上的点的调和点列关系，并得到了一系列共直线关系，初步证明极点极线的部分性质，如果要将此性质推广到椭圆，只需进行仿射变换即可，由仿射前后共线点比例不变即可证得。

参考

1. ^此方法来自zhangyuong http://www.2math.cn/forum.php?mod=viewthread&tid=1842&highlight=%D3%C3%BD%E2%BC%B8%BD%E2%BE%F6%B5%C4%BC%B8%B5%C0%CC%E2%C4%BF
2. ^https://wenku.baidu.com/view/240226283169a4517723a365.html