一直角三角形已知三边长度,怎么求斜边上的高?