交比与调和点列

交比与调和点列

在交比 $({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_4)$ 中，分号前的两个点 ${\mathbf{p}}_1,{\mathbf{p}}_2$ 被称为基点偶（从名称来看，是因为前两个点常被用来作为参考基点），分号后的两个点 ${\mathbf{p}}_3,{\mathbf{p}}_4$ 被称为分点偶（顾名思义，分割直线的两个点）。四个共线点 ${\mathbf{p}}_1,{\mathbf{p}}_2,{\mathbf{p}}_3,{\mathbf{p}}_4$ 按照命名方式，在几何位置上并无限制。可能按顺序排列，也可能相互交错。我在上一篇文章《交比不变》中总结了交比的定义，这里要利用定义给出交比的性质。

选择直线 $\mathbf{l}$ 上任意两个参考点 $\mathbf{a}$ 和 $\mathbf{b}$, 按照统一的方式对 $\mathbf{l}$ 上的四个共线点 ${\mathbf{p}}_1,{\mathbf{p}}_2,{\mathbf{p}}_3,{\mathbf{p}}_4$ 进行参数化。得到 ${\mathbf{p}}_i=\mathbf{a}+{\lambda }_i\mathbf{b}$, 其中 $i=1,2,3,4$ 。因此有：

$$({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_4)=\frac{({\lambda }_3-{\lambda }_1)({\lambda }_4-{\lambda }_2)}{({\lambda }_3-{\lambda }_2)({\lambda }_4-{\lambda }_1)}\text{\hspace{1em}(1)}$$
使用 $\overline{\mathbf{a}\mathbf{b}}$ 表示从 $\mathbf{a}$ 到 $\mathbf{b}$ 的有向线段长度，则交比又有几何定义：

$$({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_4)=\frac{\overline{{\mathbf{p}}_1{\mathbf{p}}_3}\cdot \overline{{\mathbf{p}}_2{\mathbf{p}}_4}}{\overline{{\mathbf{p}}_2{\mathbf{p}}_3}\cdot \overline{{\mathbf{p}}_1{\mathbf{p}}_4}}\text{\hspace{1em}(2)}$$

交比的性质

令 $({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_4)=r$, 由 (1) 式可以得到交比的性质如下：

1. 交换基点偶和分点偶，交比不变；$({\mathbf{p}}_3,{\mathbf{p}}_4;{\mathbf{p}}_1,{\mathbf{p}}_2)=r$;
2. 基点偶和分点偶内部同时互换，交比不变；$({\mathbf{p}}_2,{\mathbf{p}}_1;{\mathbf{p}}_4,{\mathbf{p}}_3)=r$;
3. 基点偶或分点偶内部互换，交比变成倒数；$({\mathbf{p}}_2,{\mathbf{p}}_1;{\mathbf{p}}_3,{\mathbf{p}}_4)=({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_4,{\mathbf{p}}_3)=1/r$;
4. 交换中间或者首尾两个点，交比变成 $1-r$; $({\mathbf{p}}_1,{\mathbf{p}}_3;{\mathbf{p}}_2,{\mathbf{p}}_4)=({\mathbf{p}}_4,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_1)=1-r$;

四个点的排列共 24 种方式，所有交比只有 6 种不同的结果：$r,1/r,1-r,(r-1)/r,1/(1-r),r/(r-1)$ 。

特殊情形: 若共线的四点交比出现 $0,1,\infty$ 三者之一时，则说明四个点中有两个点重合；反之亦然。由 (1) 式和交比性质，很容易验证此命题。

调和比: 若 $({\mathbf{p}}_1,{\mathbf{p}}_2;{\mathbf{p}}_3,{\mathbf{p}}_4)=-1$, 则称交比为调和比；称共线四点 ${\mathbf{p}}_1,{\mathbf{p}}_2,{\mathbf{p}}_3,{\mathbf{p}}_4$ 为调和点列（或称四点调和共轭）。由 (1) 式可知，四个共线点 ${\mathbf{p}}_1,{\mathbf{p}}_2,{\mathbf{p}}_3,{\mathbf{p}}_4$ 互异。根据交比的性质，构成调和比的四个点拥有三种可能的交比值：$-1,2,1/2$ 。调和比是很重要的交比，因为有特殊的几何意义。若满足调和比的共线四点中 ${\mathbf{p}}_4$ 是无穷远点，则 $\overline{{\mathbf{p}}_2{\mathbf{p}}_4}/\overline{{\mathbf{p}}_1{\mathbf{p}}_4}=1$ 。由 (2) 式可知 $\overline{{\mathbf{p}}_1{\mathbf{p}}_3}/\overline{{\mathbf{p}}_2{\mathbf{p}}_3}=-1$, 因此 ${\mathbf{p}}_3$ 是 ${\mathbf{p}}_1$ 和 ${\mathbf{p}}_2$ 的中点。

调和平均数与调和比

简便起见，四个共线点用 $\mathbf{A},\mathbf{B},\mathbf{C},\mathbf{D}$ 表示（齐次坐标点），令 $AB$ 表示从 $\mathbf{A}$ 到 $\mathbf{B}$ 的有向线段长度。若四点组成调和点列，则线段 $AC$ 的长度为 $AB$ 和 $AD$ 的调和平均数，即：

$$\frac{2}{AC}=\frac{1}{AB}+\frac{1}{AD}\text{\hspace{1em}(3)}$$
调和比的名称应该来源于此，下面证明满足关系 (3) 的四个点的交比为调和比。

证明:
由 (3) 可知 $2AD\cdot AB=AC\cdot AD+AC\cdot AB$, 因为 $AB=AC-BC$, 则有 $AD\cdot AC-2AD\cdot BC=A{C}^2-AC\cdot BC$, 即 $AC(AD-AC)=BC(2AD-AC)$ 。由于 $CD=AD-AC$, 所以 $AC\cdot CD-BC\cdot CD=BC\cdot AD$, 即:

$$AB\cdot CD=BC\cdot AD\text{\hspace{1em}(4)}$$
再由 $CD=BD-BC$, 得到 $(AC-BC)(BD-BC)=BC\cdot AD$ 。所以 $AC\cdot BD-BC(AB+BC+BD)+B{C}^2=BC\cdot AD$, 显然 $AD=AB+BD$, 则有：

$$AC\cdot BD=2BC\cdot AD\text{\hspace{1em}(5)}$$
最终证得 $(\mathbf{A},\mathbf{B};\mathbf{C},\mathbf{D})=\frac{AC\cdot BD}{BC\cdot AD}=2$, 故满足调和比。事实上由 (4) 可知 $(\mathbf{A},\mathbf{C};\mathbf{B},\mathbf{D})=\frac{AB\cdot CD}{CB\cdot AD}=-1$, 命题亦得证。关系 (3),(4),(5) 等价。

圆和椭圆中的调和点列

调和点列可以由二次曲线的极点和极线构造出来。如图 1 所示，左边的二次曲线为圆，右边为更一般的椭圆。$\mathbf{A}$ 为极点，对应 $\mathbf{A}$ 的极线 $\mathbf{l}$ 交二次曲线于点 $\mathbf{E}$ 和 $\mathbf{F}$ 。因此 $AE$ 和 $AF$ 为二次曲线的两条切线，且 $\mathbf{E},\mathbf{F}$ 为切点。过点 $\mathbf{A}$ 的直线 $\mathbf{m}$ 交二次曲线于 $\mathbf{B},\mathbf{D}$ 两点，交极线 $\mathbf{l}$ 于 $\mathbf{C}$ 点。证明直线 $\mathbf{m}$ 上的四个点 $\mathbf{A},\mathbf{B},\mathbf{C},\mathbf{D}$ 为调和点列。

图 1: 圆和椭圆中的调和点列

证明:
当二次曲线为圆时，弦切角=所夹弧度数/2=圆周角；所以 $\Delta ABE\sim \Delta AED,\Delta ABF\sim \Delta AFD$; 并且有 $AE=AF$ 。要证明 (4) 式，须知 $AB\cdot CD=BC\cdot AD$ 等价于 $AB/AD=BC/CD$, 其中左边 $=(AB/AE)(AE/AD)=(BE/ED)(AF/AD)=(BE/ED)(BF/FD)=(BE\cdot BF)/(ED\cdot FD)$ 。又因为 $\angle EBF+\angle EDF=\pi$, 所以 $\sin \angle EBF=\sin \angle EDF$ 。显然三角形的面积比 $\frac{S_{EBF}}{S_{EDF}}=\frac{BE\cdot BF\sin \angle EBF}{ED\cdot FD\sin \angle EDF}=\frac{BC}{CD}$, 故 (4) 式成立。

当二次曲线为一般的椭圆时，几何关系就没那么简单了。这里使用齐次坐标，设二次曲线方程为：

$${\mathbf{X}}^T\mathbf{Q}\mathbf{X}=0\text{\hspace{1em}(6)}$$
其中 $\mathbf{Q}$ 为实对称阵。根据极点和极线关系可知：

$$\mathbf{l}=\mathbf{Q}\mathbf{A}\text{\hspace{1em}(7)}$$
点 $\mathbf{E},\mathbf{F}$ 在 $\mathbf{l}$ 上，所以 ${\mathbf{l}}^T\mathbf{E}={\mathbf{l}}^T\mathbf{F}=0$, 即：

$${\mathbf{A}}^T\mathbf{Q}\mathbf{E}={\mathbf{A}}^T\mathbf{Q}\mathbf{F}=0\text{\hspace{1em}(8)}$$
又因为点 E,F 都在椭圆上，所以：

$${\mathbf{E}}^T\mathbf{Q}\mathbf{E}={\mathbf{F}}^T\mathbf{Q}\mathbf{F}=0\text{\hspace{1em}(9)}$$
由于 $\mathbf{A},\mathbf{E},\mathbf{F}$ 三个点不在同一条直线上，所以 $\det (\mathbf{A},\mathbf{E},\mathbf{F})\ne 0$, 即三个点的齐次坐标线性无关。因此，射影平面内的所有点都可以由这三个点的线性组合表示，平面坐标有两个自由度。令 $\mathbf{B}=\mathbf{A}+u\mathbf{E}+v\mathbf{F}$, 则直线 $\mathbf{m}=\mathbf{A}\times \mathbf{B}=\mathbf{A}\times (u\mathbf{E}+v\mathbf{F})$ 。所以直线 $\mathbf{m}$ 和 $\mathbf{l}$ 的交点为：
$$\mathbf{C}=\mathbf{m}\times \mathbf{l}=[\mathbf{A}\times (u\mathbf{E}+v\mathbf{F})]\times (\mathbf{Q}\mathbf{A})=({\mathbf{A}}^T\mathbf{Q}\mathbf{A})(u\mathbf{E}+v\mathbf{F})-(u{\mathbf{E}}^T\mathbf{Q}\mathbf{A}+v{\mathbf{F}}^T\mathbf{Q}\mathbf{A})\mathbf{A}$$
上式推导用到了公式：$(\mathbf{a}\times \mathbf{b})\times \mathbf{c}=({\mathbf{a}}^T\mathbf{c})\mathbf{b}-({\mathbf{b}}^T\mathbf{c})\mathbf{a}$ 。由于 ${\mathbf{E}}^T\mathbf{Q}\mathbf{A}$ 是数，数的转置等于本身，所以 ${\mathbf{E}}^T\mathbf{Q}\mathbf{A}={\mathbf{A}}^T\mathbf{Q}\mathbf{E}=0$, 得到：

$$\mathbf{C}=({\mathbf{A}}^T\mathbf{Q}\mathbf{A})(u\mathbf{E}+v\mathbf{F})=u\mathbf{E}+v\mathbf{F}\text{\hspace{1em}(10)}$$
将点 $\mathbf{B}$ 代入椭圆方程 (6) 式得到：
$$\begin{array}{rl}& ({\mathbf{A}}^T+u{\mathbf{E}}^T+v{\mathbf{F}}^T)\mathbf{Q}(\mathbf{A}+u\mathbf{E}+v\mathbf{F})\\ & ={\mathbf{A}}^T\mathbf{Q}\mathbf{A}+u{\mathbf{A}}^T\mathbf{Q}\mathbf{E}+v{\mathbf{A}}^T\mathbf{Q}\mathbf{F}+u{\mathbf{E}}^T\mathbf{Q}\mathbf{A}+u^2{\mathbf{E}}^T\mathbf{Q}\mathbf{E}+uv{\mathbf{E}}^T\mathbf{Q}\mathbf{F}+v{\mathbf{F}}^T\mathbf{Q}\mathbf{A}+uv{\mathbf{F}}^T\mathbf{Q}\mathbf{E}+v^2{\mathbf{F}}^T\mathbf{Q}\mathbf{F}\\ & =0\end{array}$$
将 (8) 和 (9) 代入上式简化后得到 ${\mathbf{A}}^T\mathbf{Q}\mathbf{A}+2uv{\mathbf{E}}^T\mathbf{Q}\mathbf{F}=0$, 其中 ${\mathbf{A}}^T\mathbf{Q}\mathbf{A}$ 和 ${\mathbf{E}}^T\mathbf{Q}\mathbf{F}$ 是两个已知数，因此得到二次曲线上点坐标的约束条件：

$$uv=-\frac{{\mathbf{A}}^T\mathbf{Q}\mathbf{A}}{2{\mathbf{E}}^T\mathbf{Q}\mathbf{F}}\text{\hspace{1em}(11)}$$
因此按照 $\mathbf{B}=\mathbf{A}+u\mathbf{E}+v\mathbf{F}$ 的形式进行参数化得到的椭圆点满足 (11) 式，即系数 $u$ 和 $v$ 的积为定值。令点 $\mathbf{D}=\mathbf{A}+s\mathbf{C}=\mathbf{A}+su\mathbf{E}+sv\mathbf{F}$, 所以 $s^{2}uv=uv$, 即 $s^2=1$, 得到 $s=1$ 或-1。若 $s=1$, 则 $\mathbf{B}$ 点和 $\mathbf{D}$ 点重合；这时 $\mathbf{B},\mathbf{C},\mathbf{D}$ 一起重合到 $\mathbf{E}$ 或 $\mathbf{F}$ 点，$\mathbf{A},\mathbf{B},\mathbf{C},\mathbf{D}$ 退化为两个点。若 $s=-1$, 则 $\mathbf{D}=\mathbf{A}-u\mathbf{E}-v\mathbf{F}$ 。以 $\mathbf{A}$ 和 $\mathbf{B}$ 为参考点，对共线四点进行参数化得到：

$\mathbf{C}=\mathbf{B}-\mathbf{A}=\mathbf{A}-\mathbf{B}$, 所以 ${\lambda }_1=-1$;
$\mathbf{D}=2\mathbf{A}-\mathbf{B}=\mathbf{A}-\mathbf{B}/2$, 所以 ${\lambda }_2=-1/2$;

最终得到四点的交比 $(\mathbf{A},\mathbf{B};\mathbf{C},\mathbf{D})=\frac{{\lambda }_1}{{\lambda }_2}=2$, 故命题得证。根据交比的性质 $(\mathbf{A},\mathbf{D};\mathbf{C},\mathbf{B})=2/(2-1)=2$ 。由图 1 可知，当 $\mathbf{A}$ 点位于无穷远处，则 $AF$ 平行于 $AE$, 直线 $\mathbf{m}$ 经过二次曲线的中心点 $\mathbf{C}$, 线段 $BD$ 为直径。