将三角形置于直角坐标系中，利用坐标计算向量叉积或行列式，是连接代数与几何的重要桥梁。

推导步骤：

设三角形三个顶点为 A(x₁, y₁), B(x₂, y₂), C(x₃, y₃)。

由向量叉积性质，面积为：

S = ½ |(B−A) × (C−A)| = ½ |(x₂−x₁)(y₃−y₁) − (x₃−x₁)(y₂−y₁)|

展开得：

S = ½ |x₁(y₂−y₃) + x₂(y₃−y₁) + x₃(y₁−y₂)|

为与边长关联，设：

a = BC = √[(x₃−x₂)² + (y₃−y₂)²]

b = AC = √[(x₃−x₁)² + (y₃−y₁)²]

c = AB = √[(x₂−x₁)² + (y₂−y₁)²]

通过坐标平移（令 A 在原点），设 A(0,0), B(c,0), C(d,e)，则：

b² = d² + e², a² = (d−c)² + e²

解得：

d = (b² + c² − a²)/(2c), e = √[b² − d²]

面积 S = ½ × 底 × 高 = ½ × c × e = ½ √[4b²c² − (b² + c² − a²)²]

与代数法步骤完全一致，最终化简得：

S = √[p(p−a)(p−b)(p−c)]

✅ 证毕！此法凸显解析几何“以数解形”的核心思想，是高中数学重点内容。

向量叉积的模长等于两向量构成平行四边形的面积，三角形面积为其一半。此法适用于大学线性代数与空间解析几何。

推导步骤：

设向量 u = (u₁, u₂), v = (v₁, v₂)，则：

|u × v| = |u₁v₂ − u₂v₁| = |u||v|sinθ

构造三角形：设点 O 为原点，A、B 对应向量 a, b，则三角形 OAB 面积为：

S = ½ |a × b|

边长度：

c = |a − b|, b = |a|, a = |b|

计算叉积模长平方：

|a × b|² = |a|²|b|² − (a·b)²

= b²c² − (½(b² + c² − a²))²

（其中 a·b = ½(|a|² + |b|² − |a−b|²)）

与代数法完全相同，最终得：

S = ¼ √[4b²c² − (b² + c² − a²)²] = √[p(p−a)(p−b)(p−c)]

✅ 证毕！此法将几何问题转化为向量代数运算，为后续学习行列式、矩阵奠定基础。

复数可视为二维向量，其模与辐角对应几何量。通过复数运算可简洁推导海伦公式。

推导步骤：

设三角形三个顶点对应复数 z₁, z₂, z₃，面积为：

S = ¼ |Im[(z₂−z₁)overline{(z₃−z₁)}]|

平移使 z₁=0，设 z₂ = a（实数，沿实轴），z₃ = b e^{iθ}，则：

S = ½ ab sinθ

边：c = |z₂−z₃| = √[a² + b² − 2ab cosθ]

由余弦定理得 cosθ = (a² + b² − c²)/(2ab)，则：

sinθ = √[1 − cos²θ] = √[4a²b² − (a² + b² − c²)²]/(2ab)

代入面积公式：

S = ½ ab · √[4a²b² − (a² + b² − c²)²]/(2ab) = ¼ √[4a²b² − (a² + b² − c²)²]

后续化简同代数法，得：

S = √[p(p−a)(p−b)(p−c)]

✅ 证毕！此法体现复数在几何中的强大应用，是数学分析的重要工具。

最古老也最直观的证明方式，通过将三角形分割为直角三角形再重组，体现“面积守恒”思想。

推导步骤：

作三角形 ABC，过 C 作 AB 的高 CD = h，D 在 AB 上。

设 AD = m, DB = n，则 c = m + n。

在直角三角形 ACD 和 BCD 中：

b² = m² + h², a² = n² + h²

两式相减：

b² − a² = m² − n² = (m−n)(m+n) = (m−n)c

⇒ m−n = (b² − a²)/c

联立 m + n = c, m − n = (b² − a²)/c：

m = [c + (b² − a²)/c]/2 = (b² + c² − a²)/(2c)

h = √[b² − m²]

面积 S = ½ c h = ½ √[4b²c² − (b² + c² − a²)²]

同样化简得海伦公式。

✅ 证毕！此法最早由阿基米德采用，是古希腊几何学的巅峰成就之一。