A bijective proof of generalized Cauchy–Binet, Laplace, Sylvester and Dodgson formulas
M. Bayat · Linear and Multilinear Algebra · 2020
In this paper, we give the generalization of Cauchy–Binet, Laplace, Sylvester and generalized Dodgson's condensation formulas for the case of rectangular determinants. The proofs are bijective combinatorial proofs similar to that of Zeilberger's paper [Zeilberger D. Dodgson's determinant-evaluation rule proved by TWO-TIMING MEN and WOMEN. Electron J Comb. 1997;4(2):R22; Zeilberger D. A combinatorial approach to matrix algebra. Discrete Math. 1985;56:61–72].