如何求直角三角形斜边上的高?