Para un triángulo generilizado en una variedad, (la distancia puede ser considerada como la longitud geodésica) es bien sabido que para la Geometría Eucilidea lo siguiente es cierto:
Considere un triángulo $ABC$ , $D$ es el punto medio de $BC$ entonces $AD\leq \frac{1}{2}(AB+AC)$
Según mis conocimientos, también es cierto en esferas de dimensión n. Sin embargo, no conozco los casos generales.
Cualquier consejo será apreciado.