空间直线四点 Q1,Q2,Q2,Q4 满足 Q1Q2=Q2Q3=Q3Q4，哪一组数据会是四点在画纸上的坐标？

wintex

請問數學

luyuanhong

wintex

luyuanhong 发表于 2026-1-16 18:10

請問為什麼交比要一樣？

luyuanhong

我们来一步步推导并证明交比定理（Cross-Ratio Theorem）。  

1. 定义

在射影几何中，给定直线上四个点  A, B, C, D （坐标可以是实数、复数或射影坐标），它们的交比定义为：

\[
(A,B;C,D) = \frac{AC \cdot BD}{BC \cdot AD}
\]
其中  AC, BD, BC, AD  表示有向长度（在实数情况下）或复比（在复射影直线情况下）。

在射影坐标下，若四个点对应参数  t_1, t_2, t_3, t_4 （在某个射影坐标系下），则交比为：

\[
(A,B;C,D) = \frac{(t_1 - t_3)(t_2 - t_4)}{(t_2 - t_3)(t_1 - t_4)}
\]

2. 交比定理的内容

交比定理（射影几何基本定理的一部分）指出：

定理：交比在射影变换下保持不变。  

即，若  f: P^1→P^1  是一个射影变换（分式线性变换/Mobius 变换），则对任意四个不同的点  P_1, P_2, P_3, P_4 ，有

\[

(f(P_1), f(P_2); f(P_3), f(P_4)) = (P_1, P_2; P_3, P_4).

\]

3. 证明

步骤 1：射影变换的形式

在射影直线  P^1（例如复射影直线 C∪{∞}）上，射影变换的一般形式为：
\[
f(t) = \frac{at + b}{ct + d}, \quad ad - bc \neq 0.
\]

步骤 2：计算像点的参数

设点  P_i  对应参数  t_i ，则 \( f(P_i) \) 对应参数：
\[
u_i = f(t_i) = \frac{a t_i + b}{c t_i + d}.
\]

步骤 3：计算  u_i - u_j

\[
u_i - u_j = \frac{a t_i + b}{c t_i + d} - \frac{a t_j + b}{c t_j + d}.
\]
通分：
\[
u_i - u_j = \frac{(a t_i + b)(c t_j + d) - (a t_j + b)(c t_i + d)}{(c t_i + d)(c t_j + d)}.
\]
分子展开：
\[
= a c t_i t_j + a d t_i + b c t_j + b d - (a c t_i t_j + a d t_j + b c t_i + b d)
\]
\[
= a d (t_i - t_j) + b c (t_j - t_i)
\]
\[
= (ad - bc)(t_i - t_j).
\]
因此：
\[
u_i - u_j = \frac{(ad - bc)(t_i - t_j)}{(c t_i + d)(c t_j + d)}.
\]

步骤 4：计算四个像点的交比

交比公式：
\[
(f(P_1), f(P_2); f(P_3), f(P_4))
= \frac{(u_1 - u_3)(u_2 - u_4)}{(u_2 - u_3)(u_1 - u_4)}.
\]
代入  u_i - u_j  的表达式：
\[
u_1 - u_3 = \frac{(ad - bc)(t_1 - t_3)}{(c t_1 + d)(c t_3 + d)},
\]
\[
u_2 - u_4 = \frac{(ad - bc)(t_2 - t_4)}{(c t_2 + d)(c t_4 + d)},
\]
\[
u_2 - u_3 = \frac{(ad - bc)(t_2 - t_3)}{(c t_2 + d)(c t_3 + d)},
\]
\[
u_1 - u_4 = \frac{(ad - bc)(t_1 - t_4)}{(c t_1 + d)(c t_4 + d)}.
\]

步骤 5：代入并化简

\[
\frac{(u_1 - u_3)(u_2 - u_4)}{(u_2 - u_3)(u_1 - u_4)}
= \frac{\frac{(ad - bc)(t_1 - t_3)}{(c t_1 + d)(c t_3 + d)} \cdot \frac{(ad - bc)(t_2 - t_4)}{(c t_2 + d)(c t_4 + d)}}{\frac{(ad - bc)(t_2 - t_3)}{(c t_2 + d)(c t_3 + d)} \cdot \frac{(ad - bc)(t_1 - t_4)}{(c t_1 + d)(c t_4 + d)}}.
\]
分子分母中的 \((ad - bc)^2\) 消去，分母中的各 \((c t_i + d)\) 因子也全部消去（检查一下）：

● 分子有因子：\((c t_1 + d)^{-1} (c t_3 + d)^{-1} (c t_2 + d)^{-1} (c t_4 + d)^{-1}\)。

● 分母有因子：\((c t_2 + d)^{-1} (c t_3 + d)^{-1} (c t_1 + d)^{-1} (c t_4 + d)^{-1}\)。

它们完全相同，因此全部消去。

剩下：
\[
\frac{(t_1 - t_3)(t_2 - t_4)}{(t_2 - t_3)(t_1 - t_4)} = (P_1, P_2; P_3, P_4).
\]

步骤 6：结论

因此：
\[
(f(P_1), f(P_2); f(P_3), f(P_4)) = (P_1, P_2; P_3, P_4).
\]
交比在射影变换下保持不变，证毕。

4. 补充说明

● 这个定理是射影几何的核心性质之一，它意味着交比是射影不变量。

● 若四个点中有一个是无穷远点，公式仍适用（取极限或使用射影坐标  [x:y]  来推导）。

● 在实射影几何中，有向长度的比值定义与坐标定义等价。

最终结论：  
\[
\boxed{(f(A),f(B);f(C),f(D)) = (A,B;C,D)}
\]
对任意射影变换  f  成立。