geometria i garść dowodów

background image

1

background image

POLITECHNIKA ÓDZKA

Wydzia Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Kierunek: Matematyka

Specjalno´s´c:Matematyka Finansowa i Ubezpieczeniowa

Aleksandra Wojtas

nr albumu: 110492

Szczególne linie, punkty i okregi zwiazane z trójkatem

Praca magisterska napisana w Instytucie Matematyki

pod kierunkiem prof. Jana Kubarskiego

ód´z, czerwiec 2007

background image

Przedmowa

Tematem mojej pracy magisterskiej sa szczególne punkty, linie i okregi zwiazane

z trójkatem. Sposród wszystkich istniejacych (a sa ich setki jak podkresla w swojej

600 stronicowej encyklopedii specjalnych punktów trojkata Clark Kimberling, "En-

cyclopedia of Triangle Centers - ETC", [10]) wybra am te, które moim zdaniem sa

najbardziej znane oraz których w asno´sci uzna am za najbardziej ciekawe i godne

zaprezentowania. Za cel mojej pracy postawi am sobie zebranie i opisanie podsta-

wowych twierdze´n o punktach, liniach i okregach zwiazanych z trójkatem.

O ile by o to mozliwe stara am sie kazde z nich poprzedzi´c krótkim komentarzem

o jego twórcy lub osobie, która je udowodni a (informacje bibliogra czne: [14],

[11], [12]), a takze przedstawi´c dowód. W pracy pojawiaja sie równiez uzupe -

nienia o twierdzenia pomocnicze bad´z lematy wraz z dowodami.

W przedmowie przedstawie nie tylko strukture pracy, ale podziele sie takze

osobistymi re eksjami jakie mia am przy jej pisaniu. Prace podzieli am na sze´s´c

g ównych rozdzia ów.

W pierwszym z nich prezentuje podstawowe wiadomo´sci o trójkacie, na których

opieram sie w dalszej cze´sci pracy, szczególne w dowodach twierdze´n. Sa tam

miedzy innymi twierdzenie Pitagorasa, sinusów oraz cosinusów, a takze przyk a-

dowe zadanie na zastosowanie jednego z nich dla trójkata równobocznego. W roz-

dziale tym wprowadzam oznaczenia cech podobie´nstwa, którymi pos uguje sie

ii

background image

w ca ej pracy.

Drugi rozdzia to prezentacja najbardziej znanych punktów charakterystycznych

trójkata. Sa nimi ortocentr, ´srodek ciezko´sci oraz ´srodki okregów wpisanego i opi-

sanego na trójkacie. Kazde z przedstawionych twierdze´n popieram przeprowa-

dzonym przez siebie dowodem. Opisy bibliogra czne odnosza sie do literatury,

w której pó´zniej znalaz am dowody tych twierdze´n. W wiekszo´sci okaza y sie one

zblizone do prezentowanych przeze mnie pomys ów. Ponadto w rozdziale tym sfor-

mu owa am lemat o odcinku aczacym ´srodki dwóch boków trójkata. Poczatkowo

zrobi am to z my´sla o dowodzie istnienia ´srodka ciezko´sci, jednak w toku pisania

pracy okaza o sie, ze ma on o wiele wiecej zastosowa´n i cytuje go przy kolejnych

dowodach. Do podstawowych twierdze´n doda am twierdzenia o podziale pola na

równe cze´sci z wykorzystaniem punktów charakterystycznych (´srodka ciezko´sci

oraz ´srodkowych boków trójkata). Co prawda uzupe niajac moja prace o odno´sniki

bibliogra czne zauwazy am, ze twierdzenia te nie pojawiaja sie zbyt czesto w li-

teraturze, jednak mi wydawa y sie ciekawe i warte opisania. Kazde z nich zosa o

przeze mnie udowodnione.

Rozdzia ten wzbogaci am notka biogra czna o Leonahrdzie Eulerze przy okazji

wprowadzania de nicji prostej Eulera. Cytuje tu równiez twierdzenie zaczerpnie-

te z ksiazki Zetela o zalezno´sciach miedzy po ozeniem punktów charakterysty-

cznych. W tym przypadku dowód opar am o zamieszczony w ksiazce, jednak

bardzo znacznie go poszerzy am. Zainspirowana tym twierdzeniem siegne am po

iii

background image

trójkat ortyczny i równiez dla niego wykaza am zalezno´sci po ozenia szczególnych

punktów.

Trzeci rozdzia mojej pracy zawiera informacje o okregach zwiazanych z trójkatem.

Na poczatek prezentuje czesto pomijane w literaturze okregi dopisane do trójkata.

Umie´sci am tu twierdzenie o dwusiecznych katów zewnetrznych. Poczatkowo sfor-

mu owa am i udowodni am je sama, gdyz uwaza am, ze jest ono niezbedne w po-

kazaniu po ozenia ´srodka okregu dopisanego. Pó´zniej znalaz am je w literaturze,

ale bez dowodu. Szczególna uwage w tym rozdziale po´swieci am okregowi dziewie-

ciu punktów oraz jego w asno´sciom. Przeprowadzi am szczególowy dowód istnie-

nia tego okregu oraz po ozenia jego ´srodka i d ugo´sci promienia. W dowodach

umie´sci am wiele rysunków, aby by y czytelne i atwo by o ´sledzi´c mój tok rozu-

mowania. Rozdzia ten zawiera równiez sformuowany przeze mnie lemat (wraz

z dowodem), który jest szczególnym przypadkiem lematu z rozdzia u 1.

Kolejny rozdzia po´swieci am prostym zwiazanym z trójkatem, zwanym prostymi

Cevy. Dwa najwazniejsze twierdzenia tego rozdzia u to twierdzenie Menelaosa

i Cevy, które zaczerpne am z ksiazki S. I. Zetela [17]. W literaturze spotka am

dwie wersje tych dowodów - wektorowa i bezwektorowa. Zdecydowa am sie na te

druga. Kazdy z dowodów przeprowadzi am dla warunku koniecznego i wystarcza-

jacego, ponadto dzielac je na podpunkty w zalezno´sci od po ozenia punktu prze-

ciecia prostych Cevy. Dowód drugiego z nich jest poprawiony w odniesieniu do

ksiazki Zetela, gdyz znalaz am tam b ad, polegajacy na wyciagnieciu b ednego

iv

background image

wniosku z zapisanej proporcji. Na zko´nczenie tego rozdzia u pracy da am twierdze-

nie dotyczace prostych Cevy - twierdzenie Van Aubela. Dowód jest zblizony do za-

wartego w ksiazce Zetela, jednak podzieli am go na wiecej przypadków i zrobi am

bardziej szczegó owo.

Piaty rozdzia to prezentacja charakterystycznych punktów trójkata, które nie zosta y

wymienione w rozdziale drugim, z uwagi na to, ze do dowodów potrzebne by y

twierdzenia zawarte w rozdziale czwartym. Sa to twierdzenie o punkcie Gergonne'a,

Nagela oraz twierdzenie Napoleona. Pierwsze z nich udowodni am z wykorzy-

staniem twierdzenia Cevy, co w znaczny sposób u atwi o mi wykazanie przecina-

nia sie trzech prostych w jednym punkcie. Idee dowodu twierdzenia Nagela zaczer-

pne am z ksiazki Zetela, jednak kilkuzdaniowy dowód zmieni am na niemal dwu-

stronicowy, gdyz ten zawarty w literaturze by moim zdaniem zbyt skrótowy i nie

zawiera wyja´snie´n podstawowych obserwacji. Dodatkowym wk adem w ten, jak

i w kolejny rozdzia jest próba odnalezienia rzeczywistych autorów twierdze´n.

W rozdziale 5 próbowa am odnale´z´c korzenie twierdzenia Napoleona i przekona´c

sie czy ówczesny w adca Francji by rzeczywi´scie wybitnym matematykiem.

Poszukujac materia ów do mojej pracy natkne am sie na przynajmniej cztery sposoby

dowodów twierdzenia kryjacego sie pod ta nazwa. W swojej pracy umie´sci am

tylko jeden z nich, wnikliwie przeze mnie przeanalizowany, nieco rozszerzony

i opisany.

Szósty rozdzia pracy to zebrane twierdzenia zwiazane z okregiem opisanym na

v

background image

Przedmowa

vi

trójkacie. Zawar am je na ko´ncu pracy, gdyz dopiero w tym miejscu moge skorzy-

sta´c ze wszystkich niezbednych twierdze´n potrzebnych do dowodów. Jednak jak

okaza o sie w trakcie pisania, to nie ich dowody sprawi y mi najwieksza tru-

dno´s´c, a odnalezienie faktycznego autora twierdzenia Simsona. Opisane losy tego

twierdzenia zajmuja obszerny wstep do tego rozdzia u. Na zako´nczenie prezentuje

kilka rysunków, które w miare przejrzysty sposób przedstawiaja omawiane

w pracy punkty linie i okregi zwiazane z trójkatem. Te, jak i wszystkie inne rysunki

zosta y wykonane przeze mnie w programie do rysowania CABRI, dostepnym w

internecie bez licencji.

background image

Spis Tre´sci

Spis Tre´sci

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

vii

Wstep

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

1 Wiadomo´sci wstepne

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3

1.1 Podstawowe wiadomo´sci o trójkacie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.2 Podobie´nstwo trójkatów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.3.1 Twierdzenie Pitagorasa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.3.2 Wzór cosinusów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1.3.3 Wzór sinusów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Najbardziej znane punkty charakterystyczne

. . . . . . . . . . . . . . . . . . . . . . . . . .

10

2.1 ´Srodek ciezko´sci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.2 ´Srodek okregu opisanego . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2.3 Ortocent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2.4 ´Srodek okregu wpisanego . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.5 Prosta Eulera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

3 Najpopularniejsze okregi zwiazane z trójkatem

. . . . . . . . . . . . . . . . . . . . . . .

27

3.1 Okregi dopisane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

vii

background image

Spis Tre´sci

viii

3.2 Okrag dzieweciu punktów . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

4 Proste Cevy

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

4.1 Twierdzenie Menelaosa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

4.2 Twierdzenie Cevy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

4.3 W asno´s´c prostych Cevy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

5 Szczególne punkty trójkata

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

59

5.1 Punkt Gergonne'a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

5.2 Punkt Nagela. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

5.3 Twierdzenie Napoleona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

6 Twierdzenia zwiazane z okregiem opisanym na trójkacie

. . . . . . . . . . . .

70

6.1 Twierdzenie Simsona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

6.2 Twierdzenie Lemoine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

6.3 Twierdzenie Salmona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

7 Dodatki

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

79

Bibliogra a

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

82

background image

Wstep

Geometria, czyli nauka o gurach geometrycznych i zalezno´sciach miedzy nimi

powsta a juz w Starozytno´sci. Na poczatku by a ona pojmowana czysto praktycznie, na

potrzeby zmierzenia konkretnych przedmiotów czy odleg o´sci. Dopiero ok. IV wieku

p.n.e. zaczeto formuowa´c pierwsze twierdzenia, a takze podejmowa´c próby ich udowodnie-

nia.

Przedmiotem mojej pracy jest geometria trójkata, czyli jeden z dzia ów szeroko rozu-

mianej geometrii euklidesowej. Ograniczenie moich rozwaza´n do jednej gury geome-

trycznej, jej w a´sciwo´sci, szczególnych powiaza´n z okregami oraz liniami by o w a´sciwie

konieczne, ze wzgledu na to, ze kazdy trójkat posiada mnóstwo charakterystycznych pun-

któw oraz zwiazków z innymi gurami.

"Trójkat zawiera wiecej cudów na centymetr kwadratowy niz jakakolwiek inna dziedzina

matematyki." (C. Kimberling)

Jak zaobserwowa am piszac te prace rozwój geometrii mozna podzieli´c na trzy prze o-

mowe etapy. Pierwszy z nich nich przypada na Starozytno´s´c. Wówczas geometria, jak

i inne dziedziny nauki przezywa y wielki rozwój. Wówczas nie tylko powsta o najs yn-

niejsze twierdzenie dotyczace trójkatów - Pitagorasa, ale równiez twierdzenie Talesa

z Miletu, które pomog o w wielu obliczeniach. Jednak najwiekszym sukcesem ówczesnych

czasów by o matematyczne dzie o Euklidesa pt. "Elementy". Nie do´s´c, ze zawiera o ono

wszystkie aksjomaty dotyczace ówczesnej geometrii, to jeszcze porzadkowa o i zbiera o

matematyczna wiedze starozytno´sci.

1

background image

Wstep

2

Drugi etap rozwoju geometrii przypisa abym na okres O´swiecenia. Wówczas pono-

wnie zaczeto interesowa´c sie geometria i bada´c szczególne w a´sciwo´sci trójkatów. Wtedy

w a´snie po raz pierwszy sformuowano i udowodniono szereg twierdze´n jakie umie´sci am

w pracy m.in. Twierdzenie Georgonne'a, Lemonie, Salmona.

Trzecia i ostatnia fala rozwoju geometrii rozpocze a sie moim zdaniem pod koniec

XX wieku, wraz z rozwojem technik informatycznych. Nowoczesne programy kompu-

terowe umozliwiaja prowadzenie bardzo dok adnych oblicze´n, za´s rozwój Internetu umozli-

wia publikowanie efektów pracy i szeroki do nich dostep. Ostatnim z odkrytych pun-

któw szczególnych trójkata, do którego uda o mi sie dotrze´c jest punkt Bailey'a, nazwany

tak na cze´s´c Profesora Bailey'a z Universytetu Evansville. Jest to przyk ad wspania ego

po aczenia wcze´sniejszych odkry´c ze wspó czesno´scia, gdyz wykazano, ze punkt Bayley'a

lezy na prostej Eulera [10].

Zatem wida´c, ze geometria trójkata nie jest dziedzina martwa i nadal sie rozwija.

W Internecie, i nie tylko mozemy ´sledzi´c dalsze jej losy i spodziewa´c sie , ze w ciagu

najblizszych lat lista szczególnych punktów trójkata z Encyklopedii Kinberlinga [10] wyd uzy

sie o kolejne pozycje.

background image

Rozdzia 1

Wiadomo´sci wstepne

1.1 Podstawowe wiadomo´sci o trójkacie

De nicja 1

[14, str. 287] Trójkatem nazywamy wielokat o trzech bokach (inaczej,

domknieta cze´s´c p aszczyzny ograniczona amana zwyczajna zamknieta o trzech bokach).

De nicja 2 [14, str. 133] amana, której dwa kolejne odcinki nie leza na jednej prostej

oraz zaden punkt nie nalezy do wiecej jak dwóch odcinków nazywamy amana zwyczajna.

Jak wida´c z de nicji pierwsza wyjatkowa cecha jaka posiada trójkat w porównaniu

z innymi wielokatami, jest to, ze jest on zawsze gura wypuk a. Do jego zbudowania

potrzeba dok adnie trzech dowolnych odcinków spe niajacych nierówno´s´c trójkata.

De nicja 3 (nierówno´s´c trójkata) [16, str. 38] Suma d ugo´sci kazdych dwóch boków

trójkata jest zawsze wieksza od d ugo´sci trzeciego boku.

3

background image

1.1 Podstawowe wiadomo´sci o trójkacie

4

W kazdym trójkacie jeden dowolnie wybrany bok nazywamy podstawa, a dwa po-

zosta e ramionami. W zalezno´sci od d ugo´sci boków trójkaty mozemy podzieli´c na:

róznoboczne - wszystkie boki róznej d ugo´sci,

równoramienne - dwa boki tej samej d ugo´sci,

równoboczne - wszystkie boki równej d ugo´sci.

Za´s dokonujac klasy kacji ze wzgledu na katy mamy:

rozwartokatne -posiadaja kat rozwarty,

prostokatne - posiadaja kat prosty,

ostrokatne - posiadaja wszystkie katy ostre.

Trójkat nie ma ´srodka symetrii, moze za´s mie´c o´s symetrii - dwie je´sli jest to trójkat

równoboczny, jedna, gdy równoramienny lub wcale w przypadku trójkata róznobocznego.

Kazdy trójkat posiada trzy wysoko´sci (odcinki opadajace z wierzcho ków pod katem

prostym na przeciwleg e podstawy lub ich przed uzenia) oraz trzy ´srodkowe (odcinki opada-

jace z wierzcho ków na ´srodek przeciwleg ego boku). W dowolny trójkat mozna wpisa´c

okrag (tak, aby mia dok adnie po jednym punkcie wspólnym z kazdym bokiem) oraz

mozna na nim opisa´c okrag (tak, aby przechodzi dok adnie przez trzy jego wierzcho ki).

background image

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

5

1.2 Podobie ´nstwo trójkatów

Powiemy, ze dwa trójkaty sa do siebie podobne, jezeli spe niony jest przynajmniej jeden

z nastepujacych warunków [16, str. 40]:

1.

bok - bok - bok (bbb) - D ugo´sci odpowiednich boków jednego trójkata sa

proporcjonalne do d ugo´sci boków drugiego.

2.

bok - kat - bok (bkb) - D ugo´sci dwóch boków jednego trójkata sa proporcjonalne

do d ugo´sci dwóch boków drugiego, a katy zawarte miedzy nimi w obu trójkatach sa

takie same.

3.

kat - kat - kat (kkk) - Miary katów jednego trójkata sa równe odpowiednim miarom

drugiego.

Powyzsze warunki sa równowazne.

Z podobie´nstwa trójkatów bede wielokrotnie korzysta´c przy dowodzeniu twierdze´n,

wówczas bede sie odwo ywa´c do przyjetych tu oznacze´n.

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

1.3.1 Twierdzenie Pitagorasa

Jednym z najbardziej znanych twierdze´n dotyczacych trójkata prostokatnego jest twierdze-

nie Pitagorasa. Cho´c w nazwie pojawia sie nazwisko s ynnego greckiego matematyka

i lozofa, to nie mozemy by´c pewni czy s usznie przypisuje sie jemu autorstwo tego

background image

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

6

twierdzenia. Nie pozostawi on po sobie zadnych prac, które mog yby ´swiadczy´c, ze to

w a´snie on jako pierwszy sformuowa czy udowodni to twierdzenie. Hipotez jest kilka.

Jedne z nich mówia, ze to nie mistrz, a jeden z jego uczniów odkry to twierdzenie. Inne

za´s mówia, ze nawet je´sli to Pitagoras sformuowa je pierwszy, to nie by jego autorem,

gdyz by o ono znane jeszcze przed jego narodzinami w starozytnych Chinach, Indiach, czy

Babilonii.

Twierdzenie 1

(Pitagorasa) [16, str. 46] W dowolnym trójkacie prostokatnym suma

kwadratów d ugo´sci przyprostokatnych jest równa kwadratowi d ugo´sci przeciwprostoka-

tnej.

Szacuje sie, ze istnieje ponad 100 sposobów na udowodnienie tego twierdzenia,

przedstawie jednak tylko jeden z nich, opierajacy sie na podobie´nstwie trójkatów.

Dowód:

[16, str. 46] We´zmy dowolny trójkat prostokatny 4ABC i wykre´slmy w nim

wysoko´s´c opadajaca na przeciwprostokatna, jak na rysunku:

C

B

A

D

background image

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

7

Zauwazmy, ze z podobie´nstwa trójkatów 4ABC i 4BDC (kkk) mamy:

jBDj

jBCj

=

jBCj
jABj

, skad jBCj

2

=

jBDj jABj ,

(1.1)

za´s z podobie´nstwa trójkatów 4ABC i 4ADC (kkk):

jADj

jACj

=

jACj
jABj

, skad jACj

2

=

jADj jABj .

(1.2)

Dodajac do siebie stronami równo´sci (1.1) i (1.2) otrzymamy:

jBCj

2

+

jACj

2

=

jBDj jABj + jADj jABj = jABj (jBDj + jADj) = jABj jABj ,

jABj

2

=

jBCj

2

+

jACj

2

,

co naleza o udowodni´c.

Przedstawie teraz krótkie zadanie na zastosowanie twierdzena Pitagorasa, którego

wynik wykorzystam w dalszej cze´sci mojej pracy.

Zadanie: Wyra´z d ugo´s´c wysoko´sci trójkata równobocznego w zalezno´sci od d u-

go´sci boku a.

Niech dany bedzie trójkat równoboczny o boku a. Narysujmy jedna z jego wysoko´sci

i oznaczmy jej d ugo´s´c przez h.

a

a

a

h

background image

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

8

Oczywi´scie wysoko´s´c opada na podstawe pod katem prostym, dzielac ja na po owy (bo

trójkat jest równoboczny). Zatem stosujac twierdzenie Pitagorasa mamy:

h

2

+

1
2

a

2

= a

2

,

h

2

= a

2

1
4

a

2

,

h

2

=

3
4

a

2

,

h =

p

3

2

a

.

1.3.2 Wzór cosinusów

Twierdzenie cosinusów czesto zwane jest uogólnieniem twierdzenia Pitagorasa, gdyz mozna

je stosowa´c dla dowolnego trójkata, niekoniecznie prostokatnego.

Twierdzenie 2 (cosinusów) [15, str. 21], [13, str. 60] Niech a, b, c beda d ugo´sciami boków

dowolnego trójkata, za´s niech bedzie miara kata zawartego miedzy bokami o d ugo´sciach

a

i b. Wówczas prawdziwa jest równo´s´c:

c

2

= a

2

+ b

2

2ab cos

.

(1.3)

Uwaga: Zauwazmy, ze je´sli zastosujemy to twierdzenie do trójkata prostokatnego, to wó-

wczas = 90 . Poniewaz cos90 = 0, to z (1.3 )otrzymamy:

c

2

= a

2

+ b

2

,

czyli twierdzenie Pitagorasa.

background image

1.3 Przydatne twierdzenia do obliczania d ugo´sci boków

9

1.3.3 Wzór sinusów

Twierdzenie 3 (sinusów) [15, str. 24] Niech a, b, c beda d ugo´sciami boków dowo-

lnego trójkata, za´s , , miarami katów lezacymi odpowiednio naprzeciwko tych boków.

Wówczas prawdziwy jest wzór:

a

sin

=

b

sin

=

c

sin

.

(W dowolnym trójkacie stosunki d ugo´sci boków, do sinusów katów lezacych naprzeciwko

nich sa sta e.)

background image

Rozdzia 2

Najbardziej znane punkty charakterystyczne

Jak juz wspomnia am we wstepie mojej pracy, punktów o szczególnych w a´sciwo-

´sciach, w dowolnym trójkacie mozemy zidenty kowa´c ponad tysiac. W tym rozdziale

chcia abym przedstawi´c kilka najpopularniejszych, które mozemy odnale´z´c w kazdym

trójkacie, posiadajac zaledwie podstawowa wiedze z dziedziny geometrii euklidesowej.

W rozdziale tym przedstawie m. in. ´srodek ciezko´sci, ortocent i ´srodek okregu opisanego,

które jak odkry Euler leza (wraz z ´srodkiem okregu dziewieciu punktów) na jednej prostej,

zwanej prosta Eulera.

2.1 ´Srodek ciezko´sci

Lemat 1 [9, str. 163] Odcinek aczacy ´srodki dwóch boków trójkata jest równy co do

d ugo´sci po owie trzeciego boku i jest do niego równoleg y.

10

background image

Dowód:

[9, str.163] We´zmy dowolny trójkat 4ABC. ´Srodki boków AC i BC

oznaczmy odpowiednio przez K i L.

C

A

B

K

L

jKCj =

1
2

jACj

jLCj =

1
2

jBCj

-

11

background image

2.1 ´Srodek ciezko´sci

12

Zauwazmy, ze kat przy wierzcho ku C jest jednakowy dla trójkatów 4ABC i 4KLC.

Ponadto ich ramiona sa proporcjonalne, bo z za ozenia mamy, ze:

jKCj

jACj

=

1
2

,

jLCj

jBCj

=

1
2

.

Stad i z drugiej cechy podobie´nstwa trójkatów (bkb) otrzymujemy, ze trójkaty 4ABC

i 4KLC sa podobne, za´s skala ich podobie´nstwa jest równa k =

1
2

. Zatem pozosta e boki

trójkatów AB i KL sa równiez proporcjonalne i zachodzi:

jKLj =

1
2

jABj :

Pokazemy teraz, ze odcinki AB i KL sa równoleg e. Z podobie´nstwa trójkatów 4ABC

i 4KLC widzimy, ze prawdziwa jest proporcja:

jKCj

jKLj

=

jACj
jABj

:

Zatem na mocy twierdzenia odwrotnego do twierdzenia Talesa otrzymujemy, ze odcinki

KL

i AB sa równoleg e.

Twierdzenie 4

(o ´srodkowych) [15, str. 47], [13, str. 53], [7, str. 39] ´Srodkowe

trójkata przecinaja sie w jednym punkcie, zwanym ´srodkiem ciezko´sci trójkata. ´Srodek

ciezko´sci dzieli kazda z ´srodkowych w stosunku 2 : 1, przy czym d uzszy odcinek aczy

´srodek ciezko´sci z wierzcho kiem trójkata.

background image

2.1 ´Srodek ciezko´sci

13

Dowód:

[15, str. 47] Niech dany bedzie dowolny trójkat 4ABC oraz jego ´srodkowe

AA

0

, BB

0

i CC

0

. Oznaczmy punkt przeciecia ´srodkowych AA

0

i BB

0

przez O.

C

A

B

B'

A'

C'

O

Z lematu 1 mamy, ze odcinki AB i A

0

B

0

sa do siebie równoleg e oraz

jAA

0

j =

1
2

jABj :

Zauwazmy, ze trójkaty 4ABO i 4AB

0

O

sa do siebie podobne (kkk), a skala ich podobie´nstwa

wynosi k =

1
2

. Zatem mamy:

2

jB

0

O

j = jBOj ,

2

jA

0

O

j = jAOj

czyli ´srodkowe trójkata przecinaja sie w stosunku 2 : 1. Przeprowadzajac analogiczne

rozumowanie dla ´srodkowych AA

0

oraz CC

0

dochodzimy do wniosku, ze:

2

jC

0

O

j = jCOj ,

2

jA

0

O

j = jAOj ,

a zatem punkt O jest punktem przeciecia wszystkich trzech ´srodkowych trójkata 4ABC.

background image

2.1 ´Srodek ciezko´sci

14

Twierdzenie 5 [5, str. 8] ´Srodkowe trójkata dziela go na sze´s´c mniejszych trójkatów

o równych polach.

Dowód:

Niech dany bedzie dowolny trójkat 4ABC oraz jego ´srodkowe AQ, BR

i CP . Oznaczmy punkt przeciecia ´srodkowych przez O.

C

A

B

Q

R

P

O

Oczywi´scie pola trójkatów 4AP O i 4P BO, 4BQO i 4QCO, a takze 4CRO i 4ARO

sa równe, poniewaz ich podstawy oraz wysoko´sci sa równej d ugo´sci. Zauwazmy pona-

dto, ze z tego samego powodu równe sa pola trójkatów 4AP C i 4P BC, które mozemy

wyrazi´c poprzez odpowiednie sumy pól wcze´sniej wymienionych trójkatów. Tak wiec:

P

4AP C

= P

4AP O

+ P

4ARO

+ P

4CRO

= P

4AP O

+ 2P

4ARO

,

P

4P BC

= P

4P BO

+ P

4BQO

+ P

4QCO

= P

4P BO

+ 2P

4BQO

.

Natomiast z równo´sci tych pól mamy dalej:

P

4AP O

+ 2P

4ARO

= P

4P BO

+ 2P

4BQO

.

background image

2.1 ´Srodek ciezko´sci

15

Wykorzystujac równo´s´c pól trójkatów 4AP O i 4P BO oraz dzielac powyzsza równo´s´c

przez 2 dostajemy:

P

4ARO

= P

4BQO

,

Postepujac analogicznie dla trójkatów 4BQA i 4QCA pokazaliby´smy, ze:

P

4ARO

= P

4AP O

.,

a dalej z przechodnio´sci okaza o by sie, ze wszystkie pola sa sobie równe.

Twierdzenie 6

Odcinki aczace ´srodki boków dowolnego trójkata dziela go na cztery

mniejsze trójkaty o równych polach.

Dowód:

We´zmy dowolny trójkat 4ABC oraz ´srodki jego boków P , Q, R. Po aczmy

je odcinkami, tak aby powsta trójkat 4P QR.

C

A

B

a

R

Q

P

c

c

c

a

b

a

b

b

Na mocy lematu 1 dostajemy nastepujace równo´sci:

jAP j = jP Bj = jRQj

jBQj = jQCj = jRP j

jCRj = jRAj = jP Qj ,

background image

2.2 ´Srodek okregu opisanego

16

czyli odcinki P Q, QR i RP podzieli y trójkat 4ABC na cztery trójkaty podobne (bbb),

a wiec o takich samych polach.

2.2 ´Srodek okregu opisanego

´Srodek okregu opisanego na dowolnym trójkacie pokrywa sie z punktem przeciecia symetral-

nych jego boków.

Twierdzenie 7

(o symetralnych) [15, str. 30], [13, str. 55], [16, str. 114], [7, str. 39]

Symetralne boków dowolnego trójkata przecinaja sie w jednym punkcie.

Dowód:

[15, str. 30] We´zmy dowolny trójkat 4ABC. Narysujmy symetralne boków

AB

i BC, a punkt ich przeciecia oznaczmy przez S.

C

A

B

S

background image

2.3 Ortocent

17

Narysujmy odcinki aczace punkt S z wierzcho kami trójkata 4ABC. Zauwazmy, ze

w trójkatach 4ASB i 4BSC symetralna boku pe ni role wysoko´sci i dzieli podstawy tych

trójkatów na po owy. Wynika stad, ze sa to trójkaty równoramienne, zatem:

jASj = jBSj

oraz

jBSj = jCSj .

Z przechodnio´sci dostajemy jako wniosek, iz:

jASj = jCSj .

´Swiadczy to o tym, ze trójkat 4ASC jest równiez równoramienny, a zatem jego wysoko´s´c

poprowadzona z wierzcho ka S dzieli podstawe AC na po owy, a w zwiazku z tym musi

zawiera´c sie w symetralnej boku AC. Pokazali´smy wiec, ze wszystkie symetralne boków

trójkata 4ABC przecinaja sie w jednym punkcie.

2.3 Ortocent

Twierdzenie 8 [13, str. 54], [9, str. 164], [8, str. 84] W dowolnym trójkacie wysoko´sci,

lub ich przed uzenia przecinaja sie w jednym punkcie.

Dowód:

[9, str. 165] Zauwazmy, ze w przypadku trójkata prostokatnego twierdzenie

to wynika w sposób oczywisty. Dwie wysoko´sci pokrywaja sie z bokami, a trzecia musi

background image

2.3 Ortocent

18

zawsze wychodzi´c z ich wspólnego wierzcho ka.

C

A

B

Rozwazmy zatem przypadek gdy trójkat jest ostrokatny lub rozwartokatny. Poniewaz

dowód wyglada analogicznie, to przeprowadze go dla przypadku trójkata ostrokatnego.

We´zmy dowolny trójkat ostrokatny 4ABC i narysujmy jego wysoko´sci.

C

A

B

B'

A'

C'

Nastepnie poprowad´zmy przez wierzcho ki trójkata 4ABC proste równoleg e do przeci-

wleg ych podstaw. Punkty przeciecia narysowanych prostych oznaczmy odpowiednio A

0

,

B

0

, C

0

(jak na rysunku). Po krótkiej analizie katów tak otrzymanych trójkatów zauwazamy,

background image

2.4 ´Srodek okregu wpisanego

19

ze trójkaty: 4ABC, 4AB

0

C

, 4CA

0

B

, 4ABC

0

sa do siebie przystajace. Stad wynika

równo´s´c nastepujacych odcinków:

jB

0

C

j = jCA

0

j

jA

0

B

j = jBC

0

j

jC

0

A

j = jAB

0

j :

(2.4)

Poniewaz rysowane przez nas proste by y rónoleg e do boków, to obserwujemy, ze wysoko´sci

trójkata 4ABC sa prostopad e do odcinków A

0

B

0

, B

0

C

0

, C

0

A

0

. Z tego oraz równo´sci (2.4)

wynika, ze proste zawierajace wysoko´sci trójkata 4ABC sa jednocze´snie symetralnymi

boków trójkata 4A

0

B

0

C

0

. Na podstawie twierdzenia o symetralnych wiemy, ze musza

one przecina´c sie w jednym punkcie. Zatem pokazali´smy, ze wysoko´sci trójkata 4ABC

przecinaja sie w jednym punkcie.

De nicja 4 [13, str. 55], [7, str. 39] Punkt przeciecia prostych zawierajacych wysoko´sci

trójkata nazywamy jego ´srodkiem ortycznym, ortocentrem lub ortocentrum.

Uwaga: Jezeli bedziemy rozwaza´c trójkat ostrokatny, to ortocent bedzie zawsze leza

wewnatrz trójkata. Na zewnatrz gdy bedzie to trójkat rozwartokatny. Za´s w przypadku

trójkata prostokatnego ortocent pokryje sie z wierzcho kiem przy kacie prostym tego trójkata.

2.4 ´Srodek okregu wpisanego

´Srodek okregu wpisanego w dowolny trójkat pokrywa sie z punktem przeciecia dwusie-

cznych jego katów wewnetrznych.

background image

2.4 ´Srodek okregu wpisanego

20

Twierdzenie 9 (o dwusiecznych katów wewnetrznych) [9, str.116], [7, str.39], [5, str.10]

Dwusieczne katów wewnetrznych trójkata przecinaja sie w jednym punkcie.

Dowód:

Niech dany bedzie dowolny trójkat 4ABC, dwusieczna kata ^A przecinajaca

bok BC w punkcie Q oraz dwusieczna kata

^B przecinajaca bok AC w punkcie R.

C

A

B

R

Q

P

W

Oznaczmy punkt przeciecia prostych AQ i BR przez W . Poniewaz W lezy na dwusiecznej

kata

^A, to jest on jednakowo odleg y od boków AC i AB trójkata 4ABC. Analogicznie,

poniewaz W lezy na dwusiecznej kata

^B, to jest on jednakowo odleg y od boków AB

i BC. A zatem punkt W znajduje sie w równej odleg o´sci od boków BC i AC, zatem lezy

na dwusiecznej kata

^C. Stad wniosek, ze dwusieczne wszystkich katów wewnetrznych

trójkata przecinaja sie w jednym punkcie.

Uwaga [16, str. 47]: Poniewaz w trójkacie równobocznym wysoko´sci pokrywaja sie

z symetralnymi boków, dwusiecznymi katów zewnetrznych oraz ´srodkowymi, to ortocent

pokrywa sie ze ´srodkiem okregu opisanego, wpisanego, a takze z ´srodkiem ciezko´sci.

background image

2.5 Prosta Eulera

21

2.5 Prosta Eulera

Lehonard Euler by wybitnym szwajcarskim matematykiem (1707-1783), który dokona

waznych odkry´c niemal w kazdej dziedzinie matematyki, w tym równiez geometrii. Urodzi

sie w Bazyleii i tam tez pobiera pierwsze lekcje matematyki od samego Johanna Bernoul-

liego. Tytu magistra zdoby w wieku zaledwie 16 lat, a majac 20 zosta zaproszony do

Akademii w Sankt Petersburgu, gdzie przebywa do roku 1741. Sciezka jego naukowej

kariery prowadzi dalej przez Berlin, gdzie pracowa do 1766 roku. Ostatnie lata swojego

zycia spedzi w Rosji, dokad z Berlina sprowadzi a go po latach Katarzyna Wielka. O tym,

ze Euler by genialnym matematykiem moze ´swiadczy´c liczba wydanych przez niego prac

naukowych - za jego zycia opublikowano 473 z nich, a krótko po jego ´smierci kolejne 200.

acznie opublikowano ich az 734. Co wiecej nalezy wspomnie´c, ze Euler tworzy swoje

matematyczne dzie a mimo upo´sledzenia. W wieku 28 lat straci wzrok na jedno oko,

a w 1766 roku o´slep zupe nie.

Przedstawie teraz twierdzenie odkryte przez Eulera, dotyczace szczególnej prostej w trójka-

cie, na cze´s´c autora, zwana prosta Eulera.

De nicja 5 [17, str. 54] W dowolnym trójkacie prosta przechodzaca przez ortocentr, ´srodek

ciezko´sci oraz ´srodek okregu opisanego na tym trójkace nazywamy prosta Eulera.

Twierdzenie 10

(prosta Eulera) [5, str. 19] W dowolnym trójkacie jego ortocentr,

´srodek ciezko´sci oraz ´srodek okregu opisanego na tym trójkace sa wspó liniowe, przy czym

background image

2.5 Prosta Eulera

22

odleg o´s´c ortocentru od ´srodka ciezko´sci jest dwa razy wieksza niz ´srodka ciezko´sci od

´srodka okregu opisanego.

Dowód:

[5, str. 18-19] We´zmy dowolny trójkat 4ABC. Wyznaczmy punkty ´srodkowe

jego boków i nazwijmy je odpowiednio P , Q, R. Nastepnie po aczmy je odcinkami.

C

A

B

R

Q

P

O

Zauwazmy, ze tak powsta y trójkat 4P QR jest podobny (bbb) do trójkata 4ABC w skali

k =

1
2

, poniewaz na mocy lematu 1 d ugo´sci jego boków sa równe po owie d ugo´sci boków

trójkata 4ABC. Narysujmy teraz ´srodkowe w trójkacie 4ABC - AQ, BR, CP .

Z twierdzenia 4 wiemy, ze przecinaja sie one w punkcie O, zwanym ´srodkiem ciezko´sci.

Dorysujmy teraz symetralne boków trójkata 4ABC. Z twierdzenia 7 mamy, ze przecinaja

background image

2.5 Prosta Eulera

23

sie one w punkcie S.

C

A

B

R

Q

P

O

S

Zauwazmy, ze zawieraja one wysoko´sci trójkata 4P QR (gdyz jego boki sa równoleg e

do boków trójkata 4ABC, a symetralne jako prostopad e do boków trójkata 4ABC, sa

równiez prostopad e do boków trójkata 4P QR). Stad punkt S jest ortocentrum trójkata

4P QR. Nanie´smy teraz na rysunek wysoko´sci trójkata 4ABC.

C

A

B

R

Q

P

O

H

S

background image

2.5 Prosta Eulera

24

Na mocy twierdzenia 8 wysoko´sci przecinaja sie w punkcie H. Po aczmy teraz odcinkami

punkty H i O oraz O i S i przyjrzyjmy sie powsta ym trójkatom 4CHO i 4P SO,

C

A

B

R

Q

P

O

S

H

Poniewaz trójkaty 4ABC i 4P QR sa podobne w skali k =

1
2

, to:

1
2

jCHj = jP Sj .

Z twierdzenia 4 wynika, ze:

1
2

jCOj = jP Oj .

Zauwazmy, ze ´srodkowa boku AB jest równoleg a do wysoko´sci opadajacej z wierzcho ka

C

na ten bok. Te dwa odcinki równoleg e po aczone sa odcinkiem CP , stad

^HCO = ^OPS

jako naprzemianleg e wewnetrzne. Z powyzszych rozwaza´n wynika wiec prosty wniosek,

ze trójkaty 4CHO i 4P SO sa podobne (bkb), a wiec ich boki sa proporcjonalne, a katy

równe. Zatem:

1
2

jHOj = jSOj

background image

2.5 Prosta Eulera

25

oraz punkty H, O i S sa wspó liniowe.

De nicja 6 [5, str. 9] Trójkatem ortycznym nazywamy trójkat zwiazany z dowolnym

trójkatem, tak ze jego wierzcho ki sa spodkami wysoko´sci tego trójkata.

Twierdzenie 11 [5, str. 17] Jezeli mamy dowolny trójkat 4ABC i zwiazany z nim trójkat

ortyczny 4P QR, to ortocent trójkata 4ABC pokrywa sie z ´srodkiem okregu wpisanego

w trójkat 4P QR.

Dowód:

[4] Aby udowodni´c to twierdzenie nalezy pokaza´c, ze wysoko´sci trójkata

4ABC pokrywaja sie z dwusiecznymi trójkata 4P QR. We´zmy dowolny trójkat 4ABC

i narysujmy w nim wysoko´sci. Ich spodki oznaczmy przez P , Q R i po aczmy tak, aby

utworzy y trójkat ortyczny.

C

A

B

R

P

Q

H

background image

2.5 Prosta Eulera

26

Zauwazmy, ze trójkaty 4BQH i 4ARH sa do siebie podobne (kkk), gdyz oba sa prosto-

katne, a jeden z ich katów jest równej miary, jako wierzcho kowy, stad:

^RAH = ^QBH .

Przyjrzyjmy sie teraz czworokatowi ARHP . Zauwazmy, ze jego dwa przeciwleg e katy

^ARH oraz ^HPA sa sobie równe i maja po 90 . Poniewaz suma katów w czworoka-

cie wypuk ym wynosi 360 , to suma dwóch pozosta ych jego katów musi wynosi´c 180 .

Zatem warunek konieczny aby opisa´c na tym czworokacie okrag jest spe niony. Gdy juz

opiszemy okrag obserwujemy, ze katy

^RAH i ^RPH, sa równe jako wpisane

w okrag oparte na tym samym uku RH. Przeprowadzajac analogiczne rozumowanie dla

czworokata BQHP , okazuje sie, ze równiez katy

^QBH i ^QPH sa równe jako wpisane

w okrag oparte na tym samym uku HQ: A zatem, poniewaz równe by y katy

^RAH

i

^QBH, to z przechodnio´sci równo´sci dostajemy, ze:

^RPH = ^QPH .

Pokazali´smy wiec, ze wysoko´s´c CP trójkata 4ABC jest jednocze´snie dwusieczna kata

^RPQ trójkata 4PQR. Analogicznie udowodniliby´smy, ze wszystkie wysoko´sci trójkata

4ABC pokrywaja sie z dwusiecznymi trójkata 4P QR, a zatem ortocent pokrywa sie

z ´srodkiem okregu wpisanego.

background image

Rozdzia 3

Najpopularniejsze okregi zwiazane z

trójkatem

Z pewno´scia gdyby zorganizowa´c plebiscyt na najpopularniejsze okregi majace zwiazek

z trójkatem zwyciezy yby wpisany i opisany. A juz ma o kto wymieni by okregi dopisane,

których istnienie wynika przeciez intuicyjne.

C

A

B

W

okrag wpisany

C

A

B

O

okrag opisany

27

background image

3.1 Okregi dopisane

28

3.1 Okregi dopisane

De nicja 7 [6, str. 11], [5, str. 12] Okregiem dopisanym do trójkata nazywamy okrag

styczny do jednego z boków tego trójkata oraz do przed uze´n pozosta ych.

C

A

B

S

B

S

A

S

C

okregi dopisane

´Srodek okregu dopisanego lezy w punkcie przeciecia dwusiecznych katów zewnetrznych

i kata wewnetrznego. Istnienia tego punktu dowodzi nastepujace twierdzenie, które zosta o

udowodnione przeze mnie w ramach uzupe nienia zgromadzonych materia ów.

Twierdzenie 12 [8, str. 86] Dwusieczne katów zewnetrznych przy dwóch wierzcho kach

dowolnego trójkata przecinaja sie w punkcie nalezacym do dwusiecznej kata wewnetrznego

przy trzecim jego wierzcho ku.

background image

3.2 Okrag dzieweciu punktów

29

Dowód:

We´zmy dowolny 4ABC. Narysujmy dwusieczne katów zewnetrznych przy

wierzcho kach B i C. Oznaczmy punkt ich przeciecia przez D.

C

A

B

D

Zauwazmy, ze z tego, iz punkt D lezy na dwysiecznej kata

^C wynika, ze jest równo

oddalony od prostych AC i BC. Za´s z po ozenia na dwusiecznej kata

^B, ze jest tak samo

odleg y od prostych AB i BC. A zatem wynika, ze punkt D jest w jednakowej odleg o´sci

od prostych zawierajacych boki AC i AB trójkata 4ABC. Stad i z w asno´sci dwusiecznej

mamy, ze punkt D lezy na dwusiecznej kata wewnetrznego

^A trójkata 4ABC.

3.2 Okrag dzieweciu punktów

Poczatkowo odkryty i opublikowany w 1765r. w Petersburgu przez Eulera, nastepnie

zapomniany i znów w 1822r. wy oniony na ´swiat o dzienne przez niemieckiego Pro-

fesora Matematyki Karla Feuerbacha - okrag zawierajacy dziewie´c szczególnych punk-

background image

3.2 Okrag dzieweciu punktów

30

tów trójkata - ´srodki boków, spodki wysoko´sci oraz po owy odcinków utworzonych przez

wierzcho ki i ortocentrum. Ze wzgledu na te w a´snie dziewie´c szczególnych punktów,

okrag ten popularnie zwany jest okregiem dziewieciu punktów. (Jednakze okazuje sie, ze

nie sa to jedyne charakterystyczne punkty trójkata przez które przechodzi.) W literaturze

okrag ten spotykamy równiez pod nazwa okregu Feuerbacha.

Wykaze teraz, ze istotnie zawiera on wymienione punkty.

Lemat 2 W dowolnym trójkacie prostokatnym d ugo´s´c odcinka aczacego wierzcho ek przy

kacie prostym z ´srodkiem przeciwprostokatnej jest równa po owie jej d ugo´sci.

Dowód:

We´zmy dowolny trójkat prostokatny 4ABC. Oznaczmy ´srodki jego boków

AB

, BC i CA odpowiednio przez P , Q, R.

A

B

C

R

Q

P

Na mocy lematu 1 mamy, ze odcinek aczacy ´srodki dwóch boków jest równoleg y do

trzeciego i co do d ugo´sci równy jego po owie. Zatem:

jRQj = jAP j = jP Bj ,

background image

3.2 Okrag dzieweciu punktów

31

jCRj = jRAj = jQP j .

Narysujmy odcinek AQ. Zauwazmy, ze trójkaty 4AQP i 4BP Q sa do siebie podobne

(bkb), stad jAQj = jQBj.

De nicja 8 (punkty Eulera) [17, str. 52] W dowolnym trójkacie punkty lezace na jego

wysoko´sciach i dzielace odleg o´s´c od ortocentru do wierzcho ka na pó nazywamy pun-

ktami Eulera.

Twierdzenie 13 (okrag dziewieciu punktów) [17, str. 52], [5, str. 20] W dowolnym trójka-

cie ´srodki jego boków, spodki wysoko´sci i punkty Eulera leza na jednym okregu zwanym

okregiem dziewieciu punktów.

Dowód:

[17, str. 52-53] We´zmy dowolny trójkat 4ABC. ´Srodki jego boków

oznaczmy odpowiednio przez P , Q, R , za´s spodki wysoko´sci przez A

0

, B

0

, C

0

, jak na

rysunku:

C

A

B

Q

P

R

A'

C'

B'

H

background image

3.2 Okrag dzieweciu punktów

32

Oczywi´scie na kazdym trójkacie mozemy opisa´c okrag, zatem równiez na trójkacie 4P QR.

Stosujac lemat 2 do trójkata 4ABB

0

otrzymujemy, ze:

B

0

R =

1
2

AB

Za´s z lematu 1, dla trójkata 4ABC mamy:

QP =

1
2

AB

oraz P R k AC.

Przyrównujac do siebie te dwa równania otrzymamy równo´s´c:

B

0

R = QP

.

Stad zauwazamy, ze czworokat B

0

QRP

jest trapezem równoramiennym, a zatem okrag

przechodzacy przez punkty P , Q, R przechodzi równiez przez punkt B

0

, gdyz na tym

trapezie mozemy opisa´c okrag. W analogiczny sposób mozemy udowodni´c, ze do tego

okregu naleza punkty A

0

i C

0

. Oznaczmy teraz przez D, E i F punkty ´srodkowe odcinków

AH

, BH i CH. Pokazemy teraz, ze punkt F równiez nalezy do rozwazanego okregu.

Stosujac lemat 1 dla trójkata 4BHC, otrzymujemy, ze F P k HB.

C

A

B

Q

P

R

A'

C'

B'

H

F

D

E

background image

3.2 Okrag dzieweciu punktów

33

Odcinek HB zawiera sie w wysoko´sci BB

0

, zatem jest prostopad y do odcinka AC.

W odcinku AC zawiera sie za´s odcinek QB

0

, równoleg y do RP , co pokaza am w pier-

wszej cze´sci dowodu. Stad otrzymujemy, ze RP ? F P . Analogicznie, stosujac lemat 1

dla trójkata 4AHC, otrzymujemy, ze QF k AH.

C

A

B

Q

P

R

A'

C'

B'

H

F

D

E

Odcinek AH zawiera sie w wysoko´sci AA

0

, zatem jest prostopad y do odcinka BC. Za´s

odcinek BC, równoleg y do QR. Stad otrzymujemy, ze F Q ? QR. Pokazali´smy za-

tem, ze w czworokacie F QRP , katy lezace naprzeciwko siebie

^Q i ^P maja po 90 .

Poniewaz czworokat F QRP jest wypuk y, to suma jego katów musi wynosi´c 360 , zatem

suma katów

^F i ^R wynosi 180 , stad na tym czworokacie mozna opisa´c okrag i jest

nim rozwazany przez nas okrag opisany na trójkacie 4P QR (bo przez dowolne 3 punkty

moze przechodzi´c tylko jeden okrag).

Twierdzenie 14 [17, str. 52] ´Srodek okregu dziewieciu punktów dla dowolnego trójkata

lezy w po owie odcinka aczacego ortocentr oraz ´srodek okregu opisanego.

background image

3.2 Okrag dzieweciu punktów

34

Dowód:

[17, str. 53] We´zmy dowolny trójkat 4ABC, o punktach ´srodkowych boków

P

, Q, R oraz wysoko´sciach AA

0

, BB

0

, CC

0

, przecinajacych sie w punkcie H. Oznaczmy

ponadto ´srodek okregu opisanego na nim przez S.

C

A

B

Q

P

R

A'

C'

B'

H

S

Chcemy znale´z´c ´srodek okregu dziewieciu punktów dla trójkata 4ABC. Aby to zrobi´c

wystarczy wskaza´c punkt przeciecia dwóch symatralnych dowolnych cieciw tego okregu.

Zauwazmy, ze omawiany okrag przechodzi przez punkty C

0

i R nalezace do boku AB.

Rozwazmy wiec cieciwe C

0

R

. Odcinki C

0

K

oraz SR sa do niej prostopad e, stad równole-

background image

3.2 Okrag dzieweciu punktów

35

g e do siebie.

C

A

B

Q

P

R

A'

C'

B'

H

S

Rozwazmy trapez C

0

RSH

i narysujmy symetralna jego boku C

0

R

. Jest ona równiez

równoleg a do podstaw trapezu, a po´srednio z lematu 1 o ´srodkach boków trójkata dzieli

odcinek HS na pó . Postepujac analogicznie dla punktów A

0

P

dostajemy podobny wniosek.

C

A

B

Q

P

R

A'

C'

B'

H

S

D

background image

3.2 Okrag dzieweciu punktów

36

Stad ´srodek okregu dziewieciu punktów lezy w po owie odcinka HS, czyli odleg o´sci

miedzy ortocentrum, a ´srodkiem okregu opisanego.

Wniosek: Okrag opisany na trójkacie ortycznym pokrywa sie z okregiem dziewieciu

punktów dla trójkata pierwotnego. Inaczej, ´srodek okregu opisanego trójkata ortycznego

lezy w po owie odcinka utworzonego przez ortocent i ´srodek okregu opisanego pierwot-

nego trójkata.

Twierdzenie 15 [17, str. 53] D ugo´s´c promienia okregu dziewieciu punktów jest równa

po owie d ugo´sci promienia okregu opisanego na nim.

Dowód:

[17, str. 53] We´zmy dowolny trójkat 4ABC oraz zwiazany z nim okrag

dziewieciu punktów o ´srodku w punkcie D, a takze okrag na nim opisany o ´srodku S:

Naszkicujmy wysoko´sci tego trójkata AA

0

, BB

0

, CC

0

oraz oznaczmy ´srodki jego boków

przez P , Q, R.

C

A

B

R

Q

P

A'

C'

F

B'

H

S

D

background image

3.2 Okrag dzieweciu punktów

37

Poprowadzmy z punktu P prosta przechodzaca przez punkt D. Zauwazmy, ze przetnie ona

wysoko´s´c CC

0

w punkcie F. Z w asno´sci okregu dziewieciu punktów wynika, ze punkt F

jest punktem Eulera, czyli dzieli odcinek CH na pó , stad:

HF = F C

.

Po aczmy teraz odcinkami punkty H i S oraz S i P .

C

A

B

R

Q

P

A'

C'

F

B'

H

S

D

Zauwazmy, ze powsta e w ten sposób trójkaty 4P SD i 4F HD sa do siebie podobne

(bkb) - katy

^FDH i ^PDS równe jako wierzcho kowe, FD i DP sa promieniami tego

samego okregu, za´s HD = DS z twierdzenia 14. Wnioskiem z tej obserwacji jest równo´s´c

odcinków P S i HF . Poniewaz zarówno wysoko´s´c CC

0

, jak i odcinek P S sa prostopad e

do podstawy AB, to odcinki CF i SP do siebie równoleg e. Nastepnie aczac punkty P ,

background image

3.2 Okrag dzieweciu punktów

38

S

, C i F otrzymamy równoleg obok, w którym m.in. odcinki P F i SC sa równe.

C

A

B

R

Q

P

A'

C'

F

B'

H

S

D

Zauwazmy, ze P F jest ´srednica okregu dziewieciu punktów, za´s SC jest promieniem

okregu opisanego na trójkacie 4ABC. Zatem d ugo´s´c promienia okregu dziewieciu punk-

tów jest równa po owie d ugo´sci promienia okregu opisanego na tym samym trójkacie.

Mozna równiez udowodni´c nastepujace twierdzenia zwiazane z okregiem dziewieciu

punktów:

background image

3.2 Okrag dzieweciu punktów

39

Twierdzenie 16 (Feuerbacha) [17, str. 58] Okrag dziewieciu punktów jest styczny do

okregów dopisanych do trójkata, a takze posiada dok adnie jeden punkt wspólny z okregiem

wpisanym. Punkt ten nosi nazwe punktu Feuerbacha.

Twierdzenie 17 (Hamiltona) [17, str. 57] Okrag dziewieciu punktów danego trójkata

jest równiez okregiem dziewieciu punktów dla trzech trójkatów, których dwa wierzcho ki

pokrywaja sie z wierzcho kami danego, a trzeci jest jego ortocentrum.

background image

Rozdzia 4

Proste Cevy

De nicja 9 [1] Dla dowolnego trójkata prostymi Cevy nazywamy proste przechodzace

przez jego wierzcho ki i przecinajace sie w jednym punkcie.

W geometrii trójkata bardzo czesto w dowodach róznych twierdze´n wykorzystujemy

pomocniczo twierdzenia dotyczace prostych Cevy. Dzieje sie tak, poniewaz na ich pod-

stawie atwo wykaza´c równoleg o´s´c prostych lub tez fakt, ze przecinaja sie w jednym

punkcie. Ponadto okazuje sie, ze wiekszo´s´c prostych aczacych wierzcho ki trójkata, ze

szczególnymi punktami na jego bokach, to w a´snie proste Cevy. Zauwazmy, ze spo´sród

wymienionych do tej pory prostych, do prostych Cevy mozemy zaliczy´c:

proste zawierajace wysoko´sci,

´srodkowe,

proste zawierajace dwusieczne katów.

4.1 Twierdzenie Menelaosa

Jednym z najbardziej znanych twierdze´n zwiazanych z trójkatem jest twierdzenie Menelaosa.

Zosta o ono pierwotnie sformuowane przez Menelaosa z Aleksandrii (70-130r.) w trzecim

40

background image

4.1 Twierdzenie Menelaosa

41

tomie jego traktatu pt.: "Sfery". Oryginalnie dotyczy o trójkata sferycznego, jednak obe-

cnie pod ta nazwa rozumiemy nastepujace twierdzenie:

Twierdzenie 18 (Menelaosa) [2], [5, str. 66] Niech dany bedzie dowolny trójkat 4ABC

oraz punkty P , Q, R rózne od A, B, C nalezace odpowiednio do prostych AB, BC i CA.

Punkty te sa wspó liniowe wtedy i tylko wtedy gdy zachodzi równo´s´c:

AP

CQ

CR
BP

BQ

AR

= 1

.

Zanim przystapie do udowodnienia tego twierdzenia sformuuje i udowodnie lemat pomo-

cniczy:

Lemat 3 Jezeli na prostej AB umie´scimy punkty X i Y , i zachodzi ponizszy stosunek

d ugo´sci odcinków

AX

BX

=

AY

BY

,

a przy tym punkty X, Y leza oba poza odcinkiem AB, albo sie w nim zawieraja, to

X = Y

.

Dowód:

Za ózmy, ze na prostej AB po ozone sa punkty X i Y , i zachodzi stosunek

AX

BX

=

AY

BY

.

(4.5)

atwo zauwazy´c, ze punkty A, B, X, Y musza by´c rózne od siebie, bo je´sli by tak nie

by o, to kazda z d ugo´sci odcinków wymienionych w proporcji musia aby wynosi´c zero.

Wówczas wszystkie cztery punkty leza yby w tym samym miejscu i nie mia o by sensu

background image

4.1 Twierdzenie Menelaosa

42

mówienie o ich po ozeniach wzgledem odcinka AB. Je´sli za ozymy, ze punkty te sa rózne,

to mozemy rozwazy´c trzy mozliwo´sci ich wzajemnego po ozenia:

a) Punkty X, Y zawieraja sie w odcinku AB:

