用直尺和圆规作垂线的方法,依据