垂心定理证明(垂心定理证明(10 字))
2人看过
核心思路：1.选取基底： 建立平面直角坐标系，选定两个不共线的向量作为基底，例如 $ vec{OA} $ 和 $ vec{OB} $。
2.定义位置向量： 设三角形顶点为 $A, B, C$，对应的向量位置为 $ vec{a}, vec{b}, vec{c} $。
3.表示中线端点： 中线 $AD$ 的中点 $D$ 满足 $ vec{d} = frac{vec{a} + vec{c}}{2} $。
4.数学转化： 需证明 $ vec{c} - vec{d} = vec{a} - vec{d} $ 或相关线性无关关系，最终导出 $ vec{d} $ 为三个中线向量的公共点。
经典案例：
考虑三角形 $ABC$，取 $D, E, F$ 分别为 $BC, CA, AB$ 的中点。
需证 $AD, BE, CF$ 共点。
取 $E$ 为原点，设 $ vec{e} = vec{0} $，则 $ vec{b}, vec{c} $ 为 $B, C$ 点位置向量。
中点 $D$ 的向量为 $ vec{d} = frac{vec{b} + vec{c}}{2} $。
中点 $F$ 的向量为 $ vec{f} = frac{vec{a} + vec{b}}{2} $，中点 $E$ 的向量为 $ vec{e} = frac{vec{a} + vec{c}}{2} $。
考虑向量 $ vec{ef} = vec{f} - vec{e} = frac{vec{a} + vec{b} - vec{a} - vec{c}}{2} = frac{vec{b} - vec{c}}{2} $。
同理，$ vec{de} = frac{vec{b} + vec{c}}{2} - frac{vec{a} + vec{c}}{2} = frac{vec{b} - vec{a}}{2} $。
由于 $ vec{ef} times vec{de} = 0 $（在二维空间中），说明 $ vec{ef} $ 与 $ vec{de} $ 共线。
结合 $ vec{bc} = vec{c} - vec{b} $ 等关系，可发现 $ vec{ef} $ 与 $ vec{bc} $ 平行且 $ vec{de} $ 与 $ vec{ac} $ 平行。
因此 $E, F, D$ 三点构成的三角形与 $ABC$ 相似，且对应边平行，故 $AD, BE, CF$ 必然交于一点 $H$。
求解步骤：
1.写出直线方程： 设直线 $AD, BE, CF$ 的方程分别为 $L_1, L_2, L_3$。
2.利用中点公式： 中点公式 $ (x_1+x_2)/2 $ 是构建方程的关键。
3.解方程组： 联立三条直线方程，解出公共解 $(x,y)$。
4.验证三点共线： 验证 $H$ 点是否在另两条直线上。
实战演示：
设 $A(0,2), B(4,0), C(1,0)$。
求 $BC$ 中点 $D$：$ D(2.5, 0) $。直线 $AD$ 斜率 $k = frac{0-2}{2.5-0} = -frac{4}{5}$。方程：$y = -0.8x + 2$。
求 $AC$ 中点 $E$：$ E(0.5, 1) $。直线 $BE$ 斜率 $k = frac{1-0}{0.5-4} = frac{1}{-3.5} = -frac{2}{7}$。方程：$y = -frac{2}{7}(x-4)$。
求 $AB$ 中点 $F$：$ F(2, 1) $。直线 $CF$ 斜率 $k = frac{1-0}{2-1} = 1$。方程：$y = x$。
联立 $AD$ 与 $CF$：$x = -0.8x + 2 Rightarrow 1.8x = 2 Rightarrow x = frac{10}{9}$。
代入 $y=x$ 得 $y = frac{10}{9}$。
因此垂心 $H(frac{10}{9}, frac{10}{9})$。
验证 $H$ 是否在 $BE$ 上：$y = -frac{2}{7}(frac{10}{9} - 4) = -frac{2}{7}(-frac{26}{9}) = frac{52}{63}$。
此处计算出现偏差，应重新检查中点坐标或方程。
重新计算 $AC$ 中点 $E$：$ A(0,2), C(1,0) Rightarrow E(0.5, 1) $。
重新计算 $BE$ 方程：$ B(4,0), E(0.5,1) Rightarrow frac{y-0}{x-4} = frac{1-0}{0.5-4} = frac{1}{-3.5} = -frac{2}{7} $。
方程为 $y = -frac{2}{7}(x-4)$。
联立 $AD: y = -0.8x + 2$ 与 $CF: y = x$。
解得 $x = frac{10}{9}, y = frac{10}{9}$。
代入 $BE$: $ frac{10}{9} = -frac{2}{7}(frac{10}{9} - 4) = -frac{2}{7}(-frac{26}{9}) = frac{52}{63} approx 0.825 $。
显然 $10/9 neq 52/63$，说明计算过程中出现了细节错误。
修正：实际上 $H$ 点坐标应为 $x=10/9, y=10/9$ 是错误的，应再次仔细求解。
正确解法：联立 $AD: y = -frac{4}{5}x + 2$ 与 $CF: y = x$。
解得 $x = frac{10}{9}$， $y = frac{10}{9}$。
代入 $BE: y = -frac{2}{7}(x-4)$。
右边 $= -frac{2}{7}(frac{10}{9}-4) = -frac{2}{7}(-frac{26}{9}) = frac{52}{63}$。
左边 $= frac{10}{9} = frac{70}{63}$。
矛盾表明 $CF$ 不是 $y=x$。$ C(1,0), F(2,1) Rightarrow k=1 $。$ CF: y-0 = 1(x-1) Rightarrow y=x-1 $。
联立 $AD(y = -0.8x + 2)$ 与 $CF(y = x-1)$：
$ -0.8x + 2 = x - 1 Rightarrow 1.8x = 3 Rightarrow x = frac{30}{18} = frac{5}{3} $。
$ y = frac{5}{3} - 1 = frac{2}{3} $。
此时 $H(frac{5}{3}, frac{2}{3})$。
验证 $BE$: $ y = -frac{2}{7}(frac{5}{3} - 4) = -frac{2}{7}(-frac{7}{3}) = frac{2}{3} $。一致。
故垂心为 $ H(frac{5}{3}, frac{2}{3}) $。
