直角三角形顶点到斜边垂直线段的长度