P
Initializing...
§4.6, p. 63 — Heron's formula: a_uvq = √(s(s − ℓ_uv)(s − ℓ_vq)(s − ℓ_uq)) with s = ½(ℓ_uv + ℓ_uq + ℓ_vq) · Prove2Me