垂线段最短是定理还是公理

问题描述:

垂线段最短是定理还是公理

是定理,可以证明的