知道一个直角三角形的三边的长度,如何计算斜边上的高