Eulerin suora

Eulerin suora on geometriassa eräiden kolmion merkillisten pisteiden kautta kulkeva suora. Ensimmäiset Eulerin suoralla tunnetut pisteet olivat kolmion painopiste, kolmion ympäri piirretyn ympyrän keskipiste ja kolmion ortokeskus. Nykyään tunnetaan muitakin merkillisiä pisteitä, jotka sijaitsevat Eulerin suoralla. Suora on nimetty Leonhard Eulerin mukaan.
Viitekehys.
Kolmion merkilliset pisteet tunneettiin jo antiikin kreikassa. Silloin oli huomattu, että kolmion korkeusjanat leikkasivat toisensa aina samassa pisteessä, oli kolmion muoto mikä tahansa. Tätä ominaisuutta pidettiin "merkillisenä". Myös kolmion kulmanpuolittajien ja keskinormaalien tiedettiin tekevän näin.
Vasta klassisella ajalla löydettiin uusia "merkillisiä pisteitä", joista jotkin olivat keskenään samalla suoralla. Eulerin suoran lisäksi tunnetaan esimerkiksi "Nagelin suora", "Gergonnen suora" ja "Soddyn suora", joiden nimet ovat lähteistään vapaasti suomennettuja. Nämä suorat kuuluvat suurempaan suorien joukkoon, josta useimmat ovat nimeämättömiä suoria.
Nykyään merkillisiä pisteitä tunnetaan yli 5 000 ja Eulerin suoralle niistä osuu yli 100. Merkilliset pisteet on luetteloitu muun muassa Kimberlingin merkillisten pisteiden ensyklopediassa tunnuksillä formula_1, missä "i" on pisteen indeksi eli järjestysnumero. Eulerin suoran merkitys on ainakin historiallinen, koska se on ensimmäinen tällainen havaittu suora.
Ominaisuuksia ja erityispiirteitä.
Eulerin suoralta tunnettiin ensin "keskinormaalien leikkauspiste" (O = formula_2), "korkeusjanojen leikkauspiste" eli ortokeskus (H = formula_3) ja "mediaanien leikkauspiste" eli kolmion painopiste (G = formula_4). Näistä formula_2 on samalla kolmion ympäri piirretyn ympyrän keskipiste. Neljäs tunnettu piste Eulerin suoralla on yhdeksän pisteen ympyrän (N = formula_6) keskipiste.
Tasasivuisessa kolmiossa pisteet formula_4, formula_2, formula_3 ja formula_6 yhtyvät yhdeksi pisteeksi. Muissa kolmioissa ne ovat aina erillään toisistaan. Pisteiden välimatkojen suhteet säilyvät samoina, vaikka referenssikolmion muoto muuttuisikin. Mikäli mukaan otetaan vielä yksi merkillinen piste, "de Longchampsin piste" (L = formula_11), suhtautuvat järjestettyjen pisteiden formula_11−formula_2−formula_4−formula_6−formula_3 eli L−O−G−N−H välimatkat suhdeluvuilla 6−2−1−3.
Eulerin suora leikkaa "Soddyn suoran" "de Longchampsin pisteessä" (formula_11) , "Gergonnen suoran" "Evansin pisteessä" formula_18 ja "Nagelin suoran" painopisteessä G eli formula_4.
Todistus.
Olkoon R, S, T kolmion ABC sivujen keskipisteet, H ABC:n ortokeskus, O ABC:n ympäri piirretyn ympyrän keskipiste ja M ABC:n keskijanojen leikkauspiste. Silloin jana RO on kohtisuorassa janan ST kanssa, jana SO kohtisuorassa janan RT kanssa, joten O on RST ortokeskus ja RST on yhdenmuotoinen ABC:n kanssa. Lisäksi AR ja ST ovat suunnikkaan ATRS lävistäjät, joten ne puolittavat toisensa. Tästä seuraa, että M on myös kolmion RST keskijanojen leikkauspiste. Yhdenmuotoisuudesta seuraa, että molemmissa kolmioissa OMR ja HMA kärjen, ortokeskuksen ja painopisteen muodostamat kolmiot ovat yhdenmuotoiset. Siis kulma OMR = kulma HMA. Tämä tarkoittaa, että O, M ja H ovat samalla suoralla.
Historia.
Vuonna 1765 Leonhard Euler osoitti, että kaikissa kolmioissa ortokeskus, ympäröivän ympyrän keskipiste ja painopiste ovat kollineaarisia.