勾股定理
勾股定理則是余弦定理的特殊情況，當formula_6為formula_11時，formula_12，等式可被簡化為