Sigo la prueba en Wiki . Sin embargo, la primera vez que me encontré con esto fue al mirar estas notas de Stanford CS229. La sección 2.2 contiene una prueba que utiliza trazos de matrices, incluyendo esta parte de la página 11:
No tengo claro el cuarto paso. Entiendo que tr(A+B) = trA + trB, por lo que el primer término del paréntesis está claro. Sin embargo, no sigo cómo se combina la traza de los otros tres términos en: