What is wrong with this proof that symmetric matrices commute? Symmetric matrices represent real self-adjoint maps, i.e. linear maps that have the following property: $$\langle\vec{v},f(\vec{w})\rangle=\langle f(\vec{v}),\vec{w}\rangle$$ where $\langle,\rangle$ donates the scalar (dot) product.
Using this logic:
$$\langle\vec{v},AB\vec{v}\rangle=\langle A\vec{v},B\vec{v}\rangle=\langle BA\vec{v},\vec{v}\rangle$$
Where $A$ and $B$ are symmetric matrices. Using the fact that the real scalar dot product is commutative:
$$\langle BA\vec{v},\vec{v}\rangle=\langle\vec{v},BA\vec{v}\rangle$$ 
We therefore have the result:
$$\langle\vec{v},AB\vec{v}\rangle=\langle\vec{v},BA\vec{v}\rangle$$ 
This holds true for any real vector $\vec{v}$ so therefore $AB=BA$.
However, symmetric matrices do not always commute so something is wrong with this proof.
 A: The fallacy in your proof is, as others have observed, in the last step, in which you go from the (correct) equation

$\langle \vec{v}, AB\vec{v} \rangle = \langle \vec{v}, BA\vec{v} \rangle$

to the incorrect conclusion

This holds true for any real vector $\vec{v}$ so therefore $AB = BA$

To see why this is wrong, let's rephrase the underlying assumption here as a question:

Suppose $M, N$ are two matrices such that for all vectors $\vec{v}$, $\langle \vec{v}, M\vec{v} \rangle = \langle \vec{v}, N\vec{v} \rangle$.  What can you conclude?

You would like to conclude that $M = N$.  Is that true?
Because the inner product is bilinear, the assumption that $\langle \vec{v}, M\vec{v} \rangle = \langle \vec{v}, N\vec{v} \rangle$ is equivalent to $\langle \vec{v}, (M-N)\vec{v} \rangle = 0$.  If we introduce a new matrix $K = M-N$, then our question is equivalent to the following:

Suppose $K$ is a matrix such that for all vectors $\vec{v}$,  $\langle \vec{v}, K\vec{v} \rangle = 0$.  What can you conclude about $K$?

Again, you would like to conclude that $K = 0$.  Is that necessarily true?
Stated in this form it is perhaps easier to see where you have made your mistake.  It is true that $\langle \vec{v}, \vec{v} \rangle = 0 \Longrightarrow \vec{v} = 0$
 (this is one of the properties of any inner product), and the property you wish to assert looks sort of like this, if you don't look too closely.  But it is not true in general that if $\langle \vec{v}, K\vec{v} \rangle = 0$ for all $\vec{v}$, then $K = 0$.  Indeed, $\langle \vec{v}, K\vec{v} \rangle = 0$ holds for any antisymmetric matrix $K$.  In the example of the original question $K = AB - BA$, the commutator of the two given symmetric matrices, which is always antisymmetric.
A: You have proved that $v\mapsto v^TABv$ and $v\mapsto v^TBAv$ are the same quadratic form. However, since $AB$ and $BA$ are not necessarily symmetric, that doesn't mean they are the same matrix.
You can check this by plugging in some matrices where you know commutativity fails, for example
$$ A =\begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix} \quad B = \begin{pmatrix}0 & 1 \\ 1 & 0 \end{pmatrix} $$
We then get
$$ AB = \begin{pmatrix}0 & 1 \\ 2 & 0 \end{pmatrix} \qquad BA = \begin{pmatrix}0 & 2 \\ 1 & 0 \end{pmatrix} $$
and indeed these define the same quadratic form:
$$ (x\;\;y)\begin{pmatrix}0 & 1 \\ 2 & 0 \end{pmatrix}\begin{pmatrix}x\\ y\end{pmatrix} = 3xy = (x\;\;y)\begin{pmatrix}0 & 2 \\ 1 & 0 \end{pmatrix} \begin{pmatrix}x\\ y\end{pmatrix} $$
for all $x,y$, but the matrices are different.
A: You have not made explicit why you think you can deduce from what you proved that $AB = BA$ but let me state the following things which are true:


