Suora


Tämä artikkeli kertoo geometrian käsitteestä. Ammattiliitto Suorasta on oma artikkeli.
Osa artikkelisarjaa
Geometria

Tasogeometria
Piste
Suora
Käyrä
Taso
Pinta
Pinta-ala
Pituus
Kulma
Trigonometria

Ympyrä
Ellipsi
Monikulmio
Kolmio
Nelikulmio
Suorakulmio
Neliö
Suunnikas
Neljäkäs
Puolisuunnikas

Avaruusgeometria
Tilavuus
Avaruuskappale
Pallo
Kartio
Lieriö
Särmiö
Suuntaissärmiö
Suorakulmainen särmiö
Säännöllinen monitahokas
Platonin kappale
Tetraedri
Heksaedri eli kuutio
Oktaedri
Dodekaedri
Ikosaedri
Keplerin–Poinsot'n kappale

Euklidinen geometria
Paralleeliaksiooma

Epäeuklidinen geometria
Hyperbolinen geometria
Elliptinen geometria

Analyyttinen geometria

Geometriassa, topologiassa ja muilla näille rinnasteisilla matematiikan aloilla suora määritellään pisteen ominaisuuksien ja aksioomien avulla.

Jos suora katkaistaan ja toinen puolikas poistetaan, saadaan puolisuora eli säde. Jos puolisuora katkaistaan, saadaan puolisuora ja jana.

Sisällysluettelo

Määritelmä


Antiikin määritelmä

Antiikissa suora määriteltiin kahden pisteen ja viivaimen avulla. Valitaan tasolta kaksi pistettä. Eukleideen Alkeissa esitetyn määritelmän mukaan kahden pisteen välille voidaan aina vetää jana tai viiva. Määritelmästä on jäänyt viivain pois, joten sitä ei voi pitää täysin matemaattisena. Määritelmä on pääpiirteissään seuraava:

  1. Viiva on leveydetön pituus.
  2. Viivan äärirajat ovat pisteitä.
  3. Suora viiva on viiva, joka lepää tasaisesti pisteillään. [1][2]

Puolisuora eli säde piirretään silloin janan AB avulla niin, että janan toista päätä jatketaan samaan suuntaan pisteen C kautta äärettömän pitkälle. Kun sama toistetaan puolisuoran toiseen päähän, saadaan suora. Suora määräytyykin niiden kahden pisteen avulla, joiden kautta se kulkee. Antiikin määritelmässä korostetaan myös abstraktia käsitettä ääretön, joka tarkoitti geometriassa ”jatkamista loputtoman pitkälle”. [3]

Käyrä on suora, jos mitkä tahansa kolme suoran pistettä A, B ja C voidaan liittää kahteen janaan AB ja AC siten, että ne aina yhtyvät osan AB osalta. Toisaalta, suoran leveys on nolla, joten käyrä on suora koko pituudeltaan, jos sen projektio on piste, kun suoraa katsotaan sen kulkusuuntaan. [3][2] Tämä viimeinen testi on kirvesmiehille tuttu.

Analyyttisen geometrian määritelmä

Jana alkaa yhdestä pisteestä ja päättyy toiseen pisteeseen. Jana koostuu pisteistä, joita on tiheästi alku- ja loppupisteen välissä. Määritelmässä tiheällä tarkoitetaan ominaisuutta, että kahden mielivaltaisen lähellä toisiaan olevan pisteen väliin voidaan aina lisätä ainakin yksi piste lisää, mistä seuraa taas se, että pisteitä mahtuu pisteiden väliin äärettömästi.

Vaikka yhden pisteen pituus on 0, muodostuu äärettömän monen pisteen janalle ominaisuus pituus. Jana ei kuitenkaan ole leveä tai paksu, koska janalla olevilla pisteillä ei ole itsessään ominaisuutta leveys ja paksuus. Janan ominaisuudet ovat seurausta pisteiden ominaisuuksista ja niiden äärettömästä lukumäärästä.

