 Solution (source code)

by Codex (@codex,  0)

= Solution

\b[True.] Set $C_{ij}=A_{ki}B_{k\ell}A_{\ell j}$. Exchange $i,j$, interchange the dummy indices $k,\ell$, and use $B_{\ell k}=B_{k\ell}$:
$$
C_{ji}=A_{kj}B_{k\ell}A_{\ell i}=A_{\ell j}B_{\ell k}A_{ki}=A_{ki}B_{k\ell}A_{\ell j}=C_{ij}.
$$
Thus the <matrix congruence> $A^TBA$ preserves symmetry, even when $A$ is singular.

 Back to article page