*

*If you have two linear maps $T, S \colon V \rightarrow V$ on an inner product space (real or complex) and if $\left< Tv, u \right> = \left< Sv, u \right>$ for all pairs $u, v \in V$ then $T = S$.

*If you have two linear maps $T, S \colon V \rightarrow V$ on a complex inner vector space and if $\left< Tv, v \right> = \left< Sv, v \right>$ then $T = S$. This follows from a polarization identity. Note that this is weaker than the previous item because you require identity only for all vectors and not all pairs. Note also that this fails if $V$ is a real inner vector space (you can take for counterexample $V = \mathbb{R}^2, T = 0$ and $S$ a rotation by $90^{\circ}$s).


Now, let's see what goes wrong with your reasoning. Let's start with two symmetric real matrices $A,B \in M_n(\mathbb{R})$. You can do two things:


*

*Think of $A,B$ as maps from $\mathbb{R}^n$ to $\mathbb{R}^n$. More formally, set $T = L_A$ (the linear map which acts by multiplication by $A$) and $S = L_B$. Then you indeed have shown that $\left< TSv, v \right> = \left< STv, v \right>$ for all $v \in \mathbb{R}^n$. However, by the above, you see that this is not enough to deduce that $TS = ST$ (or $AB = BA$).

*Think of $A,B$ as maps from $\mathbb{C}^n$ to $\mathbb{C}^n$. Again, set $T = L_A$ and $S = L_B$. But then you have proved that $\left< TSv, v \right> = \left< STv, v \right>$ only for all $v \in \mathbb{R}^n$ and not for all $v \in \mathbb{C}^n$ (this is where you use "any real vector"). Hence, even though you work on a complex vector space, again you can't deduce that $TS = ST$ (or $AB = BA$).

A: With the same reasoning you can prove that for any square matrix $A$ it holds that
$$\langle Ax,x\rangle =\langle A^T x,x\rangle.$$
You can't conclude that $A=A^T$ from here (you could if you would have $x$ and $y$ but that does not work).
So the thing is that the quadratic form $x\mapsto \langle Ax,x\rangle$ only determines the symmetric part of the matrix, but not the full matrix.
A: Your error lies with these two lines

$$\langle\vec{v},AB\vec{v}\rangle=\langle\vec{v},BA\vec{v}\rangle$$
This holds true for any real vector $\vec{v}$ so therefore $AB=BA$.

The second line is a non sequitur. You seem to have an implicit step in here  $(\forall \vec v: \langle\vec{v},M_1\vec{v}\rangle=\langle\vec{v},M_2\vec{v}\rangle) \rightarrow (M_1=M_2) $, however, that is not true. For instance, if $M_1$ rotates $\vec{v}$ ninety degrees clockwise, while $M_2$ rotates ninety degrees counterclockwise, $ \langle\vec{v},M_1\vec{v}\rangle=\langle\vec{v},M_2\vec{v}\rangle=0$.
Your underlying error seems to be affirming the consequent: if the matrices are equal, then the dot product are equal, the dot products are equal, therefore the matrices are equal.
You also may be confused by that fact that $(\forall \vec v: M_1 \vec v = M_2 \vec v ) \rightarrow (M_1=M_2) $ is valid logic. If two matrices define the same map, then they are the same matrix (with the appropriate caveats, such as both being over the same basis, etc.). But here, we aren't defining a map $\vec v \rightarrow M \vec v$, we're defining a map $\vec v \rightarrow  \langle\vec{v},M \vec{v}\rangle$. The map involves $M$, but it isn't just $M$.
A: Dot product is a relative relationship which summarizes two vectors. A similar relationship is angle. The last statement in your proof amounts to, "because the angle between two vectors is the same, they must be the same vectors," which is wrong.
