展开 已知直角三角形的斜边长,求面积怎么算