三角形中线定理证明：从阿波罗尼奥斯到现代几何视角的深度解析

2. 利用向量法证明（高中视角）

向量法证明简洁有力，体现了代数运算在几何证明中的优势，避免了复杂的辅助线构造。

证明步骤：

1. 向量表示： 设 AB⃗ = b⃗，AC⃗ = c⃗。因为 D 是 BC 的中点，根据向量加法的平行四边形法则或中点公式，有：

2. 计算模长平方：
   • |AD⃗|² = AD⃗ · AD⃗ = [(b⃗ + c⃗) / 2] · [(b⃗ + c⃗) / 2]
   • |AD⃗|² = (|b⃗|² + |c⃗|² + 2b⃗·c⃗) / 4
   • 即 4AD² = AB² + AC² + 2AB·AC·cosA ……①
3. 利用余弦定理：
   • 在 △ABC 中，BC² = AB² + AC² - 2AB·AC·cosA
   • 即 2AB·AC·cosA = AB² + AC² - BC² ……②
4. 联立求解：
   • 将②代入①：4AD² = AB² + AC² + (AB² + AC² - BC²)
   • 4AD² = 2AB² + 2AC² - BC²
   • 因为 D 是中点，BC = 2BD，所以 BC² = 4BD²
   • 4AD² = 2AB² + 2AC² - 4BD²
   • 两边同时除以 2：2AD² = AB² + AC² - 2BD²
   • 移项得：AB² + AC² = 2(AD² + BD²)，证毕。

3. 利用坐标法证明（解析几何视角）

坐标法通过建立直角坐标系，将几何问题转化为代数计算，思路直接且机械化程度高。

证明步骤：

1. 建立坐标系： 以 BC 边所在的直线为 x 轴，以 BC 边的中垂线为 y 轴（或者以 D 点为原点）。这里我们选择以 D 为原点 (0,0)，BC 所在直线为 x 轴。
2. 设定坐标：
   • 设 D(0, 0)。
   • 因为 D 是 BC 中点，设 B(-a, 0)，C(a, 0)，其中 a > 0。
   • 设 A(x, y)。
3. 计算距离平方：
   • AB² = (x - (-a))² + (y - 0)² = (x + a)² + y² = x² + 2ax + a² + y²
   • AC² = (x - a)² + (y - 0)² = (x - a)² + y² = x² - 2ax + a² + y²
   • AD² = (x - 0)² + (y - 0)² = x² + y²
   • BD² = a²
4. 验证等式：
   • 左边 = AB² + AC² = (x² + 2ax + a² + y²) + (x² - 2ax + a² + y²) = 2x² + 2y² + 2a²
   • 右边 = 2(AD² + BD²) = 2(x² + y² + a²) = 2x² + 2y² + 2a²
   • 左边 = 右边，故 AB² + AC² = 2(AD² + BD²)，证毕。