Kukin janalla oleva piste sijaitsee omassa paikassaan. Paikka voidaan ilmoittaa numeerisesti määrittämällä esimerkiksi pisteen paikan etäisyys janan alkupisteestä. Tämä etäisyys on luku, jota kutsutaan pisteen koordinaatiksi.

Edelliseen tapaan voidaan määritellä myös pisteiden koordinaatit puolisuoralla ja suoralla. Puolisuoran pisteiden koordinaatit ovat esimerkiksi niiden etäisyys puolisuoran alkupisteestä. Suoralta tulee ensin valita piste, josta etäisyydet mitataan. Tätä pistettä kutsutaan origoksi. Pisteen etäisyys origosta on tällöin pisteen koordinaatti. Koska suora voidaan ajatella koostuvan origon molemmilla puolilla olevasta puolisuorasta, tulee koordinaatit olla positiivisia- ja negatiivisia reaalilukuja, riippuen siitä kummalla puolella origoa piste sijaitsee.

Pisteen koordinaatti janalla, puolisuoralla ja suoralla on aina yksi luku. Koska pisteen koordinaatteja tarvitaan vain yksi, sanotaan suoran olevan 1-ulotteinen olio eli sen dimensio on 1. Myös janan ja puolisuoran dimensio on 1. Koordinaattien avulla voidaan suoraa käsitellä numeerisesti esimerkiksi tietokoneella. [2]

Aksiomaattinen määritelmä

Nykyään suorat määritellään joukko-opin avulla käyttäen useita aksioomia, jotka määrittelevät useita ominaisuuksia, joita suoran tulee samanaikaisesti täyttää. Suoran ominaisuuksia kutsutaan aksioomiksi. Aksioomat on kirjoitettu niin, että pisteisiin viitataan isoilla kirjaimilla A, B ja C, ja suoriin pienillä kirjaimilla l ja a, tai pistepareilla esimerkiksi AB.

  1. Tasossa on olemassa osajoukkoja, joita kutsutaan suoriksi.
  2. Jokaista kahta eri pistettä \({\displaystyle A\,}\) ja \({\displaystyle B\,}\) kohti on olemassa yksi ja vain yksi suora \({\displaystyle l\,}\) jolla \({\displaystyle A\in l}\) ja \({\displaystyle B\in l}\)
  3. Jokaisella suoralla on ainakin kaksi pistettä. Tasossa on ainakin kolme pistettä, jotka eivät ole samalla suoralla.
  4. Suorille on määritelty relaatio välissä: Jos piste \({\displaystyle C\,}\) on pisteiden \({\displaystyle A\,}\) ja \({\displaystyle B\,}\) välissä, niin \({\displaystyle A\,}\), \({\displaystyle B\,}\) ja \({\displaystyle C\,}\) ovat suoran eri pisteitä. Tällöin \({\displaystyle C\,}\) on myös pisteiden \({\displaystyle B\,}\) ja \({\displaystyle A\,}\) välissä.
  5. Jos \({\displaystyle A\,}\) ja \({\displaystyle B\,}\) ovat eri pisteitä, niin suoralla \({\displaystyle AB\,}\) on piste \({\displaystyle C\,}\) siten että \({\displaystyle B\,}\) on pisteiden \({\displaystyle A\,}\) ja \({\displaystyle C\,}\) välissä.
  6. (Paschin aksiooma) Olkoon piste \({\displaystyle C\,}\) suoran \({\displaystyle AB\,}\) ulkopuolella. Olkoon \({\displaystyle a\,}\) suora ja \({\displaystyle A\not \in a}\), \({\displaystyle B\not \in a}\), \({\displaystyle C\not \in a}\). Jos \({\displaystyle a\,}\) leikkaa janan \({\displaystyle AB\,}\), niin se leikkaa ainakin toisen janoista \({\displaystyle AC\,}\) ja \({\displaystyle BC\,}\).

