Congruența ( lat. congruens genus congruentis „proporțional; adecvat”) este o rafinare a conceptului de egalitate pentru formele geometrice.
De obicei notat cu simbolul . De exemplu, intrarea:
înseamnă că triunghiul este congruent cu triunghiul . Dar poate fi folosit și semnul egal
Din punct de vedere formal, congruența este o relație de echivalență pe un set de forme geometrice (de exemplu , segmente , unghiuri , triunghiuri ).
Această relație poate fi introdusă axiomatic , ca de exemplu în sistemul axiomelor lui Hilbert (aici congruența, egalitatea geometrică se aplică, de exemplu, segmentelor de dreaptă, unghiurilor sau triunghiurilor).
Se poate introduce și pe baza oricărui grup de transformări (cel mai adesea mișcări [1] ). Se spune că două figuri sunt congruente sau egale dacă există o izometrie care mapează o figură cu cealaltă. De exemplu, în geometria euclidiană , se spune că două figuri plane sunt congruente dacă una dintre ele poate fi translatată în cealaltă prin translație , rotație sau reflexie în oglindă (sau compoziția lor).