W graniastosłupie prawidłowym czworokątnym...

Graniastosłup jest prawidłowy czworokątny, czyli jego podstawą jest kwadrat o długości krawędzi podstawy . Niech  oznacza wysokość tego graniastosłupa. Przekątna podstawy tego graniastosłupa będzie przekątną kwadratu o boku  i będzie wynosiła:

Wiemy, że przekątna tego graniastosłupa tworzy z podstawą kąt . Z tego wynika, że:

Korzystając z własności trójkąta ,  i  otrzymujemy, że: