Podstawą ostrosłupa prawidłowego czworokątnego jest kwadrat o boku długości

Pole tego kwadratu wynosi , zatem 

Skorzystajmy z twierdzenia cosinusów, aby wyznaczyć długości