Mamy graniastosłup prawidłowy czworokątny zatem taki, w którego podstawie jest kwadrat. 

Krawędź boczna jest dwukrotnie dłuższa niż krawędź podstawy. Oznaczmy zatem krawędź podstawy jako