斜长 高度知道边坡的坡比和斜长,怎么算它的垂直高度呢