如果两个图形形状相同，但大小不一定相等，那么这两个图形相似。

设有两个几何图形F和F'，如果在它们的所有点之间可以建立一一对应，并且图形F上的任一线段与图形F'上对应线段之比为一常数，那么F和F'称为相似图形或相似形，两图形F和F'相似，记为F∽F'，记号“∽”读作相似于.对应线段的比称为它们的相似比（或相似系数）。

直角三角形被斜边上的高分成两个直角三角形和原三角形相似。如果一个直角三角形的斜边和一条直角边与另一个直角三角形的斜边和一条直角边对应成比例，那么这两个直角三角形相似。

如果两个多边形满足对应角相等，对应边的比相等，那么这两个多边形相似(两个条件一个也不能缺)。

相似多边形的对应角相等，对应边的比相等。相似多边形的周长比等于相似边的比。相似多边形的面积比等于相似边比的平方。

设A,B为数域F上两个n阶矩阵，如果可以找到数域F上的n阶可逆矩阵P，使得B=P^(－1)AP，则称A相似于B，记为A∽B。

相似关系是矩阵之间的一种等价关系。线性变换在不同基下所对应的矩阵是相似的；反之，如果矩阵相似，那么它们可以看作是同一个线性变换在两组不同基下对应的矩阵。

相似矩阵具有相同的特征值、迹、行列式、特征多项式和极小多项式等。任何矩阵可以相似于Jordan标准型，特别地，实对阵矩阵总可以相似于某个实对角矩阵。