因为\(AB\)是\(m\times k\)矩阵,\(BC\)是\(n\times p\)矩阵,所以\((AB)C\)和\(A(BC)\)都是\(m\times p\)矩阵。对任意\(1\leq i\leq m, 1\leq j\leq p\),接下来我们考虑\((AB)C\)与\(A(BC)\)的第\(i\)行第\(j\)列元素。为方便起见,以下记
\begin{equation*}
AB=\left(u_{il}\right)_{m\times k}, BC=\left(v_{sj}\right)_{n\times p},
\end{equation*}
其中
\begin{equation*}
u_{il}=\sum\limits_{s=1}^na_{is}b_{sl}, v_{sj}=\sum\limits_{l=1}^kb_{sl}c_{lj}.
\end{equation*}
则\((AB)C\)的第\(i\)行第\(j\)列元素为
\begin{equation*}
\sum\limits_{l=1}^k u_{il}c_{lj}=\sum\limits_{l=1}^k\left(\sum\limits_{s=1}^na_{is}b_{sl}\right)c_{lj}=\sum\limits_{l=1}^k\sum\limits_{s=1}^n a_{is}b_{sl}c_{lj},
\end{equation*}
\(A(BC)\)的第\(i\)行第\(j\)列元素为
\begin{equation*}
\sum\limits_{s=1}^n a_{is}v_{sj}=\sum\limits_{s=1}^n a_{is}\left(\sum\limits_{l=1}^kb_{sl}c_{lj}\right)=\sum\limits_{s=1}^n\sum\limits_{l=1}^k a_{is}b_{sl}c_{lj}.
\end{equation*}
由于
\begin{equation*}
\sum\limits_{l=1}^k\sum\limits_{s=1}^n a_{is}b_{sl}c_{lj}=\sum\limits_{s=1}^n\sum\limits_{l=1}^k a_{is}b_{sl}c_{lj},
\end{equation*}
故\((AB)C\)与\(A(BC)\)的第\(i\)行第\(j\)列元素相同(\(i=1,\ldots,m,j=1,\ldots,p\)),从而\((AB)C=A(BC)\)。