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