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