Queremos ver a qual subespaço o conjunto solução (o núcleo de A) é complemento ortogonal.
Passo 2
Lembrando do resultado de Álgebra Linear: para uma matriz A de tamanho m\times n, o espaço nulo \ker(A) é o complemento ortogonal do espaço gerado pelas linhas de A. Em símbolos,