b) Punkty X, Y leza oba poza odcinkiem AB, z jednej strony odcinka.

c) Punkty X, Y leza oba poza odcinkiem AB, po róznych stronach odcinka AB.

Ad a)

A

B

X

Y

Zauwazmy, ze d ugo´s´c odcinka AB mozemy wyrazi´c poprzez sume:

AB = AX + BX

.

Mozemy to równanie podzieli´c stronami przez d ugo´s´c odcinka BX, stad:

AB

BX

=

AX

BX

+

BX
BX

,

AB

BX

=

AX

BX

+ 1

,

AX

BX

=

AB

BX

1

.

(4.6)

Analogicznie wykorzystujac podzia odcinka AB punktem Y , i dzielac stronami przez BY

otrzymaliby´smy:

AY

BY

=

AB

BY

1

.

(4.7)

background image

4.1 Twierdzenie Menelaosa

43

Wykorzystujac przyjete za ozenie (4.5) oraz (4.6) i (4.7) otrzymujemy, ze:

AB

BX

1 =

AB

BY

1

,

a stad po krótkich przekszta ceniach:

BX = BY

,

co implikuje:

X = Y

.

Ad b)

A

Y

B

X

Zauwazmy, ze prawdziwe sa równo´sci:

AX = AB + BX

oraz AY = AB + BY

