直线垂直和平行的公式是什么