中垂线性质