A háromszögek egyenlőségének vizsgálata a geometria egyik alaptétele.
Egy háromszög az euklideszi síkon egyedileg ( kongruenciáig ) definiálható az alábbi alapelemhármasokkal: [1]
Vannak jellemzők a derékszögű háromszögekhez , amelyek közül néhány kivételes:
Egy további előjel: a háromszögek akkor egyenlőek, ha két oldaluk van, és egy szögük a nagyobbik oldallal ellentétes [2] .
A gömbgeometriában és Lobacsevszkij geometriájában van egy jel, hogy a háromszögek három szögben egyenlők.
Tétel: ha egy háromszögben két oldal és a közéjük bezárt szög egy másik háromszögben egyenlő két oldallal és a közéjük bezárt szöggel, akkor az ilyen háromszögek egyenlőek .
Adott:
Bizonyítás:
Bizonyítás: Fedje le úgy, hogy a pont ráessen, az oldal pedig egybeessen -val . Ekkor ezen oldalak egyenlősége miatt a pont egybeesik a-val a szögek egyenlősége miatt, az oldal pedig egybeesik -vel , viszont ezen oldalak egyenlősége miatt a pont egybeesik -vel , így a oldala egybe fog esni (mivel két pontot csak egy egyenes köthet össze) . Ekkor a háromszögek egybeesnek, ami azt jelenti, hogy egyenlők.
Az a követelmény, hogy a szög az oldalak között legyen, lényeges, mert ha az ismert szög ellenkezőleg, az ismert oldallal szemben van , akkor egy másik, ismeretlen szög, amely az ismert oldal többi részével szemben van, kétértelműen meghatározható a szinusztétel : ha a szög szinusza egyenlő valamilyen értékkel, akkor a szomszédos szinusza is az.
Tétel: ha az egyik háromszög két szöge és a velük szomszédos oldal egy másik háromszög két szögével, a velük szomszédos oldal pedig egyenlő, akkor az ilyen háromszögek egyenlőek .
Adott:
Bizonyítás:
Bizonyítás:
Ellentétben az első feltétellel, a 2. feltétel újrafogalmazható úgy, hogy mindkét ismert szög ne szomszédos egy ismert oldallal, és a szögösszeg tételének köszönhetően az egyenlőségi feltétel igaz marad.