Rozpatrzmy graniastosłup prawidłowy trójkątny, gdzie przez  oznaczamy długość krawędzi graniastosłupa.

Suma długości krawędzi wynosi , w każdym graniastosłupie trójkątnym jest krawędzi podstaw i