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 formula_1 ja formula_2 yhtenevyys merkitään formula_3.
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 .
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:
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