Síkidomok egybevágósága

Definíció:

Két alakzatot egybevágónak nevezünk, ha van olyan távolságtartó (egybevágósági) transzformáció, amellyel az egyik alakzatot a másikba vihetjük át.
Az egybevágóság jele: ≅ , amelyet Leibniz vezetett be.

Háromszögek egybevágóságának alapesetei:

Két háromszög egybevágó, ha:

1. Oldalainak hossza páronként egyenlő.
2. Két-két oldaluk hossza páronként egyenlő, és az általuk közrefogott szögek egyenlők.
3. Egy-egy oldaluk hossza, és két-két megfelelő szögük egyenlő.
4. Két-két oldaluk hossza páronként egyenlő, és a nagyobbik oldallal szembe lévő szögek egyenlők.