符号约定
- 齐次坐标 \(a,b\) 等价（\(\exists \lambda, a = \lambda b\)）记作 \(a\sim b\)
- 所有的齐次坐标都记录为用圆括号包裹的三元组。（有的资料会把直线的齐次坐标记录为方括号包裹的三元组）（使用本文的记录方法可以更突显点、线的代数共性而非几何区别）
Disargues 定理
题目描述
有不重合的 \(6\) 点 \(A_1,A_2,B_1,B_2,C_1,C_2\) 满足两两不三点共线，则下面两个命题等价：
- \(p_1:\) 线 \(A_1\times A_2, B_1\times B_2, C_1\times C_2\) 三线共点。
- \(p_2:\) 设线 \(a_i = B_i\times C_i, b_i = C_i\times A_i, c_i = A_i\times B_i\ (i\in\{1,2\})\)，则点 \(a_1\times a_2, b_1\times b_2, c_1\times c_2\) 三点共线。
证明
观察发现，\(p_1\Rightarrow p_2\) 和 \(p_1\Leftarrow p_2\) 对偶 ，所以只需证 \(p_1\Rightarrow p_2\).
现证 \(p_1\Rightarrow p_2\).
设 \(A_1\times A_2,B_1\times B_2,C_1\times C_2\) 的交点为 \(P\)，则 \(A_1,B_1,C_1,P\) 两两不三点共线（若 \(A_1,B_1,P\) 三点共线，由 \(A_1,A_2,P\) 三点共线，则 \(A_1,A_2,B_1\) 三点共线，与题目条件矛盾），所以可设
\\\begin{gathered} A_1 = (1, 0, 0)\\\\ B_1 = (0, 1, 0)\\\\ C_1 = (0, 0, 1)\\\\ P = (1, 1, 1) \\end{gathered} \\
由于 \(P\) 不与 \(A_2,B_2,C_2\) 重合（否则将会出现三点共线），所以设 \(\lambda_1,\lambda_2,\lambda_3\) 使得
\\\begin{gathered} A_2 = P + \\lambda_1A_1 = (1 + \\lambda_1,\\ 1,\\ 1)\\\\ B_2 = P + \\lambda_2B_1 = (1,\\ 1 + \\lambda_2,\\ 1)\\\\ C_2 = P + \\lambda_3C_1 = (1,\\ 1,\\ 1 + \\lambda_3)\\\\ \\end{gathered} \\
则
\\\begin{gathered} a_1 = B_1 \\times C_1 = (1, 0, 0)\\\\ b_1 = C_1 \\times A_1 = (0, 1, 0)\\\\ c_1 = A_1 \\times B_1 = (0, 0, 1)\\\\ a_2 = B_2 \\times C_2 = (\\lambda_2\\lambda_3 + \\lambda_2 + \\lambda_3,\\ -\\lambda_3,\\ -\\lambda_2)\\\\ b_2 = C_2\\times A_2 = (-\\lambda_3,\\ \\lambda_1\\lambda_3 + \\lambda_1 + \\lambda_3,\\ -\\lambda_1)\\\\ c_2 = A_2\\times B_2 = (-\\lambda_2,\\ -\\lambda_1,\\ \\lambda_1\\lambda_2 + \\lambda_1 + \\lambda_2) \\end{gathered} \\
于是
\\\begin{gathered} a_1\\times a_2 = (0, \\lambda_2, -\\lambda_3)\\\\ b_1\\times b_2 = (-\\lambda_1,0,\\lambda_3)\\\\ c_1\\times c_2 = (\\lambda_1, -\\lambda_2, 0) \\end{gathered} \\
观察发现 \(a_1\times a_2 + b_1\times b_2 + c_1\times c_2 = 0\)，它们三个线性相关，\(p_2\) 得证。
额外
可以将 \(\triangle A_2B_2C_2\in\) 平面 \(\beta\) 看做 \(\triangle A_1B_1C_1\in\) 平面 \(\alpha\) 以点 \(P\) 为中心在 \(\beta\) 上的投影，即可直观证明。
Menelaus 定理和 Ceva 定理
符号约定
设点 \(P_1 = a, P_2 = b, Q_1 = a + \lambda_1b, Q_2 = a + \lambda_2 b\)，记
\(P_1P_2, Q_1Q_2) = \\frac{\\lambda_1}{\\lambda_2} \\
实际上就是 \(P_1,P_2,Q_1,Q_2\) 的交比。
问题描述
有点 \(P_1,P_2,P_3,Q_1,Q_2,Q_3,Q_1',Q_2',Q_3'\) 两两不重合，点 \(P_1,P_2,P_3\) 不 三点共线，点 \(Q_1,Q_2,Q_3\) 三点共线，点 \(Q_1,Q_1'\) 在线 \(P_2\times P_3\) 上，点 \(Q_2,Q_2'\) 在线 \(P_3\times P_1\) 上，点 \(Q_3,Q_3'\) 在线 \(P_1\times P_2\) 上。
设
\\\begin{gathered} k_1 = (P_2P_3,Q_1Q_1')\\\\ k_2 = (P_3P_1,Q_2Q_2')\\\\ k_3 = (P_1P_2,Q_3Q_3') \\end{gathered} \\
则有
- Menelaus 定理：\(Q_1',Q_2',Q_3'\) 三点共线 \(\Leftrightarrow k_1k_2k_3 = 1\).
- Ceva 定理：\(P_1\times Q_1', P_2\times Q_2', P_3\times Q_3'\) 三线共点 \(\Leftrightarrow\) \(k_1k_2k_3 = -1\).
证明
设点 \(P_1 = (1, 0, 0), P_2 = (0, 1, 0), P_3 = (0, 0, 1)\)，线 \(Q_1\times Q_2 = (u, v, w)\).
则
\\\begin{gathered} P_1\\times P_2 = (0, 0, 1)\\\\ P_2\\times P_3 = (1, 0, 0)\\\\ P_3\\times P_1 = (0, 1, 0) \\end{gathered} \\
求交点得
\\\begin{gathered} Q_1 = (0,-w,v) \\sim P_2 - \\frac{v}{w}P_3\\\\ Q_2 = (-w,0,u) \\sim P_3 - \\frac{w}{u}P_1\\\\ Q_3 = (-v,u,0) \\sim P_1 - \\frac{u}{v}P_2 \\end{gathered} \\
需要注意的是，\(u,v,w\) 均非 \(0\)，否则 \(Q_1,Q_2,Q_3,P_1,P_2,P_3\) 将会出现重合。
Menelaus 定理正定理证明
可设 \(Q_1'\times Q_2' = (u',v',w')\)，同理可得 \(u',v',w'\) 均非 \(0\)，且
\\\begin{gathered} Q_1' \\sim P_2 - \\frac{v'}{w'}P_3\\\\ Q_2' \\sim P_3 - \\frac{w'}{u'}P_1\\\\ Q_3' \\sim P_1 - \\frac{u'}{v'}P_2 \\end{gathered} \\
于是
\k_1k_2k_3 = \\frac{(-\\frac{v}{w})(-\\frac{w}{u})(-\\frac{u}{v})}{(-\\frac{v'}{w'})(-\\frac{w'}{u'})(-\\frac{u'}{v'})} = 1 \\
得证。
Menelaus 逆定理证明
设 \(t_1,t_2,t_3\) 使得
\\\begin{gathered} Q_1' = (0,1,t_1) \\sim P_2 + t_1P_3\\\\ Q_2' = (t_2,0,1) \\sim P_3 + t_2P_1\\\\ Q_3' = (1,t_3,0) \\sim P_1 + t_3P_2 \\end{gathered} \\
则
\k_1k_2k_3 = \\frac{(-\\frac{v}{w})(-\\frac{w}{u})(-\\frac{u}{v})}{t_1t_2t_3} = 1 \\
即
\t_1t_2t_3 = -1 \\
计算
\\\det(Q_1',Q_2',Q_3') = \\left\|\\begin{matrix} 0 \& t_2 \& 1\\\\ 1 \& 0 \& t_3\\\\ t_1 \& 1 \& 0 \\end{matrix}\\right\| = t_1t_2t_3 + 1 = 0 \\
所以 \(Q_1',Q_2',Q_3'\) 三点共线。
得证。
Ceva 定理正定理证明
设 \(P_1\times Q_1',P_2\times Q_2',P_3\times Q_3'\) 交点为 \(E = (1, 1, 1)\)（因为 \(P_1,P_2,P_3,E\) 不三点共线，否则将出现 \(Q_1',Q_2',Q_3',P_1,P_2,P_3\) 之间的重合，所以存在射影变换将 \(P_1,P_2,P_3,E\) 映射为 \((1,0,0),(0,1,0),(0,0,1),(1,1,1)\)），则
\\\begin{gathered} P_1\\times Q_1' \\sim P_1\\times E = (0, -1, 1)\\\\ P_2\\times Q_2' \\sim P_2\\times E = (1, 0, -1)\\\\ P_3\\times Q_3' \\sim P_3\\times E = (-1, 1, 0)\\\\ \\end{gathered} \\
求直线交点（例如 \(Q_1' \sim (P_2\times P_3)\times (P_1\times E)\)）可得
\\\begin{gathered} Q_1' = (0, 1, 1) = P_2 + P_3\\\\ Q_2' = (1, 0, 1) = P_3 + P_1\\\\ Q_3' = (1, 1, 0) = P_1 + P_2\\\\ \\end{gathered} \\
于是
\k_1k_2k_3 = \\frac{(-\\frac{v}{w})(-\\frac{w}{u})(-\\frac{u}{v})}{1\\times 1\\times 1} = -1 \\
得证。
Ceva 定理逆定理证明
设 \(t_1,t_2,t_3\) 使得
\\\begin{gathered} Q_1' = (0,1,t_1) \\sim P_2 + t_1P_3\\\\ Q_2' = (t_2,0,1) \\sim P_3 + t_2P_1\\\\ Q_3' = (1,t_3,0) \\sim P_1 + t_3P_2 \\end{gathered} \\
则
\k_1k_2k_3 = \\frac{(-\\frac{v}{w})(-\\frac{w}{u})(-\\frac{u}{v})}{t_1t_2t_3} = -1 \\
即
\t_1t_2t_3 = 1 \\
于是设
\\\begin{gathered} l_1 = P_1 \\times Q_1' = (0, -t_1, 1)\\\\ l_2 = P_2 \\times Q_2' = (1, 0, -t_2)\\\\ l_3 = P_3 \\times Q_3' = (-t_3, 1, 0)\\\\ \\end{gathered} \\
于是 \(\det(l_1,l_2,l_3) = -t_1t_2t_3 + 1 = 0\)，故 \(l_1,l_2,l_3\) 交于一点。
得证。
额外
Melelaus 定理可以利用相似轻松证明，Ceva 定理可以利用面积法轻松证明。