Dzielac je stronami odpowiednio przez BX i BY dostaniemy:

AX

BX

=

AB

BX

+

BX
BX

oraz

AY

BY

=

AB

BY

+

BY
BY

,

a to po skorzystaniu z przyjetego za ozenia (4.5) da nam, ze:

AB

BX

+ 1 =

AB

BY

+ 1

,

BX = BY

,

background image

4.1 Twierdzenie Menelaosa

44

co daje w efekcie iz:

X = Y

.

Ad c)

X

Y

A

B

Dla tego przypadku mozemy napisa´c:

BX = AX + AB

.

Dzielac stronami przez BX otrzymamy:

1 =

AX

BX

+

AB

BX

:

,

(4.8)

AX

BX

= 1

AB

BX

.

A takze:

AY = AB + BY

,

co po podzieleniu przez BY da nam:

AY

BY

=

AB

BY

+ 1

.

(4.9)

Dalej z (4.8) mamy:

1 =

AX

BX

+

AB

BX

(4:5)

=

AY

BY

+

AB

BX

(4:9)

=

AB

BY

+ 1 +

AB

BX

,

background image

4.1 Twierdzenie Menelaosa

45

a stad:

0 =

AB

BY

+

AB

BX

.

Tak by´c nie moze, bo przeciez punkty A i B nie pokrywaja sie. Zatem przy powyzszych

