Kolmioiden yhtäläisyyden testit ovat yksi geometrian peruslauseista.
Euklidisen tason kolmio voidaan määrittää yksiselitteisesti ( kongruenssiin asti ) seuraavilla peruselementtitripleteillä: [1]
Suorakulmaisille kolmioille on ominaisuuksia , joista jotkut ovat poikkeuksellisia:
Lisämerkki: kolmiot ovat yhtä suuret, jos niillä on kaksi sivua ja kulma, joka on vastakkainen näistä suuremmista sivuista [2] .
Pallogeometriassa ja Lobatševskin geometriassa on merkki, että kolmiot ovat yhtä suuret kolmessa kulmassa.
Lause: jos kaksi sivua ja niiden välissä oleva kulma yhdessä kolmiossa ovat samat kuin kaksi sivua ja niiden välinen kulma toisessa kolmiossa, niin tällaiset kolmiot ovat yhtä suuret .
Koska:
Todista:
Todistus: Overlay kanssa niin, että kohta kuuluu ja puoli osuu . Sitten näiden puolien yhtäläisyydestä johtuen piste osuu yhteen a:n kanssa kulmien yhtäläisyyden vuoksi ja sivu osuu yhteen kanssa , ja puolestaan näiden puolien yhtäläisyydestä johtuen piste osuu yhteen kanssa , joten puoli osuu yhteen (koska kaksi pistettä voidaan yhdistää vain yhdellä suoralla) . Sitten kolmiot kohtaavat, mikä tarkoittaa, että ne ovat yhtä suuret.
Vaatimus, että kulma on sivujen välillä , on olennainen, koska jos tunnettu kulma päinvastoin on tunnettua puolta vastapäätä , niin toinen, tuntematon kulma, joka on vastapäätä muuta tunnettua sivua, voidaan määrittää moniselitteisesti sinilause : jos kulman sini on yhtä suuri kuin jokin arvo, niin viereisen sini on myös.
Lause: jos yhden kolmion kaksi kulmaa ja niiden viereinen sivu ovat vastaavasti toisen kolmion kaksi kulmaa ja niiden vieressä oleva sivu, niin tällaiset kolmiot ovat yhtä suuret .
Annettu:
Todista:
Todistus:
Toisin kuin ensimmäinen kriteeri, 2. kriteeri voidaan muotoilla uudelleen niin, että kumpikaan tunnetuista kulmista ei ole tunnetun puolen vieressä ja kulmasummalauseen ansiosta yhtäläisyyskriteeri pysyy totta.