Dany jest graniastosłup prawidłowy czworokątny, w którym krawędź podstawy ma długość . Przekątna graniastosłupa jest nachylona do płaszczyzny podstawy pod kątem takim, że .

Długość przekątnej tego graniastosłupa jest równa