za ozeniach lematu przypadek po ozenia punktów z podpunktu c jest sprzeczny.

Dowód:

(twierdzenia Menelaosa) [2] "=)" We´zmy dowolny trójkat 4ABC oraz trzy

wspó liniowe punkty P , Q, R lezace odpowiednio na prostych AB, BC i CA. Pokazemy,

ze zachodzi powyzsza równo´s´c. Zauwazmy, ze mozliwe sa tylko dwa przypadki po ozenia

prostej P QR wobec trójkata 4ABC. Prosta ta moze przecina´c dwa boki trójkata (rys. 1)

lub tez znajdowa´c sie poza nim (rys. 2). Jednak w obu przypadkach dowód jest identyczny.

C

A

B

P

A'

C'

B'

R

Q

rys. 1

background image

4.1 Twierdzenie Menelaosa

46

C

R

Q

P

A

B

C'

B'

A'

rys. 2

Poprowad´zmy z wierzcho ków trójkata 4ABC odcinki prostopad e do prostej P QR. Otrzy-

mane w ten sposób punkty oznaczmy A

0

, B

0

, C

0

. Zauwazmy, ze powsta e w ten sposób

trójkaty sa do siebie podobne (kkk), tzn:

4AA

0

R =

4CC

0

R

,

4CC

