W tym zadaniu rozważamy graniastosłup prawidłowy czworokątny. Oznacza to, że jego podstawa jest wielokątem foremnym, w tym przypadku kwadratem.

Wiemy także, ze krawędź boczna jest dwa razy dłuższa od