Przyjmijmy poniższe oznaczenia.

Ostrosłup prawidłowy czworokątny ma w podstawie kwadrat, a jego wysokość pada na punkt przecięcia się przekątnych podstawy.

a)

Wiemy, że α.

Z trójkąta  mamy:

α