Podstawowe pojęcia szkolne

W całej pracy okrąg o środku w punkcie O i promieniu r będziemy oznaczać przez o ( O , r ) .

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.

styczna do 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.

sieczna okręgu

Prostą, która posiada dokładnie dwa punkty wspólne z okręgiem nazywamy sieczną okręgu.

cięciwa okręgu

Odcinek łączący dowolne dwa punkty na okręgu nazywamy cięciwą okręgu.

kąt środkowy

Kąt, którego wierzchołek jest środkiem koła, nazywamy kątem środkowym koła.

kąt wpisany

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 dopisany

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?

o kącie środkowym i kącie wpisanym

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.

o kącie środkowym i kącie wpisanym

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 A 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 OA , OC są promieniami, czyli mają tą samą długość, z czego wynika, że △ OAC jest równoramienny, a więc ∠ BAC jest równy ∠ OCA . Należy również zwrócić uwagę, że kąty ∠ BOC i ∠ AOC razem tworzą kąt półpełny, czyli możemy wyprowadzić następującą równość: ∠ AOC = 180° - ∠ BOC . Mając wyznaczone kąty w trójkącie △ OAC 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 180° , co daje nam równanie ∠ BAC + ∠ BAC + ( 180° - ∠ BOC ) = 180° , z którego otrzymujemy tezę
2 ∠ BAC = ∠ BOC

⋅ Średnica leży na zewnątrz płaszczyzny kąta wpisanego
Zauważmy, że poza rozpatrywanymi kątami ∠ BAC i ∠ BOC , na rysunku są również kąty, których wzajemny stosunek jesteśmy wstanie wyznaczyć, czyli ∠ A′AB i ∠ A′OB , 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 ∠ A′AB + ∠ BAC oraz ∠ A′OB + ∠ BOC . Daje to nam dwa równania:
2 ∠ A′AB = ∠ A′OB
2 ( ∠ A′AB + ∠ BAC ) = ∠ A′OB + ∠ BOC
Po podstawieniu ∠ A′OB otrzymujemy równanie
2 ∠ A′AB + 2 ∠ BAC = 2 ∠ A′AB + ∠ BOC
2 ∠ BAC = ∠ BOC

⋅ Średnica leży wewnątrz płaszczyzny kąta wpisanego
Zauważmy, że rozpatrywane kąty ∠ BAC i ∠ BOC możemy rozłożyć na rysunku na dwie pary kątów mający wspólnie ramię z cięciwą, ∠ A′OB , ∠ A′OC , ∠ A′AB , ∠ A′AC .
Korzystając z pierwszego przypadku otrzymujemy równania:
∠ A′OB = 2 ∠ A′AB
∠ A′OC = 2 ∠ A′AC
Sumując stronami
∠ A′OB + ∠ A′OC = 2 ( ∠ A′AB + ∠ A′AC )
2 ∠ BAC = ∠ BOC

o kącie wpisanym i kącie dopisanym

Jeżeli kąt wpisany i kąt dopisany są oparte na tym samym łuku, to są równe.

o kącie wpisanym i kącie dopisanym

Sytuacja ta jest przedstawiona na poniższej aktywności.

Wspomóżmy się kątem ∠ CA′B , tak aby odcinek BA′ był średnicą okręgu.
Kąty ∠ BAC i ∠ BA′C są kątami opartymi na tym samym łuku, a więc mają tą samą miarę.
Wyznaczmy teraz kąty wewnątrz trójkąta △ BA′C
∠ BA′C = ∠ BAC
∠ A′CB = 90°
∠ CBA′ = 90° - ∠ BA′C
Prosta BE jest styczna do okręgu w punkcie B , więc ∠ A′BE = 90° .
∠ CBA′ + ∠ CBE = 90°
90° - ∠ BAC + ∠ CBE = 90°
∠ CBE = ∠ BAC

o siecznej i stycznej

Jeżeli przez punkt P , który leży na zewnątrz okręgu o ( O , r ) , poprowadzimy styczną do okręgu w punkcie A i sieczną przecinającą okrąg w punkcie B i C , to | PA | 2 = | PB | ⋅ | PC | .

o siecznej i stycznej

Zaznaczając opcję w powyższym applecie wyróżniamy omawiane figury.
Zwróćmy uwagę, że odcinki OA , OB są promieniami, czyli mają tą samą długość, z czego wynika, że trójkąt △ AOB jest równoramienny, a więc kąt ∠ BAO jest równy ∠ ABO .
Ze względu na to, że punkt A jest punktem styczności, ∠ PAO jest kątem prostym, czyli 90° = ∠ PAO = ∠ PAB + ∠ BAO , z czego ∠ BAO = 90° - ∠ PAB .
Suma kątów w trójkącie △ AOB to ∠ AOB + 2 ∠ BAO = 180° .
Po podstawieniu kąta ∠ BAO otrzymujemy ∠ AOB + 2 ( 90° - ∠ PAB ) = 180°
∠ BOA = 2 ∠ PAB
Teraz rozpatrzmy trójkąty △ PAB i △ PAC .
Oczywistym jest że ∠ APB = ∠ APC .
Przed chwilą udowodniliśmy, że kąt dopisany ∠ PAB jest dwukrotnie mniejszy od kąta środkowego opartego na łuku AB . Ponieważ na tym samym łuku oparty jest kąt wpisany ∠ ACB to on również jest dwukrotnie mniejszy od kąta ∠ BOA .
2 ∠ PAB = ∠ BOA = 2 ∠ ACB
∠ PAB = ∠ ACB
A więc, zgodnie z zasadą kąt-kąt, trójkąty △ PAB i △ PAC są podobne.
Z podobieństwa tych trójkątów wynika proporcjonalność odpowiednich odcinków:
| PA | | PB | = | PC | | PA |
Skąd otrzymujemy
| PA | 2 = | PB | ⋅ | PC |
Zauważmy, że ta równość nie zależy od wyboru siecznej, co pozwala sformułować nam następujący wniosek.

o siecznych

Jeżeli przez punkt P , który leży na zewnątrz okręgu o ( O , r ) , poprowadzimy dwie sieczne przecinające okrąg w punktach A , B i C , D , to | PA | ⋅ | PB | = | PC | ⋅ | PD | .

o siecznych

Twierdzenie to wynika bezpośrednio z twierdzenia o siecznej i stycznej

o cięciwach

Jeśli cięciwy AB i CD okręgu przecinają się w puncie P , to | PA | ⋅ | PB | = | PC | ⋅ | PD |

o cięciwach

Zaznaczając opcję w powyższym applecie wyróżniamy omawiane figury. Oczywistym jest że kąt ∠ APC jest równy kątowi ∠ BPD , ponieważ są to kąty wierzchołkowe.
Kąty ∠ ACD oraz ∠ ABD 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 △ APC i △ BPD są podobne.
Z podobieństwa tych trójkątów wynika proporcjonalność odpowiednich odcinków:
| PA | | PC | = | PD | | PB |
Skąd otrzymujemy tezę twierdzenia.
| PA | ⋅ | PB | = | PC | ⋅ | PD |

Dla zainteresowanych, applet w geogebrze ilustrujący równości z ostatnich twierdzeń.