Wykonajmy rysunek pomocniczy.

Ostrosłup jest ostrosłupem prawidłowym trójkątnym, wówczas jego podstawą jest trójkąt równoboczny, a jego krawędzie boczne mają taką samą długość.

Obliczmy długość