W tym zadaniu należy udowodnić, że 
, jeżeli ẞ jest kątem między sąsiednimi ścianami bocznymi w ostrosłupie prawidłowym czworokątnym.
Trójkąt CES’:
Trójkąt BES’:
Z jedynki trygonometrycznej:
Z cosinusa podwojonego kąta:
Zapiszmy, że odcinek . Teraz z trójkąta CES’ obliczmy sinus kąta alfa, a z trójkąta BES’
Cosinus połowy kąta beta. Zauważamy, że tangens połowy kąta beta jest równy:
Możemy go rozpisać jako:
Teraz wstawiamy obliczony sinus połowy kąta beta do jedynki trygonometrycznej. Z niej obliczamy 
. Przypominamy sobie sposób rozpisania cosinusa podwojonego kąta i na tej samej zasadnie rozpisujemy 
. Po wykonaniu odpowiednich przekształceń udowadniamy tezę z zadania.