W całej pracy okrąg o środku w punkcie i promieniu będziemy oznaczać przez .
Naszą przygodę zaczniemy od przedstawienia definicji stycznej do okręgu, siecznej okręgu, cięciwy okręgu oraz szczególnych kątów w okręgu.
Prostą, która posiada dokładnie jeden punkt wspólny z okręgiem nazywamy styczną. Punkt należący zarówno do okręgu, jak i do stycznej nazywamy punktem styczności prostej i okręgu.
Prostą, która posiada dokładnie dwa punkty wspólne z okręgiem nazywamy sieczną okręgu.
Odcinek łączący dowolne dwa punkty na okręgu nazywamy cięciwą okręgu.
Kąt, którego wierzchołek jest środkiem koła, nazywamy kątem środkowym koła.
Kąt wypukły, wyznaczony przez dwie cięciwy o wspólnym końcu, będącym wierzchołkiem kąta, nazywamy kątem wpisanym w okrąg.
Kąt wypukły, wyznaczony przez styczną do okręgu oraz półprostą zawierającą cięciwę mającą początek w punkcie styczności, nazywamy kątem dopisanym do okręgu.
Powyższe pojęcia zostały pokazane w poniższym applecie.
Czy dostrzegasz może jakieś wzajemne zależności?
Jeżeli kąt środkowy i kąt wpisany są oparte na tym samym łuku, to miara kąta wpisanego jest o połowę mniejsza od miary kąta środkowego.
Sytuacja z treści twierdzenia jest przedstawiona na poniższej aktywności
Korzystając z powyższego apletu możemy zauważyć trzy możliwe położenia środka okręgu, a w związku tym i
średnicy z punktu względem ramion kąta mającego wierzchołek w tym punkcie, czyli kąta wpisanego.
⋅ Średnica pokrywa się z jednym z ramion kąta wpisanego
Zwróćmy uwagę, że odcinki , są promieniami, czyli mają tą samą długość, z czego wynika, że jest równoramienny, a więc jest równy . Należy również zwrócić uwagę, że kąty i razem tworzą kąt półpełny, czyli możemy wyprowadzić następującą równość: . Mając wyznaczone kąty w trójkącie możemy skorzystać z własności dotyczącej sumy kątów wewnętrznych trójkąta, a mianowicie że jest
ona równa , co daje nam równanie
, z którego otrzymujemy tezę
⋅ Średnica leży na zewnątrz płaszczyzny kąta wpisanego
Zauważmy, że poza rozpatrywanymi kątami i , na rysunku są również kąty, których wzajemny stosunek jesteśmy wstanie wyznaczyć, czyli i , ponieważ taka sytuacja została dowiedziona w poprzednim przypadku, co więcej jesteśmy w stanie
pójść o krok dalej i określić wzajemny stosunek poszczególnych sum kątów oraz . Daje to nam dwa równania:
Po podstawieniu otrzymujemy równanie
⋅ Średnica leży wewnątrz płaszczyzny kąta wpisanego
Zauważmy, że rozpatrywane kąty i możemy rozłożyć na rysunku na dwie pary kątów mający wspólnie ramię z cięciwą,
Korzystając z pierwszego przypadku otrzymujemy równania:
Sumując stronami
Jeżeli kąt wpisany i kąt dopisany są oparte na tym samym łuku, to są równe.
Sytuacja ta jest przedstawiona na poniższej aktywności.
Wspomóżmy się kątem , tak aby odcinek był średnicą okręgu.
Kąty i są kątami opartymi na tym samym łuku, a więc mają tą samą miarę.
Wyznaczmy teraz kąty wewnątrz trójkąta
Prosta jest styczna do okręgu w punkcie , więc .
Jeżeli przez punkt , który leży na zewnątrz okręgu , poprowadzimy styczną do okręgu w punkcie i sieczną przecinającą okrąg w punkcie i , to
.
Zaznaczając opcję w powyższym applecie wyróżniamy omawiane figury.
Zwróćmy uwagę, że odcinki , są promieniami, czyli mają tą samą długość, z czego wynika, że trójkąt jest równoramienny, a więc kąt jest równy .
Ze względu na to, że punkt jest punktem styczności, jest kątem prostym, czyli , z czego .
Suma kątów w trójkącie to .
Po podstawieniu kąta otrzymujemy
Teraz rozpatrzmy trójkąty i .
Oczywistym jest że .
Przed chwilą udowodniliśmy, że kąt dopisany jest dwukrotnie mniejszy od kąta środkowego opartego na łuku . Ponieważ na tym samym łuku oparty jest kąt wpisany to on również jest dwukrotnie mniejszy od kąta .
A więc, zgodnie z zasadą kąt-kąt, trójkąty i są podobne.
Z podobieństwa tych trójkątów wynika proporcjonalność odpowiednich odcinków:
Skąd otrzymujemy
Zauważmy, że ta równość nie zależy od wyboru siecznej, co pozwala sformułować nam następujący wniosek.
Jeżeli przez punkt , który leży na zewnątrz okręgu , poprowadzimy dwie sieczne przecinające okrąg w punktach i , to .
Twierdzenie to wynika bezpośrednio z twierdzenia o siecznej i stycznej
Jeśli cięciwy i okręgu przecinają się w puncie , to
Zaznaczając opcję w powyższym applecie wyróżniamy omawiane figury.
Oczywistym jest że kąt jest równy kątowi , ponieważ są to kąty wierzchołkowe.
Kąty oraz są kątami wpisanymi opartymi o ten sam łuk, czyli są równe.
W związku z tym zgodnie z zasadą kąt-kąt, trójkąty i są podobne.
Z podobieństwa tych trójkątów wynika proporcjonalność odpowiednich odcinków:
Skąd otrzymujemy tezę twierdzenia.
Dla zainteresowanych, applet w geogebrze ilustrujący równości z ostatnich twierdzeń.