0

Q =

4BB

0

Q

,

4BB

0

P =

4AA

0

P:

Mozemy wiec napisa´c odpowiednie proporcje:

z tego, ze 4AA

0

R =

4CC

0

R

mamy:

AA

0

AR

=

CC

0

CR

,

z tego, ze 4CC

0

Q =

4BB

0

Q

mamy:

CC

0

CQ

=

BB

0

BQ

,

za´s z tego, ze 4BB

0

P =

4AA

0

P

mamy:

BB

0

BP

=

AA

0

AP

.

background image

4.1 Twierdzenie Menelaosa

47

Przekszta cajac otrzymane równo´sci otrzymamy:

CC

0

AA

0

=

CR
AR

,

BB

0

CC

0

=

BQ
CQ

,

AA

0

BB

0

=

AP

BP

.

Nastepnie wymnazajac je stronami przez siebie dostajemy:

CC

0

AA

0

BB

0

CC

0

AA

0

BB

0

=

CR
AR

BQ
CQ

AP

BP

,

CR
AR

BQ
CQ

AP

BP

= 1

.

"(=" Za ózmy teraz, ze spe nione sa za ozenia twierdzenia oraz zachodzi równo´s´c:

CR
AR

BQ
CQ

AP

BP

= 1

.

Pokazemy, ze punkty P , Q, R sa wspó liniowe. Oznaczmy punkt przeciecia sie prostych

AB

oraz RQ przez X, jak ilustruje rysunek:

a) gdy prosta RQ przecina boki trójkata 4ABC :

C

A

B

X

A'

C'

B'

R

Q

rys.1a

background image

4.1 Twierdzenie Menelaosa

48

B

A

C

R

A'

B'

C'

X

Q

rys. 1b

b) gdy prosta RQ lezy poza trójkatem 4ABC :

C

R

Q

X

A

B

C'

B'

A'

rys. 2

(4.10)

Przeprowadzajac analogiczne rozumowanie jak w pierwszej cze´sci dowodu otrzymamy, ze:

AX

CQ

CR

BX

BQ

AR

= 1

.

Stad oraz z za ozenia dostajemy:

AP

BP

=

AX

BX

:

z wyzej przyjetych za oze´n wiemy, ze pynkty A, B, P i X sa wspó liniowe.

Jak wida´c mozliwe sa tylko dwa przypadki po ozenia punktu przeciecia X. Moze leze´c

background image

4.2 Twierdzenie Cevy

49

on wewnatrz boku AB (rys. 1b), lub na zewnatrz (rys. 1a i rys. 2). Zauwazmy, ze

aby zachodzi a przyjeta przez nas w za ozeniu równo´s´c w odniesieniu do rozrysowanych

przypadków, punkt P musi znajdowa´c sie wewnatrz odcinka AB dla rys 1a, a na zewnatrz

dla pozosta ych. Stad mamty wniosek, ze punkty P i X musza oba znajdowa´c sie wewnatrz

lub na zewnatrz boku AB:

Stad oraz z otrzymanej proporcji, a takze lematu 3 mozemy wnioskowa´c, ze punkty

P

i X pokrywaja sie. W ten sposób wykazali´smy, ze punkty P , Q, R sa wspó liniowe.

4.2 Twierdzenie Cevy

Zadziwiajacym moze wydawa´c sie fakt, ze identyczna równo´s´c jak w twierdzeniu Menela-

osa wystepuje równiez w twierdzeniu Cevy. Cho´c za ozenia obu sa identyczne, to dotycza

one zupe nie innych w asno´sci.

Zyjacy znacznie pó´zniej od Menelaosa, w oski matematyk Giovanni Ceva (1648-1736), na

którego cze´s´c proste przechodzace przez wierzcho ki trójkata i przecinajace sie w jednym

punkcie nazywamy cewianami, odkry , ze prawdziwe jest:

Twierdzenie 19 (Cevy) [17, str. 11-13], [5, str. 4] Niech dany bedzie trójkat 4ABC

oraz punkty P , Q, R rózne od A, B, C nalezace odpowiednio do prostych AB, BC i CA.

Proste AQ, BR oraz CP przecinaja sie w jednym punkcie (lub sa do siebie równoleg e)

wtedy i tylko wtedy gdy zachodzi równo´s´c:

AP

CQ

CR
BP

BQ

AR

= 1

.

background image

4.2 Twierdzenie Cevy

50

Dowód:

[17, str. 11-12], [1], [5, str. 4-5] "=)" We´zmy dowolny trójkat 4ABC oraz

punkty P , Q, R rózne od A, B, C po ozone odpowiednio na prostych AQ, BR oraz CP

tak, aby odcinki AQ, BR, CP :

1. przecina y sie w jednym punkcie S,

2. by y do siebie równoleg e.

Dowód przeprowadzimy osobno dla dwóch przypadków.

Ad 1. Dla uproszczenia dowodu narysujmy prosta KL przechodzaca przez punkt C

i równoleg a do AB tak, aby punkty K i L by y odpowiednio punktami przeciecia

z prostymi BR oraz AQ.

C

B

A

K

L

S

P

R

Q

Zauwazmy, ze powsta e w ten sposób trójkaty sa do siebie podobne (kkk), skad mozemy

napisa´c nastepujace proporcje:

