Expand by multilinearity of the determinant in its columns. The coefficient of is a sum of determinants obtained by choosing columns from and the remaining columns from . Since the columns of span a space of dimension , every choice of more than columns from is linearly dependent. All coefficients of for therefore vanish, so
Articles by others on the same topic
There are currently no matching articles.