! Ah, bueno!
Yo pensaba que eran productos de matrices. De todas formas es lo mismo hacerlo con matrices si se define así
(Ax)'y = x'Ay
donde la prima significa transpuesto
PRIMERA PARTE (==>)
En ambos lados sale una suma de nxn términos en que los sumandos son los elementos de la matriz multiplicados por una componente de x y otra de y.
Cada uno de ellos es:
$$\begin{align}&Izda = a_{jk}·x_k·y_j\\ &Dcha = a_{jk}·x_j·y_k\end{align}$$
Si la matriz es simétrica tendremos
$$a_{jk} =a_{kj}$$
Y el sumando jk de la izquierda será exactamente igual al kj de de la derecha, habrá los mismos sumandos y su suma será igual.
SEGUNDA PARTE (<==)
Si se cumple para todos los vectores también se cumplirá para los vectores que tienen una componente 1 y todas las demás cero
Para cada elemento aij de la matriz vamos a tomar como x el vector qe tiene todo ceros salvo un 1 en la componente i-esima y como vector y el que tiene todo ceros salvo un 1 en la componente j-esima
El único sumando que no será nulo es aquel correspondiente al producto de las componentes con valor 1
Esto esto la parte izquierda dará como resultado el elemento de la matriz
Aji
Y en la derecha será:
Aij
Luego aji = aij y esto para todo i,j=1,..,n, luego la matriz es simétrica.
No he podido usar el editor porque se ha estropeado ahora, pero entiendes que aij es a sub ij
Y eso es todo.