Atascado en alguna manipulación simbólica de una matriz producto

Question

Estoy atascado tratando de entender las manipulaciones simbólicas que ocurren a continuación. La matemática se produce en una prueba de que las matrices semidefinidas positivas son necesariamente singulares - A es una matriz semidefinida positiva, es decir, simétrica - A = A'. Sólo estoy interesado en los pasos entre las dos líneas - ¿podría alguien con álgebra lineal decente ayudarme?

Answer 1

Basta con abrir los corchetes y utilizar $(X+Y)^T =X^T+Y^T, \ \ (tA)^T=tA^T, \ \ (Ax)^T=x^TA^T$ y también $A^T=A$ .