勾股定理
Substituting the formula_12 and formula_13 components, using the Pythagorean theorem: