勾股定理
設formula_26中，formula_27，formula_28，formula_29。過formula_30點作formula_52的垂線，垂足為formula_32，設formula_54，則formula_55，根據勾股定理：