有了3条边的直角三角形怎么算高?用勾股定理算