求斜边长度的公式