设ab为门阶方阵若ab等价则ab相似