Problema en triángulo equilátero con perpendiculares

Para comprobar que realmente es así.

Comprobado.