Cho $A$ là một ma trận vuông có các phần tử nằm ngoài đường chéo chính bằng $0,$ gọi là ma trận chéo; với các phần tử trên đường chéo chính khác nhau từng đôi một. Chứng minh rằng mọi ma trận giao hoán với $A$ cũng là một ma trận chéo.
Giả sử $A,B$ là ma trận vuông cấp n
Do $AB=BA$ nên với mọi $1\leq i\neq j\leq n$ ta có $[AB]_{ij}=[BA]_{ij}$
$ \Rightarrow \sum_{i=1}^{n}[A]_{ik}[B]_{kj}=\sum_{i=1}^{n}[B]_{ik}[A]_{kj}\,\,\,\Rightarrow \,\,\, [A]_{ii}[B]_{ij}=[B]_{ij}[A]_{jj}$
do $[A]_{ii}\neq [A]_{jj}$ nên $[B]_{ij}=0$
Vậy $B$ là ma trận đường chéo.