平行公理与垂线性质有什么相同点与不同点