Opublikowany w niniejszym wydaniu Delty artykuł Stanisława Majchrzaka garściami czerpie z klasycznych
pojęć geometrii elementarnej. Pojawia się w nim również hasło pęk
okręgów, które może być obce nawet co bardziej zaawansowanym naśladowcom Euklidesa. Aby oszczędzić Czytelnikowi przeszukiwania Internetu (który zwłaszcza
w polskojęzycznej odsłonie jest w tym zakresie dość ubogi w informacje),
prezentujemy tutaj przegląd podstawowych informacji na temat tej wdzięcznej geometrycznej
konfiguracji.
Tak jak zostało to już wspomniane w przytoczonym artykule, przykładem pęku
okręgów jest rodzina wszystkich okręgów przechodzących przez ustalone dwa punkty
i
Wówczas prosta jest osią potęgową (patrz Deltoid
w ) dowolnej pary okręgów z tej rodziny, którą z tego względu nazywa się czasem okręgami
współosiowymi. Oznaczmy ową rodzinę jako a jej wspólną oś potęgową jako
Wybierzmy na dowolny punkt Poprowadźmy z styczną do dowolnego
okręgu i niech będzie punktem styczności (rys. 1). Wówczas (co wynika z definicji osi potęgowej).
Oznacza to, że okrąg o środku i promieniu jest
prostopadły do czyli styczne do tych okręgów w punkcie przecięcia są
prostopadłe. Z dowolności wyboru okrąg jest prostopadły do
wszystkich okręgów z rodziny
Rodzinę tak skonstruowanych okręgów dla różnych wyborów punktu na prostej
oznaczmy przez
Można pokazać, że osią potęgową dowolnych dwóch okręgów z rodziny jest
symetralna odcinka Dlatego również nazywana jest rodziną
okręgów współosiowych lub też pękiem – tym razem jednak są to okręgi parami
rozłączne i dlatego to drugie określenie może być odrobinę mylące.
Ogólnie okręgami współosiowymi nazwiemy każdą rodzinę okręgów, dla
której istnieje prosta będąca osią potęgową dowolnej pary okręgów z tej rodziny.
Jeśli nie można jej powiększyć o żaden dodatkowy okrąg, mówimy o pęku okręgów.
Wybierzmy dowolny punkt i okrąg Poprowadźmy
biegunową względem – definicja biegunowej pojawiła się już
w artykule Stanisława Majchrzaka. Udowodnimy, że
dla różnych wyborów okręgu utworzone w ten sposób proste przecinają się w jednym punkcie.
W tym celu przypomnimy alternatywną definicję biegunowej (patrz KPO
w ) –
jest to prosta prostopadła do odcinka łączącego dany punkt ze środkiem okręgu,
przechodząca przez obraz inwersyjny tego punktu względem okręgu.
Czytelnikom, którym obce jest pojęcie inwersji, a którzy mimo to pragną doczytać
ten tekst do końca (co jest godne pochwały!), polecam Deltoid z numeru
oraz artykuł Michała Miśkiewicza
z .
Dla nas istotne będzie jedynie to, że inwersja względem okręgu
o środku w punkcie zachowuje półproste wychodzące z punktu oraz okręgi
prostopadłe do
Narysujmy teraz okrąg opisany na trójkącie Oczywiście zatem
jest prostopadły do wszystkich okręgów z w tym Dlatego
obraz inwersyjny względem to punkt przecięcia z półprostą
ze środka do (rys. 2). Zaś odpowiednia biegunowa to prosta
prostopadła do wspomnianej półprostej, przechodząca przez Oznacza to jednak,
że biegunowa ta przechodzi przez punkt antypodalny do w okręgu
(gdyż kąt jest prosty).
Udowodniliśmy w ten sposób, że biegunowe punktu względem okręgów z rodziny
przecinają się w punkcie (zależnym tylko od punktów i ).
Udowodnimy teraz, że biegunowe względem okręgów z również przecinają
się w jednym punkcie. Pomysł jest dokładnie taki sam – wystarczy udowodnić, że
istnieje okrąg należący do który przechodzi przez
Wówczas wszystkie rozważane biegunowe będą
musiały przechodzić przez punkt antypodalny do w
Skonstruowanie okręgu nie jest trudne – potrzeba (i wystarcza), by był on prostopadły również do
okręgu Dlatego środek szukanego okręgu leży na prostej
stycznej do w punkcie Środek ten leży też na prostej co pozwala
na jego wyznaczenie i w konsekwencji lokalizację punktu w którym
przecinają się wszystkie biegunowe punktu względem okręgów z
Na zakończenie wybierzmy w pęku dowolne dwa prostopadłe okręgi i dołączmy
do nich dowolny okrąg z Dostaniemy trzy okręgi, z których każde dwa są
prostopadłe – ciekawa własność jak na prostopadłość. A czy możliwa jest
taka konfiguracja czterech okręgów?