Write , and . If , thenEliminating gives , and eliminating gives . Hence implies linear independence.
For the converse, suppose . If , the family already contains the zero vector and is linearly dependent. If , the equality gives . If but , then and forces , so . Both cases give a nontrivial linear relation. ThereforeThis is the two-dimensional determinant criterion, proved directly without assuming that criterion.
Articles by others on the same topic
There are currently no matching articles.