Queremos extrair uma base do subespaço gerado por esses vetores, isto é, escolher um subconjunto linearmente independente que gere o mesmo espaço. Para isso, vamos montar a matriz cujas colunas são esses vetores e aplicar eliminação de Gauss, de modo a identificar quais colunas são pivôs (vetores independentes).
Passo 2
Formamos a matriz AinR^3times4 cujas colunas são v1,v2,v3,v4: