合同,相似 => 等价,反之不成立
合同未必相似,相似也未必合同
实对称矩阵相似(或特征值相同) 必合同