Dowód z kątami w ostrosłupie

[matfiz100]

Wykaż że kąt płaski przy wierzchołku : \(\displaystyle{ \alpha}\) ostrosłupa prawidłowego czworokątnego jest równy : \(\displaystyle{ - tg ^{2} \frac{ \alpha }{2} .}\)

[kerajs]

Wykaż że kąt płaski przy wierzchołku : \(\displaystyle{ \alpha}\) ostrosłupa prawidłowego czworokątnego jest równy : \(\displaystyle{ - tg ^{2} \frac{ \alpha }{2} .}\)

Przy takiej treści jest to raczej zadanie do działu z łamigłówkami, gdyż nie wiadomo o co w nim chodzi (przecież nie o wykazanie nieprawdziwego równania \(\displaystyle{ \alpha =- tg ^{2} \frac{ \alpha }{2}}\)) .

Może uzupełnisz treść zadania.

PS
Oczywiście chodzi o taki kąt: