Długość brakującej krawędzi:
Brakująca krawędź jest przeciwprostokątną trójkąta, którego przyprostokątnymi są połowa krótszej krawędzi podstawy ostrosłupa i wysokość jego ściany bocznej. Jej długość należy wyznaczyć, korzystając z twierdzenia Pitagorasa.