直角三角形中垂直斜边的垂直线的长度是什么