Przeczytaj
Przypomnijmy, że odcinki dwóch stycznych poprowadzonych do danego okręgu z punktu leżącego zewnątrz okręgu, wyznaczone przez punkt i punkty styczności, są sobie równe. Oto zasadnicze twierdzenie planimetriizasadnicze twierdzenie planimetrii:
Powyższy fakt wykorzystamy dla dowodu poniższych dwóch twierdzeń, które podają warunki koniczne i wystarczające, by w dany czworokąt można było wpisać okrąg.
Jeśli czworokąt jest opisany na okręgu, to sumy długości przeciwległych boków tego czworokąta są sobie równe.
Rozważmy czworokąt opisany na okręgu. Niech punkty , , , będą odpowiednimi punktami styczności okręgu i boków danego wielokąta, jak na rysunku.
Wtedy z twierdzenia o odcinkach stycznych mamy: , , , .
Ponieważ: , , oraz , więc
Co należało udowodnić.
Jeżeli w czworokącie wypukłym sumy długości boków przeciwległych są sobie równe, to istnieje okrąg wpisany w ten czworokąt.
Rozważmy czworokąt spełniający warunek i rozważmy okrąg styczny do boków , i – okrąg taki oczywiście istnieje, a jego środek jest jednoznacznie wyznaczony przez punkt przecięcia się dwusiecznych kątów i . Odpowiednie punkty styczności oznaczymy przez , , .
Przypuśćmy, że bok nie jest styczny do tego okręgu. Wtedy można byłoby z punktu poprowadzić styczną do danego okręgu, która wyznaczyłaby na prostej punkt różny od punktu (zapoznaj się z rysunkiem).
Jak widać na rysunku, dowód przeprowadzimy w przypadku, gdy punkt leży między punktami i (w przypadku, gdyby punkt leżał między punktami i , dowód przebiegałby analogicznie). Z warunku koniecznego dla czworokąta opisanego na okręgu mielibyśmy, że .
Ostatnia równość wraz założeniem pozwalają zapisać układ równań:
Odejmując stronami równania układu mamy: , czyli . Stąd .
Otrzymaliśmy równość sprzeczną z nierównością trójkąta, dla trójkąta , co dowodzi, że nasze przypuszczenie, iż bok nie jest styczny do okręgu jest fałszywe. Otrzymana sprzeczność kończy dowód.
Rozważmy czworokąt opisany na okręgu o średnicy , w którym , , , jak na rysunku.
Obliczymy stosunek pola danego czworokąta do pola koła wpisanego w ten czworokąt.
Oczywiście pole koła jest równe .
Z twierdzenia o czworokącie wpisanym w okrąg wynika, że , czyli . Stąd .
Zauważmy, że prowadząc odcinki ze środka okręgu do wierzchołków czworokąta dokonamy jego podziału na trójkąty, których podstawy są bokami czworokąta, a wysokościami poprowadzonymi na te podstawy są promienie okręgu (koła) wpisanego, jak na rysunku.
Zatem pole czworokąta można wyrazić, jako sumę pól odpowiednich trójkątów, czyli
.
Stąd , a stosunek pól jest równy .
W przykładzie wykazaliśmy, że pole czworokąta opisanego na okręgu jest równe połowie obwodu tego czworokąta przez długość promienia okręgu wpisanego. Pozostaje zauważyć, że ta własność dotyczy każdego wielokąta wypukłego, w który można wpisać okrąg.
Przejdźmy teraz do klasycznej geometrii, czyli geometrii cyrkla i linijki. Zajmiemy się konstrukcją czworokąta, który da się opisać na okręgu. Przyjmijmy, że mamy dane odcinki , , równe kolejnym bokom czworokąta oraz kąt równy kątowi między bokiem i czwartym, nieznanym bokiem czworokąta.
Etapy konstrukcji.
Na prostej odkładamy sumę odcinków , a następnie od jednego z końców odejmujemy odcinek . W wyniku otrzymamy odcinek równy długości czwartego boku czworokąta.
Na prostej odkładamy odcinek , a następnie odkładamy kąt w taki sposób, by jedno z ramion zawierała odcinek a wierzchołkiem kąta był jeden z końców tego odcinka.
Z wierzchołka kąta, na drugim ramieniu odkładamy odcinek - w wyniku otrzymujemy trzy wierzchołki konstruowanego czworokąta.
Dla dokończenia konstrukcji pozostaje z tych wierzchołków, które nie są wierzchołkiem kąta wykreślić łuki odpowiednio równe i , aż do ich przecięcia.
Zauważmy, że warunkiem wykonalności konstrukcji jest, by suma była dłuższa od odległości wierzchołków leżących na ramionach kąta .
Słownik
twierdzenie, które orzeka, że odcinki dwóch stycznych poprowadzonych do danego okręgu z punktu leżącego zewnątrz okręgu, wyznaczone przez punkt i punkty styczności, są sobie równe