垂直定义、垂线唯一性、垂线段最短