Yhtenevyys

Kahden geometrisen kuvion yhtenevyys eli kongruenssi tarkoittaa sitä, että kuviot ovat mitoiltaan samanlaiset ja muodoltaan joko samanlaiset tai toistensa peilikuvat. Tällöin kuvioiden vastaavat janat ovat yhtä pitkät ja vastaavat kulmat ovat yhtä suuret. Kuvioiden sijainti tai asento ei vaikuta yhteneväisyyteen. Alkeellinen yhtenevyystesti voidaan suorittaa kopioimalla toinen kuvio läpinäkyvälle kalvolle ja siirtämällä se vastinkuvion päälle, jolloin päällimmäinen kuvio peittää alimmaisen täysin eli kuviot yhtyvät toisiinsa (Eukleideen perustelu). Yksinkertaisesti sanoen niillä on sama koko ja sama muoto. Kuvioiden \scriptstyle A ja \scriptstyle B yhtenevyys merkitään \scriptstyle A \cong B. Yhtenevyystesti, jossa kuviot siirretään päällekkäin, voidaan matematisoida suorittamalla toiselle kuviolle isometrioiden sarja. Isometria on kuvaus, jossa kuvio kuvataan uuteen paikkaan siten, että kaikki pituudet säilyvät samoina. On todettu, että kolmen erilaisen isometrian käyttäminen riittää kaikissa tapauksissa todentamaan kuvioiden yhtenevyyden. Nämä ovat siirtäminen eli translaatio , peilaaminen ja kiertäminen eli rotaatio . Kongruens-1.svg|Käytetään kolme isometristä muunnosta kuvioiden vertaamiseen. Valkoinen mustaviivainen kuvio on vertailun kohde, johon punaista verrataan. Kongruens-2.svg|Punainen esittää peilaamisen lopputulosta, kun alkuperäinen pisteviivoin hahmoteltua kuviota peilataan janan suhteen. Kongruens-3.svg|Punainen esittää hieman käännettyä kuviota, jolloin se olisi verrattavan kuvion kanssa samassa asennossa. Kongruens-4.svg|Siirretään kuvio verrattavan kuvion päälle (punainen). Koska kuviot yhtyvät täysin, ovat ne keskenään yhtenevät. Yhtenevyydestä johtuen kuviot ovat asentoja lukuun ottamatta muodoltaan ja ominaisuuksitaan identtiset. Tällöin muun muassa sekä kuvion janat että niiden väliset kulmat ovat identtiset. Yhtenevyyden toteaminen on erityisen hyödyllistä analysoitaessa kuvioiden keskinäisiä lainalaisuuksia. Toisaalta, aksiomaattisen geometrian kannalta yhtenevyys vaatii lukuisia aksioomeja, jotta sitä voitaisiin ylipäätään käyttää muodostamaan geometrian tietorakenteita. == Yhtenevyys == === Triviaalit yhtenevyydet === Monet säännölliset kuviot ovat keskenään yhtenevät, mikäli yksi niiden ominaisuus on yhtäpitkä. Kaksi ympyrää, joilla on sama säde, ovat yhtenevät. Säteen sijasta minkä tahansa muun osan pituudet riittävät. Kaikki tasasivuiset kolmiot, joilla on sivu, tai jokin muu vastinosa, yhtä pitkät, ovat yhtenevät. Sama koskee neliöitä ja muita säännöllisiä monikulmioita. Avaruusgeometriassa säännöllisten kappaleiden, kuten pallot, kuutiot, tetraedrit, jne. ovat yhtenevät, jos niiden eräs vastinkohta on molemmissa kappaleissa samanpituinen. === Monikulmioiden yhtenevyys === Yhtenevyys voidaan todeta myös käyttämättä isometrisiä kuvauksia, kun tarkastellaan esimerkiksi monikulmioita. Ensin verrataan molempia kuvioita, jotta löydetään vastinpisteet, -janat ja -kulmat. Yhtenevissä kuvioissa vastinosat ovat kummassakin kuviossa vastaavassa tehtävässä. Jos vastinjanojen väliset kulmat ovat kaikki yhtä suuret ja vastinjanat yhtäpitkät, ovat kuviot yhtenevät. === Kolmioiden yhtenevyys === Jos kahdessa kolmiossa on vähintään kolme yhtä suurta, toisiaan vastaavaa osaa, sivua tai kulmaa, eivätkä ne kaikki ole kulmia, ovat loputkin osat yhtä suuria eli kolmiot ovat yhtenevät. Näistä yhtenevyyslauseista käytetään lyhenteitä, joissa S tarkoittaa sivua ja K kulmaa: * SKS: Jos kahdessa kolmiossa kaksi sivua ja niiden välinen kulma ovat yhtä suuret, ovat kolmiot yhtenevät. * SSS: Jos kahdessa kolmiossa kaikki toisiaan vastaavat sivut ovat yhtä suuret, ovat kolmiot yhtenevät. * KSK: Jos kahdessa kolmiossa kaksi kulmaa ja niiden välinen sivu ovat yhtä suuret, ovat kolmiot yhtenevät. * SKK: Jos kahdessa kolmiossa kaksi kulmaa ja toisen kulman vastainen sivu ovat yhtä suuret, ovat kolmiot yhtenevät. * SSK: Jos kahdessa kolmiossa kaksi sivua ja toisen sivun vastainen kulma ovat yhtä suuret ja lisäksi kyseinen kulma on tylppä, ovat kolmiot yhtenevät. (Jos kyseinen kulma on terävä, on olemassa yleensä kaksi erilaista kolmiota, joilla nämä vastinosat ovat yhtä suuret.) Nämä säännöt voidaan yhdistää yhdeksi lauseeksi: Jos kolmoista tiedetään mitkä tahansa kolme kulmaa tai sivua (ei kuitenkaan pelkästään kolme kulmaa) olevan samat myös toisessa kolmiossa, ovat kolmiot yhtenevät. SSS-yhtenevyydellä on suuri merkitys tekniikassa, sillä se tekee kolmiosta jäykän kappaleen: kolmio, jonka sivut ovat jäykät, säilyttää muotonsa vaikka kulmat eivät olisi jäykkiä. Millään muulla monikulmiolla ei ole tätä ominaisuutta. Tähän perustuvat muun muassa rakennustekniikassa käytettävät ristikko- ja vinotukirakenteet. Muitakin yhtenevyyden toteavia sääntöjä on. Esimerkiksi * SMS: Jos kolmion samasta kärjestä lähtevät sivut ja niiden välinen mediaani ovat yhtä pitkät kuin vastaavat janat toisessa kolmiossa, ovat kolmiot yhtenevät. * HHH: Jos kolmion korkeusjanat ovat yhtä pitkät kuin toisessa kolmiossa, ovat kolmion yhtenevät. * MMM: Jos kolmion mediaanit eli keskijanat ovat yhtä pitkät kuin toisessakin kolmiossa, ovat kolmiot yhtenevät. * PPP: Jos kolmion kulmien kulmanpuolittajat ovat yhtä pitkät kuin toisessa kolmiossa, ovat kolmiot yhtenevät. == Katso myös == * Yhdenmuotoisuus == Lähteet == * * * === Viitteet === ==Kirjallisuutta== * Luokka:Geometria