Suora analyyttisessa geometriassa


Suora yksiulotteisessa avaruudessa

Suora täyttää yksiulotteisen avaruuden \({\displaystyle \mathbb {R} }\) kokonaan, jolloin kaikki avaruuden pisteet ovat suoran pisteitä. Kutakin pistettä vastaa jokin koordinaatti, joka on pisteen etäisyys origoksi valitusta pisteestä. Pisteen koodinaatti on reaaliluku \({\displaystyle x}\).

Suora kaksiulotteisessa avaruudessa

Kaksiulotteinen avaruus \({\displaystyle \mathbb {R} ^{2}}\) tarkoittaa ääretöntä tasoa, jonne voidaan sijoittaa suora mielivaltaisesti. Koska suoran pisteet ovat koordinaattipareja \({\displaystyle (x,y)}\), muodostavat pisteiden koordinaatit relaation. Suoran pisteisiin pääsee käsiksi usealla erilaisella lähestymistavalla.

Kaksiulotteinen parametriesitys

Suora voidaan määritellä kahden pisteen \({\displaystyle P_{1}}\) ja \({\displaystyle P_{2}}\) avulla. Suoran mikä tahansa kolmas piste \({\displaystyle P}\) voidaan ilmaista lausekkeella, jonka ”koordinaattina” on parametri \({\displaystyle t}\)

\({\displaystyle P=P_{1}\cdot (1-t)+P_{2}\cdot t=(P_{2}-P_{1})\cdot t+P_{1},\quad t\in \mathbb {R} }\)

Jos suoran pisteet ovat kaksiulotteisia, saadaan \({\displaystyle x-}\) ja \({\displaystyle y-}\)koordinaateille parametrimuotoinen esitys

\({\displaystyle {\begin{cases}x=(x_{2}-x_{1})\cdot t+x_{1}\\y=(y_{2}-y_{1})\cdot t+y_{1}\end{cases}}}\) eli \({\displaystyle {\begin{cases}x=t\cdot s_{x}+x_{1}\\y=t\cdot s_{y}+y_{1},\quad t\in \mathbb {R} \end{cases}}}\)

missä \({\displaystyle x_{2}-x_{1}=s_{x}}\) ja \({\displaystyle y_{2}-y_{1}=s_{y}}\) ovat kulmakertoimia.

Kaksiulotteinen vektoriesitys suuntavektorin avulla

Sama parametrimuotoinen esitys voidaan ilmaista parametrimuotoisena vektoriesityksenä, jossa pisteet esitetään pystyvektoreilla \({\displaystyle {\tbinom {x}{y}}}\)

\({\displaystyle {\binom {x}{y}}={\Big [}{\binom {x_{2}}{y_{2}}}-{\binom {x_{1}}{y_{1}}}{\Big ]}\cdot t+{\binom {x_{1}}{y_{1}}},\quad t\in \mathbb {R} .}\)

Jos merkitään \({\displaystyle {\bar {P}}={\binom {x}{y}},}\) \({\displaystyle {\bar {S}}={\binom {x_{2}}{y_{2}}}-{\binom {x_{1}}{y_{1}}}}\) ja \({\displaystyle {\bar {A}}={\binom {x_{1}}{y_{1}}}}\) saadaan suoran pisteiden vektoriksi \({\displaystyle {\bar {P}}}\)

\({\displaystyle {\bar {P}}=t\cdot {\bar {S}}+{\bar {A}},\quad t\in \mathbb {R} }\)

Vektoria \({\displaystyle {\bar {S}}}\) kutsutaan suuntavektoriksi ja vektori \({\displaystyle {\bar {A}}}\) on yksi suoran pisteen paikkavektori.

Suoran yhtälö

