Sean $x,y$ matrices cuadradas y $c$ cualquier escalar.
¿Es cierto que $ \Vert x^2 \Vert - c^2 \Vert y^2 \Vert = \Vert x - cy \Vert ^2$?
Si esto es cierto entonces he terminado con la demostración de un teorema sobre teoría de asociación. Gracias.
Nota: $\| x \| = \langle x,x\rangle$ y $\langle x,y\rangle = \operatorname{Trace} (x y^*)$ donde ${}^*$ es el conjugado y transpuesto de $y$.