垂线段最短是基本事实。基本事实是指公认的真命题，垂穴段最短是在作图过程中，通过测量得到的公认真命题，即为基本事实