求直角三角型一边长.已知直角三角型底边长是25米.斜边长是45米.求垂直高度(另一边长度).怎么算呢!