平行公理与垂线的性质是什么?