Pythagorean theorem
根據勾股定理，formula_117，從而formula_118。