余弦定理

僊BC において
θ = ∠BAC
a = BC, b = CA, c = AB とおくと
a2 = b2 + c2 - 2bc cos(θ) である。