Rysunek pomocniczy do obliczenia krótszej krawędzi graniastosłupa:

Odcinek  zawiera dwie wysokości trójkątów równobocznych, czyli:

.

Z rysunku można odczytać, że trójkąt  jest trójką