Konstruoituva luku

Kohteesta Wikipedia
Siirry navigaatioon Siirry hakuun
Luvun 2 neliöjuuri on konstruoituva

Tason piste on konstruoituva, jos se voidaan konstruoida geometrisesti käyttäen harppia ja viivainta. Luvun sanotaan olevan konstruoituva luku, jos sitä vastaava piste tavanomaisessa euklidisessa koordinaatistossa on konstruoituva.[1]

Geometristen konstruktiotehtävien suorittaminen koordinaatistossa mahdollistaa myös analyyttisen geometrian hyödyntämisen konstruktiotehtävien tutkimiseen. Lisäksi 1800-luvulla keksittiin soveltaa konstruktiotehtäviin kuntien teoriaa, jolloin käyttöön saatiin algebran työvälineitä. Näin voitiin todistaa mahdottomiksi ongelmia, joita oli menestyksettömästi yritetty ratkaista yli kahden vuosituhannen ajan.

Määritelmä[muokkaa | muokkaa wikitekstiä]

Olkoon joukko tason pisteitä. Harpin ja viivaimen avulla suoritettavat konstruktiot koostuvat kahdesta operaatiosta:[1]

  1. (Viivain) Piirretään suora kahden annetun pisteen kautta.
  2. (Harppi) Olkoon annettuna kolme pistettä ja . Piirretään ympyrä, jonka keskipiste on ja säteen pituus .

Näin syntyvien suorien ja ympyröiden leikkauspisteiden sanotaan olevan konstruoituvia joukosta . Yleisemmin sanotaan, että piste on konstruoituva joukosta mikäli on olemassa sellaiset pisteet , että on konstruoituva joukosta kaikilla .

Konstruktion alussa on siis annettu joukko pisteitä, joihin sovelletaan yllä mainittuja kahta operaatiota. Näin syntyvät kuviot (suorat ja ympyrät) voivat leikata toisiaan, jolloin syntyy uusia pisteitä , joita voidaan käyttää seuraavissa operaatioissa.

Geometrisissa konstruktioissa alussa annettujen lukujen koordinaatit ovat yleensä rationaalilukujen joukosta ,[2] mutta operaatioiden suorittaminen voi tuottaa koordinaateiksi lukuja, jotka eivät ole rationaalisia. Hyödylliseksi lähestymistavaksi osoittautuukin soveltaa kuntalaajennusten teoriaa tutkimalla kunkin konstruoidun pisteen koordinaatteja vastaavaa joukon kuntalaajennusta.

Aritmeettiset operaatiot[muokkaa | muokkaa wikitekstiä]

Harppia ja viivainta käyttämällä aritmeettiset operaatiot muuttuvat visuaalisiksi. Jo pelkän viivaimen avulla voidaan suorittaa neljä peruslaskutoimitusta: summa, erotus, tulo ja osamäärä. Voidaan osoittaa, että näiden operaatioiden avulla voidaan konstruoida koko rationaalilukujen joukko , kun annettuna on jana, jonka pituus on 1.[2]

Konstruoituvien lukujen määrä kasvaa entisestään, kun viivaimen avuksi otetaan harppi: tällöin voidaan laskea myös annetun luvun neliöjuuri.[2] Huomattavaa on, että näin päästään myös rationaalilukujen ulkopuolelle: esimerkiksi luvun 2 neliöjuuri ei ole rationaalinen, vaikka se on konstruoituva (ks. kuva). Jokainen rationaaliluku on siis konstruoituva, mutta kaikki konstruoituvat luvut eivät ole rationaalilukuja.

Harpin ja viivaimen avulla suoritetuissa operaatioissa kukin luku esitetään sitä vastaavan mittaisen janan avulla.[2]

Summa[muokkaa | muokkaa wikitekstiä]

Somme constructible.png

Kahden luvun ja summa lasketaan asettamalla lukujen ja mittaiset janat peräkkäin. Summa on näin syntyvän yhteisjanan pituus.

Erotus[muokkaa | muokkaa wikitekstiä]

Difference constructible.png

Lukujen ja erotus lasketaan asettamalla lukujen ja mittaiset janat sisäkkäin niin, että janojen päätepisteet ovat samat. Erotus on janoista pidemmän se jäljelle jäävä osa, jota lyhyempi jana ei yllä peittämään (kuvassa merkitty sinisellä).

Tulo[muokkaa | muokkaa wikitekstiä]

Produit constructible.png

Lukujen ja tulo lasketaan hyödyntämällä yhdenmuotoisia kolmioita. Piirretään kaksi suoraa, jotka leikkaavat toisiaan, ja asetetaan luvun mittainen jana ensimmäiselle suoralle ja lukua vastaava jana toiselle. Asetetaan seuraavaksi luvun 1 mittainen jana toiselle suoralle niin, että sen alkupiste on suorien leikkauspisteessä. Piirretään suora, joka yhdistää lukua 1 vastaavan janan päätepisteen lukua vastaavan janan päätepisteeseen. Kun lopuksi piirretään tämän äsken piirretyn suoran kanssa yhdensuuntainen suora lukua vastaavan janan päätepisteen kautta, se leikkaa toista alussa piirretyistä suorista kohdassa, jota voidaan merkitä vaikkapa kirjaimella . Tällöin syntyy kaksi yhdenmuotoista kolmiota, joiden vastinsivujen suhteista nähdään, että joten (kuvassa sinisellä).

Osamäärä[muokkaa | muokkaa wikitekstiä]

Quotient constructible.png

