展开 过直线上一点作已知线段的垂线