Wiemy, że krawędź podstawy graniastosłupa prawidłowego czworokątnego wynosi . Wówczas pole podstawy tego graniastosłupa wynosi:
Wiemy, że przekątna graniastosłupa jest nachylona pod kątem do przekątnej podstawy. Ponieważ podstawa jest kwadratem to jej przekątna będzie miała długość: