什么是直线的定义和垂线的性质