Ostrosłup prosty ma wszystkie krawędzie boczne równej długości.
   

Rysunek pomocniczy do zadania:

Korzystając z twierdzenia Pitagorasa obliczymy długość