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&nbsp;000 ja Eulerin suoralle niistä osuu yli 100. Merkilliset pisteet on luetteloitu muun muassa Kimberlingin merkillisten pisteiden ensyklopediassa tunnuksillä \scriptstyle X_i, 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 = \scriptstyle X_3), *korkeusjanojen leikkauspiste* eli ortokeskus (H = \scriptstyle X_4) ja *mediaanien leikkauspiste* eli kolmion painopiste (G = \scriptstyle X_2). Näistä \scriptstyle X_3 on samalla kolmion ympäri piirretyn ympyrän keskipiste. Neljäs tunnettu piste Eulerin suoralla on yhdeksän pisteen ympyrän (N = \scriptstyle X_5) keskipiste.

Tasasivuisessa kolmiossa pisteet \scriptstyle X_2, \scriptstyle X_3, \scriptstyle X_4 ja \scriptstyle X_5 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 = \scriptstyle X_{20}), suhtautuvat järjestettyjen pisteiden \scriptstyle X_{20}−\scriptstyle X_3−\scriptstyle X_2−\scriptstyle X_5−\scriptstyle X_4 eli L−O−G−N−H välimatkat suhdeluvuilla 6−2−1−3.

Eulerin suora leikkaa *Soddyn suoran* *de Longchampsin pisteessä* (\scriptstyle X_{20}) , *Gergonnen suoran* *Evansin pisteessä* \scriptstyle X_{1375}  ja *Nagelin suoran* painopisteessä G eli \scriptstyle X_2.

## 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.

## Lähteet
### Viitteet