知道直角三角形的三条边的长度,怎么计算这个三角形的高?我要公式.