Każda krawędź ostrosłupa prawidłowego trójkątnego ma długość 9 (ostrosłup taki jest nazywany czworościanem foremnym). Wysokość tego ostrosłupa jest równa | MathWizards