Professional Documents
Culture Documents
Lemacisko
Lemacisko
Lemacisko
Lemacisko
11 marca 2022
i i
i i
i i
i i
i i
i i
Spis treści
1 Wstęp 1
1.1 Przedmowa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Oznaczenia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Twierdzenia 5
3 Lematy 9
3.1 Ogólne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.1.1 Okrąg wpisany . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.1.2 Okrąg dopisany . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.1.3 Prostopadłość . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.4 Symediana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.1.5 Okręgi styczne . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1.6 Różne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2.1 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2.2 Inwersja w trójliściuq . . . . . . . . . . . . . . . . . . . . . . . 33
√
3.2.3 Inwersja bc oraz 12 bc . . . . . . . . . . . . . . . . . . . . . 34
3.2.4 Antyinwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.3 Sprzężenie Izogonalne . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.4 Dwustosunek i biegunowe . . . . . . . . . . . . . . . . . . . . . . . . 45
3.5 Przekształcenia płaszczyzny . . . . . . . . . . . . . . . . . . . . . . . 55
3.5.1 Przekształcenie afiniczne . . . . . . . . . . . . . . . . . . . . . 55
3.5.2 Przekształcenie rzutowe . . . . . . . . . . . . . . . . . . . . . 59
3.6 Krzywe stożkowe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.6.1 Elipsa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.6.2 Parabola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.6.3 Hiperbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.7 Inwolucyjne Twierdzenie Desarguesa . . . . . . . . . . . . . . . . . . 74
3.8 Mixtilinear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.9 Twierdzenia Fontene’a . . . . . . . . . . . . . . . . . . . . . . . . . . 87
i i
i i
i i
4 Zadania 91
4.1 Ogólne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.1.1 Okrąg wpisany . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.1.2 Okrąg dopisany . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.1.3 Prostopadłość . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.1.4 Symediana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.1.5 Okręgi styczne . . . . . . . . . . . . . . . . . . . . . . . . . . 95
4.1.6 Różne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.2 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.2.1 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.2.2 Inwersja w trójliściuq . . . . . . . . . . . . . . . . . . . . . . . 99
√
4.2.3 Inwersja bc oraz 12 bc . . . . . . . . . . . . . . . . . . . . . 100
4.2.4 Antyinwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.3 Sprzężenie Izogonalne . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.4 Dwustosunek i biegunowe . . . . . . . . . . . . . . . . . . . . . . . . 105
4.5 Przekształcenia płaszczyzny . . . . . . . . . . . . . . . . . . . . . . . 109
4.5.1 Przekształcenie afiniczne . . . . . . . . . . . . . . . . . . . . . 109
4.5.2 Przekształcenie rzutowe . . . . . . . . . . . . . . . . . . . . . 111
4.6 Krzywe stożkowe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.6.1 Elipsa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.6.2 Parabola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.7 Inwolucyjne Twierdzenie Desarguesa . . . . . . . . . . . . . . . . . . 117
4.8 Mixtilinear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
4.9 Twierdzenia Fontene’a . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5 Wskazówki 123
5.1 Ogólne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.1.1 Okrąg wpisany . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.1.2 Okrąg dopisany . . . . . . . . . . . . . . . . . . . . . . . . . . 124
5.1.3 Prostopadłość . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
5.1.4 Symediana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.1.5 Okręgi styczne . . . . . . . . . . . . . . . . . . . . . . . . . . 127
5.1.6 Różne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
5.2 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.2.1 Inwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.2.2 Inwersja w trójliściuq . . . . . . . . . . . . . . . . . . . . . . . 130
√
5.2.3 Inwersja bc oraz 12 bc . . . . . . . . . . . . . . . . . . . . . 131
5.2.4 Antyinwersja . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
5.3 Sprzężenie Izogonalne . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.4 Dwustosunek i biegunowe . . . . . . . . . . . . . . . . . . . . . . . . 134
5.5 Przekształcenia płaszczyzny . . . . . . . . . . . . . . . . . . . . . . . 136
5.5.1 Przekształcenie afiniczne . . . . . . . . . . . . . . . . . . . . . 136
i i
i i
i i
i i
i i
i i
Rozdział 1
Wstęp
Marzec 2022
Piotr Ambroszczyk
Mieszko Komisarczyk
1.1 Przedmowa
W pracy skupiamy się na tym, co według nas jest rzadko opisywane w literaturze,
a może przydać się w zadaniach olimpijskich.
i i
i i
i i
lemacisko@gmail.com
i i
i i
i i
1.2 Oznaczenia
W naszej pracy będziemy przyjmowali się następującymi oznaczeniami:
w punktach D, E, F . Wtedy proste AD, BE, CF przecinają się w punkcie Gergonne’a trójkąta
ABC.
2 Niech okręgi dopisane do trójkąta ABC będą styczne do jego boków BC, CA, AB odpowiednio
w punktach D, E, F . Wtedy proste AD, BE, CF przecinają się w punkcie Nagela trójkąta ABC.
3 Punkt przecięcia symedian w trójkącie ABC.
4 punkt styczności okręgu wpisanego w trójkąt ABC z okręgiem Fererbacha trójkąta ABC
Okrąg opisany na trójkącie XY Z nazywamy Pedal Circle punktu D względem trójkąta ABC.
i i
i i
i i
i i
i i
i i
Rozdział 2
Twierdzenia
BD AB
= .
DC AC
1
Twierdzenie 3. (Oś potęgowa) Dla okręgów o1 i o2 zbiorem punktów o równej
potędze punku względem o1 i o2 jest prosta.
Twierdzenie 5. (Punkt Miquela dla trójkąta) Dany jest trójkąt 4ABC. Punk-
ty X, Y i Z leżą na odcinkach BC, CA i AB. Okręgi (Y AZ), (ZBX) i (XCY )
przecinają się w jednym punkcie.
i i
i i
i i
AC 02 − BC 02 + BA02 − CA02 + CB 02 − AB 02 = 0.
i i
i i
i i
Czytelnik wnikliwy na pierwszy rzut oka może mieć wątpliwości czy na pewno w
treści twierdzenia Pascala uwzględniamy przypadki gdy odpowiednie proste są rów-
noległe. Tak naprawdę samo to twierdzenie ma charakter rzutowy, a w płaszczyźnie
rzutowej wszystkie proste, nawet te równoległe, posiadają punkt przecięcia. O szcze-
gółach Czytelnik dowie się w dalszych sekcjach. Niemniej jednak, o ile w przypadku
twierdzenia Desargues’a wyodrębniliśmy ten szczególny przypadek, tutaj zostawia-
my to jako ćwiczenie.
3 Obrazowo można spojrzeć na to oznaczenie jak na gąsienicę:
> > > > > >
A1 B2 A3 B1 A2 B3 A1 B2 A3 B1 A2 B3 A1 B2 A3 B1 A2 B3 .
i i
i i
i i
i i
i i
i i
Rozdział 3
Lematy
3.1 Ogólne
Pięć pierwszych sekcji zawiera podstawowe lematy, wraz z elementarnymi dowoda-
mi. Ostatnia sekcja różni się od pozostałych tym, że dowodny niektórych lematów
korzystają z własności omawianych w późniejszych działach. O ile pierwsze sekcje
Czytelnik jest w stanie zrozumieć bez wcześniejszego wprowadzenia, z ostatnią może
już mieć pewne problemy, niemniej jednak nie należy się zrażać. W przypadku nie-
znajomości lematu z późniejszych działów proponujemy odłożenie analizy dowodu
na później.
∠BAC
∠BIABC C = 90◦ + .
2
Przykład: Dany jest 4ABC, a punkt J jest środkiem EA,ABC . Prosta prostopadła
do AJ i przechodząca przez J przecina proste AB i AC odpowiednio w punktach
P i Q. Niech K i L będą odpowiednio odbiciami B względem P oraz C względem
Q. Pokazać, że prosta KL jest styczna do EA,ABC .
i i
i i
i i
A
Niech R będzie odbiciem J względem P . Wie-
my, że 4P BJ ∪ R ∼ 4QJC ∪ L. Oznacza to, że
B ∠P JK = ∠P RB = ∠JLQ. Dostajemy więc, że
C
∠KJP + ∠LJQ = 180◦ − ∠JQL = 90◦ − α, dla-
Q tego ∠KJL = 90◦ + ∠BAC 2 . Punkt J leży na dwu-
siecznej ∠KAL, czyli na mocy powyższego lematu
P J L implikuje to, że J jest środkiem okręgu wpisanego
R w 4AKL, czyli KL jest styczna do EA,ABC .
10
i i
i i
i i
Lemat OI 4. Dany jest 4ABC i okrąg weń wpisany styczny do boków BC, AC
i AB kolejno w punktach D, E i F . Punkty X, Y i Z leżą na odpowiednio na
krótszych łukach EF , F D i DE. Następujące dwa warunki są równoważne: 1
11
i i
i i
i i
∠Y EF , ∠CEZ = ∠EF Z oraz ∠ZED = ∠ZF D. Mnożąc przez siebie więc trzy
otrzymane poprzednio równości mamy, że
2
sin ∠XDF sin ∠Y ED sin ∠ZF E
· · =
sin ∠XDE sin ∠Y EF sin ∠ZF D
2
sin ∠AF X sin ∠BDY sin ∠CEZ
= · · =
sin ∠XF E sin ∠Y DF sin ∠ZED
sin ∠XAF sin ∠Y BD sin ∠ZCE
= · · .
sin ∠EAX sin ∠F BY sin ∠DCZ
Z racji tego, że wszystkie kąty, które rozważamy są ostre, otrzymujemy, że jeżeli
jedna strona równości jest równa 1, to druga także. Pociąga to za sobą tezę na
mocy trygonometrycznej wersji twierdzenia Cevy.
12
i i
i i
i i
stając teraz z lematu Steinbarta widzimy, że nasza teza równoważna jest pokazaniu,
że proste RF, SE i P 0 D przecinają się w jednym punkcie. Wynika to jednak wprost
z naszego podlematu dla trapezu P P 0 EF i punktu D.
13
i i
i i
i i
AB + BC − AC
BD = = EC.
2
14
i i
i i
i i
O1
L
S
O2 R
M N
P B C Q
15
i i
i i
i i
IB
IC
Z
BABC
Y
OABC
IABC
B X C
IA
Widzimy zatem, że OABC BABC jest prostą Eulera 4IA IB IC . Z racji tego, że
IABC to ortocentrum tego trójkąta, dostajemy, że IABC ∈ OABC BABC . Ponadto
skoro OABC jest środkiem okręgu Feuerbacha 4IA IB IC , to leży on dokładnie w po-
łowie odległości pomiędzy ortocentrum tego trójkąta i środkiem okręgu opisanego
na tym trójkącie. Implikuje to tezę drugiej części lematu.
16
i i
i i
i i
3.1.3 Prostopadłość
Lemat O⊥ 1. Punkt M jest środkiem boku BC w 4ABC. Niech H 0 i H 00 będą
odbiciami HABC względem odpowiednio prostej BC i punktu M , wtedy:
1. H 0 ∈ (ABC)
2. H 00 jest punktem antypodycznym do A względem (ABC).
Przykład: Dany jest 4ABC. Oznaczmy przez M środek odcinka BC. Pokazać, że
AHABC = 2OABC M .
B M C
Warto zauważyć, że z powyższego lematu wynika
następujący fakt: W 4ABC punkt HABC oraz
OABC są izogonalnie sprzężone. A0
17
i i
i i
i i
A
Dowód. Zauważmy, że ∠HABC DB = ∠HABC F B =
90◦ , czyli na czworokącie BDHABC F można opi-
E sać okrąg. Oznacza to, że
∠F DHABC = ∠F BHABC =
F
HABC = 90◦ − ∠BAE = 90◦ − ∠BAC.
P H ∠AHABC Y = ∠XHABC H1 =
1
= ∠AH1 X = ∠ARP = ∠ARY.
Niech teraz H2 będzie odbiciem HABC względem boku AC. Widzimy, że: ∠ARY =
∠AHABC Y = ∠AH2 Y , czyli punkty A, R, H2 i Y leżą na jednym okręgu. Z drugiej
strony (AH2 Y ) i (ABC) przecinają się w punktach A i H2 . Udowodniliśmy tym
samym, że H2 = R, czyli prosta `b = H2 Y przechodzi przez punkt P . Analogicznie
pokazujemy, że przez ten punkt przechodzi prosta `c .
Przejdźmy teraz do drugiej części lematu. Niech prosta izogonalnie sprzężona do
AP w ∠BAC tnie ` w punkcie D. Na mocy wcześniejszych wniosków dostajemy, że
18
i i
i i
i i
Jeżeli teraz dany jest 4ABC oraz punkt P , który należy do okręgu opisanego na
tym trójkącie, a przez P1 , P2 i P3 oznaczymy jego odbicia względem BC, AC i AB,
to P1 , P2 i P3 leżą na jednej prostej `, przechodzącej przez ortocentrum 4ABC.
Prostą tę nazywamy prostą Steinera punktu P względem 4ABC. Oczywiście P
jest także punktem anty-steinerowskim ` względem 4ABC.
Warto zwrócić uwagę, że prosta Steinera jest obrazem prostej Simsona w jedno-
kładności o skali 2 i środku w punkcie P .
19
i i
i i
i i
AM DM 0 0
to, że GABC M = O 0 M = 3, skąd wynika: DO = OABC O . Jako, że ∠OABC CD =
∠OABC BD = 90◦ to punkt O0 jest środkiem okręgu opisanego na czworokącie
OABC BDC. Z symetrii natomiast mamy OABC C = O0 C = O0 OABC , stąd dostaje-
my, że 4OABC O0 C jest równoboczny. Oznacza to, że ∠BAC = ∠O0 OABC C = 60◦ ,
co należało pokazać.
Uwaga: Od teraz nie będziemy już mówić, że: "4ABC jest ortologiczny względem
4A0 B 0 C 0 ", lecz: "4ABC i 4A0 B 0 C 0 są ortologiczne".
20
i i
i i
i i
3.1.4 Symediana
Definicja: Punkt M jest środkiem boku BC w 4ABC. Symedianą wierzchołka A
w 4ABC nazwiemy prostą symetryczną do AM względem dwusiecznej wewnętrz-
nej ∠BAC.
Lemat Osym 1. Dany jest 4ABC. Niech punkt P leży wewnątrz ∠BAC. Oznaczmy
przez K i L odpowiednio rzuty punktu P na AB i AC. Prosta AP jest symedianą
kąta A w 4ABC wtedy i tylko wtedy gdy
PK AB
=
PL AC.
Dowód. Niech P 0 będzie obrazem punkt P
A
w symetrii względem dwusiecznej wewnętrznej
∠BAC. Niech prosta przechodząca przez P 0 i rów-
noległa do BC przecina AB i AC odpowiednio w L 0
L
punktach X i Y . Oznaczmy przez K 0 i L0 odpo- K0
0 0 K
wiednio rzuty punktu P na AB i AC. Punkt P Y
X
leży na środkowej poprowadzonej z wierzchołka P P
0
21
i i
i i
i i
C
Y Dowód. Niech M będzie punktem przecięcia pro-
M stej AB z XY . Z racji tego, że M X 2 = M B ·
X M A = M Y 2 , widzimy, że M jest środkiem od-
B cinka XY . Wystarczy więc pokazać, że ∠XAC =
∠M AY . Zauważmy, że
A
∠XAY = ∠BXY + ∠BY X =
= π − ∠XBY = π − ∠XCY,
więc na czworokącie AXCY można opisać okrąg. Zachodzą zatem następujące rów-
ności: ∠M AY = ∠BY X = ∠CY X = ∠CAX, co należało pokazać.
2. AB · CX = XB · AC
3. ∠BM X = ∠BAC
22
i i
i i
i i
XM 0 BX AB AM 0
0
= = = 0 .
MC XC AC MC X
Warto zauważyć, że z powyższego dowodu wynika następujący fakt: Dany jest czwo-
rokąt ABCD wpisany w okrąg. Jeżeli AC jest symedianą w 4ABD to: AC jest
symedianą w 4BCD, BD jest symedianą w 4ACD oraz BD jest symedianą w
4ABC.
23
i i
i i
i i
24
i i
i i
i i
P
Dowód. Niech X 0 będzie drugim punktem prze-
cięcia prostej XP z ω. Z potęgi punktu mamy
Lemat O◦ 3. Dany jest 4ABC. Punkt D leży na odcinku BC. Okrąg o jest styczny
do (ABC) oraz prostych AD i BC odpowiednio w punktach P i Q. Wtedy prosta
P Q przechodzi przez IABC 2 .
Warto zwrócić uwagę, że w sytuacji gdy okrąg o jest styczny do prostej BC oraz
zewnętrznie to (ABC) to rozważana prosta P Q przechodzi przez środek EA,ABC .
Pokazanie tej własności poprzez lekką modyfikację powyższego dowodu zostawiamy
Czytelnikom jako ćwiczenie.
25
i i
i i
i i
A
Dowód. Załóżmy, że ω2 będzie styczny do odcinka
BD, a ω1 do odcinka DC. Niech ω1 będzie stycz-
ny do AD i DC odpowiednio w punktach N i Q.
L Niech ω2 będzie styczny do AD i BD odpowied-
O1
IABC
O2
nio w punktach L i P . Z poprzedniego lematu
N
mamy, że proste QN i P L przecinają się w IABC .
C
Zauważmy, że na mocy lematu OE 2 zastoso-
B P D Q
wanego dla trójkąta wyznaczonego przez proste
styczne wewnętrznie do ω1 i ω2 oraz prostą BC
punkty O1 , O2 i IABC są współliniowe, co chcie-
liśmy pokazać.
D
Dowód. Oznaczmy punkty przecięcia ` z ω przez E
i F . Niech M będzie środkiem łuku EF okręgu ω
niezawierającym punktu A. Niech P := AC ∩BD.
A
Stosując powyższy lemat dla 4AEF otrzymuje-
my, że IAEF leży na prostej łączącej środki ω1 i
P IDEF
ω2 . Analogicznie na tej prostej leży także IDEF .
IAEF
Ponadto prosta ta przechodzi przez punkt P , za-
tem P , IAEF i IDEF są współliniowe. Oczywiście
F IAEF ∈ AM i IDEF ∈ DM , więc z twierdzenie
E
o trójliściu otrzymujemy, że 4IAEF M IDEF jest
równoramienny, czyli ∠DIDEF P = ∠AIAEF P .
B C
Z drugiej strony ∠DP IDEF = ∠AP IAEF , czy-
M li 4AP IAEF ∼ 4DP IDEF . Oznacza to, że
∠P DIDEF = ∠IAEF AP , co oznacza, iż M jest środkiem łuku BC okręgu ω, a
to jest równoważne z tezą.
26
i i
i i
i i
3.1.6 Różne
W tej sekcji zamieściliśmy lematy które nie pasują tematycznie to wcześniejszych
działów.
` z okręgiem ω2 . Widzimy, że B X Q P C
P Q + QX − P Y = P X 0 − P Y = QY 0 − QX = P Q + P Y − QX,
co daje XQ = P Y .
Powyższe wnioski implikują BQ = BX + XQ = AB+BC−AC 2 = BD, równość
ta natomiast oznacza, że Q = D. Proste P IACP i P IABP są dwusiecznymi od-
powiednio ∠AP C i ∠AP B, czyli ∠IABP P IACP = 90◦ , analogicznie otrzymujemy
∠IABP DIACP = ∠IABP QIACP = 90◦ , a to implikuje cykliczność wspomnianego
czworokąta.
Dowód. Bez straty ogólności załóżmy, że punkt X leży na łuku DC okręgu Γ nie
zawierającym punktu B. W innym wypadku rozumowanie przebiega analogicznie.
27
i i
i i
i i
A
Dowód. Zastosujmy trygonometryczną wesją
twierdzenia Cevy dla 4ABC i kolejno punk-
∠BAA0
tów A0 , B 0 i C 0 . Dostajemy równości: sin sin ∠A0 AC ·
sin ∠ACA0 sin ∠A0 BC sin ∠CBB 0 sin ∠BAB 0
0
sin ∠A0 CB · sin ∠A0 BA = 1, sin ∠B 0 BA · sin ∠B 0 AC ·
0 0
B sin ∠B CA sin ∠ACC sin ∠CBC 0
C0 0 sin ∠B 0 CB = 1 oraz sin ∠C 0 CB · sin ∠C 0 BA ·
A
sin ∠C 0 AB
B C sin ∠C 0 AC = 1 co po wymnożeniu stronami da-
∠BAA0 sin ∠ACC 0 sin ∠CBB 0
je sin
sin ∠A0 AC · sin ∠C 0 CB · sin ∠B 0 BA = 1 co na mocy
twierdzenia odwrotnego do trygonometrycznej wesji twierdzenia Cevy daje tezę le-
matu.
Analogicznie definiujemy ωBji oraz ωCji (ωBj1 jest styczny do BC, natomiast ωCj1
do AC).
Możemy przejść do treści przykładu: Dany jest 4ABC taki, że okręgi ωA42 ,
ωB33 i ωC21 mają równe promienie. Oznaczmy ich środki przez X, Y i Z. Pokazać,
że proste AX, BY i CZ są współpękowe.
28
i i
i i
i i
P
F
HDEF = IP QR
OP QR R
Q
IABC = ODEF
OABC
B D C
29
i i
i i
i i
30
i i
i i
i i
3.2 Inwersja
Inwersja jest jedną z najczęściej stosowanych metod w rozwiązywaniu zadań olim-
pijskich. Stanowi ona swoisty elemantarz, znajomość jej własności może być nieoce-
niono pomocna.
W niektórych zadaniach w tym dziale będzie pojawiał się mixtilinear incircle któ-
remu poświęciliśmy osobny dział. Nie należy się jednak zrażać, takie problemy będą
wymagały co najwyżej zastosowania odpowiedniej inwersji i lematów z sekcji 3.1.
3.2.1 Inwersja
Definicja: Dla okręgu ω o środku w punkcie S i promieniu R inwersją względem te-
go okręgu będziemy nazywać przekształcenie Ψ takie, że dla każdego punktu A 6= S,
−→
A0 = Ψ(A) leży na półprostej SA oraz spełnia SA · SA0 = R2 .
4 Kątpomiędzy krzywymi definiujemy jako mniejszy z kątów pod którym przecinają się styczne
poprowadzone do tych krzywych w punkcie ich przecięcia.
31
i i
i i
i i
32
i i
i i
i i
Definicja Dla danego 4ABC oznaczmy przez M środek tego łuku BC (ABC)
który nie zawiera punktu A. Inwersją w trójliściu nazywamy przekształcenie Ψ bę-
dące inwersją o środku w punkcie M i promieniu M B.
1. Ψ(IABC ) = IABC
2. Ψ( (ABC)) = BC
33
i i
i i
i i
√ q
1
3.2.3 Inwersja bc oraz 2
bc
√
Inwersja bc
√
Inwersja bc jest jedną z częściej stosowanych inwersji dlatego też poświęciliśmy jej
osobną sekcję. Spełnia ona większość podstawowych własności inwersji, ale posiada
również kilka unikalnych, na których skupimy się w głównej mierze.
√
Definicja: Dla trójkąta 4ABC inwersją bc nazywamy przekształcenie√Ψ, które
jest złożeniem inwersji względem okręgu o środku w punkcie A i promieniu AB · AC
z symetrią względem dwusiecznej ∠BAC.
• Ψ(B) = C i Ψ(C) = B
5
• Ψ zachowuje równoległości w ∠BAC
• jeżeli X 6= A i X 0 = Ψ(X) to ∠BAX = ∠CAX 0
• Ψ( (ABC)) = BC
• Ψ(MA,ABC ) = EA,ABC
√
Lemat I√bc 1. Dany jest 4ABC oraz przekształcenie Ψ będące inwersją bc. Niech
J będzie środkiem EA,ABC . Wtedy Ψ(J) = IABC .
Dowód. Zauważmy, że ∠IABC CJ = 90◦ =
A
∠IABC BJ czyli czworokąt BJCIABC jest cy-
kliczny. Oznacza to, że ∠AJC = CJIABC =
IABC ∠CBIABC = ∠IABC BA, co w połączniu z
C ∠BAIABC = ∠JAC implikuje, że 4ABIABC ∼
B
4AJC. Zapisując stosunki odpowiednich boków
dostajemy AIAB
ABC
= ACAJ
co implkuje, że AB ·
AC = AIABC · AJ, co chcieliśmy pokazać.
34
i i
i i
i i
q
1
Inwersja 2 bc
q
Kolejnym ciekawym przekształceniem jest inwersja 12 bc.
q
Definicja: Dla trójkąta 4ABC inwersją 12 bc nazywamy przekształcenie Ψ, które
q
jest złożeniem inwersji względem okręgu o środku w punkcie A i promieniu 12 AB · AC
z symetrią względem dwusiecznej ∠BAC.
q
1
√
Jak widzimy definicja inwersji 2 bc jest prawie taka sama jak inwersji bc. Aby
przyjrzeć się bliżej jej własnościom wprowadźmy następujące oznaczenie: punkty M
i N to odpowiednio środkami boków AB i AC w 4ABC.
Przykład: Dany jest 4ABC. Okrąg ω jest styczny do boków AB i AC oraz ze-
wnętrznie do (BOABC C). Oznaczmy przez E i F punkty styczności ω odpowied-
nio z AB i AC. Pokazać, że EF jest symetralną odcinka AIABC .
35
i i
i i
i i
36
i i
i i
i i
3.2.4 Antyinwersja
Definicja: Antyinwersją względem okręgu ω o środku w punkcie S nazywamy zło-
żenie inwersji względem tego okręgu z symetrią środkową względem S.
Lemat I−1 1. Dla dowolnego okręgu ω i punktu X leżącego wewnątrz niego istnieje
taki okrąg o środku w X, że antyinwersja względem niego zachowuje ω.
Przykład: Dany jest ostrokątny 4ABC. Okrąg o średnicy AHABC tnie (ABC)
w punkcie Q 6= A. Na bokach AB i AC wybieramy odpowiednio takie punkty K i
L, że KHABC k AC oraz LHABC k AB. Pokazać, że punkty A, K, L i Q leżą na
jednym okręgu.
37
i i
i i
i i
Dowód. Oznaczmy okrąg Feuerbacha 4ABC przez ω. Jak wiemy istnieje jednokład-
ność o skali dodatniej o środku w punkcie HABC przekształcającą (ABC) na ω.
Na mocy powyższego lematu wiemy więc, że istnieje antyinwersja Ψ o środku w H
taka, że Ψ( (ABC)) = ω.
Niech M będzie środkiem BC, natomiast punkty D, E i F spodkami wysokości
opuszczonych odpowiednio z wierzchołków A, B i C w 4ABC. Ponadto oznaczmy
przez P punkt antypodyczny do A względem (ABC). Z lematu O⊥ 1 wiemy,
że punkty Q, HABC , M i P są współliniowe czyli Ψ(Q) = M . Wiemy również, że
Ψ(A) = D. Oznaczmy L0 := Ψ(L) i K 0 := Ψ(K). Jako, że Ψ(AB) = (HABC DE)
to K ∈ AB punkt K 0 leży na okręgu o średnicy CHABC . W rozważanej antyinwersji
prosta HABC K jest stała, czyli HABC K 0 k EC co implikuje, że K 0 CEHABC jest
prostokątem. Analogicznie pokazujemy, że BL0 HABC F również jest prostokątem.
Na mocy antyinwersji wystarczy pokazać, że punkty L0 , K 0 , M i D leżą na
jednym okręgu. Zauważmy, że
38
i i
i i
i i
AC 2 CP · CQ
= .
AB 2 BP · BQ
CP S(4CP A) AC·AP ·sin ∠CAP AC·sin ∠CAP
Dowód. Zauważmy, że BP = S(4P BA) = AP ·AB sin ∠P AB = AB·sin P AB . Analo-
CQ AC·sin CAQ
gicznie otrzymujemy QB = AB·sin ∠QAB , a ponieważ ∠P BA = ∠CAQ i ∠CAP =
∠QAB, dostajemy żądaną równość.
39
i i
i i
i i
Lemat SI 3. Dany jest kąt ∠QP R. Rozważmy takie punkty X i Y , aby te nie leżały
ani na P Q ani na P R. Przez M oznaczmy środek odcinka XY . Niech A i B będą
rzutami prostokątnymi punktu X na P Q i P R. W analogiczny sposób zdefiniujmy
dla punktu Y punkty C i D. Wtedy następujące warunki są równoważne:
Dokładnie tym samym tokiem rozumowania możemy dojść do tego, że jeżeli punkty
P i P 0 są izogonalnie sprzężone w 4ABC, to PP,ABC = PP 0 ,ABC .
−−→
Przykład: Dany jest trapez ABCD o podstawach CD i AB. Niech półproste DA
−−→
i CB przecinają się w punkcie P . Oznaczmy przez O1 i O2 kolejno środki (DCA)
i (ACB). Pokazać, że
∠AP O1 = ∠O2 AB.
Lemat SI 4. Dany jest czworokąt ABCD wpisany w okrąg. Jego przekątne przeci-
−−→ −−→
nają się w punkcie E, a półproste AD i BC w Q. Oznaczmy przez I1 , I2 i I3 środki
40
i i
i i
i i
41
i i
i i
i i
∠D
∠IABE XICDE = ∠AZD = 180◦ − (180◦ − ) − (180◦ − ∠DAIABF ) =
2
∠D ∠C ∠D ∠C ∠D − ∠C
= − 180◦ + + ∠A = + − ∠C = ,
2 2 2 2 2
co daje tezę.
42
i i
i i
i i
(P, X; S, E) = (R, X; Q, F ).
To implikuje:
43
i i
i i
i i
44
i i
i i
i i
45
i i
i i
i i
P A2 = P C · P D.
1. (A, B; C, D) = −1.
2. P C jest dwusieczną ∠AP B.
3. P C ⊥ P D.
Lemat D 1. Dany jest 4ABC oraz punkt P różny od wierzchołków tego trójkąta.
Oznaczmy D := AP ∩ BC, E := BP ∩ CA i F := CP ∩ AB. Przez X oznaczmy
przecięcie prostych EF i BC. Załóżmy ponadto, że punkty B, D, C i X leżą w tej
kolejności na prostej. Wtedy
(B, C; D, X) = −1.
∠ADE = ∠ADF.
46
i i
i i
i i
(A, B; C, D) = −1.
M N = M D = M X.
Lemat D 3. Okrąg wpisany w czworokąt ABCD jest styczny do boków AB, BC,
CD i DA odpowiednio w punktach K, L, M i N .
1. Proste M K, N L, AC i DB są współpękowe.
2. Proste N M , KL i AC są współpękowe.
XC CL CM YC
= = =
XA AK AN YA
47
i i
i i
i i
∠DT A = ∠DT C.
A otrzymujemy, że AO R1
AO2 = R2 . Z definicji dwustosunku mamy
1
−−→ −−→
AO1 BO2
(O1 , O2 ; A, B) = −−→ ÷ −−→ = −1,
AO2 BO1
z czego wynika teza lematu.
48
i i
i i
i i
−−→ −−→
Lemat D 5. Dany jest czworokąt ABCD wpisany w okrąg. Niech E := BA ∩ CD
oraz F ∈ CD. Oznaczmy przez M środek odcinka CD. Wtedy następujące warunki
są równoważne:
1. (F, E; C, D) = −1.
2. Punkty M , F , A i B są współokręgowe.
EC · ED = EF · EM
ED(ED + 2M D) = (ED + F D)(ED + M D)
ED · M D = F D(M D + ED)
ED · M D = F D · EM
ED · M D = EM (M D − M F )
EM · M F = EM · M D − ED · M D
EM · M F = M D2
(F, E; C, D) = −1,
Przykład: Dany jest czworokąt ABCD wpisany w okrąg. Niech M będzie środ-
AN
kiem odcinka CD, a przez N 6= M oznaczmy taki punkt na (ABM ), że BN =
AM −
−→ −−
→
BM . Zdefiniujmy E := AC ∩ BD oraz F := CB ∩ DA. Pokazać, że punkty E, F i
N są współliniowe.
−−→ −−→
Dowód. Niech G będzie punktem przecięcia BA i CD. Przez K oznaczmy przecięcie
prostych EF oraz CD. Skoro (C, D; K, G) = −1, zatem M D2 = M K · M G. Z
powyższego lematu wiemy, że czworokąt M KAB jest cykliczny. Zauważmy teraz,
49
i i
i i
i i
AN AM
że równość BN = BM implikuje to, że M AN B jest czworokątem harmonicznym,
skąd wynika, że
−1 = K(M, N ; A, B) = (G, L; A, B),
gdzie L := KN ∩AB. Z drugiej strony wiemy, że −1 = (G, K; D, C) = (G, L0 ; A, B),
gdzie L0 := AB ∩EF , czyli otrzymujemy, że L0 = L, więc punkty E, F i N są współ-
liniowe.
Dowód. Jeżeli punkt O leży na prostej AC teza wynika z symetrii. Załóżmy bez
straty ogólności, że O leży po tej samej stronie prostej AC co punkt D.
Oznaczmy α := ∠OAC = ∠OCA, wtedy ∠AOC = 180◦ − 2α, czyli ∠ABC =
90◦ + α. Jako, że
∠BAD + ∠BCD
∠BAI + ∠BCI = = 90◦ ,
2
otrzymujemy ∠AIC = 180◦ − α. Implikuje to, że OA i OC są styczne do (AIC).
Analogicznie dowodzimy, że OB i OD są styczne do (BID).
Z powyższych wniosków dostajemy, że punkt O ma równą potęgę punktu wzglę-
dem (AIC) oraz (DIB). Co więcej, punkt S również ma równą potęgę punktu
względem tych okręgów. Dowiedliśmy tym samym, że punkty O, I i S leżą na osi
potęgowej okręgów (AIC) i (DIB).
50
i i
i i
i i
AB · CD A0 B 0 · C 0 D 0
(A, B; C, D) = = 0 0 = (A0 , B 0 ; C 0 , D0 ).
BC · AD B C · A0 D 0
Warto tutaj zwrócić uwagę, że jeżeli czworokąt ABCD był harmoniczny to po rzu-
towaniu z punktu P czworokąt A0 B 0 C 0 D0 również będzie harmoniczny.
BF AB
= .
CF AC
Dowód. Bez straty ogólności załóżmy ponadto, że punkt E 0 leży po tej samej stronie
prostej BC co punkt A. Oznaczmy D0 := AD∩ (ABC) 6= A oraz E 0 := HABC M ∩
(ABC) 6= E. Wiadomo, że D0 jest odbiciem HABC względem D, natomiast E 0
jest odbiciem HABC względem M . Oznacza to, że M D k D0 E 0 . Dostajemy więc, że
51
i i
i i
i i
Dowód. Jak wiemy ∠IABC BJ = ∠IABC CJ = 90◦ , czyli na czworokącie IABC BCJ
można opisać okrąg, nazwijmy go o. Rozważmy inwersję względem ω, punkty B i
C przejdą w niej odpowiednio na M i N , natomiast obrazem o będzie prosta M N ,
czyli J 0 := IABC J ∩ M N jest obrazem punktu J w tym przekształceniu. Zauważ-
my teraz, że punkty A, IABC i J są współliniowe oraz AI ⊥ EF k M N , czyli
IABC J 0 ⊥ M N , a stąd wynika teza lematu.
Przykład: Dany jest 4ABC w którym AC > AB. Oznaczmy przez ω okrąg
weń wpisany styczny do boków BC, CA i AB odpowiednio w punktach D, E i
F . Oznaczmy przez J środek okręgu EA,ABC Niech K będzie rzutem punktu D na
−−−−−→
prostą EF . Niech P := GDEF K ∩ ω. Pokazać, że punkty P , D i J są współliniowe.
czyli G0 = GABC .
Oznaczmy przez Z punkt przecięcia stycznych do (ABC) w punktach A i
X. Zauważmy, że ZX jest osią potęgową (ABC) oraz (KXL), a AX jest osią
52
i i
i i
i i
Lemat D 10. Dany jest 4ABC i okrąg weń wpisany ω. Niech H będzie spodkiem
wysokości opuszczonej z wierzchołka A na prostą BC. Oznaczmy przez M środek
odcinka AH. Załóżmy, że ω jest styczny do boku BC w punkcie D. Zdefiniujmy
X 6= D jako przecięcie prostej DM z ω. Wtedy (BXC) jest styczny do ω.
−1 = X(E, A; Y, D) = (E, A; Y, Z 0 ),
53
i i
i i
i i
54
i i
i i
i i
• f (→
−
x +→
−
y ) = f (→
−
x ) + f (→
−
y)
• f (k →
−
x ) = kf (→
−
x)
55
i i
i i
i i
względem f . Mamy, że
−− → →
− →
− →
− →
− −−−→ −−−→
A0 Z 0 = z1 01 +z2 02 = (kx1 +(1−k)y1 ) 01 +(kx2 +(1−k)y2 ) 02 = k·A0 X 0 +(1−k)·A0 Y 0 .
Co implikuje żądaną współliniowość.
56
i i
i i
i i
Lemat PA 2. Dany jest 4ABC i punkt P leżący wewnątrz niego. Istnieje prze-
kształcenie afiniczne przekształcające 4ABC na 4A0 B 0 C 0 , a punkt P na HA0 B 0 C 0 .
57
i i
i i
i i
Warto zwrócić uwagę, że parabola nie ma środka symetrii więc nie zastosujemy dla
niej powyższego lematu.
58
i i
i i
i i
Spora cześć zawartej w tej sekcji wiedzy wynika z dowodów mających charakter czy-
sto algebraiczny. W naszej pracy nie wprowadzamy algebraicznego modelu płasz-
czyzny rzutowej, a dowody są czysto syntetyczne.
Własności rzutowania:
• jest bijekcją
9 Najpopularniejszy przykład pozwalający lepiej zrozumieć idee prostej w nieskończoności to
patrzenie na tory kolejowe. W momencie gdy na nie patrzymy, one przecinają się na horyzoncie.
59
i i
i i
i i
• zachowuje dwustosunek
• jest bijekcją
• zachowuje współliniowość
• zachowuje współpękowość
• zachowuje dwustosunek
60
i i
i i
i i
Przykład: Dany jest 4ABC oraz punkt P nieleżący na prostych BC, CA i AB.
Oznaczmy D := AP ∩ BC, E := BP ∩ AC, F := CP ∩ AB, Q := AD ∩ EF oraz
T := BC ∩ EF . Prosta przechodząca przez T przecina proste AC i AB odpowied-
nio w punktach X i Y . Pokazać, że proste QX, F C i Y D przecinają się w jednym
punkcie.
61
i i
i i
i i
twierdzenia Talesa dla 4CF B prosta Y D również przechodzi przez środek odcinka
F C.
Pokazaliśmy więc, że proste QX, F C i Y D przecinają się w jednym punkcie. Na
mocy własności przekształcenia rzutowego otrzymujemy tezę przykładu.
Zajmiemy się teraz obrazami okręgu w przekształceniu rzutowym. Jak wiemy, prze-
cięciem stożka z płaszczyzną jest krzywa stożkowa. Niech prosta ` będzie styczna
do okręgu ω. Korzystając z lematu PRz 1 zastosujmy przekształcenie rzutowe któ-
re przekształca ` na prostą w nieskończoności. Zauważmy, że obrazem ω w tym
przekształceniu będzie parabola. Jeżeli prosta ` przecinałaby ω w dwóch różnych
punktach to obrazem ω w takim przekształceniu byłaby hiperbola, natomiast jeśli
` byłaby rozłączna z ω to elipsa.
62
i i
i i
i i
63
i i
i i
i i
Lemat PRz 4. Dany jest okrąg ω oraz punkt P leżący wewnątrz niego. Istnieje
przekształcenie rzutowe zachowujące okrąg ω i przekształcające P na jego środek.
Dowód. Niech ABCD będzie czworokątem wpisanym w okrąg ω takim, że X :=
AD ∩ BC, Y = AB ∩ CD oraz P = AC ∩ BD. Na mocy lematu PRz 1 wyrzućmy
prostą XY w nieskończoność. Oznaczmy obraz ω w tym przekształceniu przez ω 0 .
Prosta XY jest rozłączna z okręgiem ω, więc ω 0 będzie elipsą lub okręgiem. Punkt
P będzie środkiem symetrii równoległoboku ABCD, czyli jest również środkiem
krzywej ω 0 . Korzystając z lematu PA 3 przekształcamy ω 0 na okrąg. Przekształ-
cenie afiniczne zachowuje środek krzywej, czyli P będzie środkiem otrzymanego
okręgu.
Przykład: Dany jest okrąg ω oraz leżące na nim różne punkty A, B i C. Pokazać,
że istnieje przekształcenie rzutowe zachowujące ω oraz przekształcające 4ABC na
trójkąt równoboczny.
64
i i
i i
i i
W zależności od kąta, pod jakim dana płaszczyzna nachylona jest do osi syme-
trii stożka, można otrzymać cztery rodzaje krzywych – okrąg, elipsę, parabolę oraz
hiperbolę. W tym rozdziale opiszemy własności trzech ostatnich obiektów.
3.6.1 Elipsa
Definicja: Dane są dwa punkty P1 i P2 oraz liczba dodatnia c, taka że c > P1 P2 .
Wówczas zbiór takich punktów P , że P P1 + P P2 = c nazywamy elipsą o ogniskach
P1 i P2 i stałej c.
65
i i
i i
i i
Ponadto
Lemat SE 3. Dany jest kąt ∠BAC oraz punkty X i Y wewnątrz niego spełniające
warunek ∠BAX = ∠Y AC. Wtedy istnieje dokładnie jedna elipsa o ogniskach w
punktach X i Y i styczna do prostych AB i AC.
66
i i
i i
i i
Lemat SE 5. Dany jest czworokąt ABCD oraz punkt P wewnątrz niego. Wtedy
następujące warunki są równoważne.
oraz
∠CP D = ∠CP Q3 + ∠Q3 P D = ∠CQ2 Q3 + ∠Q3 Q4 D.
67
i i
i i
i i
68
i i
i i
i i
3.6.2 Parabola
Definicja: Dany jest punkt P oraz prosta k. Parabolą o kierownicy k i ognisku
P będziemy nazywać zbiór wszystkich punktów równo odległych od punku P oraz
prostej k.
69
i i
i i
i i
1. punkty A, P i B są współliniowe
2. a ⊥ b
3. proste a, b i k są współpękowe
70
i i
i i
i i
• 4AP S ∼ 4SP B.
Dowód. Na mocy lematu SP 1 proste AS i BS to kolejno symetralne odcinków
P A0 i P B 0 , zatem czworokąty AA0 SP i BP SB 0 to deltoidy. Oznacza to, że SA0 =
SP = SB 0 , co implikuje tezę pierwszej części lematu.
Bez straty ogólność załóżmy, że punkt S leży po przeciwnej stronie prostej k
niż parabola oraz punkty P i A leżą po przeciwnych stronach prostej s. Wiemy,
że ∠A0 SP = 2∠ASP oraz ∠P SB 0 = 2∠P SB. Niech M będzie środkiem odcinka
A0 B 0 . Otrzymujemy, że
∠A0 SB 0
∠ASM = ∠ASP − ∠M SP = ∠ASP − + ∠P SB 0 =
2
= ∠ASP − ∠ASP − ∠BSP + 2∠BSP = ∠BSP
co należało pokazać.
Zauważmy, że SM k AA0 k BB 0 zatem ∠BSP = ∠ASM = ∠A0 AS = ∠SAP .
Podobnie pokazujemy, że ∠ASP = ∠P BS, co implikuje ostatni podpunkt.
71
i i
i i
i i
3.6.3 Hiperbola
Definicja: Dane są dwa punkty P1 i P2 . Wówczas zbiór punktów takich, że wartość
bezwzględna różnicy ich odległości – r od tych punktów P1 i P2 jest stała nazywamy
hiperbolą o ogniskach w punktach P1 i P2 i różnicy r.
P10 P2 = P2 P − P10 P = P2 P − P1 P = P2 Q − P1 Q,
• 4P P2 S ≡ 4QP2 S.
P2 P = P2 A − P A = P2 A − P1 A = P1 B − P2 B = QB − P2 B = P2 Q,
72
i i
i i
i i
73
i i
i i
i i
Inwolucja na prostej
Definicja: Nieidentycznościowe przekształcenie φ nazwiemy inwolucją na prostej `
jeżeli dla każdego punktu A ∈ ` zachodzi φ(A) ∈ `, φ(φ(A)) = A oraz φ zachowuje
dwustosunek punktów na `.
Pary punktów (A, A0 ) i (B, B 0 ) są różne jeżeli żaden punkt pierwszej pary nie
pokrywa się z żadnym punktem z drugiej pary. Uwaga, parę (A, A) traktujemy jako
normalną parę.
Stwierdzenie ITD 1. Inwolucja jest wyznaczona jednoznacznie przez dwie różne
pary punktów wzajemnych.
Dowód. Niech φ1 i φ2 będą dwoma inwolucjami na prostej `. Załóżmy, że istnieją
dwie różne pary punktów (A, A0 ) i (B, B 0 ) , że φ1 (A) = A0 = φ2 (A) oraz φ1 (B) =
B 0 = φ2 (B). Rozważmy pierwszy przypadek gdy punkty A, A0 i B są różne, wtedy
punkty A, A0 i B 0 też są różne. Przyjmijmy, że C jest dowolnym punktem na `
różnym od A, A0 , B i B 0 . Zauważmy, że
74
i i
i i
i i
Dowód. Niech (X, X 0 ) i (Y, Y 0 ) będą różnymi parami punktów wzajemnych wzglę-
dem inwolucji φ oraz X 6= X 0 .
Z własności zachowywania dwustosunku zachodzi
−−→0 −−0→
XX 0 0 0 0 0 XX
−−0−→0 = (X, Y ; X , `∞ ) = (φ(X), φ(Y ); φ(X ), φ(`∞ )) = (X , Y ; X, `∞ ) = −−→
Y X YX
co daje XY = X 0 Y 0 . Na mocy dowolności X, Y dostajemy, że φ jest symetrią środ-
kową.
Dowód. Niech (X, X 0 ) i (Y, Y 0 ) będą różnymi parami punktów wzajemnych wzglę-
dem inwolucji φ. Rozważmy przypadek gdy φ(`∞ ) 6= `∞ .
Na mocy wcześniejszych obserwacji potęga punktu φ(`∞ ) względem (XP X 0 )
i (Y P Y 0 ) jest równa, czyli oś potęgowa tych okręgów przechodzi przez biegun
inwolucji.
W przypadku gdy φ(`∞ ) = `∞ inwolucja φ jest symetrią środkową. Na mocy
symetrii osią potęgową (XP φ(X)) i (Y P φ(Y )) jest prosta równoległa do ` i
przechodząca przez P . Oczywiście jest to prosta łącząca biegun inwolucji z punktem
P.
75
i i
i i
i i
• φ(φ(A)) = A
• φ(A) 6= A
Warto, żeby czytelnik zwrócił szczególną uwagę na warunek φ(A) 6= A. Jeżeli byśmy
tego nie założyli to twierdzenie staje się nieprawdziwe. Kontrprzykładem jest na
przykład przekształcenie identycznościowe lub jednokładność o środku w pewnym
punkcie prostej `.
Stwierdzenie ITD 5. Dane są dwie różne pary (A, A0 ) i (B, B 0 ) punktów leżą-
cych na prostej `. Istnieje taka inwolucja φ na prostej `, że punkty każdej pary są
wzajemne względem inwolucji φ.
Dowód. Ustalmy dowolny punkt P poza prostą `. Zdefiniujmy okrąg ωA następująco:
jeżeli A = A0 to ωA jest okręgiem przechodzącym przez punkt P oraz stycznym do
prostej ` w punkcie A. Jeśli A 6= A0 to ωA = (P AA0 ). Analogicznie definiujemy
okrąg ωB .
Zauważmy, że oś potęgowa okręgów ωA i ωB jest równoległa do prostej ` tylko
wtedy gdy środki odcinków AA0 i BB 0 się pokrywają. Wtedy szukaną inwolucją jest
symetria środkowa w środku odcinka AA0 .
Załóżmy, że oś potęgowa okręgów ωA , i ωB nie jest równoległa do `. Niech prze-
cina prostą ` w punkcie X. Szukaną inwolucją jest wtedy inwersja lub antyinwersja
o środku w punkcie X przekształcająca punkt A na A0 .
76
i i
i i
i i
Dowód. Oznaczmy rozważaną krzywą stożkową przez ξ. Załóżmy, że ξ nie jest stycz-
na do `, czyli S1 6= S2 . Rozważmy inwolucje φ dla której S1 ↔ S2 oraz X1 ↔ X2 .
Jak wiemy krzywe stożkowe zachowują dwustosunek czyli:
77
i i
i i
i i
Inwolucja na pęku
Definicja: Nieidentycznościowe przekształcenie φ nazwiemy inwolucją na pęku ρ
jeżeli dla każdej prostej ` ∈ ρ zachodzi φ(`) ∈ ρ, φ(φ(`)) = ` oraz φ zachowuje
dwustosunek w pęku ρ.
78
i i
i i
i i
Inwolucja na okręgu
Tak jak w przypadku inwolucji na pęku tutaj również możemy przerzucać inwolucję.
Załóżmy, że mamy daną inwolucję φ na pęku ρ. Co więcej, przyjmijmy że środek
pęku ρ leży na okręgu ω. Wtedy punkty przecięcia prostych z pęku ρ oraz ω wy-
znaczają nam inwolucję ψ na okręgu ω. Analogicznie inwolucja na okręgu wyznacza
nam inwolucję na pęku.
Dowód. Niech (A, A0 ), (B, B 0 ) i (C, C 0 ) będą różnymi parami punktów wzajemnych
na okręgu ω. Załóżmy ponadto, że C 6= C 0 . Oznaczmy przez P := AA0 ∩ BB 0 . Niech
drugi punkt przecięcia prostej P C z ω to C 00 . Wystarczy pokazać, że C 0 = C 00 .
Korzystając z lematu D 7, rzutując z punktu P , możemy zapisać następującą
równość dwustosunków punktów na okręgu ω
79
i i
i i
i i
F P
HABC
Q
C
R B
80
i i
i i
i i
3.8 Mixtilinear
Lemat M 1. Niech MA,ABC jest styczny do AB i AC kolejno w D i E. Wtedy
IABC jest środkiem odcinka DE.
Dowód. Niech P będzie punktem styczności
M1 A
MA,ABC z (ABC). Korzystając z lematu O◦ 1
proste P D i P E połowią łuki AB i AC nieza-
M2
wierające kolejno C i B. Oznaczmy więc środ- D
ki tych łuków odpowiednio przez M1 i M2 . Za-
IABC E
uważmy teraz, że CM1 jest dwusieczną ∠ACB, a
BM2 jest dwusieczną ∠ABC. Implikuje to współ- B C
liniowości punktów M1 , IABC i C oraz M2 , IABC i
B. Współliniowość D, IABC i E jest konsekwencją
P
twierdzenia Pascala zastosowanego do sześciokąta
ABM2 P M1 C.
81
i i
i i
i i
A
Dowód. Z powyższego lematu wnioskujemy, że
prosta P IABC jest dwusieczną kąta BP C. Ozna-
D
cza to, że
IABC
∠BP C
B ∠BP IABC = =
C 2
◦
180 − ∠BAC
= = 90◦ − ∠DAIABC .
2
P
Na mocy Lemat M 1 mamy ∠AIABC D = 90◦
czyli ∠BP IABC = ∠ADIABC co jest równoważne
z cyklicznością DBP IABC .
∠BAP = ∠CAD.
√
Dowód. Niech Ψ będzie inwersją bc. Z definicji z naszego przekształcenia ma-
my, że Ψ(B) = C oraz Ψ(C) = B, co więcej Ψ( (ABC)) = BC oraz EA,ABC =
Ψ(MA,ABC ), czyli Ψ(D) = P . Implikuje, że ∠BAP = ∠CAD.
82
i i
i i
i i
83
i i
i i
i i
√
Dowód. Załóżmy, że AB < AC. Rozważmy przekształcenie Ψ będące inwersją bc.
Punkty P 0 := Ψ(P ), F 0 := Ψ(F ) i E 0 := Ψ(E) są zatem punktami styczności
EA,ABC kolejno z prostymi BC, AC i AB. Zauważmy, że Q0 = Ψ(Q) jest punktem
leżącym na przecięciu prostych BC i E 0 F 0 . Jako, że P 0 leży na biegunowej punktu
A oraz Q0 więc prosta AQ0 jest biegunową punktu A. Oznacza to, że
Przykład: Dany jest 4ABC. Niech MA,ABC będzie styczny do (ABC) w punk-
cie P , a do AB i AC odpowiednio w punktach E i F . Punkty M i N są środka-
mi łuków BC na (ABC) odpowiednio z i bez punktu A. Przyjmijmy, że Q :=
(AEF )∩ (ABC) i Q 6= A. Wtedy punkty K := M P ∩QN oraz L := N P ∩QM
leżą na prostej BC.
Q
Oznaczmy przez X := P M ∩ BC, a przez
E N 0 := XQ ∩ (ABC). Na mocy powyższego le-
matu wiemy, że czworokąt BP CQ jest harmo-
F
niczny. Korzystając z lematu D 7 dla punktu
B
X wiemy, że punkty C, XP ∩ (ABC) = M , B
K C
oraz XQ ∩ (ABC) = N 0 również tworzą czwo-
rokąt harmoniczny. Oznacza to, że BN 0 · M C =
P CN 0 · M B co na mocy równości M C i M B im-
N plikuje tezę przykładu.
84
i i
i i
i i
A0
F
HDEF IABC
C0
B0
P1
B D C
P10 = P
Oznacza to, że półprosta P10 IABC połowi łuk BC (ABC), co na mocy lematu
M 2 daje P10 = P .
85
i i
i i
i i
Dowód. Załóżmy bez straty ogólności, że AB < AC. Oznaczmy odpowiednio przez
E i F punkty styczności okręgu wpisanego w 4ABC odpowiednio z bokami AB i
AC.
Wystarczy pokazać, że ∠DP B = ∠ABC. Rozważmy inwersję względem okręgu
wpisanego w 4ABC. Niech P 0 będzie obrazem punktu P w tym przekształceniu.
Nasza teza równoważna jest pokazaniu, że ∠IABC P D + ∠IABC P B = ∠ABC. Za-
uważmy, że z Lemat M 2 dostajemy, że ∠IABC P B = 90◦ − ∠BAC 2 . Korzystając
z powyższego lematu wiemy, że P 0 ∈ DHDEF . Oczywiście IABC = ODEF czyli
punkty IABC i HDEF są izogonalnie sprzężone w 4DEF . Otrzymujemy więc
∠IABC P D + ∠IABC P B =
∠BAC ∠BAC
= 90◦ − − ∠ACB + 90◦ − =
2 2
◦
= 180 − ∠BAC − ∠ACB = ∠ABC,
co należało pokazać.
86
i i
i i
i i
c) ODEF = HXY Z
87
i i
i i
i i
Dowód.
a) Korzystając z lematu F 1 otrzymujemy, że DX, EY i F Z przecinają się
w punkcie, będącym punktem przecięcia (A1 B1 C1 ) i (DEF ). Jednakże
wiadomo, że (A1 B1 C1 ) = (DEF ) jest okręgiem Feuerbacha 4ABC, skąd
dostajemy tezę.
b) Bez straty ogólności załóżmy, że punkt X leży na zewnątrz (DEF ). Niech
S będzie punktem przecięcia prostych DX, EY i F Z. Z poprzedniej części
zadania wiemy, że S leży na okręgu Feuerbacha 4ABC. Niech U 0 będzie
punktem przecięcia prostej A1 X z (A1 B1 C1 ). Poprowadźmy z X styczne w
punktach P i Q do (A1 B1 C1 ). Ponieważ Z = SF ∩ ED oraz punkty D, S
i X są współliniowe, zatem punkt Z na mocy twierdzenia Brocarda leży na
biegunowej punktu X względem okręgu Feuerbacha 4ABC. Z tego wynika,
że punkty P , Z, Q są współliniowe. Wiadomo również, że Z 0 := B1 A1 ∩ C1 U 0
należy do biegunowej punktu X względem (A1 B1 C1 ), zatem C1 Z także
przechodzi przez punkt U 0 . Analogiczne rozumowanie pokazuje, że punkty
B1 , U 0 i Y są współliniowe, czyli U 0 jest naszym szukanym punktem U .
c) ODEF jest oczywiście środkiem okręgu Feuerbacha 4ABC. Łącząc ten wnio-
sek z b) widzimy, że teza tego podpunktu jest natychmiastową konkluzją z
twierdzenia Brocarda.
Lemat F 2. Dana jest prosta ` przechodząca przez OABC . Wtedy dla dowolnego
punktu P leżącego na prostej `, PP,ABC przechodzi przez ustalony punkt na okręgu
Feuerbacha 4ABC.
Dowód. Przyjmijmy oznaczenia z lematu F 1. Zauważmy, że OABC jest ortocen-
trum 4A1 B1 C1 . Wiemy także, że Q jest punktem symetrycznym do D względem
prostej B1 C1 . Zauważmy więc, że Q jest punktem anty-steinerowskim ` względem
4A1 B1 C1 . Punkt ten jest jednoznacznie wyznaczony, co implikuje tezę lematu.
88
i i
i i
i i
Przykład: Dany jest 4ABC i okrąg weń wpisany ω. Udowodnić, że okrąg Feuer-
bacha 4ABC jest styczny do ω.
Dowód. Punkt IABC jest izogonalnie sprzężony do siebie samego względem 4ABC,
zatem na mocy lematu F 3 otrzymujemy styczność PIABC ,ABC = ω i okręgu Feu-
erbacha 4ABC.
89
i i
i i
i i
90
i i
i i
i i
Rozdział 4
Zadania
4.1 Ogólne
4.1.1 Okrąg wpisany
Zadanie OI 1. Dany jest 4ABC, taki że ∠BAC = 60◦ . Pokazać, że proste BC,
OABC IABC oraz symetralna AIABC przecinają się w jednym punkcie.
Zadanie OI 2. Okrąg wpisany w 4ABC jest styczny do boków BC, CA i AB
odpowiednio w punktach D, E i F . Punkt M jest środkiem odcinka BC. Na prostej
EF wybieramy taki punkt P , że M P k AB. Na prostej AB wybieramy taki punkt
Q, że QP k BC. Pokazać, że DF k QM .
91
i i
i i
i i
92
i i
i i
i i
4.1.3 Prostopadłość
Zadanie O⊥ 1. Punkty E, F są spodkami wysokości odpowiednio z wierzchołków
−−−−−−→
B i C w 4ABC, a punkt M środkiem boku BC. Półprosta M HABC przecina
(ABC) w punkcie P . Pokazać, że punkty A, P , F , HABC i E leżą na jednym
okręgu.
Dowód. Wystarczy pokazać, że ∠HP A = 90◦ . Niech H 00 będzie odbiciem HABC
względem M . Z powyższego lematu wiemy, że AH 00 jest średnicą (ABC) czyli
∠H 00 P A = 90◦ co na mocy współliniowości P , HABC , M i H 00 implikuje tezę.
93
i i
i i
i i
4.1.4 Symediana
Zadanie Osym 1. Niech ABCD będzie trapezem o podstawach AB i CD. Oznacz-
my P := AC ∩ BD, E := AD ∩ BC. Niech (ADP ) i (CP B) przecinają się w
punkcie Q różnym od P . Pokazać, że
∠AEP = ∠BEQ.
94
i i
i i
i i
95
i i
i i
i i
96
i i
i i
i i
4.1.6 Różne
Zadanie O6= 1. Dane są styczne zewnętrznie okręgi ω1 i ω2 . Prosta ` jest styczna
do nich w różnych punktach X i Y . Punkt M jest środkiem odcinka XY . Pokazać,
ze (XY M ) jest styczny do prostej `.
97
i i
i i
i i
4.2 Inwersja
4.2.1 Inwersja
Zadanie I 1. Niech E i F będą spodkami wysokości poprowadzonych odpowiednio
z wierzchołków B i C na boki AC i AB w 4ABC. Oznaczmy przez M środek
odcinka BC. Oznaczmy przez T jeden z punktów przecięcia okręgu Feuerbacha
4ABC z (BHABC C). Pokazać, że proste EF i M T przecinają się na (ABC).
98
i i
i i
i i
99
i i
i i
i i
√ q
1
4.2.3 Inwersja bc oraz 2
bc
Zadanie I√bc 1. Dla danego 4ABC niech F będzie punktem styczności MA,ABC
z (ABC). Załóżmy, że P ∈ (ABC) oraz P i A leżą po przeciwnych stronach
prostej BC 1 . Oznaczmy odpowiednio przez I1 i I2 środki okręgów wpisanych w
4AP C i 4AP B. Pokazać, że punkty I1 I2 P F leżą na jednym okręgu.
√
Dowód. Rozważmy przekształcenie Ψ będące inwersją bc. Oznaczmy P 0 := Ψ(P )
oraz I10 = Ψ(I1 ). Z własności Ψ AI1 · AI10 = AB · AC oraz ∠I10 AC = ∠P2AC =
BAP 0 AI1
2 = ∠BAI10 . Dostajemy więc AIAB
0 = AC , co w połączeniu z Lematem OI 1
1
daje: ∠I10 BA = ∠AI1 C = ∠AP 2
C
+90◦ = ∠ABC 2 +90◦ , czyli I10 leży na dwusiecznej ze-
wnętrznej ∠P BA. Pokazaliśmy tym samym, że I10 jest środkiem EA,AP 0 B , analogicz-
0
nie I20 = Ψ(I2 ) również jest środkiem EA,AP 0 C . Jak wiemy Ψ(MA,ABC ) = EA,ABC
czyli F 0 = Ψ(F ) będzie punktem styczności EA,ABC z bokiem BC. Z lematu O6= 1
dostajemy, że czworokąt P 0 F 0 I10 I20 jest cykliczny, a to natomiast jest równoważne z
tezą zadania.
100
i i
i i
i i
Zadanie I√bc 7. Dany jest ostrokątny 4ABC. Punkt O jest (ABC), a punkty
OA , OB i OC są odpowiednio środkami (BOC), (COA) i (AOB). Pokazać,
że proste AOA , BOB i COC przecinają się w jednym punkcie.
Zadanie I√ 1 bc 1. Okrąg Feuerbacha 4ABC przecina (BOABC C) w dwóch
2
różnych punktach X i Y . Udowodnić, że
∠BAX = ∠CAY .
101
i i
i i
i i
4.2.4 Antyinwersja
Zadanie I−1 1. Dany jest 4ABC. Okrąg ω przechodzący przez A i styczny do
EB,ABC i EC,ABC przecina prostą BC w puntkach K i L. Pokazać, że
∠KAB = ∠LAC.
∠M1 M M2 = 90◦ .
Zadanie I−1 3. Dany jest ostrokątny 4ABC. Pokazać, że jeśli HABC leży na
okręgu wpisanym w 4ABC to istnieje wspólna styczna do okręgów o środkach A,
B i C oraz odpowiednio promieniach AHABC , BHABC i CHABC .
Zadanie I−1 4. Niech M i N będą środkami boków AB i AC w 4ABC. Półproste
−−−−−−→ −−−−−→
M HABC i N HABC przecinają (ABC) w punktach P i Q. Oznaczmy przez T :=
P Q ∩ M N . Pokazać, że T A jest styczna do (ABC).
102
i i
i i
i i
Zadanie SI 2. Dany jest trójkąt 4ABC. Niech okrąg przechodzący przez punkty
B i C przecina odcinki AB i AC w punktach X i Y różnych od B i C. Zdefiniujmy
P jako przecięcie BY i CX. Oznaczmy przez E i F rzuty punktu P kolejno na dwu-
sieczną wewnętrzną i zewnętrzną ∠BAC. Niech M będzie środkiem BC. Pokazać,
że F , E i M są współliniowe.
Dowód. Oznaczmy przez N środek odcinka XY . Odbijmy teraz punkt P względem
środków odcinków M i N , otrzymując kolejno K i L. Oczywiście na mocy lematu
SI 2 punkty K i L są współliniowe oraz AK i AP są izogonalnie sprzężone w ∠BAC.
Jeżeli teraz oznaczymy przez Q i R punkty przecięcia prostych P E i P F z KL, to
z racji wspomnianego izogonalnego sprzężenia i tego, że AE ⊥ P E oraz AF ⊥ P F ,
dostajemy, że E i F są odpowiednio środkami odcinków P Q i P R. Widzimy więc,
że punkty F , N , E i M są współliniowe, leżą na linii środkowej 4P QR.
∠QAD = ∠P AB.
103
i i
i i
i i
∠P AB = ∠QAC.
104
i i
i i
i i
Dowód. Niech (ABC) przecina po raz drugi proste EIABC , DG, BIABC , CIABC
kolejno w K, K 0 , M1 , M20 . Przez X oznaczmy przecięcie BC i AD, a przez L, M ,
N środki odcinków IABC X, BIABC , CIABC .
Z twierdzenia o trójliściu wiemy, że czworokąty M2 BDIABC , DCM1 IABC są
deltoidami, skąd dostajemy współliniowość D, M , M2 oraz D, N , M1 . Oczywi-
stym jest również to, że punkty M , L, G, N są współliniowe. Zauważmy więc, że:
D(M1 , K 0 ; A, M2 ) = (N, G; L, M ) = (C, F ; X, B). Z racji tego, że AF oraz AE
są izogonalnie sprzężone względem ∠BAC, zatem (C, F ; X, B) = A(B, E; D, C) =
IABC (M1 , K; A, M2 ), co implikuje, że K = K 0 , czyli tezę całego zadania.
Dowód. Niech D będzie takim punktem na (ABC), że ABCD jest trapezem rów-
noramienny, a S będzie spodkiem wysokości 4ABC poprowadzonej z wierzchołka
A. Ponadto oznaczmy przez Y punkt antypodyczny do A względem (ABC). Na
mocy lematu D 9 wiemy, że punkty X, S, D są współliniowe. Ponadto jeżeli przez
105
i i
i i
i i
Zadanie D 4. Dany jest 4ABC. Oznaczmy przez M , N środki boków AB, AC.
Niech ω będzie okręgiem przechodzącym przez punkty M , N , stycznym do (ABC)
w punkcie X 6= A. Zdefiniujmy T jako biegun prostej BC względem (ABC).
Niech P będzie takim punktem na prostej AO, że T P k AX. Przyjmijmy, że H jest
rzutem prostokątnym punktu P na prostą M N , a K rzutem prostokątnym punktu
T na prostą OABC H. Załóżmy, że prosta M N przecina (ABC) w punktach D,
E. Pokazać, że:
a) P A = P K.
Dowód.
FR OABC A OABC P 0
= = =⇒
HF OABC P OABC A
HR P 0A AR AR RS
=⇒ = = −1= = ,
HF OABC A OABC L OABC F OABC F
106
i i
i i
i i
Zadanie D 9. Dany jest 4ABC, w którym BC < CA < AB. Okrąg wpisany w
ten trójkąt jest styczny do boków BC, AC i AB odpowiednio w punktach D, E i
F . Punkty K, L i M są kolejno środkami boków BC, CA i AB. Proste DE i KM
przecinają się w punkcie P , a proste DF i KL w punkcie Q. Udowodnić, że punkty
A, P i Q są współliniowe.
Zadanie D 10. Dany jest różnoboczny 4ABC. Okrąg wpisany w ten trójkąt jest
styczny do boków AC i AB w punktach E i F . Styczne do (AEF ) w puntkach E
i F przecinają się w punkcie S. Niech T := EF ∩ BC. Wykazać, że okrąg o średnicy
T S i okrąg Feuerbacha 4BCIABC są ortogonalne.
Zadanie D 11. Dany jest 4ABC. Załóżmy, że okrąg wpisany w 4ABC jest stycz-
ny do boków AC, AB w punktach E, F . Oznaczmy przez G, H punkty antypodycz-
ne odpowiednio do E, F względem okręgu wpisanego w 4ABC. Niech Q będzie
punktem przecięcia prostych BC i GH, a M środkiem odcinka BC. Wykazać, że
IM ⊥ IQ.
107
i i
i i
i i
Zadanie D 13. Okrąg o środku I jest wpisany w czworokąt wypukły ABCD, przy
czym punkt I nie leży na prostej AC. Przekątne AC i BC przecinają się w punkcie
E. Prosta przechodząca przez punkt E i prostopadła do prostej BD przecina proste
AI i CI w punktach P i Q. Pokazać, że P E = EQ.
Zadanie D 14. W 4ABC punkt D jest punktem przecięcia dwusiecznej ∠BAC
z bokiem BC. Niech prosta IABD IADC przecina boki AB i AC odpowiednio w
punktach F i E. Pokazać, że proste AD, BE i CF przecinają się w jednym punkcie.
Zadanie D 15. Niech H będzie spodkiem wysokości opuszczonej z wierzchołka A
w 4ABC. Okrąg wpisany w ten trójkąt jest styczny do boku BC w punkcie D.
Oznaczmy przez M środek odcinka AH, a przez IA środek EA,ABC . Udowodnić, że
punkty M , D i IA są współliniowe.
Zadanie D 16. Dla danego 4ABC prosta BC jest styczna do EB,ABC i EC,ABC
odpowiednio w punktach B 0 i C 0 . Okrąg wpisany w trójkąt ABC jest styczny do
boków AB i AC odpowiednio w punktach Q i P . Niech proste B 0 Q i C 0 P przecinają
się w punkcie X. Pokazać, że AX ⊥ BC.
Zadanie D 18. Dany jest 4ABC. Punkt K jest środkiem boku BC, a punkt M
leży wewnątrz boku AB. Prosta KM przecina prostą AC w takim punkcie L, że
punkt C leży między punktami A i L. Punkt N jest środkiem odcinka LM . Prosta
AN przecina (ABC) w punkcie S 6= A. Wykazać, że jeśli S 6= N , to (KN S)
jest styczny do prostej BC.
Zadanie D 19. Dany jest 4ABC i okrąg weń wpisany ω. Oznaczmy przez oa okrąg
przechodzący przez punkty B, C styczny wewnętrznie do ω. Analogicznie definiuje-
my okręgi ob , oc . Niech A0 będzie drugim punktem przecięcia okręgów ob , oc . Podob-
nie zdefiniujmy punkty B 0 , C 0 . Udowodnić, że proste AA0 , BB 0 , CC 0 , OABC IABC
są współpękowe.
108
i i
i i
i i
109
i i
i i
i i
110
i i
i i
i i
1. twierdzenie Desarguesa
2. twierdzenie Pappusa
3. istnienie prostej Newtona
4. istnienie punktu Gorgenne’a
5. lemat Steinbarta
Dowód.
1. Przyjmijmy oznaczenia takiej jak w rozdziale Twierdzenia. Korzystając z
lematu PRz 1 wyrzućmy prostą XY w nieskończoność. Wtedy odpowiednie
boki 4ABC i 4A0 B 0 C 0 są równoległe wtedy i tylko wtedy gdy proste AA0 ,
BB 0 i CC 0 przecinają się w środku jednokładności tych dwóch trójkątów. To
natomiast jest teza naszego twierdzenia.
2. Przyjmijmy oznaczenia takiej jak w przy twierdzeniu Pascala w sekcji Twier-
dzenia. Korzystając z lematu PRz 1 wyślijmy prostą B1 B2 w nieskończo-
ność. Oznaczmy P := A1 X ∩ A3 Z oraz Q := A1 Z ∩ A3 Y . Po przekształceniu
rzutowym A1 Q k A2 Y co na mocy twierdzenia Talesa daje YQY A1 A2
A3 = A2 A3 . Ana-
A1 A2 A1 X QY A1 X
logicznie dostajemy A2 A3 = XP czyli Y A3 = XP co na mocy jednokładności
oraz równoległości prostych A1 P i A3 Q implikuje współliniowość X, Y i Z.
3. Przyjmijmy oznaczenia takiej jak w twierdzeniu Newtona w rozdziale Twier-
dzenia. Środki odcinków AC, BD i EF oznaczmy odpowiednio przez L,
M i N , a kierunki prostych zawierających te odcinki odpowiednio przez L0 ,
M 0 i N 0 . Zauważmy najpierw, że (A, C; L, L0 ) = −1. Korzystając z lematu
PRz 1 rozważmy przekształcenie rzutowe które wysyła prostą AB na prostą
w nieskończoności. Jako, że przekształcenie rzutowe zachowuje dwustosunek
−−→0
dostajemy −1 = (A, C; L, L0 ) = CL
−→ . Oznacza to, że punkt L jest odbiciem
CL
0
symetrycznym punktu L względem punktu C. Analogicznie pokazujemy, że
M jest odbiciem punktu M 0 względem punktu D, a N jest odbiciem punktu
N 0 względem punktu E. Jako, że punkty L0 i M 0 , N 0 leżały przed przekształ-
ceniem na jednej prostej na prostej w nieskończoności to po przekształceniu
będą leżały na jednej prostej, oznaczmy ją przez `. Wnioskujemy stąd, że
punkty L, M i N leżą na prostej izotomicznie sprzężonej do prostej ` wzglę-
dem obrazu 4CDE w jednokładności o środku w GCDE i skali −2, co kończy
dowód twierdzenia.
111
i i
i i
i i
DT BC DT BC
= = = ,
CE BD DC BF
a to jest równoważne ze współliniowością punktów B, T i E.
5. Przyjmijmy oznaczania takie same jak w treści lematu OI 4. Oznaczmy T :=
EY ∩ F Z. Zauważmy, że punkt T leży wewnątrz okręgu ω. Korzystając z le-
matu PRz 4 zastosujmy więc przekształcenie rzutowe zachowujące ω i prze-
kształcająca T na jego środek. Zauważmy, że po przekształceniu punkty Y i
Z będą antypodyczne względem ω, czyli na mocy lematu OE 1 proste BY
i CZ są nagelianami w 4ABC. Proste XD, Y E i ZF będą przecinały się w
środku ω wtedy i tylko wtedy gdy punkty D i X będą antypodyczne wzglę-
dem ω. Ponownie na mocy lematu OE 1 zachodzi to wtedy i tylko wtedy
gdy prosta AX jest nagelianą w 4ABC, czyli wtedy i tylko wtedy gdy proste
AX, BY i CZ przecinają się w NABC . Pokazana równoważność dowodzi tezy
twierdzenia.
Zadanie PRz 2. Dany jest czworokąt wypukły ABCD, którego przekątne przeci-
nają się w punkcie K. Prosta ` przecina proste AB, CD, BC i DA odpowiednio
w punktach X1 , X2 , X3 i X4 . Oznaczmy Y1 := KX1 ∩ CD, Y2 := KX2 ∩ AB,
Y3 := KX3 ∩ AD i Y4 := KX4 ∩ BC. Pokazać, że punkty Y1 , Y2 , Y3 i Y4 leżą na
jednej prostej.
Dowód. Oznaczmy E := AB ∩ DC oraz F := AD ∩ BC. Na mocy lematu PRz 1
rozważmy przekształcenie rzutowe, które przekształca prostą ` na prostą w nie-
skończoności. Po przekształceniu dostajemy, że KY1 k AB, KY2 k CD, KY3 k BC
i KY4 k AD. Prosta przechodząca przez środki odcinków KE i KF niech przecina
proste CE, BE, F D i CF odpowiednio w punktach Z1 , Z2 , Z3 i Z4 . Oznaczmy
przez L punkt przecięcia Z1 , Z2 z EK. Zauważmy, że E(F, L; Z1 , Z2 ) = E(F, EK ∩
AD; D, A) = 1, czyli L jest środkiem odcinka Z1 Z2 , co implikuje, że czworokąt
EZ1 KZ2 jest równoległobokiem. Rozumując analogicznie dla czworokąta Z4 F Z3 K,
dostajemy, że Yi = Zi dla i ∈ {1, 2, 3, 4}, a to implikuje tezę.
112
i i
i i
i i
Zadanie PRz 3. Dany jest 4ABC oraz różne od jego wierzchołków i siebie na-
wzajem punkty P1 i P2 . Proste BP1 i BP2 przecinają prostą AC odpowiednio w
punktach B1 i B2 , a proste CP1 i CP2 przecinają prostą AB odpowiednio w punk-
tach C1 i C2 . Pokazać, że proste B1 C2 i B2 C1 przecinają się na prostej P1 P2 .
Zadanie PRz 4. Dana jest liczba naturalna n > 1. Pokazać, że możemy wybrać i
pokolorować 2n + 1 punktów na czerwono i 2n + 1 na niebiesko tak aby każda prosta
która przechodzi przez dwa punkty różnego koloru przechodziła również przez co
najmniej jeden inny pokolorowany punkt.
Zadanie PRz 6. Dany jest czworokąt ABCD oraz punkt R. Oznaczmy przez P :=
AB ∩ CD oraz Q := AD ∩ BC. Niech K := BC ∩ P R oraz L := QR ∩ AB. Pokazać,
że proste DR, AK i CL przecinają się w jednym punkcie.
Zadanie PRz 8. Dany jest okrąg ω i 4ABC na nim opisany. Pokazać, że ist-
nieje przekształcenie rzutowe zachowujące ω i przekształcające 4ABC na trójkąt
równoboczny.
Zadanie PRz 9. Dany jest 4ABC oraz okrąg ω w niego wpisany. Oznaczmy punkt
styczności ω i BC przez D. Niech punkt X leży na odcinku AD oraz wewnątrz
okręgu ω. Odcinki BX i CX przecinają ω odpowiednio w punktach P i Q. Pokazać,
że proste BQ i CP przecinają się na prostej AD.
Zadanie PRz 10. Dany jest pięciokąt wypukły ABCDE opisany na okręgu ω.
Oznaczmy punkty styczności ω z bokami CD, DE, EA, AB i BC odpowiednio
przez A1 , B1 , C1 , D1 i E1 . Wykazać, że:
a) jeżeli proste AA1 , BB1 , DD1 i EE1 przecinają w jednym punkcie to prosta
CC1 również przechodzi przez ten punkt.
b) jeżeli proste EE1 i BB1 przecinają się na prostej AA1 to proste CC1 i DD1
przecinają się na prostej AA1 .
113
i i
i i
i i
Zadanie PRz 11. Dany jest czworokąt ABCD opisany na okręgu ω. Wybierzmy
dowolny punkt P na przekątnej AC. Odcinki P A, P B, P C i P D przecinają ω
odpowiednio w punktach A0 , B 0 , C 0 i D0 . Pokazać, że czworokąt A0 B 0 C 0 D0 jest
harmoniczny.
Zadanie PRz 12. Dany jest okrąg ω oraz punkt A leżący na zewnątrz niego.
Proste przechodzące przez punkt A są styczne do ω w punktach E i F . Na odcinku
EF wybieramy punkt R. Prosta równoległa do EF i przechodząca przez środek ω
przecina prostą AE w punkcie P . Prosta P R przecina prostą AF w punkcie N ,
prosta równoległa do AF i przechodząca przez R przecina prostą AE w punkcie M .
Pokazać, że prosta M N jest styczna do ω.
114
i i
i i
i i
∠DOABC A = ∠EOABC A.
EK + KF = EL + LF = EM + M F = EN + N F.
∠P AB + ∠P DC = ∠P BC + ∠P AD = ∠P CD + ∠P BA = ∠P DA + ∠P CB = 90◦ .
4.6.2 Parabola
Zadanie SP 1. Dany jest okrąg ω oraz prosta `. Znaleźć zbiór środków okręgów
stycznych do zewnętrznie do ω i `.
115
i i
i i
i i
116
i i
i i
i i
117
i i
i i
i i
P K = LQ.
118
i i
i i
i i
119
i i
i i
i i
4.8 Mixtilinear
Zadanie M 1. Prosta prostopadła do prostej AIABC w punkcie IABC przecina
boki AB i AC 4ABC w punktach E i F . Niech L := (ABC) ∩ (AEF ), L 6= A.
Zdefiniujmy D jako biegun prostej BC względem (ABC). Oznaczmy przez P
drugi punkt przecięcia prostej LD z (ABC), wtedy (P F E) to MA,ABC .
A
Dowód. Po pierwsze, na mocy Lemat M 1 wi-
dzimy, że punkty E i F są punktami styczno-
ści MA,ABC z bokami AB i AC. Zauważmy
ponadto, że czworokąt LBP C jest harmonicz-
E ny, skąd dostajemy, że A(L, P ; B, C) = 1.
L Jednakże na (ABC) istnieje tylko jeden taki
IABC
F punkt X, że A(L, X; B, C) = 1. Na mocy le-
B C matu M 5 wiemy, że jest to punkt styczności
P
MA,ABC z (ABC), co implikuje tezę całego za-
dania.
D
120
i i
i i
i i
A
Dowód. Rozważmy przekształcenie Φ będące zło- K
żeniem jednokładności w punkcie A przekształca-
jącej okrąg wpisany na MA,ABC oraz jednokład- F
L
ności w punkcie P przekształcającej MA,ABC na E
(ABC). Oznaczmy przez K i L środki łuków
AB i AC, które nie zawierają kolejno punktów
C i B. Zauważmy, na mocy lematu O◦ 1 mamy
Φ(E) = L i Φ(F ) = K. Niech M 0 := Φ(D), mo- B D C
cy lematu OI 2 mamy M K k DF i M L k DE,
KL k EF czyli 4M KL ∼ 4DEF . Z racji tego, P
że na mocy jednokładności analogiczne równole- M X
głości zachodzą dla M 0 mamy, że M = M 0 . Otrzymujemy zatem współliniowość P ,
X i M , gdyż X jest obrazem D w jednokładności w punkcie A przekształcającej
okrąg wpisany na MA,ABC .
121
i i
i i
i i
Zadanie F 2. Dany jest 4ABC. Niech okrąg weń wpisany będzie styczny do boków
AC i AB kolejno w E i F . Oznaczmy przez M środek odcinka AHABC . Pokazać,
że punkt symetryczny do M względem EF leży na prostej OABC IABC .
Dowód. Z twierdzenia Feuerbacha wiemy, że okrąg Feuerbacha 4ABC i okrąg wpi-
sany w 4ABC są styczne w punkcie Feuerbacha 4ABC. Oznaczmy ten punkt
jako F1 . Widzimy stąd na mocy lematu F 2, że punkt F1 jest punktem anty-
steinerowskim dla prostej OABC IABC względem 4A1 B1 C1 , gdzie A1 , B1 , C1 to
środki odcinków BC, AC, AB. Z naszego lematu otrzymujemy jednak, że jest to tak-
że punkt anty-steinerowski dla prostej OABC IABC względem 4DEF . Niech punkty
X, Y , Z będą odbiciami punktu HDEF względem kolejno EF , F D, DE. Ponownie
korzystając z naszego lematu widzimy, że 4XY Z ∼ 4P QR ∼ 4ABC. Oczy-
wiście także 4M LK ∼ 4ABC, więc istnieje środek jednokładności przekształ-
cający 4M LK na 4XY Z. Jednokładność ta przekształca ponadto (M LK) na
(XY Z), skąd otrzymujemy, że szukanym środkiem jednokładności jest F1 , po-
nieważ (M LK) to okrąg Feuerbacha 4ABC. W połączeniu z tym, F1 to punkt
anty-steinerowski dla OABC IABC względem 4DEF , dostajemy tezę zadania.
122
i i
i i
i i
Rozdział 5
Wskazówki
5.1 Ogólne
5.1.1 Okrąg wpisany
Zadanie OI 1. Niech M będzie środkiem łuku AB (ABC) bez punktu C, poka-
zać, że 4BIM jest równoboczny. Potem skorzystać z Lematu OI 2 oraz symetrii.
Zadanie OI 2. Korzystając z lematu OI 3 punkt P leży na dwusiecznej ∠CBA.
Analizując równoległości wywnioskować, że Q jest odbiciem M względem tej dwu-
siecznej.
123
i i
i i
i i
124
i i
i i
i i
5.1.3 Prostopadłość
Zadanie O⊥ 1. Korzystając z Lematu O⊥ 2 pokazać, że AE, AF są dwusiecznymi
zewnętrznymi w 4DEF .
Zadanie O⊥ 2. Rozważyć 4XY Z o wierzchołkach w środkach (BHABC C),
(CHABC A) i (AHABC B). Pokazać, że prosta AA1 przechodzi przez punkt anty-
steinerowski prostej OABC HABC względem 4XY Z.
125
i i
i i
i i
5.1.4 Symediana
Zadanie Osym 2. Zastosować lemat Osym 1 dla punktu T .
Zadanie Osym 3. Wystarczy wykazać, że AHA jest symedianą w 4AP Q. Pokazać,
że ∠P AHABC = ∠HABC QA oraz skorzystać z przykładu do lematu Osym 1.
Zadanie Osym 4. Korzystając z lematu O⊥ 1 pokazać, że ∠P M B = ∠P CH 0 . Po
tym skorzystać z lematu Osym 3.
126
i i
i i
i i
127
i i
i i
i i
5.1.6 Różne
Zadanie O6= 1. Skorzystać z zdegenerowanej wersji lematu O6= 1.
128
i i
i i
i i
5.2 Inwersja
5.2.1 Inwersja
Zadanie I 1. Zauważyć, że w inwersji względem okręgu opisanego na ABCD prosta
AB przechodzi na (AOB) oraz prosta CD przechodzi na (COD).
Zadanie I 2. Rozważyć inwersję w X. Czworokąt A1 A2 A3 A4 przejdzie na prosto-
kąt.
129
i i
i i
i i
130
i i
i i
i i
√ q
5.2.3 Inwersja bc oraz 12 bc
Zadanie I√bc 1. Na okręgu o średnicy LM leży środek BC.
√
Zadanie I√bc 2. W inwersji bc okrąg o1 przechodzi na o2 .
Zadanie I√bc 3.
Zadanie I√bc 4. Okrąg o średnicy JJ 0 oraz prosta OJ są prostopadłe do (ABC).
Korzystając z lematu I√bc 1 wywnioskować, że ich obrazy są symetryczne wzglę-
dem prostej BC.
√
Zadanie I√bc 5. Zauważyć, że w inwersji bc okrąg ω przechodzi na styczną ze-
wnętrzną (ABC), EA,ABC . Poprowadzić styczną do EA,ABC w punkcie ich prze-
cięcia i skorzystać z twierdzenia Ponceleta.
Zadanie I√ 1 bc 1. Korzystając z lematu I√bc 2 pokazać, żę punkty X, Y prze-
2 q
chodzą na siebie w inwersji 12 bc.
131
i i
i i
i i
5.2.4 Antyinwersja
Zadanie I−1 1. Rozważyć antyinwersję o środku w A, która przekształca EB,ABC
w EC,ABC
Zadanie I−1 2. Rozważyć antyinwersję Ψ w D taką, że Ψ(B) = C. Z własności
dwustosunku wystarczy pokazać, że dla M 0 = Ψ(M ) zachodzi (M 0 , D; B, C) = −1.
132
i i
i i
i i
133
i i
i i
i i
134
i i
i i
i i
135
i i
i i
i i
136
i i
i i
i i
Zadanie PRz 4. Wybrać 2n+1 kąt foremny i pokolorować jego wierzchołki na czer-
wono. Pokolorować na niebiesko kierunki boków tego wielokąta, a na mocy lematu
PRz 1 wyrzucić pewną, rozłączą z zamalowanymi punktami, prostą w nieskończo-
ność.
Zadanie PRz 5. Oznaczyć P := DA ∩ CB oraz Q := DC ∩ N L. Korzystając z
lematu PRz 1 wyrzucić prostą P Q w nieskończoność a następnie korzystając z
lematu PA 3 przekształcić ω na okrąg. Skorzystać z własności o stosunku w jakim
symediana dzieli bok trójkąta.
137
i i
i i
i i
138
i i
i i
i i
139
i i
i i
i i
5.6.2 Parabola
Zadanie SP 1. Skorzystać z definicji paraboli.
Zadanie SP 2. Skorzystać z lematu SP 1.
Zadanie SP 3. Zauważmy, że punkt F jest punktem Miquela czworoboku zupełne-
go CEHABC DAB. Ponadto punkty D i E są ortocentrami odpowiednio trójkątów
4ADC, 4BHABC D oraz 4BEC, 4AHABC E. Te obserwacji w połączeniu z przy-
kładem do lematu SP 2 i lematem SP 3 dają tezę całego problemu.
140
i i
i i
i i
Zadanie ITD 6.
Zadanie ITD 7. Aby wykazać cykliczność P QRS wystarczy policzyć kąty. Korzy-
stając z twierdzenia ITD 1 pokazać, że prosta łącząca środki pewnych inwolucji
na prostych RQ i SP jest wspólną osią potęgową okręgów opisanych na ABCD,
KLM N , P QRS.
Zadanie ITD 10. Korzystając lematu OI 3 oraz twierdzenia ITD 2 dla 4ADC
i okręgu ω otrzymać inwolucję na pęku M w której M X ↔ M Y , M D ↔ M C,
M K ↔ M A. Zastosować lemat ITD 1 dla inwolucji na prostej KL.
141
i i
i i
i i
142
i i
i i
i i
5.8 Mixtilinear
Zadanie M 4.
143
i i
i i
i i
144
i i
i i