Udowodnić twierdzenie: Jeżeli suma kątów płaskich przy wierzchołku ostrosłupa prawidłowego jest równa
, to w tym ostrosłupie środek kuli opisanej pokrywa się ze środkiem kuli wpisanej.
Wprowadzimy oznaczenia:
- krawędź podstawy danego ostrosłupa prawidłowego,
- jego wierzchołek,
- rzut punktu
na podstawę,
- środek kuli opisanej na ostrosłupie,
- środek okręgu opisanego na trójkącie
(rys. 9).
Dla dowodu twierdzenia wystarczy stwierdzić, że odległość
punktu
od ściany bocznej
jest równa odległości
punktu
od płaszczyzny podstawy ostrosłupa.
Według założenia
gdzie
oznacza liczbę krawędzi podstawy, a
, zatem
.
W okręgu opisanym na trójkącie
kąt
jest kątem środkowym, więc
, wobec czego
. Trójkąty równoramienne
i
są zatem przystające,
. Z równości
i
wynika przystawanie trójkątów prostokątnych
i
, skąd
, c.n.d.