Es un razonamiento lógico por reducción al absurdo. Supones algo, mediante una serie de pasos lógicos llegas a una contradicción, por lo tanto lo que suponías cierto, no lo era.
En tu caso, esto significa que \( \lambda=\alpha=0 \) y por lo tanto los vectores son L.I