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!