Edellisestä parametrimuotoisesta esityksestä voidaan muodostaa suoran koordinaateille tunnetumpi relaatioesitys. Ratkaistaan luvun \({\displaystyle x}\) lausekkeesta parametri \({\displaystyle t}\)

\({\displaystyle x=(x_{2}-x_{1})\cdot t+x_{1}\Leftrightarrow t={\frac {x-x_{1}}{x_{2}-x_{1}}},}\)

joka sijoitetaan y:n lausekkeeseen

\({\displaystyle y=(y_{2}-y_{1})\cdot t+y_{1}=(y_{2}-y_{1}){\frac {x-x_{1}}{x_{2}-x_{1}}}+y_{1},}\)

eli

\({\displaystyle y={\frac {y_{2}-y_{1}}{x_{2}-x_{1}}}(x-x_{1})+y_{1},}\) 

jota kutsutaan suoran kahden pisteen esitykseksi pisteillä \({\displaystyle (x_{1},y_{1})}\) ja \({\displaystyle (x_{2},y_{2}).}\) Merkitsemällä \({\displaystyle k={\frac {y_{2}-y_{1}}{x_{2}-x_{1}}}}\) saadaan yksinkertaisempi yhtälö

\({\displaystyle y=k(x-x_{1})+y_{1}=kx-kx_{1}+y_{1}=kx+b,}\)

missä \({\displaystyle b=-kx_{1}+y_{1}.}\)

Tämä on suoran pisteiden \({\displaystyle x-}\) ja \({\displaystyle y-}\)koordinaattien välinen relaatio \({\displaystyle (x,y)=(x,kx+b)}\), jota kutsutaan suoran yhtälöksi. Yhtälön tätä muotoa

\({\displaystyle y=kx+b}\)

kutsutaan termillä y:n suhteen ratkaistu muoto. Yhtälössä kerrointa \({\displaystyle k}\) kutsutaan kulmakertoimeksi ja lukua \({\displaystyle b}\) vakiotermiksi. Toisaalta mahdollinen on myös

\({\displaystyle x=ly+c,}\)

jota kutsutaan termillä x:n suhteen ratkaistu muoto. Siinä \({\displaystyle l}\) on kulmakerroin ja \({\displaystyle c}\) vakiotermi. Jos y:n suhteen ratkaistusta muodosta kirjoitetaankin

\({\displaystyle y={\frac {y_{2}-y_{1}}{x_{2}-x_{1}}}(x-x_{1})+y_{1}\Leftrightarrow (x_{2}-x_{1})y=(y_{2}-y_{1})(x-x_{1})+(x_{2}-x_{1})y_{1}\Leftrightarrow }\)
\({\displaystyle (x_{2}-x_{1})y=(y_{2}-y_{1})x-(y_{2}-y_{1})x_{1}+x_{2}y_{1}-x_{1}y_{1}\Leftrightarrow -(y_{2}-y_{1})x+(x_{2}-x_{1})y+x_{1}y_{2}-{\cancel {x_{1}y_{1}}}-x_{2}y_{1}+{\cancel {x_{1}y_{1}}}=0,}\)

saadaan yleinen muoto

\({\displaystyle ax+by+c=0}\)

missä \({\displaystyle a=-y_{2}+y_{1},}\) \({\displaystyle b=x_{2}-x_{1}}\) ja \({\displaystyle c=x_{1}y_{2}-x_{2}y_{1}.}\) Kerroin \({\displaystyle c}\) voidaan kirjoittaa kaksirivisenä determinanttina:

\({\displaystyle c={\begin{vmatrix}x_{1}&x_{2}\\y_{1}&y_{2}\end{vmatrix}}}\)

Kaksiulotteinen vektoriesitys normaalivektorin avulla