z tego, ze 4KCR = 4ABR mamy:

KC

AB

=

CR
AR

;

(4.11)

background image

4.2 Twierdzenie Cevy

51

z tego, ze 4CLQ = 4ABQ mamy:

AB

CL

=

BQ
CQ

;

(4.12)

z tego, ze 4KCS = 4P BS mamy:

KC

BP

=

CS
SP

;

(4.13)

z tego, ze 4CLS = 4AP S mamy:

CL

AP

=

CS
SP

:

(4.14)

Przyrównuja´c równo´s´ci (4.13) i (4.14) otrzymujemy:

KC

BP

=

CL

AP

,

a po przekszta ceniach:

CL

KC

=

AP

BP

:

(4.15)

Wymnazajac stronami (4.11), (4.12) oraz (4.15) dostajemy:

KC

AB

AB

CL

CL

KC

=

CR
AR

BQ
CQ

AP

BP

;

AP

CQ

CR
BP

BQ

AR

= 1

.

co ko´nczy dowód w przypadku 1.

Ad 2. Dla uproszczenia dowodu narysujmy prosta KL przechodzaca przez punkt C

i równoleg a do AB tak, aby punkty K i L by y odpowiednio punktami przeciecia

background image

4.2 Twierdzenie Cevy

52

z prostymi BR oraz AQ.

C

B

A

Q

K

L

P

R

Zauwazmy, ze powsta e w ten sposób trójkaty sa do siebie podobne (kkk), skad mozemy

napisa´c nastepujace proporcje:

z tego, ze 4KCQ = 4ABQ mamy:

CQ

KC

=

BQ
AB

;

(4.16)

z tego, ze 4CLR = 4ABR mamy:

CR

CL

=

AR
AB

:

(4.17)

Przekszta cajac równo´sci (4.16) i (4.17) otrzymujemy odpowiednio:

AB =

KC BQ

CQ

;

AB =

CL AR

CR

;

background image

4.2 Twierdzenie Cevy

53

stad:

KC BQ

CQ

=

CL AR

CR

;

BQ CR

CQ AR

=

CL

KC

:

(4.18)

Zauwazmy ponadto, ze:

KC

AP

=

CL

BP

;

a stad po przekszta ceniu otrzymujemy:

AP

P B

=

KC

CL

:

(4.19)

Wymnazajac teraz stronami (4.18) i (4.19) dostajemy:

BQ CR AP
CQ AR P B

=

CL

KC

KC

CL

;

AP

CQ

CR
BP

BQ

AR

= 1

,

co ko´nczy dowód w przypadku 2.

"(=" We´zmy dowolny trójkat 4ABC oraz punkty P , Q, R rózne od A, B, C po ozone

odpowiednio na prostych AQ, BR oraz CP oraz za ózmy, ze zachodzi równo´s´c:

AP

CQ

CR
BP

BQ

AR

= 1:

Pokazemy, ze proste AQ, BR oraz CP przecinaja sie w jednym punkcie (lub sa do siebie

równoleg e). W przypadku gdy chcemy pokaza´c, ze AQ, BR oraz CP przecinaja sie

w jednym punkcie zak adamy, ze proste AQ, BR przecinaja sie w punkcie S, przez który

nie przechodzi prosta CP . Gdy rozwazamy przypadek, w którym proste sa równoleg e

rezygnujemy z tego za ozenia na rzecz równoleg o´sci prostych AQ i BR. Poprowadzmy

teraz prosta CS, a punkt jej przeciecia z bokiem AB oznaczmy przez X. Na mocy pier-

background image

4.3 W asno´s´c prostych Cevy

54

wszej cze´sci twierdzenia prawdziwa jest równo´s´c:

AX

CQ

CR

BX

BQ

AR

= 1:

Stad i za ozenia otrzymujemy, ze:

AP

BP

=

AX

BX

;

zatem na mocy lematu 3 punkty X oraz P pokrywaja sie.

4.3 W asno´s´c prostych Cevy

Twierdzenie 20 (van Aubela) [17, str. 22] Dla dowolnego trójkata 4ABC, jezeli proste

Cevy przecinaja sie w punkcie K, to prawdziwa jest równo´s´c

jAKj
jQKj

=

jARj
jCRj

+

jAP j

jBP j

:

Dowód:

[17, str. 22-25] Niech bedzie dany dowolny trójkat 4ABC oraz trzy proste

Cevy przecinajace sie w punkcie K. Rozpatrzmy dwa przypadki:

1. Punkt K lezy wewnatrz trójkata 4ABC.

2. Punkt K lezy poza trójkatem 4ABC.

background image

4.3 W asno´s´c prostych Cevy

55

Ad 1.

A

B

C

M

N

K

Q

P

R

Oznaczmy punkty przeciecia boków trójkata z prostymi Cevy odpowiednio przez P , Q, R.

Poprowadzmy prosta MN równoleg a do BC przechodzaca przez punkt A. Zauwazmy, ze

powsta e w ten sposób trójkaty 4NAR i 4BCR, 4AMP i 4CBP , 4MNK i 4BCK

oraz 4AMK i 4CQK sa do siebie podobne (kkk). W trójkatach 4NAR i 4BCR

katy przy wierzcho ku R sa jednakowej miary, jako katy wierzcho kowe, za´s

^N = ^B,

^A = ^C jako naprzemianleg e wewnetrzne. Korzystajac z tego mozemy wyciagna´c

nastepujace wnioski:

z tego, ze 4NAR = 4BCR mamy:

jANj

jARj

=

jCBj
jCRj

;

(4.20)

z tego, ze 4AMP = 4CBP mamy:

jAP j

jBP j

=

jAMj

jCBj

;

(4.21)

z tego, ze 4MNK = 4BCK mamy:

jMNj

jCBj

=

jMNj

jCKj

;

(4.22)

background image

4.3 W asno´s´c prostych Cevy

56

z tego, ze 4AMK = 4BQK mamy:

jMKj

jCKj

=

jAKj
jQKj

:

(4.23)

Zauwazmy, ze z (4.22) i (4.23) mozemy napisa´c:

jMNj

jCBj

=

jAKj
jQKj

:

(4.24)

Ponadto, poniewaz punkt A lezy pomiedzy punktami M i N mamy:

jMNj = jANj + jAMj:

(4.25)

Przekszta cajac równo´s´c (4.20) otrzymujemy:

jANj =

jARj jCBj

jCRj

;

(4.26)

za´s z równo´sci (4.21) dostajemy, ze:

jAMj =

jAP j jCBj

jBP j

:

(4.27)

Z (4.24) mozemy dalej zapisa´c:

jAKj
jQKj

=

jMNj

jCBj

(4:25)

=

jAMj + jANj

jCBj

=

jAMj

jCBj

+

jANj

jCBj

=

(4:26);(4:27)

=

jARj jCBj

jCRj

jCBj

+

jAP j jCBj

jBP j

jCBj

=

jARj jCBj
jCRj jCBj

+

jAP j jCBj

jBP j jCBj

=

jARj
jCRj

+

jAP j

jBP j

background image

4.3 W asno´s´c prostych Cevy

57

co naleza o udowodni´c.

Ad2.

K

A

P

R

B

C

M

N

Q

Oznaczmy punkty przeciecia boków trójkata 4ABC oraz ich przed uze´n z prostymi Cevy

odpowiednio przez P , Q, R. Poprowad´zmy prosta MN równoleg a do BC; przechodzaca

przez punkt A. Zauwazmy, ze powsta e w ten sposób trójkaty sa do siebie parami przysta-

jace (4MAR i 4BCR, 4ANP i 4BCP , 4MNK i 4BCK oraz 4MAK i 4BQK).

Korzystajac z tego mozemy zapisa´c nastepujace równo´sci:

z tego , ze 4MAR = 4BCR mamy:

AM

BC

=

AR
CR

;

(4.28)

z tego, ze 4ANP = 4BCP mamy:

AN

BC

=

AP

BP

;

(4.29)

z tego, ze 4MNK = 4BCK mamy:

M N

BC

=

M K

BK

;

(4.30)

background image

4.3 W asno´s´c prostych Cevy

58

z tego, ze 4MAK = 4BQK mamy:

M K

BK

=

AK
QK

:

(4.31)

Z (4.30) i (4.31) otrzymujemy, ze:

AK
QK

=

M N

BC

:

Oczywi´scie MN = AM + AN, za´s przekszta cajac proporcje (4.28) i (4.29) otrzymu-

jemy:

AM =

BC AR

CR

;

(4.32)

AN =

BC AP

BP

:

(4.33)

Podsumowujac mamy:

AK
QK

=

M N

BC

=

AM + AN

BC

=

AM

BC

+

AN

BC

=

(4:32);(4:33)

=

BC AR

CR

BC

+

BC AP

BP

BC

=

BC AR
CR BC

+

BC AP

BP BC

=

AR
CR

+

AP

BP

;

co naleza o udowodni´c.

background image

Rozdzia 5

Szczególne punkty trójkata

5.1 Punkt Gergonne'a

Okazuje sie, ze cztery wyzej wymienione szczególne punkty, powsta e w skutek przeciecia

prostych Cevy, to jeszcze nie wszystkie charakterystyczne, powstajace w ten sposób.

Do zbioru szczególnych punktów trójkata nalezy m. in punkt Gergonne'a, którego

nazwa pochodzi od francuskiego matematyka Josepha Diaza Gergonne'a (1771-1859) [12].

Pierwsze wykszta cenie w dziedzinie matematyki uzyska on w Collegu w Nancy, a pó´zniej

od prywatnych korepetytorów, co w ówczesnych czasach by o bardzo popularnym sposo-

bem zdobywania wiedzy. Jego edukacja zosta a przerwana przez Rewolucje Francuska,

w której bra czynny udzia , jako kapitan Gwardii Narodowej. Gdy we Francji nasta juz

pokój, Gergonne podrózowa po Europie, a do Francji powróci w 1793 roku, gdzie w

Nimes dosta stanowisko matematyka Politechniki École. Poniewaz Gergonne boryka sie

z problemem wydawania swoich prac, w roku 1810 zacza sam wydawa´c magazyn matem-

