Pythagorean theorem
設formula_15是從formula_16到formula_3的垂足，則formula_18和formula_19是直角三角形。用勾股定理可得