How to show that if $A, B \in M_{n}(\mathbb{C})$, and $x,y\in \mathbb{C}^{n}$ then the following two conditions are equivalent,
1.) $\langle Ax,y\rangle =\langle Bx,y\rangle$
2.) $\langle Ax,x \rangle= \langle Bx,x \rangle$
for all $x,y$?
How to show that if $A, B \in M_{n}(\mathbb{C})$, and $x,y\in \mathbb{C}^{n}$ then the following two conditions are equivalent,
1.) $\langle Ax,y\rangle =\langle Bx,y\rangle$
2.) $\langle Ax,x \rangle= \langle Bx,x \rangle$
for all $x,y$?
Both (1) and (2) are equivalent to $A=B$.
By taking differences, it is equivalent to show that the following are equivalent:
(1) $A=0$.
(2) $\left
(3) $\left
Obviously 1 implies 2 implies 3. Also 2 implies 1 by considering $y=Ax$. Assume 3 holds. Then compute, for arbitrary $\lambda\in\mathbb{C}$:
$0=\left=\lambda \left
Hence for $\lambda\neq 0$ we get
$\left
For fixed $x,y$, we can vary $\frac{\bar{\lambda}}{\lambda}$, so that $\left
Note that we really used that the field is $\mathbb{C}$! If the field was $\mathbb{R}$, then $\frac{\bar{\lambda}}{\lambda}$ is constant equal to 1 so there is nothing to vary; in $\mathbb{C}$ one could e.g. take $\lambda=1$ and $\lambda=i$. Indeed in the real case it is not true: take $n=2$ and $A$ a rotation of 90 degrees, then $A$ is not zero, but $\left
However, if in the real case we add the assumption that $A=A^*$ (symmetric), then it remains true, as can be easily seen form the above proof noting that $\left
If $\langle Ax,x\rangle=\langle Bx,x\rangle$ for all $x$, then from $\langle A(x+y),x+y\rangle = \langle B(x+y),x+y\rangle$ it follows that $ \langle Ax,y\rangle +\langle Ay,x\rangle = \langle Bx,y\rangle +\langle By,x\rangle. $ Similarly from $\langle A(x+iy),x+iy\rangle = \langle B(x+iy),x+iy\rangle$ it follows that $ i\langle Ax,y\rangle -i\langle Ay,x\rangle = i\langle Bx,y\rangle -i\langle By,x\rangle. $ (Here I am with the physicists: $\langle u,v\rangle=u^*v$.) From these two equations we get $\langle Ax,y\rangle=\langle Bx,y\rangle$.