Suoran suunta voidaan esittää suuntavektorin asemasta normaalivektorilla, joka on kohtisuorassa suoraa vastaan eli myös suuntavektoria vastaan. Valitaan suuntavektorin suuntainen erotusvektori \({\displaystyle {\bar {P}}-{\bar {A}}={\binom {x}{y}}-{\binom {x_{1}}{y_{1}}}}\), jossa \({\displaystyle {\bar {A}}}\) on yksi suoran pisteiden paikkavektori. Merkitään normaalivektoria \({\displaystyle \mathbb {N} ={\binom {a}{b}}}\). Silloin nämä ovat kohtisuorassa ja niiden pistetulo on nolla

\({\displaystyle ({\bar {P}}-{\bar {A}})\cdot {\bar {N}}=0}\)

eli

\({\displaystyle {\bigg [}{\binom {x}{y}}-{\binom {x_{1}}{y_{1}}}{\bigg ]}\cdot {\binom {a}{b}}={\binom {x-x_{1}}{y-y_{1}}}\cdot {\binom {a}{b}}=a(x-x_{1})+b(y-y_{1})=0}\).

Viimeisestä vaiheessa

\({\displaystyle ax-ax_{1}+by-by_{1}=0}\)
\({\displaystyle ax+by-(ax_{1}+by_{1})=0}\)

missä \({\displaystyle c=-(ax_{1}+by_{1})}\)

\({\displaystyle ax+by+c=0}\)

Normaalivektorin \({\displaystyle {\bar {N}}={\binom {a}{b}}}\) koordinaatit \({\displaystyle a}\) ja \({\displaystyle b}\) ovat suoran normaalimuotoisen yhtälön kertoimet.

Muita suoran muodostamistapoja

Kulmakertoimen avulla

Jos pisteet \({\displaystyle A(x_{1},y_{1})}\) ja \({\displaystyle B(x_{2},y_{2})}\) ovat eräät suoran pisteistä, ja suoran yleinen piste merkitään \({\displaystyle P(x,y)}\), voidaan suoran kulmakerroin ilmaista kahdella tavalla:

\({\displaystyle {\frac {y-y_{1}}{x-x_{1}}}={\frac {y_{2}-y_{1}}{x_{2}-x_{1}}}.}\)
Suoran yhtälö nollakohtien avulla

Suora voidaan määrittää käyttämällä tietoa siitä, missä suora ja koordinaattiakselit leikkaavat toisensa. Jos näitä leikkauspisteitä merkitään koordinaattipareilla, saadaan suoran ja x-akselin leikkauspisteeksi \({\displaystyle (a,0)}\) ja vastaavasti y-akselin leikkauspisteeksi \({\displaystyle (0,b)}\). Mikäli leikkauskohdat ovat muualla kuin origossa, saadaan suoran yhtälöksi

\({\displaystyle {\frac {x}{a}}+{\frac {y}{b}}=1.}\)
Suoran yhtälö etäisyydellä origosta

Jos suoralle piirretään origosta korkeusjana ja mitataan korkeusjanan suuntakulma \({\displaystyle \alpha }\) sekä suoran etäisyys \({\displaystyle d}\) origosta, voidaan suoran yhtälö ilmaista

\({\displaystyle x\cos \alpha +y\sin \alpha =d.}\)

Suora kolmiulotteisessa avaruudessa

Kolmiulotteisen avaruuden suora voidaan määritellä vektorien avulla. Olkoot \({\displaystyle {\bar {P}}_{1}}\) ja \({\displaystyle {\bar {P}}_{2}}\) pisteiden paikkavektoreita kolmiulotteisessa avaruudessa \({\displaystyle \mathbb {R} ^{3}}\). Aiemminkin kirjoitettiin

\({\displaystyle {\bar {P}}=({\bar {P}}_{2}-{\bar {P}}_{1})\cdot t+{\bar {P}}_{1},\quad t\in \mathbb {R} ,}\)

missä pisteet on korvattu kolmiulotteisilla paikkavektoreilla. Vektorimuotoinen parametriesitys näyttää pystyvektoreilla kirjoitettuna

