勾股定理
由此性質再加上勾股定理formula_13，可推得：