Matematyka.pl

Witam, prosiłbym o pomoc z następującym zadaniem:

W trójkącie rozwartokątnym ABC \(\displaystyle{ (\left| \sphericalangle C\right| > 90)}\) punkt O jest punktem przecięcia się prostych zawierających wysokość trójkąta. Udowodnij, że promień okręgu opisanego na trójkącie ABC ma taką samą długość, jak promień okręgu opisanego na trójkącie ABO.

Wystarczy pokazać, że punkt O leży na okręgu opisanym na trójkącie ABC.

Trójkąt ABC jest rozwartokątny, więc ortocentrum leży na zewnątrz trójkąta. Rozważmy czworokąt AOBC, widzimy, że \(\displaystyle{ \sphericalangle OBC= \sphericalangle OAC=90^{\circ}}\), czyli \(\displaystyle{ \sphericalangle OBC+ \sphericalangle OAC= \sphericalangle ACB+ \sphericalangle AOB}\), stąd wniosek, że na czworokącie AOBC można opisać okrąg ( czyli O należy do tego okręgu= TEZA zadania) ;]