En algèbre linéaire, deux matrices carrées A et B (de même taille et à coefficients dans un même corps K) sont dites congruentes si elles représentent la même forme bilinéaire dans deux bases différentes, c`est-à-dire s`il existe une matrice inversible P telle que