Ostrosłup Benny: Uzasadnij, że w ostrosłupie prostym spodek wysokości jest środkiem okręgu opisanego na podstawie ostrosłupa. Czy wystarczy się tu powołać na definicję? Jest to zadanko mojej siostry. Pamiętam, że w mojej książce Pazdro był przeprowadzony jakiś dowód, a tu nic takiego nie widzę.

PW: A jaka jest definicja ostrosłupa prostego? Nie idzie czasem o graniastosłup prosty?

Benny: Jeżeli spodek wysokości ostrosłupa pokrywa się ze środkiem okręgu opisanego na jego podstawie, to taki ostrosłup nazywamy ostrosłupem prostym. Jak byk napisane ostrosłup. Trochę bez sensu byłoby zadanie, jeśli chodziłoby tylko o to.

PW: Chyba tak, graniastosłup nie ma czegoś co można nazwać "spodkiem wysokości", po północy pora spać.