Viiden pisteen ellipsi

Koordinaattitasoilla olevien ympyröiden kuvaellipsit

xy-tasossa olevan ellipsin yhtälö on aina muotoa
\[
Ax^2 + By^2 + 2Cxy + 2Dx + 2Ey + F = 0
\]
sen muodosta ja asemasta riippumatta. Yhtälö voi kertoimista riippuen esittää myös paraabelia tai hyperbeliä tai näiden erikoistapauksia. Yhteisellä nimellä käyriä kutsutaan toisen asteen käyriksi tai kartioleikkauksiksi.

Kertoimia yhtälössä on kuusi. Käyrä ei kuitenkaan muutu, jos yhtälö kerrotaan jollakin luvulla. Oleellisia eivät siten olekaan kertoimet vaan niiden suhteet, joita on viisi. Näiden määrittämiseen riittää tuntea viisi pistettä. Kertoimet saadaan siis ratkaisemalla viiden yhtälön lineaarinen ryhmä. Pisteiden sijainnista riippuen tuloksena on ellipsi, paraabeli, hyperbeli tai jokin erikoistapaus.

Valmis työkalu käyrän muodostamiseen viiden pisteen avulla löytyy monista dynaamisen geometrian ohjelmista (ainakin GeoGebra ja TI-Nspire; onko Class Padissa?). CAS-työkaluilla voi tietenkin myös ratkaista em. viiden yhtälön ryhmän.

Ellipsi kuitenkin määräytyy yksikäsitteisesti myös, jos tunnetaan yksi liittohalkaisijapari. Liittohalkaisijaparia sitoo ehto, että kumpikin puolittaa toisen suuntaiset jänteet. Tällöin tunnettuja pisteitä on kuitenkin vain neljä, liittohalkaisijoiden päätepisteet. Mistä saadaan viides piste?

Viidennen pisteen konstruointi

Viides piste löytyy varsin yksinkertaisella konstruktiolla: Muodostetaan ellipsin ympäri piirretty suunnikas asettamalla kummankin liittohalkaisijan $AB$ ja $CD$ päätepisteiden kautta toisen liittohalkaisijan suuntaiset suorat. Valitaan jokin tämän kärki ($F$) ja tätä vastaten määritetään janojen $KD$ ja $FD$ keskipisteet $M$ ja $N$. Viides piste on suorien $MF$ ja $AN$ leikkauspiste $P$.

Konstruktion pätevyys ei ole itsestään selvää. Todistus ei kuitenkaan ole hankala, kun lähdetään ajatuksesta, että jokainen ellipsi on ympyrän affiininen kuva, ts. kuva yhdensuuntaisprojektiossa eli aksonometrinen kuva. Koska tällöin janojen jakosuhteet säilyvät, janojen keskipisteet kuvautuvat kuvajanojen keskipisteiksi. Ellipsin liittohalkaisijoita vastaa ympyrän kaksi kohtisuoraa halkaisijaa; nämähän nimittäin ovat ympyrän liittohalkaisijoita, ts. kumpikin puolittaa toisen suuntaiset jänteet.

Jäljelle jää siten vain osoittaa, että vastaava konstruktio ympyrässä tehtynä tuottaa ympyrän pisteen. Tämä puolestaan on alkeisgeometriaa.

Ellipsin piirtämismenetelmänä konstruktio ei nykyisten tietokoneohjelmien aikakaudella enää ole kovin merkittävä. Alussa olevassa kuviossa ympyröiden kuvaellipsit olisi luonnollisesti voitu piirtää konstruoimalla viides piste, mutta ohjelmistot usein tarjoavat muunlaiset valmiit työkalut tällaisiin tehtäviin. Esimerkkinä GeoGebra, jolla kuvio on tehty.

Olemmeko menossa kohden maailmaa, jossa matematiikan taitoja tärkeämpää on osata käyttää ohjelmistoja?