Test for trekanters lighed er en af de grundlæggende teoremer i geometri.
En trekant på det euklidiske plan kan defineres entydigt (op til kongruens ) af følgende trillinger af grundelementer: [1]
Der er funktioner til retvinklede trekanter , hvoraf nogle er exceptionelle:
Et ekstra tegn: trekanter er lige, hvis de har to sider og en vinkel modsat den største af disse sider [2] .
I sfærisk geometri og i Lobachevskys geometri er der et tegn på, at trekanter er lige store i tre vinkler.
Sætning: hvis to sider og vinklen indesluttet mellem dem, i henholdsvis en trekant, er lig med to sider og vinklen indesluttet mellem dem, i en anden trekant, så er sådanne trekanter ens .
Givet:
Bevis:
Bevis: Overlæg med , så punktet falder på og siden falder sammen med . Så, på grund af ligheden mellem disse sider, vil punktet falde sammen med a på grund af vinklernes lighed, og siden vil falde sammen med , og på sin side, på grund af ligheden mellem disse sider, vil punktet falde sammen med , så side vil falde sammen med (da to punkter kun kan forbindes med en ret linje) . Så falder trekanterne sammen, hvilket betyder, at de er lige store.
Kravet om, at vinklen skal ligge mellem siderne er væsentlig, for hvis den kendte vinkel derimod ligger modsat den kendte side, så kan en anden, ukendt vinkel, som ligger modsat resten af den kendte side, tvetydigt bestemmes af sinussætning : hvis sinus af vinklen er lig med en eller anden værdi, så er sinus for den tilstødende også.
Sætning: Hvis to vinkler og den side, der støder op til dem i en trekant, er henholdsvis lig med to vinkler og den side, der støder op til dem i en anden trekant, så er sådanne trekanter lig .
Givet:
Bevis:
Bevis:
I modsætning til det første kriterium kan 2. kriterium omformuleres, så begge kendte vinkler ikke støder op til en kendt side, og takket være vinkelsumsætningen forbliver lighedskriteriet sandt.