过一点作已知直线的垂线时,所利用的基本尺规作图是___________.