Osamäärän laskeminen muistuttaa tulon laskemista. Piirretään jälleen kaksi toisiaan leikkaavaa suoraa, joista toiselle asetetaan luvun mittainen jana, ja toiselle luvun mittainen jana. Asetetaan toiselle suoralle luvun 1 mittainen jana. Piirretään nyt suora lukua vastaavan janan päätepisteestä lukua vastaavan janan päätepisteeseen (tuloa laskettaessa suora piirrettiin lukua 1 vastaavan janan päätepisteestä lukua vastaavan janan päätepisteeseen). Kun lopuksi piirretään äsken piirretyn suoran kanssa yhdensuuntainen suora lukua 1 vastaavan janan päätepisteen kautta, se leikkaa toista alkuperäisistä suorista kohdassa . Syntyy kaksi yhdenmuotoista kolmiota, joiden vastinsivujen suhteista nähdään, että , eli

Neliöjuuri[muokkaa | muokkaa wikitekstiä]

Constructing square root.png

Luvun neliöjuuren konstruoimiseen vaaditaan viivaimen lisäksi myös harppia. Asetetaan lukua vastaavan janan alkuun (tai loppuun) luvun 1 mittainen jana, ja piirretään ympyrä, jonka halkaisija on äsken saatu jana . Piirretään lisäksi jana lukuja ja 1 vastaavien janojen kohtauspisteestä ympyrän kehälle, ja yhdistetään tämä kehän piste janan päätepisteisiin. Muodostuu kolmio, joka on Thaleen lauseen mukaan suorakulmainen. Ennen kaikkea muodostuu kaksi yhdenmuotoista kolmiota, joiden vastinsivujen suhteista saadaan , joten , ja edelleen

Kuntateoreettinen lähestymistapa[muokkaa | muokkaa wikitekstiä]

Geometriset konstruktiot voidaan ilmaista kuntateorian kielellä varsin luontevasti. Tarkasteluun nostetaan konstruoitujen pisteiden koordinaatit, ja eritysesti ne kunnat, joihin koordinaatit kuuluvat. Tyypillisesti geometrisissa konstruktioissa lähtöpisteiksi ja rakennusalustaksi otetaan rationaalilukujen kunta .[1]

Suoritettaessa konstruktioita harpin ja viivaimen avulla syntyy uusia pisteitä, ja kuten edellä nähtiin, niiden koordinaatit eivät välttämättä ole enää rationaalisia. Liitetään siis jokaiseen uuteen konstruoituun pisteeseen algebrallinen kuntalaajennus , joka on pienin mahdollinen kunta, joka sisältää sekä rationaaliluvut että juuri konstruoidut luvut ja .

Kuntalaajennuksen asteella tarkoitetaan laajennuksen dimensiota vektoriavaruutena. Voidaan osoittaa, että tämä aste on aina yhtä suuri kuin laajennuksen minimipolynomin aste.[1]

Esimerkkinä voidaan tarkastella laajennuksen astetta. Jos luvun minipolynomi joukossa olisi astetta 1, minimipolynomin olisi oltava . Tämä polynomi ei kuitenkaan ole rationaalikertoiminen, joten laajennuksen asteen on oltava suurempi kuin 1. Toisaalta on toisen asteen polynomin juuri, joten se on luvun 2 neliöjuuren minimipolynomi joukossa . Laajennuksen aste on siis 2, ja merkitään .

Erityisesti voidaan osoittaa, että mikäli piste on konstruoituva, niin sitä vastaavan kuntalaajennoksen asteen on aina oltava jokin luvun 2 potenssi, eli jos piste on konstruoituva, niin jollain .[1] Tätä erittäin tärkeää tietoa voidaan hyödyntää menestyksekkäästi tutkittaessa onko jokin konstruktio mahdollista suorittaa harpin ja viivaimen avulla.

Geometriset mahdottomuustodistukset[muokkaa | muokkaa wikitekstiä]

Konstruoituvaa lukua vastaavan algebrallisen kuntalaajennuksen asteen on oltava luvun 2 potenssi, ja toisaalta kuntalaajennuksen aste on yhtä suuri kuin laajennuksen minimipolynomin aste. Kun siis halutaan osoittaa jokin geometrinen konstruktiotehtävä mahdottomaksi, etsitään vastaesimerkiksi jokin luku , jonka olisi pakko olla konstruoituva, jotta tehtävä voitaisiin suorittaa onnistuneesti. Tämän jälkeen tarkastellaan kuntalaajennuksen astetta etsimällä lukua vastaava minimipolynomi. Mikäli tämän minimipolynomin aste ei ole jokin luvun 2 potenssi, konstruktio on mahdoton.

Näin voidaan osoittaa mahdottomiksi monia ongelmia, jotka olivat vaivanneet matemaatikkoja vuosituhansia antiikin Kreikasta asti. Alla olevassa taulukossa on listattu antiikin kolme suurta ongelmaa ja kullekin lyhyesti vastaesimerkki, joka osoittaa ongelman mahdottomaksi.

Konstruktiotehtävä Vastaesimerkki
Kuution kahdentaminen ei ole konstruoituva, koska sen minimipolynomin aste joukossa on 3.
Kulman kolmiajako 60 asteen kulmaa ei voi jakaa kolmeen, koska luvun minimipolynomin aste joukossa on 3.
Ympyrän neliöinti ei ole konstruoituva, koska se ei ole algebrallinen joukossa .

Katso myös[muokkaa | muokkaa wikitekstiä]

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. a b c d e Pinter, Charles C.: A Book of Abstract Algebra. McGraw-Hill, Inc., 1982.
  2. a b c d Courant, Richard & Robbins, Herbert: What is Mathematics?. Oxford University Press, 1996.

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]