勾股定理:若一个三角形三边为9 12 15 求最短边上的高?