\({\displaystyle {\bar {P}}={\Bigg [}{\begin{pmatrix}x_{2}\\y_{2}\\z_{2}\\\end{pmatrix}}-{\begin{pmatrix}x_{1}\\y_{1}\\z_{1}\\\end{pmatrix}}{\Bigg ]}\cdot t+{\begin{pmatrix}x_{1}\\y_{1}\\z_{1}\\\end{pmatrix}},\quad t\in \mathbb {R} .}\)

Parametrin kertoimena olevaa vektorierotusta

\({\displaystyle {\bar {S}}={\begin{pmatrix}x_{2}\\y_{2}\\z_{2}\\\end{pmatrix}}-{\begin{pmatrix}x_{1}\\y_{1}\\z_{1}\\\end{pmatrix}}}\)

kutsutaan suuntavektoriksi. Suora on suuntavektorinsa kanssa yhdenssuuntainen. Pistettä

\({\displaystyle {\bar {A}}={\begin{pmatrix}x_{1}\\y_{1}\\z_{1}\\\end{pmatrix}}}\)

kutsutaan paikkavektoriksi. \({\displaystyle A}\) on eräs suoran pisteistä. Suoran vektoriesitys voidaan ilmaista yksinkertaisemmin

\({\displaystyle {\bar {P}}=t\cdot {\bar {S}}+{\bar {A}}.\quad t\in \mathbb {R} }\)

Vektorimuotoisesta parametriesityksestä voidaan siirtyä suoraan parametrimuotoiseen esitykseen

\({\displaystyle {\begin{cases}x=(x_{2}-x_{1})\cdot t+x_{1}\\y=(y_{2}-y_{1})\cdot t+y_{1}\\z=(z_{2}-z_{1})\cdot t+z_{1},\quad t\in \mathbb {R} \end{cases}}}\)

Suora voidaan avaruudessa määritellä myös kahden tason leikkauksena.

Lähteet


Viitteet

  1. D. E. Joyce: Elementa, kirja I , Clakin Yliopisto, 1996
  2. a b c Weisstein, Eric W.: Line, Wolfram Mathworld
  3. a b Väisälä: Geometria, s. 1–3

Kirjallisuutta











Luokat: Geometria | Analyyttinen geometria




Tiedot vuodesta: 30.09.2021 08:50:21 CEST

Lähde: Wikipedia (Tekijät [Historia])    Lisenssi: CC-BY-SA-3.0

Muutokset: Kaikki kuvat ja suurin osa niihin liittyvistä sisustuselementeistä poistettiin. Jotkut kuvakkeet korvattiin FontAwesome-kuvakkeilla. Jotkut mallit poistettiin (kuten ”artikkeli tarvitsee laajennusta”) tai osoitettiin (kuten ”viittaukset”). CSS-luokat joko poistettiin tai yhdenmukaistettiin.
Wikipediakohtaiset linkit, jotka eivät johda artikkeliin tai luokkaan (kuten ”Punaiset linkit”, “linkit muokkaussivulle”, “linkit portaaliin”) poistettiin. Jokaisella ulkoisella linkillä on lisäksi FontAwesome-kuvake. Joidenkin pienten suunnittelumuutosten lisäksi media-säilö, kartat, navigointiruudut, puhutut versiot ja geomikroformaatit poistettiin.

Huomaa: Koska annettu sisältö otetaan automaattisesti Wikipediasta tiettynä ajankohtana, manuaalinen tarkistaminen oli eikä ole mahdollista. Siksi LinkFang.org ei takaa hankitun sisällön paikkansapitävyyttä ja todellisuutta. Jos tiedossa on tällä hetkellä vääriä tietoja tai siinä on virheellinen näyttö, ota rohkeasti yhteyttä ota meihin yhteyttä: sähköposti.
Katso myös: Valmistusmerkintä & Tietosuojakäytäntö.