不仅如此,还有A1.,……,An都相似于对角阵,AiAj＝AjAi.（i≠j）.则存在
公共的满秩方阵P.使P^（-1）AiP i＝1,……,n.同时为对角形.（这是1978年
武汉大学代数方向硕士生入学复试的一道题）
证明请参考：代数学辞典 樊恽 等主编 华中师范大学出版社 937题,940题
P431－P432.