展开 过直线上一点做已知直线的垂线的过程可以看成是作