GEOMETRIJA TRIKOTNIKA, OROSLAN IN RAVELLO BOJAN HVALA Fakulteta za naravoslovje in matematiko Univerza v Mariboru Math. Subj. Class. (2010): 51M04, 51M15, 51N20 V ˇ clanku predstavimo Seebachov izrek iz geometrije trikotnika. Dogajanje, podobno kot pri vodenih ogledih filmov, poteka na dveh kanalih. Na enem poteka matematiˇ cna predstavitev tematike, na drugem pa klepet o moˇ znostih, dilemah in ozadjih. TRIANGLE GEOMETRY, OROSLAN AND RAVELLO In this article, we present Seebach’s theorem, which is a topic in triangle geometry. The events, as during guided online film screenings, take place on two channels. On one, there is a mathematical presentation of the topic, and on the other, a chat about possibilities, dilemmas, and backgrounds. Uvod Pred kratkim sem si ogledal slovenski film Oroslan reˇ ziserja Matjaˇ za Iva- niˇ sina. Film kot medij za prenaˇ sanje sporoˇ cil spremljam z velikim zani- manjem. Posebej rad imam evropski avtorski film. Oroslan mi je vzbudil zanimanje ˇ ze ob pripravah na snemanje. Zgodbo Zdravka Duˇ se, ki se je dogajala na Tolminskem, so avtorji prenesli v Porabje. Sledimo dolgim meditativnim posnetkom in dogajanju pripenjamo nabor lastnih asociacij. Film teˇ ce poˇ casi, ˇ casa za osebni prispevek je dovolj. Pozneje sem na spletu zasledilmoˇ znostvodenegaogledafilma. Filmteˇ ce,vzporednopasemodera- tor in avtor pogovarjata o ozadjih, idejah in moˇ znostih. Ogled se je izkazal za dragocenega. Pogosto je potrdil ustreznost lastne percepcije filma in jo razˇ siril v ˇ stevilne, prej neslutene smeri. Od tod ideja o podobni eksperimentalni predstavitvi, tokrat matema- tiˇ cne teme. Nivoja se loˇ cita po pisavi. Matematiˇ cni nivo je pisan v obiˇ cajni pisavi, nivo klepeta v ozadju pa boste prepoznali po zapisu v taki pisavi. *** Geometrija trikotnika je veja matematika, ki se ukvarja s fiksnim trikot- nikom ABC in z njim povezanimi znaˇ cilnimi toˇ ckami, premicami, kroˇ zni- cami in drugimi objekti. Nekatere teme iz geometrije trikotnika so bile v Obzorniku ˇ ze prisotne. Tako je bil v ˇ clanku [7] predstavljen pojem znaˇ cilne toˇ cke trikotnika, v [12] pa kubiˇ cne krivulje trikotnika. Obzornik mat. fiz. 68 (2021) 3 81 Bojan Hvala Izvrstna vstopna toˇ cka v geometrijo trikotnika je spletna stran ameri- ˇ skega matematika Clarka Kimberlinga [1], ki med drugim prinaˇ sa seznam znaˇ cilnih toˇ ck trikotnika z vsemi enciklopediˇ cno zbranimi podrobnostmi. V tem ˇ clanku bomo uporabljali tam nastopajoˇ ce oznake, ki so v geome- triji trikotnika standardne. Tako bomo notranje kote trikotnika oznaˇ cevali z ∠A,∠B,∠C, njihove velikosti pa kar z A,B,C. Povod za to izbiro je dejstvo, da bomo grˇ ske ˇ crke potrebovali za druge namene. Kimberling v svojih pojasnilih tudi ugotavlja, da je ta zapis praktiˇ cen in da sega nazaj vse do Eulerja. Na ta naˇ cin res z isto ˇ crko oznaˇ cimo dve stvari, ogliˇ sˇ ce trikotnika in velikost notranjega kota, a je verjetnost, da bi pri tem priˇ slo do nesporazuma, zelo majhna. Seebachov izrek Definicija 1. Naj boABC trikotnik v ravnini inP toˇ cka znotraj trikotnika. Poltraki AP,BP in CP sekajo stranice a,b,c trikotnika ABC v toˇ ckah A P ,B P in C P . Trikotnik A P B P C P imenujemo Cevov trikotnik trikotnika ABC glede na toˇ cko P. Slika 1. Levo: Cevov trikotnik glede na toˇ ckoP. Desno: srediˇ sˇ cni in antikomplementarni trikotnik. V problemski rubriki revije American Mathematical Monthly je bil leta 1995 objavljen problem, ki je spraˇ seval, ali znotraj trikotnika obstaja toˇ cka P, glede na katero bi bil Cevov trikotnik enakostraniˇ cen. Odgovor je pozi- tiven, reˇ sitev je bila objavljena leta 1997 v [3]. Pozneje se je izkazalo, da je veliko sploˇ snejˇ si rezultat v ˇ clanku [11] ˇ ze deset let prej objavil nemˇ ski matematik Karl Seebach. Rezultatu reˇ cemo Seebachov izrek. Izrek 2. Naj boA 1 B 1 C 1 poljuben trikotnik. Potem obstaja natanko ena taka toˇ cka P znotraj trikotnika ABC, da je Cevov trikotnik A P B P C P trikotnika ABC glede na toˇ cko P direktno podoben trikotniku A 1 B 1 C 1 . 82 Obzornik mat. fiz. 68 (2021) 3 Geometrija trikotnika, Oroslan in Ravello Direktna podobnost (oznaka A P B P C P ≈ A 1 B 1 C 1 ) pomeni, da sta tri- kotnika podobna na naˇ cin, da za ustrezne kote velja A P =A 1 , B P =B 1 in C P =C 1 . Iz izreka seveda takoj sledi, da je znotraj trikotnika natanko ena toˇ cka, katere Cevovov trikotnik je enakostraniˇ cen. Ta toˇ cka sodi med znaˇ cilne toˇ cke trikotnika. V zgoraj omenjeni Kimberlingovi Enciklopediji znaˇ cilnih toˇ ck trikotnika [1] nosi oznako X 370 . Na sliki 1 desno so razpoloviˇ sˇ ca stranic trikotnika ABC oznaˇ cena z A ′ ,B ′ ,C ′ , teˇ ziˇ sˇ ce pa z G. Trikotniku A ′ B ′ C ′ reˇ cemo srediˇ sˇ cni trikotnik trikotnika ABC. Znano dejstvo je, da velja A ′ B ′ C ′ ≈ ABC. Seveda je A ′ B ′ C ′ Cevov trikotnik trikotnikaABC glede na toˇ ckoG. Iz Seebachovega izreka torej izhaja, da je teˇ ziˇ sˇ ce G edina toˇ cka znotraj trikotnika, katere Cevov trikotnik je podoben osnovnemu trikotniku ABC. *** Znani so primeri pomembnih matematikov, ki so poleg svojih glavnih podroˇ cij z velikim veseljem gojili tudi geometrijo. Taka sta bila recimo Euler in Plemelj. Nekateri drugi mate- matiki pa geometriji niso naklonjeni. Geometrijske rezultate doživljajo nekako takole: Imamo neko družino geometrijskih objektov in potem dokažemo, da je lega neke toˇ cke glede na te objekte nekaj ˇ cisto posebnega. To je vˇ casih celo res. Seebachov izrek nam recimo sporoˇ ca informacijo o izjemnosti toˇ cke X 370 . Sporoˇ ca nam tudi dodatno informacijo o izjemnosti težišˇ ca. Vendar pa, ˇ ce pogledamo napravi naˇ cin, lahko v teh ugotovitvahpogosto zaznamo zelo lepe in globokerezultate. NarišimoslikovGeoGebriinpremikajmotoˇ ckoP. (Bralcaprijaznovabim,datodejansko naredi!) Rišejosenamrazliˇ cniCevovitrikotniki. IzSeebachovegaizrekasledi,danatanaˇ cin dobimogalerijopravvsehmožnihobliktrikotnikov. Vsakioblikipripadatoˇ cnodoloˇ cenatoˇ cka P. Znotrajpoljubnegatrikotnikajetorejnapreprostnaˇ cinzakodiranainformacijaopravvseh oblikah trikotnikov. *** Geometrija je nazorna in vizualno predstavljiva. To pomeni, da za raz- liko od nekaterih drugih vej matematike problem lahko hitro razumemo in ga sorazmerno zlahka predstavimo tudi nespecialistu. Izziv je zdaj, kako ta problem reˇ siti. Vˇ casih se izkaˇ ze, da kljub preprosti formulaciji dokaz niti pribliˇ zno ni lahek. To se zgodi tudi v primeru Seebachovega izreka. Originalni dokaz je dolg, nepregleden in kar kliˇ ce po izboljˇ savah. *** 81–99 83 Bojan Hvala Vˇ casih se v matematiˇ cnih raziskavah podajamo v zelo abstraktne daljne svetove, vendar pa potem tam niti ne poˇ cnemo kaj zares ekstremnega. Kot bi poslali vozilo na Mars in se potem veselili vsakega drobnega premika po njem. Seveda je, na primer, prvi marsovski polet z dronom velik dosežek. Sploh ob misli na možnost opazovanja in snemanja površja. A tako velikiprebojisoredki. PodrugistranipaimatudigibanjepostaridobriZemljisvojeprednosti. Vzaˇ cetkumordaekspedicijanividetitakospektakularna,zatopanamomogoˇ ca,daopravimo res izdaten sprehod do neznanih ˇ cudes bližnjih grebenov, sotesk in jam, z izjemnimi razgledi in z inovativno izbranimi prehodi. *** Kot reˇ ceno je originalni dokaz Seebachovega izreka raˇ cunski, dolgotra- jen in nepregleden. Velik napredek v smeri preglednosti je leta 2006 napra- vil jordanski matematik M. Hajja, ki je v ˇ clanku [4] predstavil nov dokaz. Osnovna ideja je naslednja. Slika 2. Dokaz M. Hajje, konstrukcija vˇ crtanega trikotnika. Imamo trikotnik A 1 B 1 C 1 in se spraˇ sujemo po toˇ cki P, da bo veljalo A P B P C P ≈ A 1 B 1 C 1 . Izberimo neki kot ϕ in trikotniku ABC vˇ crtajmo trikotnik A 2 B 2 C 2 tako, da bo A 2 B 2 C 2 ≈ A 1 B 1 C 1 in bo kot ∠BC 2 A 2 = ϕ (slika 2). To naredimo tako, da najprej izberemo neko toˇ cko C ′ 2 ∈ c, odmerimo kot ϕ, dobimo toˇ cko A ′ 2 ∈a, nato pa od daljice C ′ 2 A ′ 2 odmerimo kota A 1 in C 1 ter dobimo toˇ cko B ′ 2 . Tako je A ′ 2 B ′ 2 C ′ 2 ≈ A 1 B 1 C 1 . Zdaj pa naredimo razteg s srediˇ sˇ cem v toˇ cki B, ki trikotnik A ′ 2 B ′ 2 C ′ 2 preslika v podoben trikotnik A 2 B 2 C 2 tako, da toˇ cka B 2 leˇ zi na stranici b. Namesto uporabe raztega si lahko mislimo tudi, da izbrano toˇ cko C ′ 2 premikamo po stranici c toliko ˇ casa, da ustrezna toˇ cka B ′ 2 pade na stranico b. 84 Obzornik mat. fiz. 68 (2021) 3 Geometrija trikotnika, Oroslan in Ravello Na ta naˇ cin, s spreminjanjem kota ϕ, dobimo druˇ zino vseh v trikotnik ABC vˇ crtanih trikotnikov, ki so podobni trikotniku A 1 B 1 C 1 . Zdaj pa mo- ramo dokazati le ˇ se, da se samo pri enem trikotniku iz te druˇ zine daljice AA 2 ,BB 2 inCC 2 sekajo v neki skupni toˇ ckiP, kar pomeni, da je to Cevov trikotnik glede na neko toˇ ckoP (slika 3). Pri tem se opremo na Cevov izrek [14], ki pravi, da se daljiceAA 2 ,BB 2 in CC 2 sekajo v skupni toˇ cki natanko tedaj, ko velja SBA 2 S SA 2 CS ⋅ SCB 2 S SB 2 AS ⋅ SAC 2 S SC 2 BS =1. Avtor je nato izraˇ cunal levo stran zgornjega izraza kot funkcijo f spremen- ljivke ϕ, premislil, na katerem intervalu se giblje kot ϕ, in dokazal, da je f na tem intervalu monotono naraˇ sˇ cajoˇ ca funkcija, ki zavzame vse pozitivne vrednosti. Zato vrednost 1 zavzame natanko enkrat. Med vsemi v trikotnik ABC vˇ crtanimi trikotniki A 2 B 2 C 2 ≈ A 1 B 1 C 1 je torej natanko en Cevov trikotnik glede na neko toˇ cko P. *** Ena od prednosti geometrije je, da nam nudi možnost vizualizacije. Vsebino lahko pribli- žamo s sliko. Še posebej uˇ cinkovito to lahko storimo z raˇ cunalniškimi programi za dinamiˇ cno geometrijo,kisosepojavilipredkakimi30letiinsogeometrijidalimoˇ candodatnizagon. Zelo pomemben pri tem je pridevnik dinamiˇ cni, kar pomeni, da lahko že narisane objekte interak- tivno premikamo, ob tem pa dinamiˇ cno spremljamo spreminjajoˇ co se sliko. Med prvimi takimi programi sta bila Geometer’s Sketchpad in Cabri Geometry, v naših razmišljanjih pa smo že nekajkrat omenili GeoGebro. V nadaljevanjujo bomo ševeˇ ckrat. *** ObravnavaniHajjovdokazlahkospomoˇ cjoGeoGebreuˇ cinkovitoilustri- ramo, ob tem pa premislimo tudi nekatere detajle. Najprej na podlagi slike 2 premislimo, kako iz trikotnika A ′ 2 B ′ 2 C ′ 2 do- bimo trikotnik A 2 B 2 C 2 . Zagrabimo toˇ cko C ′ 2 in jo pomikamo na levo (oz. na desno), dokler toˇ ckaB ′ 2 ne zadene straniceb. Ker si to premikanje lahko predstavljamo kot delovanje raztegov s srediˇ sˇ cem v toˇ cki B in z razliˇ cnimi koeficienti, je jasno, da pri tem postopku toˇ cka B ′ 2 teˇ ce po poltraku z iz- hodiˇ sˇ cem v toˇ cki B. Zato je konˇ cna toˇ cka B 2 kar preseˇ ciˇ sˇ ce tega poltraka s stranico b. Argument z raztegi nam da tudi, da so stranice nastopajoˇ cih trikotnikov pri premikanju vzporedne. Zato je stranica B 2 A 2 vzporedna stranici B ′ 2 A ′ 2 . Pri narisanem trikotniku A ′ 2 B ′ 2 C ′ 2 torej v prvem koraku do- bimo toˇ cko B 2 , z nadaljnjima dvema vzporednicama pa ˇ se toˇ cki A 2 in C 2 . 81–99 85 Bojan Hvala Slika 3. Dokaz M. Hajje, funkcija f je naraˇ sˇ cajoˇ ca. VGeoGebrilahkotudioznaˇ cimodaljiceizizraza SBA 2 S SA 2 CS ⋅ SCB 2 S SB 2 AS ⋅ SAC 2 S SC 2 BS inpri danem kotu ϕ izpiˇ semo vrednost tega izraza, torej f(ϕ) (slika 3). Potem na drsniku spreminjamo kot ϕ in eksperimentalno doˇ zivimo dejstvo, da je funkcija f monotono naraˇ sˇ cajoˇ ca. Pri kotu ϕ, kjer funkcija f zavzame vrednost 1, tudi nazorno vidimo, da se ustrezne tri daljice sekajo v skupni toˇ cki. To je tistaedinatoˇ cka, ki jo trikotnikuA 1 B 1 C 1 zagotavljaSeebachov izrek. Slika v GeoGebri nam tudi omogoˇ ci premisliti in testirati drobne detajle v dokazu, kot je recimo interval, na katerem lahko pri danih podatkih izbi- ramo kotϕ. Upoˇ stevajoˇ c trikotnikC ′ 2 BA ′ 2 mora veljatiϕ<180 ○ −B. ˇ Ce to velja, lahko nariˇ semo daljico C ′ 2 A ′ 2 . V nadaljevanju od nje odmerimo kota C 1 in A 1 . ˇ Ce naj bo toˇ cka B ′ 2 znotraj kota ∠B, mora na spodnji strani ve- ljatiϕ+C 1 <180 ○ . Podoben razmislek na zgornji strani nam daϕ>A 1 −B. Potegnemo poltrak in dobimo toˇ cko B 2 ∈ b. Zdaj nam manjkata le ˇ se dve vzporednici. ˇ Ce ˇ zelimo, da bo toˇ ckaC 2 leˇ zala na stranicic in ne na njenem podaljˇ sku, morabitiϕ+C 1 zunanjikottrikotnikaAC 2 B 2 inzatoveˇ cjiodA. Odtodslediϕ >A−C 1 . Podobnopriobravnavitoˇ ckeA 2 dobimoϕ