Kongruens är ett begrepp med två vanliga betydelser: i geometrin handlar det om att två figurer har samma form och storlek, och i talteorin om att två heltal lämnar samma rest vid division med ett givet modulus. Inom geometri säger man att två figurer är kongruenta när den ena kan överföras på den andra med en stum förflyttning, det vill säga utan att ändra längder eller vinklar. Begreppet berör både enkla figurer som triangel och komplexa punktuppsättningar.

Geometrisk kongruens: form, storlek och rörelser

Formellt är två uppsättningar av punkter kongruenta om det finns en isometri — en avståndsbevarande avbildning — som förflyttar den ena uppsättningen så att den sammanfaller med den andra. Isometrier består i praktiken av stela rörelser: translation (förflyttning), rotation (vridning), spegling (reflektion) eller en sammansatt förflyttning såsom glide reflection.

Det innebär att man tillåter att en figur ändrar orientering, till exempel blir en spegelbild, men inte att den skalas om. Två plana figurer på ett papper kan exempelvis klippas ut och läggas över varandra; om de passar exakt är de kongruenta. Begreppet är centralt när man jämför form och storlek i både praktiska och teoretiska sammanhang.

Polygoner och kongruenskriterier

Kongruenta polygoner har motsvarande hörn, sidor och vinklar. För trianglar finns flera välkända kriterier som avgör kongruens utan att behöva jämföra alla sidlängder och vinklar:

  • SSS (sida–sida–sida): tre par motsvarande sidor lika långa.
  • SAS (sida–vinkel–sida): två par sidor och den mellanliggande vinkeln lika.
  • ASA (vinkel–sida–vinkel): en sida mellan två lika vinklar.
  • AAS (vinkel–vinkel–sida): två vinklar och en icke-mellanliggande sida.
  • RHS eller HL används för rätvinkliga trianglar (hypotenusa och en katet lika).

För polygoner i allmänhet räcker ofta en överensstämmelse mellan motsvarande sida- och vinkeldata för att fastställa kongruens, men kriterierna varierar med figurens typ.

Kongruens kontra likhet

Det är viktigt att skilja på kongruens och likhet. Likhet (similaritet) kräver endast att två figurer har samma form, det vill säga lika vinklar och proportionella sidor; de kan vara olika stora. Kongruens kräver både form och absolut storlek. Ur matematisk synvinkel är kongruens även en ekvivalensrelation: den är reflexiv, symmetrisk och transitiv, vilket gör att objekt kan delas upp i kongruensklasser.

Kongruens i talteori

I talteori används ordet kongruens för en annan, men relaterad idé: två heltal a och b är kongruenta modulo n om skillnaden a−b är delbar med n. Detta skrivs ofta som a ≡ b (mod n). Begreppet formaliserades tidigt i modern form av Carl Friedrich Gauss och är grunden för begrepp som restklasser, KRYPTOnologi i datorsäkerhet, restteori, samt praktiska metoder som checksummor och kalenderberäkningar.

Precis som i geometrin skapar kongruens i aritmetik ett system av motsvarande element (residuklasser). Arbetet med kongruenser leder till viktiga teorem, till exempel Eulers satser och den kinesiska restsatsen, som har både teoretisk och praktisk betydelse.

Användning och historiska anmärkningar

Kongruens används i skolundervisning för att förstå form och bevisföring i geometri, i teknisk ritning och tillverkningskontroll för att säkerställa passform, samt i matematikens mer abstrakta delar. Historiskt återfinns idéer om oförändrade avstånd hos antika geometers konstruktioner, medan den moderna notationen och systematiska behandlingen av kongruens i talteori tillskrivs Gauss i början av 1800-talet.

För vidare läsning om geometriska transformationer och aritmetiska kongruenser se även allmänna översikter om symmetrier, geometri och isometrier, samt resurser om form och punktuppsättningar i analytisk geometri.