欧拉线定理证明-欧拉线定理证明方法｜系统掌握几何核心定理的逻辑之美

向量法：以 O 为原点的简洁表达

设 O 为原点，向量 OA = a，OB = b，OC = c。由于 O 为外心，有 |a| = |b| = |c| = R。

重心 G 的向量为：
$$vec{OG} = frac{1}{3}(vec{OA} + vec{OB} + vec{OC}) = frac{1}{3}(mathbf{a} + mathbf{b} + mathbf{c})$$

垂心 H 的向量为：
$$vec{OH} = mathbf{a} + mathbf{b} + mathbf{c}$$

（证明：因 AH ⊥ BC ⇒ (h − a)·(c − b) = 0，展开并利用 |a|=|b|=|c| 可得 h = a + b + c）

因此：
$$vec{OH} = 3 vec{OG} quad Rightarrow quad vec{OG} : vec{GH} = 1 : 2$$

此法仅需向量点积与模长性质，逻辑清晰，是现代教材最常用方法。

复数法：单位圆上的优雅映射

将外接圆置于复平面单位圆上，设 A、B、C 对应复数 a、b、c，满足 |a|=|b|=|c|=1。

重心 G 对应复数：
$$g = frac{a + b + c}{3}$$

垂心 H 对应复数：
$$h = a + b + c$$

（依据：复平面中，三点 a,b,c 的垂心为 a+b+c；证明见下）

由于 O 对应原点 0，三点 0、g、h 共线，且 h = 3g ⇒ OG : GH = 1:2。

坐标解析法：代数计算的“ brute force”验证

设三角形顶点为 A(x₁,y₁)、B(x₂,y₂)、C(x₃,y₃)，则：

• 重心 G： $$Gleft(frac{x_1+x_2+x_3}{3}, frac{y_1+y_2+y_3}{3}right)$$
• 外心 O： 解垂直平分线方程组，得
  $$Oleft( frac{D_x}{2D}, frac{D_y}{2D} right)$$
  其中 D = x₁(y₂−y₃) + x₂(y₃−y₁) + x₃(y₁−y₂)，
  D_x = (x₁²+y₁²)(y₂−y₃) + (x₂²+y₂²)(y₃−y₁) + (x₃²+y₃²)(y₁−y₂)，
  D_y = (x₁²+y₁²)(x₃−x₂) + (x₂²+y₂²)(x₁−x₃) + (x₃²+y₃²)(x₂−x₁)
• 垂心 H： 解高线方程组，得
  $$Hleft( frac{E_x}{D}, frac{E_y}{D} right)$$
  其中 E_x = (x₁x₂ + y₁y₂ − x₂x₃ − y₂y₃)x₃ + ...（略复杂）

计算向量 OG 与 GH 的坐标差，验证比例为 1:2。虽繁琐，但可通过符号计算软件（如 SymPy）自动化验证。

from sympy import symbols, simplify
x1, y1, x2, y2, x3, y3 = symbols('x1 y1 x2 y2 x3 y3')
# 重心 G
Gx = (x1 + x2 + x3) / 3
Gy = (y1 + y2 + y3) / 3
# 外心 O（标准公式）
D = x1(y2-y3) + x2(y3-y1) + x3(y1-y2)
Dx = (x12+y12)(y2-y3) + (x22+y22)(y3-y1) + (x32+y32)(y1-y2)
Dy = (x12+y12)(x3-x2) + (x22+y22)(x1-x3) + (x32+y32)(x2-x1)
Ox, Oy = Dx/(2D), Dy/(2D)
# 垂心 H（由 O+H = A+B+C ⇒ H = A+B+C−O）
Hx = x1 + x2 + x3 - Ox
Hy = y1 + y2 + y3 - Oy
# 验证 G = (O + 2H)/3
simplify((Ox + 2Hx)/3 - Gx), simplify((Oy + 2Hy)/3 - Gy)
# 输出：(0, 0) → 恒成立

反演几何法：高阶视角的统一解释

在反演几何中，以三角形外接圆为反演圆，垂心 H 的反演像为三角形的九点圆圆心 N。而重心 G 的反演像与欧拉线存在特定对应关系。

关键结论：在反演变换下，欧拉线（除 O 外）映射为过 N 的圆，且 N 为 OH 中点 ⇒ ON = NH/2。结合欧拉公式 OH² = 9R² − (a²+b²+c²)，可反推 OG:GH=1:2。

此法虽不常用于初等教学，但揭示了欧拉线与九点圆、西姆松线等高级概念的深层联系，是通往现代几何的桥梁。