垂直三角形求斜边长度公式