Buenas,
La idea es usar el teorema de Householder-John. Fijate que puedes escribir las matriz del método SOR como

, entonces si mostramos que las matrices (En nuestro caso va a quedar

)

y

son simétricas y definidas positivas cuando

, ganamos!
Saludos!