垂直的判定与性质