帕普斯定理相关几何任务咨询：解读、表述、推导及平行情形证明

最近研读一本数学史著作时，遇到了一组关于帕普斯定理的任务，我把梳理后的思路整理如下：

任务(i)：将给定图形解读为帕普斯定理的图示 #

我们可以把给定图形对应到帕普斯定理的特殊平行情形：

• 存在两条直线（记为$l_1$和$l_2$），它们要么相交于点$O$，要么互相平行；
• 在$l_1$上有三个共线点$P_1, P_2, P_3$，在$l_2$上有三个共线点$Q_1, Q_2, Q_3$；
• 连接交叉线段：$P_1Q_2$与$P_2Q_1$交于点$R$，$P_2Q_3$与$P_3Q_2$交于点$S$；
• 图形中$P_1Q_3$与$P_2Q_2$呈现平行关系，对应帕普斯定理里“交点落在无穷远直线上”的特殊配置。

任务(ii)：对应图形的定理表述（结论为$P_1Q_3 \parallel P_2Q_2$） #

定理内容：
设两条直线$l_1$和$l_2$相交于点$O$，在$l_1$上取点$P_1, P_2, P_3$，在$l_2$上取点$Q_1, Q_2, Q_3$。若直线$P_1Q_2$与$P_2Q_1$交于点$R$，且直线$P_3Q_3$经过点$R$，同时满足$P_2Q_3 \parallel P_3Q_1$，则必有$P_1Q_3 \parallel P_2Q_2$。

换用射影几何的视角表述更严谨：

在射影平面中，若两组共线点$(P_1,P_2,P_3)$和$(Q_1,Q_2,Q_3)$满足：$P_2Q_3$与$P_3Q_1$的交点在无穷远（即平行），且$P_1Q_2$与$P_2Q_1$的交点在$P_3Q_3$上，则$P_1Q_3$与$P_2Q_2$的交点也在无穷远（即二者平行）。

任务(iii)：从另外两个平行性方程推导所需方程 #

我们用坐标法简化推导过程：

1. 设定坐标系：将$l_1$设为x轴，$l_2$设为y轴，交点$O$为原点；
2. 给各点赋值坐标：$P_i=(p_i, 0)$，$Q_i=(0, q_i)$（$i=1,2,3$）；
3. 已知两个平行条件（对应图形中的另外两组平行线段）：
   • $P_2Q_3 \parallel P_3Q_1$：斜率相等，即$\frac{q_3 - 0}{0 - p_2} = \frac{q_1 - 0}{0 - p_3}$，整理得方程：$p_3 q_3 = p_2 q_1$ --- (1)
   • $P_1Q_2 \parallel P_2Q_1$的交点$R$在$P_3Q_3$上：联立$P_1Q_2$（方程$\frac{x}{p_1} + \frac{y}{q_2} = 1$）和$P_2Q_1$（方程$\frac{x}{p_2} + \frac{y}{q_1} = 1$）的交点坐标，代入$P_3Q_3$的方程$\frac{x}{p_3} + \frac{y}{q_3} = 1$，整理得：$p_1 q_1 (p_2 - p_3) = p_2 q_2 (p_1 - p_3)$ --- (2)
4. 推导$P_1Q_3 \parallel P_2Q_2$的条件：斜率相等即$\frac{q_3 - 0}{0 - p_1} = \frac{q_2 - 0}{0 - p_2}$，整理得目标方程：$p_2 q_3 = p_1 q_2$ --- (3)
5. 联立方程(1)和(2)，将$q_3 = \frac{p_2 q_1}{p_3}$代入(2)，化简后即可得到方程(3)，从而证明$P_1Q_3 \parallel P_2Q_2$。

任务(iv)：证明当$P_1P_2 \parallel Q_1Q_2$时的定理 #

当$l_1 \parallel l_2$（即$P_1P_2 \parallel Q_1Q_2$）时，这是帕普斯定理的平行共线情形，用坐标法证明如下：

1. 设定坐标系：令$l_1$为直线$y = k$（$k \neq 0$），$l_2$为直线$y = 0$；
2. 设各点坐标：$P_1=(x_1, k), P_2=(x_2, k), P_3=(x_3, k)$；$Q_1=(y_1, 0), Q_2=(y_2, 0), Q_3=(y_3, 0)$；
3. 核心条件：$P_1Q_2$与$P_2Q_1$的交点$R$在$P_3Q_3$上。联立两条直线方程解得$R$的坐标，代入$P_3Q_3$的直线方程，整理得：
   $\frac{x_R - y_1}{x_2 - y_1} = \frac{x_R - y_3}{x_3 - y_3}$ --- (a)
4. 已知平行条件（如$P_2Q_3 \parallel P_3Q_1$）：斜率相等即$\frac{0 - k}{y_3 - x_2} = \frac{0 - k}{y_1 - x_3}$，化简得：$x_3 - x_2 = y_1 - y_3$ --- (b)
5. 将(b)代入(a)式，化简后可得到$P_1Q_3 \parallel P_2Q_2$的斜率相等条件：$\frac{0 - k}{y_3 - x_1} = \frac{0 - k}{y_2 - x_2}$，即$y_3 - x_1 = y_2 - x_2$，从而完成证明。

内容的提问来源于stack exchange，提问作者Remy