atyczny pod tytu em: "Annales de mathématiques pures et appliquées" ("Roczniki matem-

atyki czystej i stosowanej"). Georgonne interesowa sie szczególnie geometria, stad tez by

to temat najcze´sciej pojawiajacy sie na amach jego rocznika. Na przestrzeni 21 lat jego

wydawania swoje prace publikowa y w nim takie matematyczne s awy jak cho´cby Pon-

celet czy Steiner. Zapoznajac sie z biogra a tego matematyka natra am na jeden

z jego cytatów, który wydaje mi sie bardzo inspirujacy, dlatego postanowi am go w a´snie

59

background image

5.1 Punkt Gergonne'a

60

tu zacytowa´c:

"Dopóki nie da sie w kilku s owach wyt umaczy´c danej teorii dowolnemu napotkanemu

przechodniowi, dopóty nie mozna odczuwa´c satysfakcji z wypowiedzenia w niej

ostatniego s owa."

Twierdzenie 21 (punkt Gergonne'a) [17, str. 14] Proste aczace wierzcho ki trójkata

z punktami styczno´sci okregu wpisanego w ten trójkat przecinaja sie w jednym punkcie.

Punkt ten nazywamy punktem Gergonne'a.

Dowód:

[17, str. 14] We´zmy dowolny trójkat 4ABC oraz wpisany w niego okrag

o ´srodku W . Punkty styczno´sci okregu z bokami AB, BC, CA oznaczmy odpowiednio P ,

Q

, R.

C

A

B

W

P

Q

R

G

Pokazemy, ze proste AQ, BR i CP przecinaja sie w jednym punkcie. Zauwazmy, ze prosta

AW

jest dwusieczna kata

^RAP, to:

j^RAW j = j^W AP j .

background image

5.1 Punkt Gergonne'a

61

Odcinki RW oraz W P sa sobie równe jako promienie okregu wpisanego oraz:

RW

?RA,

W P

?AP:

Z tych obserwacji wynika wniosek, ze trójkaty 4AW R i 4AW P sa podobne (bbb) za-

tem:

jARj = jAP j :

(5.34)

Przeprowadzajac analogiczne rozumowanie dla pozosta ych trójkatów otrzymujemy, ze:

jBP j = jBQj ;

(5.35)

jCQj = jCRj :

(5.36)

Mnozac stronami równo´sci (5.34), (5.35), (5.36) otrzymujemy:

AR BP CQ = AP BQ CR

,

za´s dzielac stronami przez (AR CQ BP ) mamy:

AP CR BQ
AR CQ BP

= 1:

Zauwazmy, ze równo´s´c ta jest identyczna z równo´scia z twierdzenia Cewy, a to ´swiadczy

o tym, ze proste AQ, BR i CP przecinaja sie w jednym punkcie.

background image

5.2 Punkt Nagela

62

5.2 Punkt Nagela

Twierdzenie, które przedstawie ponizej pochodzi od niemieckiego geometry Chri-

stiana Heinricha von Nagela (1803-82) [11]. Po uko´nczeniu studiów teologicznych w 1825

roku zacza on uczeszcza´c na wyk ady z matematyki na Uniwersytecie Tübingen w Niem-

czech. Po roku zosta on nauczycielem matematyki oraz nauk przyrodniczych w jednym

z liceów i nadal kontynuowa swoja nauke. W roku 1830 uzyska tytu doktora mate-

matyki, a w pracy awansowa na stanowisko profesora. W 1940 roku wyda ksiazke o idei

nauczania w szko ach ´srdnich. By a to pierwsza z jego sze´sciu ksiazek, które opublikowa .

Z punktu widzenia mojej pracy najwazniejsza z nich to "Rozwój Wspó czesnej Geometrii

Trójkata". Zawar w niej nie tylko twierdzenie i dowód dotyczace punktu Nagela, ale

równiez punktu Gergonne'a. Zanim odszed na emeryture w 1875 roku zosta wyrózniony

tytu em Rektora uczelni w Ulmie, a takze Honorowego Obywatela tego miasta.

Twierdzenie 22

(punkt Nagela) [17, str. 20] Proste aczace wierzcho ki dowolnego

trójkata z punktami styczno´sci odpowiednich okregów dopisanych przecinaja sie w jednym

punkcie zwanym punktem Nagela.

background image

5.2 Punkt Nagela

63

Dowód:

[17, str. 20-21] We´zmy dowolny trójkat 4ABC i narysujmy okregi dopisane

do niego. Punkty styczno´sci z trójkatem 4ABC oznaczmy odpowiednio Q, R, P .

C

A

B

SA

Q

R

P

X

Y

N

W dalszej cze´sci dowodu bedziemy rozwaza´c okrag styczny bezpo´srednio do boku BC,

o ´srodku w punkcie S

A

. Przyjmijmy dalej oznaczenia:

X

- punkt styczno´sci rozwazanego okregu z prosta AC,

Y

- punkt styczno´sci rozwazanego okregu z prosta AB.

Zauwazmy, ze poniewaz ´srodek okregu S

A

lezy na dwusiecznej kata

^A, a punkty X i Y

sa punktami jego styczno´sci z ramionami kata, to:

AX = AY:

(5.37)

Obserwujemy równiez, ze:

CY

= CQ;

(5.38)

BX = BQ;

background image

5.2 Punkt Nagela

64

zatem oznaczajac obwód trójkata 4ABC przez 2p mozemy zapisa´c:

2p = AB +BC +AC = AB +BQ+CQ+AC

(5:38)

= AB +BX +CY +AC = AX +AY

.

Dalej z (5.37) mamy:

AX = AY = p

.

Stad wniosek, ze punkt Q i wierzcho ek A podzieli y obwód na po owe. Przeprowadzajac

analogiczne rozwazania dla pozosta ych punktów styczno´sci okregów dopisanych mozemy

uogólni´c, ze punkty styczno´sci wraz z przeciwleg ymi wierzcho kami trójkata dziela ob-

wód na pó . Korzystajac dalej z tego wniosku mozemy zapisa´c nastepujace równo´sci:

CQ = p

AC

,

AR = p

AB

,

BP = p

BC

,

(5.39)

AP = p

AC

,

BP = p

AB

,

RC = p

BC

.

(5.40)

Mnozac stronami równo´sci z (5.39) otrzymujemy:

CQ AR RC = (p

AC) (p

AB) (p

BC)

,

(5.41)

za´s z (5.40):

AP BP RC = (p

AC) (p

AB) (p

BC)

,

(5.42)

Nastepnie dzielac stronami (5.42) przez (5.41) mamy:

AP BP RC
CQ AR BP

= 1

.

Z twierdzenia Cevy wynika, ze skoro spe niona jest powyzsza równo´s´c, to proste AQ, BR,

CP

musza przecina´c sie w jednym punkcie.

background image

5.3 Twierdzenie Napoleona

65

5.3 Twierdzenie Napoleona

Kolejne twierdzenie, które przedstawie nosi nazwe twierdzenia Napoleona. Zamieszczam

je w a´snie w rozdziale dotyczacym szczególnych punktów trójkata, gdyz dotyczy ´srodków

ortycznych trójkatów równobocznych zwiazanych z dowolnym trójkatem.

Napoleon Bonaparte [5], [11] by znany ówczesnym ze swoich matematycznych

zainteresowa´n. Szczególnie pasjonowa a go geometria. Jednakze najprawdopodobniej nie

osiagna on zadnych znaczacych wyników w tej dziedzinie. Istnieje anegdota, ze zanim

og osi siebie w adca Francji zaangazowa sie w matematyczne dysputy z Lagrangem

i Laplacem. Jednakze wiedza Napoleona w dziedzinie matematyki musia a nie by´c

osza amiajaca, gdyz Laplace powiedzia mu wprost, ze ostatnia rzecza, która by od niego

pragna sa lekcje geometrii. Niemniej jednak ta szczera opinia nie zniecheci a Napoleona

do niego i mianowa go dowódca inzynierii swojego wojska. Z powyzszych przyczyn

watpliwym wydaje sie fakt, ze to w a´snie Napoleon udowodni czy cho´cby sformuowa

twierdzenie sygnowane jego nazwiskiem. Podobne jak i watpliwa by a jego znajomo´s´c

angielskiego aby sformuowa , przypisywany mu palindrom "Able was I ere I saw Elba".

Twierdzenie 23

(Napoleona) [5, str. 63], [3] Jezeli na bokach dowolnego trójkata

skonstruujemy na zewnatrz trójkaty równoboczne, to trójkat powsta y przez po aczenie ich

´srodków ortycznych jest równoboczny.

background image

5.3 Twierdzenie Napoleona

66

Dowód:

[3] We´zmy dowolny trójkat 4ABC.

C

A

B

A'

B'

C'

s

s

D

t

t

E

u

u

F

x

y

z

b

c

a

Budujemy na jego bokach trójkaty równoboczne 4ACB

0

, 4CBA

0

oraz 4ABC

0

.

Nastepnie konstruujemy wysoko´sci tych trójkatów, a powsta e w ten sposób ´srodki orty-

czne oznaczamy odpowiednio D, E i F . Bedziemy chcieli pokaza´c, ze trójkat 4DEF jest

równoboczny. Dla uproszczenia dowodu przyjmijmy nastepujace oznaczenia. Niech:

DC = DA = s;

EC = EB = t;

F B = F A = u;

DE = x;

EF = y;

F D = z;

AB = c;

BC = a;

CA = b;

background image

5.3 Twierdzenie Napoleona

67

^ACB = ^C;

^CBA = ^B;

^BAC = ^A:

Poniewaz trójkaty 4ACB

0

, 4CBA

0

, 4ABC

0

sa równoboczne, to na mocy zadania przed-

stawionego w rozdziale 1 ich wysoko´sci wyraza sie wzorami:

h

4ACB

0

=

p

3

2

b;

h

4CBA

0

=

p

3

2

a;

h

4ABC

0

=

p

3

2

c:

Na poczatek we´zmy pod uwage trójkat 4ACB

0

. Poniewaz jest on równoboczny, to jego

wysoko´sci pokrywaja sie z ´srodkowymi, a co za tym idzie ´srodek ortyczny jest punktem

przeciecia ´srodkowych. Jak wiemy z odpowiedniego twierdzenia punkt ten dzieli ´srodkowe

w stosunku 2 : 1 czyli:

s =

2
3

h

4ACB

0

=

2
3

p

3

2

b =

p

3

3

b:

(5.43)

Przeprowadzajac analogiczne rozumowanie dla pozosta ych trójkatów równobocznych

dostajemy:

t =

p

3

3

a;

(5.44)

u =

p

3

3

c:

Poniewaz w trójkace równobocznym wysoko´sci pokrywaja sie równiez z dwusiecznymi

katów wewnetrznych, które wynosza w nim 60 , to mozemy napisa´c, ze:

j^DCAj = j^ECBj = j^EBCj = j^CF Bj = j^CF Aj = j^CADj = 30 .

background image

5.3 Twierdzenie Napoleona

68

Rozwazmy teraz trójkat 4DCE. Stosujac prawo cosinusów mamy:

x

2

= s

2

+ t

2

2st cos(30 +

j^Cj + 30 );

x

2

= s

2

+ t

2

2st cos(

j^Cj + 60 ):

(5.45)

Podstawiajac do (5.45) równo´sci z (5.43) i (5.44) otrzymamy:

x

2

=

p

3

3

b

!

2

+

p

3

3

a

!

2

2

p

3

3

b

p

3

3

a cos(

j^Cj + 60 );

x

2

=

3
9

b

2

+

3
9

a

2

2

3
9

ab

cos(

j^Cj + 60 ) / 3;

3x

2

= b

2

+ a

2

2ab cos(

j^Cj + 60 ):

(5.46)

Wykorzystujac w (5.46) wzór na cosinus sumy katów mamy dalej:

3x

2

= b

2

+ a

2

2ab [cos

j^Cj cos 60

sin

j^Cj sin 60 ] ;

3x

2

= b

2

+ a

2

2ab

"

1
2

cos

j^Cj

p

3

2

sin

j^Cj

#

;

3x

2

= b

2

+ a

2

ab cos

j^Cj +

p

3ab sin

j^Cj:

(5.47)

Napiszemy teraz posta´c twierdzenia cosinusów dla trójkata 4ABC:

c

2

= a

2

+ b

2

2ab cos

j^Cj;

stad:

cos

j^Cj =

c

2

a

2

b

2

2ab

:

(5.48)

Dla tego trójkata mamy tez (po´srednio) z twierdzenia sinusów, ze:

P

4ABC

=

1
2

ab sin

j^cj;

background image

5.3 Twierdzenie Napoleona

69

zatem:

sin

j^Cj =

2P

4ABC

ab

:

(5.49)

Podstawiajac (5.48) i (5.49) do (5.47) otrzymujemy:

3x

2

= b

2

+ a

2

ab

c

2

a

2

b

2

2ab

+

p

3ab

2P

4ABC

ab

;

3x

2

= b

2

+ a

2

+

c

2

2

a

2

2

b

2

2

+ 2

p

3 P

4ABC

;

3x

2

=

1
2

a

2

+ b

2

+ c

2

+ 2

p

3 P

4ABC

:

(5.50)

Zauwazmy, ze przeprowadzajac analogiczne rozumowanie jak powyzej dla trójkatów

4EBF i 4F AD dostaliby´smy, ze:

3y

2

=

1
2

a

2

+ b

2

+ c

2

+ 2

p

3 P

4ABC

;

(5.51)

3z

2

=

1
2

a

2

+ b

2

+ c

2

+ 2

p

3 P

4ABC

:

(5.52)

Przyrównujac do siebie (5.50), (5.51) i (5.52) mamy:

3x

2

= 3y

2

= 3z

2

;

a poniewaz d ugo´sci boków musza by´c dodatnie to:

x = y = z

,

a zatem 4DEF jest równoboczny.

background image

Rozdzia 6

Twierdzenia zwiazane z okregiem opisanym na

trójkacie

W rozdziale tym chcia abym zaprezentowa´c kilka twierdze´n zwiazanych z okregiem

opisanym na trójkacie. Pierwsze z nich, to tzw. twierdzenie Simsona. Jednak cho´c w´sród

matematyków odnajdujemy Szkota, Roberta Simsona (1687-1768) [12], którego przez lata

kojarzono z tym w a´snie twierdzeniem okazuje sie, ze nie on jest jego autorem. Sim-

son zajmowa sie geometria trójkata, jednak w´sród jego notatek nie znaleziono ani s owa,

które mog o by potwierdza´c, ze próbowa je udowodni´c czy cho´cby sformuowa´c jego tre´s´c.

Powstaje wiec pytanie komu rzeczywi´scie zawdzieczamy to twierdzenie i dlaczego nosi

ono nazwe Simsona. Okazuje sie, ze zosta o ono napisane w 1797 roku przez Williama

Wallace'a, równiez szkockiego matematyka, zyjacego w latach 1768-1843. Jak atwo za-

uwazy´c, Wallace nie móg by´c uczniem Simsona. Mozna by sie domy´sla´c, ze by´c moze

zainspirowany jego pracami stworzy je i zadedykowa swojemu rodakowi. Jednak fakty

okazuja sie by´c inne, a dzieki temu, ze nie tylko mnie, ale równiez J.S. Mackaya (pier-

wszego prezesa Edinburgh Math Society) zainteresowa o to pytanie, wiemy jak by o na-

prawde. Francuski matematyk, zajmujacy sie geometria François Joseph Servois (1768-

1847) odniós sie do twierdzenia autorstwa Wallacea s owami "le theoreme suivant, qui

est, je crois, de Simson", co po polsku oznacza "nastepujace twierdzenie, które jest, jak

mniemam, Simsona". Nastepnie Jean Victor Poncelet (1788-1867) powo ujac sie na jego

s owa, równiez przypisa autorstwo Simsonowi. I tak b ad by powielany, a nazwisko przy

70

background image

6.1 Twierdzenie Simsona

71

tym twierdzeniu utrwalane, az do wnikliwej analizy J.S. Mackaya, który pokaza jak by o

w rzeczywisto´sci.

6.1 Twierdzenie Simsona

Dzi´s twierdzenie oraz prosta Simsona spotykane sa równiez pod nazwa twierdzenia i prostej

Wallace'a. A oto i one:

Twierdzenie 24 (Simsona) [17, str. 49] Spodki prostopad ych opuszczonych z dowolnego

punktu okregu na boki trójkata wpisanego w ten okrag leza na jednej prostej zwanej prosta

Simsona.

Dowód:

[5, str. 40-41], [17, str. 49-50] We´zmy dowolny trójkat 4ABC wpisany

w okrag o ´srodku S. Wybierzmy na tym okregu dowolny punkt X i poprowadzmy

z niego proste prostopad e do boków trójkata 4ABC lub ich przed uze´n. Spodki tych

prostopad ych oznaczmy odpowiednio przez P , Q i R. Narysujmy równiez odcinki aczace

punkt X z wierzcho kami A, B, C.

S

C

A

B

X

P

R

Q

background image

6.1 Twierdzenie Simsona

72

Zauwazmy, ze katy

^CXB i ^CAB maja równa miare, jako wpisane, oparte na tym

samym uku CB. Oznaczmy ja przez

^ . Podobnie jak ^XAC i ^XBC oparte na uku

XC

, których miare bedziemy dalej oznacza´c przez

^ . Przyjrzyjmy sie teraz trójkatom

prostokatnym 4AP X i 4BQX. Oznaczmy:

^CXQ = ^ ;

^PXA = ^ .

Sumy katów w tych trójkatach mozemy zapisa´c odpowiednio:

w 4BQX :

^ + ^ + ^ + 90 = 180 ;

w 4AP X :

^ + ^ + ^ + 90 = 180 ;

stad:

^ = ^ .

Zauwazmy dalej, ze trójkaty 4QXC i 4AP X sa podobne (kkk), zatem prawdziwa jest

proporcja:

CQ

AP

=

XC
XA

.

(6.53)

Katy

^XCA i ^XBA maja identyczna miare, bo sa oparte na tym samym uku XA

i bedziemy ja oznacza´c przez

^ . Chcac zapisa´c sumy katów dla trójkatów 4XRC

i 4XP B mamy:

w 4XRC :

90 +

^ + ^ = 180 ;

background image

6.2 Twierdzenie Lemoine

73

w 4XP B :

90 +

^ + ^PXB = 180 ;

stad obserwujemy, ze:

^PXB = ^ .

Zatem trójkaty 4XRC i 4XP B sa podobne (kkk), a co za tym idzie prawdziwa jest

proporcja:

P B
RC

=

XB
XC

.

(6.54)

Zauwazmy równiez, ze podobne sa trójkaty 4XAR i 4XQB (kkk), stad:

AR

QB

=

XA

XB

.

(6.55)

Wymnazajac stronami (6.53), (6.54), (6.55) otrzymamy:

CQ

AP

P B
RC

AR

QB

=

XC
XA

XB
XC

XA

XB

= 1

,

czyli:

CQ

AP

P B
RC

AR

QB

= 1:

A dalej na podstawie twierdzenia Menelaosa mozemy stwierdzi´c, ze punkty P , Q, R sa

wspó liniowe.

6.2 Twierdzenie Lemoine

Kolejne twierdzenie zwiazane z okregiem opisanym na trójkacie nosi nazwe za-

czerpnieta od nazwiska francuskiego matematyka Emile'a Michel'a Hyacinthe'a Lemoine

(1840-1912) [12], [11] . W roku 1860 uko´nczy on Politechnike w Paryzu i rozpocza prace

background image

6.2 Twierdzenie Lemoine

74

jako inzynier, ale nadal jako hobby zajmowa sie geometria. Co ciekawe, nie tylko mate-

matyka, ale równiez muzyka by a jego pasja - by on za ozycielem i cz onkiem muzycznego

zespo u "La Trompette" (Trabki) Jednakze wbrew pozorom twierdzenie to nie zosta o

odkryte po raz pierwszy przez Lemoine, a tylko nazwane w 1884 r. przez J. Neuberga

na jego cze´s´c. Jednak i on nie by pierwszym odkrywca, gdyz twierdzenie to pojawi o

sie wcze´sniej w pracach L.Huilier'a w 1809 oraz Grebego w 1847. Ta niespotykana ilo´s´c

"odkrywców" jak na jedno twierdzenie spowodowa a, ze po dzi´s dzie´n spotykane jest ono

oraz punkt, którego dotyczy pod róznymi nazwami - we Francji jako punkt Lemoine,

w Niemczech jako punkt Grabego, oraz jako punkt L.Huilier'a-Lemoine'-Grebego.

Twierdzenie 25

(Lemoine) [17, srt. 49] Iloczyn odleg o´sci dowolnego punktu okregu

opisanego na trójkacie od wierzcho ka trójkata wpisanego i od boku przeciwleg ego do

tego wierzcho ka jest dla dowolnego punktu wielko´scia sta a.

Dowód:

[17, str. 50] We´zmy dowolny trójkat 4ABC wpisany w okrag o ´srodku S.

Wybierzmy na tym okregu dowolny punkt X i poprowadzmy z niego proste prostopad e

do boków trójkata 4ABC lub ich przed uze´n. Spodki tych prostopad ych oznaczmy

odpowiednio przez P , Q i R. Narysujmy równiez odcinki aczace punkt X z wierz-

background image

6.2 Twierdzenie Lemoine

75

cho kami A, B, C.

S

C

A

B

X

P

R

Q

Zauwazmy, ze katy

^CXB i ^CAB maja równa miare, jako wpisane, oparte na tym

samym uku CB. Oznaczmy ja przez

^ . Podobnie jak ^XAC i ^XBC oparte na uku

XC

, których miare bedziemy dalej oznacza´c przez

^ . Przyjrzyjmy sie teraz trójkatom

prostokatnym 4AP X i 4BQX. Oznaczmy:

^CXQ = ^ ;

^PXA = ^ .

Sumy katów w tych trójkatach mozemy zapisa´c odpowiednio:

w 4BQX :

^ + ^ + ^ + 90 = 180 ;

w 4AP X :

^ + ^ + ^ + 90 = 180 ;

stad:

^ = ^ .

background image

6.2 Twierdzenie Lemoine

76

Zauwazmy dalej, ze trójkaty 4QXC i 4AP X sa podobne (kkk), zatem prawdziwa jest

proporcja:

XQ
XP

=

XC
XA

,

skad XQ XA = XP XC.

(6.56)

Katy

^XCA i ^XBA maja identyczna miare, bo sa oparte na tym samym uku XA

i bedziemy ja oznacza´c przez

^ . Chcac zapisa´c sumy katów dla trójkatów 4XRC

i 4XP B mamy:

w 4XRC :

90 +

^ + ^ = 180 ;

w 4XP B :

90 +

^ + ^PXB = 180 ;

stad obserwujemy, ze:

^PXB = ^ .

Zatem trójkaty 4XRC i 4XP B sa podobne (kkk), a co za tym idzie prawdziwa jest

proporcja:

XP
XR

=

XB
XC

,

skad XP XC = XR XB .

(6.57)

Zauwazmy równiez, ze podobne sa trójkaty 4XAR i 4XQB (kkk), stad:

XR
XQ

=

XA

XB

,

skad XR XB = XQ XA .

(6.58)

Z przechodnio´sci relacji równo´sci oraz (6.56), (6.57), (6.58) otrzymujemy:

XA XQ = XB XR = XC XP

co naleza o pokaza´c.

background image

6.3 Twierdzenie Salmona

77

6.3 Twierdzenie Salmona

Twierdzenie, które za chwile przedstawie przypisywane jest irlandzkiemu matem-

atykowi i teologowi zarazem - Georgowi Salmonowi (1819-1904) [12], w swojej m odo´sci

studiowa on matematyke w Dublinie oraz Trinity, gdzie zdobywa liczne stypendia i wy-

róznienia. Podczas jednego z wyjazdów na stypendia zacza interesowa´c sie duchowa

sfera zycia. Zainteresowania te poch one y go tak bardzo, ze zaniecha bada´n w dziedzinie

matematyki, a gdy w roku 1862 zaproponowano mu stanowisko profesora uczelni w Tri-

nity, postawiono mu warunek - albo matematyka, albo teologia. Salmon bez wahania

wybra teologie. Jednak najprawdopodobniej jego decyzja nie by a spowodowana nieche-

cia do matematyki, a mozliwo´scia sprawdzenia sie jako teolog, gdyz ko´sció Irlandii przezy-

wa wówczas kryzys. Niemniej jednak równiez jako teolog Salmon zajmowa sie matem-

atyka, ale juz dla w asnej przyjemno´sci i podczas gdy jego teologiczne dysputy sz y do

druku, matematyczne notatki zostawa y w prywatnych notesach.

Twierdzenie 26 (Salmona) [17, str. 50] Jezeli z punktu lezacego na okregu poprowadzimy

3 dowolne cieciwy i na kazdej z nich jako na ´srednicy zbudujemy dowolny okrag, to te okregi

przecinaja sie parami w trzech punktach lezacych na jednej prostej.

Dowód:

[17, str. 50-51] Oznaczmy ko´nce trzech dowolnych cieciw wychodzacych

z wybranego punktu X przez A, B, C. Wówczas punkty te utworza trójkat 4ABC

wpisany w okrag. Z punktu X poprowadzimy odcinki prostopad e do boków trójkata

4ABC, a punkty ich przeciecia z bokami lub ich przed uzeniami oznaczymy przez P ,

background image

6.3 Twierdzenie Salmona

78

Q

, R.

A

X

B

C

P

Q

R

Zgodnie z twierdzeniem Simsona punkty P , Q, R beda leza y na jednej prostej. Pokazemy

teraz, ze punkty te sa równiez punktami przeciecia okregów skonstruowanych na cieciwach

XA

, XB, XC. Zauwazmy, ze kat

^XPA jest prosty jako wpisany w okrag o ´srednicy

XA

i oparty na niej, a takze jako wpisany w okrag o ´srednicy XB i równiez na niej oparty.

Stad punkt P jest punktem przeciecia tych dwóch okregów. Analogicznie wykazemy dla

punktów R i Q, ze sa one punktami przeciecia okregów.

background image

Rozdzia 7

Dodatki

SZCZEGÓLNE OKREGI ZWIAZANE Z TRÓJKATEM

Okr gi dopisane

Okr g opisany

Okr g wpisany

Okr g dziewi ciu punktów

79

background image

7 Dodatki

80

SZCZEGÓLNE PUNKTY ZWIAZANE Z TRÓJKATEM

rodek okr gu wpisanego

rodek okr gu dopisanego

rodki boków

spodki wysoko ci

ortocentr

rodek okr gu opisanego

rodek ci

ko ci

punkt Gergonne'a

punkt Nagela

rodek okr gu dziewi ciu punktów

background image

7 Dodatki

81

SZCZEGÓLNE PROSTE ZWIAZANE Z TRÓJKATEM

prosta Eulera

prosta Simsona

przyk adowe proste Cevy
(symetralne boków)

background image

Bibliogra a

[1] A. Bogomolny, Ceva's Theorem: A Matter of Appreciation, X.1999,

http://www.cut-the-knot.org/Generalization/CevaPlus.shtml

[2] A. Bogomolny, The Menelaus Theorem, XI. 1999,

http://www.cut-the-knot.org/Generalization/Menelaus.shtml

[3] S. Brodie, Napoleon's Theorem, http://www.cut-the-knot.org/proofs/napoleon.shtml

[4] A. Brombacher, An exploration of triangles and points of concurrency,

http://jwilson.coe.uga.edu/EMT668/EMT668.Student.Folders/BrombacherAarnout/write-
up%203.aarnout/WRITEUP3AARNOUT.htmlW.

[5] H. S. M. Coxeter, Geometry Revisited, The Mathematical Association of America,

New York 1967

[6] H. S. M. Coxter, Introduction to Geometry, John Wiley & Sons INC.

[7] R. Doman, Wyk ady z Geometrii Elementarnej, Wydawnictwo Naukowe, Pozna´n 2001

[8] R. Fenn, Geometry, Springer, London 2003

[9] W.Janowski, Geometria dla klasy I Liceum Ogólnokszta cacego i Technikum,

Pa´nstwowe Zak ady Wydawnictw Szkolnych, Warszawa 1969

[10] C. Kimberling, Encyclopedia of Triangle Centers - ETC,

http://faculty.evansville.edu/ck6/encyclopedia/

[11] C. Kimberling, Triangle Geometers, http://faculty.evansville.edu/ck6/bstud/tg.html

[12] J O'Connor, E. F Robertson, Biographies,

http://turnbull.mcs.st-and.ac.uk/~history/Biographies/

[13] J. R. Silvester, Geometry Ancient and Modern, Oxford University Press

[14] W. Waliszewski redaktor naczelny, Encyklopedia Szkolna Matematyka,

Wydawnictwa Szkolne i Pedagogiczne, Warszawa 1989

[15] D. Zakrzewska, M. Zakrzewski, Jak rozwiazywa´c zadania - Geometria, Quadrivium,

Wroc aw 1996

82

background image

Bibliogra a

83

[16] A. Zalewska, E. Stachowski, Z Pitagorasem do liceum - Teoria,

O cyna Wydawniczo-Poligra czna i Reklamowo-Handlowa "ADAM", Warszawa 1995

[17] S. I. Zetel, Geometria Trójkata, Pa´nstwowe Zak ady Wydawnictw Szkolnych,

Warszawa 1964


Wyszukiwarka

Podobne podstrony:
geometria i garsc dowodow id 18 Nieznany
geometria w płaszczyźnie
GEOMETRIA
GEOMETRIA OBLICZENIOWA I
lec6a Geometric and Brightness Image Interpolation 17
Geometria wykreślna Ćwiczenie 8
Algebra liniowa i geometria kolokwia AGH 2012 13
Geometria wykreślna przenikanie brył2
GK 9 Przekształcenia geometryczne
Zynel M Geometria elementarna id 106714
Geometria Wykreślna wykłady
Geometria krzywych i powierzchn Nieznany
Geometria W 1 2
geometria analityczna
Co to jest teoria względności podstawy geometryczne
geometria zadania 1 25 aksonome Nieznany (3)
Geometria wykreślna Ćwiczenie 7

więcej podobnych podstron