Õppetund
Teooria — Kolmnurga keskpunktid ja Euleri sirge
Kolmnurga keskpunkt on punkt, mille määrab kolmnurk ise, mitte paberileht, kuhu see on joonistatud: liiguta, pööra või muuda kolmnurga suurust ja punkt järgneb sellele. Nelja neist loetakse klassikalisteks ja igaüks asub seal, kus lõikub üks kolmest sirgest koosnev pere. Mediaanid lõikuvad raskuskeskmes, külgede keskristsirged ümberringjoone keskpunktis, kõrgused ortokeskmes ja nurgapoolitajad siseringjoone keskpunktis. See, et need kolm sirget üldse lõikuvad, on igal mainitud neljal juhul omaette teoreem.
Mida iga sümbol tähendab
G- raskuskese, kolme tipu aritmeetiline keskmine ja punkt, millele toetudes püsib kolmnurk tasakaalus
O- ümberringjoone keskpunkt, mis asub kõigist kolmest tipust samal kaugusel ja on neid läbiva ringjoone keskpunkt
H- ortokese, kus lõikuvad kolm kõrgust; neljast keskpunktist ainus, millel pole päris oma ringjoont
I- siseringjoone keskpunkt, mis asub kõigist kolmest küljest samal kaugusel ja paikneb ainsana alati kolmnurga sees
- Ei kehti, kui
- Võrdkülgse kolmnurga korral – see on ainus erand, mille kohta pole sellel lehel midagi öelda. Kõik neli keskpunkti koonduvad samasse punkti, iga seda läbiv sirge sisaldab neid kõiki ja Euleri sirgeks ei ole ükski konkreetne joon. Leht trükib seal lihtsalt välja "sirge puudub", mitte ei hakka ühtegi sirget valima.
Ülesanne täielikult lahendatud
-
Sirge, mida keegi ei joonistanud 6 sammu
Kolmnurga tipud on A = (0; 0), B = (6; 0) ja C = (2; 5). Leia nende definitsioonide põhjal raskuskese, ümberringjoone keskpunkt ja ortokese, näita, et need kolm asuvad samal sirgel, ning leia suhe, milles raskuskese jaotab teise kahe vahelist lõiku.
-
Kõigepealt raskuskese, sest see ei nõua geomeetriat. Mediaanid lõikuvad tippude aritmeetilises keskmises, seega G = ((0 + 6 + 2)/3; (0 + 0 + 5)/3) = (8/3; 5/3). Rida Raskuskese G näitab väärtust (2,667; 1,667).
-
Ümberringjoone keskpunkt asub kõigist kolmest tipust samal kaugusel. Kaugus tippudest A ja B paigutab selle horisontaalse lõigu keskristsirgele x = 3. Võrdne kaugus tippudest A ja C annab võrrandi 3² + y² = (3 − 2)² + (y − 5)² ning y² taandub mõlemalt poolelt välja: 9 = 1 + 25 − 10y, mis annab 10y = 17 ja y = 1,7. O = (3; 1,7) ja rida Ümberringjoone keskpunkt O kinnitab seda.
-
Ortokese leidmiseks on vaja kaht kõrgust ja eelmise sammu tulemusi ei lähe tarvis. Tipust A tõmmatud kõrgus on risti küljega BC, mille suund on C − B = (−4; 5), seega rahuldab iga sellel asuv punkt võrrandit −4x + 5y = 0. Tipust B tõmmatud kõrgus on risti küljega AC suunaga (2; 5) ja läbib punkti (6; 0), seega 2(x − 6) + 5y = 0. Asendades y = 4x/5 teise võrrandisse, saame 2x − 12 + 4x = 0, kust x = 2 ja y = 1,6. H = (2; 1,6).
-
Nüüd aga väide. Punktist O punkti G kulgev vektor on (8/3 − 3; 5/3 − 17/10) = (−1/3; −1/30) ja punkti H kulgev vektor on (2 − 3; 1,6 − 1,7) = (−1; −1/10). Kaks vektorit on paralleelsed, kui nende vektorkorrutis annab nulli: (−1/3)(−1/10) − (−1/30)(−1) = 1/30 − 1/30 = 0. Tulemuseks on täpselt null ja seda murdude kujul, ilma igasuguse ümardamiseta.
-
Teine vektor on esimesest kolm korda pikem, seega on H punktist O kolm korda kaugemal kui G ning G asub nende vahel. See tähendab, et HG moodustab kaks osa ja GO ühe osa. Pikkuste kaudu avaldades GO = √(1/9 + 1/900) = √101/30 = 0,334996 ja HG = √(4/9 + 1/225) = √101/15 = 0,669992. Rida HG : GO näitab 2,000 ja √101 taandub välja, vältides ümardamist.
-
Neljas keskpunkt siin ei osale. Kui a = |BC| = √41, b = |CA| = √29 ja c = |AB| = 6, siis siseringjoone keskpunkt on (aA + bB + cC)/(a + b + c) = (2,491; 1,687). Rida I kaugus sirgest näitab 0,0372 – see on väike, aga mitte null. Lohistades tipu C sirgele x = 3, muutub hälve väärtuseks 0,0000, sest kolmnurk on siis võrdhaarne.
Vastus
Täpselt 2, ja seda iga joonistatava kolmnurga puhul. Raskuskese ei asu lihtsalt kuskil ortokeset ja ümberringjoone keskpunkti ühendaval lõigul, vaid paikneb sellel alati täpselt kahe kolmandiku peal. Seda, miks see nii on, tööriist näidata ei saa, sest tipu lohistamine annab üksnes kinnituse, mitte tõestuse. Lühim tõestus võtab koordinaatide alguspunktiks ümberringjoone keskpunkti, nii et |A| = |B| = |C| = R, ja vaatleb ühtainsat punkti P = A + B + C. Siis P − A = B + C ning (B + C)·(C − B) = |C|² − |B|² = 0, mis tähendab, et P asub tipust A tõmmatud kõrgusel. Sama loogika alusel asub see ka teisel kahel kõrgusel, mis teeb punktist P ortokese. Raskuskese on aga P/3 ehk asub ühe kolmandiku kaugusel alguspunktist punkti P suunas, ja alguspunktiks oligi just ümberringjoone keskpunkt.
-
Allikad (3)
- The paper the line is named after, in which Euler works out all four centres in coordinates and then notices that three of them are collinear: L. Euler, "Solutio facilis problematum quorundam geometricorum difficillimorum." Novi Commentarii academiae scientiarum Petropolitanae 11 (for 1765), printed 1767, pp. 103–123. Euler Archive E325; reprinted in Opera Omnia I.26, pp. 139–157.
- The nine-point circle, the fifth point this page draws and the one with the longest list of claimants: K. W. Feuerbach, Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks. Wiessner, Nürnberg, 1822.
- A modern textbook treatment of the four centres and the line, at the level this page is pitched: H. S. M. Coxeter and S. L. Greitzer, Geometry Revisited. Mathematical Association of America, New Mathematical Library 19, 1967, chapter 1.