The following identity involving determinants essentially appears in E.L. Ince’s book on Ordinary Differential Equations:

Let $A$ be an $n times n$ matrix, $n geq 3$. Denote by $A_{j_1,ldots,j_r}^{k_1,ldots,k_r}$ the $(n-r) times (n-r)$ matrix obtained from $A$ by

erasing the $j_1$-th, …, $j_r$-th row and the $k_1$-th, …, $k_r$-th column. Then,

$$

left|A right| left|A_{n-1,n}^{1,n} right| = left|A_{n-1}^1 right|left|A_n^n right| – left|A_{n-1}^n right|left|A_n^1 right|.

$$

Any ideas of how to prove it? Is this a special case of a more general identity?

MathOverflow Asked by Vassilis Papanicolaou on January 4, 2021

1 AnswersI'll repeat the argument cited in the comments, adjusted to fit your situation.

A polynomial identity holds in general if it holds on an open set. So it's enough to prove the identity for matrices $A$ in the open set where $A^{1,n}_{n-1,n}$ is invertible. That is, we can assume $A^{1,n}_{n-1,n}$ is invertible.

Now premultiply $A$ by the inverse of the matrix.

$$pmatrix{0&1&0cr A^{1,n}_{n-1,n}&0&0cr 0&0&1cr}$$ where the $1$s are $1times 1$ matrices with entry $1$ and the $0's$ are row or column matrices of the appropriate sizes, filled with zeros.

This does not affect the truth of the theorem and allows us to assume $A^{1,n}_{n-1,n}$ is the identity, after which row and column operations render the desired equality trivial.

Answered by Steven Landsburg on January 4, 2021

0 Asked on December 15, 2020 by shaoyang-zhou

1 Asked on December 15, 2020

1 Asked on December 14, 2020 by nahila

2 Asked on December 10, 2020 by yada

1 Asked on December 9, 2020 by neothecomputer

ac commutative algebra algebraic number theory nt number theory ra rings and algebras

1 Asked on December 9, 2020 by mb2009

0 Asked on December 8, 2020 by dbcohsmoothness

ag algebraic geometry derived algebraic geometry derived categories homological algebra

1 Asked on December 7, 2020

1 Asked on December 7, 2020 by qsh

algebraic groups geometric group theory gr group theory linear algebra rt representation theory

0 Asked on December 6, 2020 by sharpe

0 Asked on December 6, 2020 by xindaris

at algebraic topology cohomology limits and colimits sheaf cohomology

0 Asked on December 6, 2020 by winawer

lie superalgebras mp mathematical physics reference request rt representation theory vertex algebras

1 Asked on December 5, 2020 by leo-herr

ag algebraic geometry algebraic curves birational geometry blow ups

1 Asked on December 4, 2020 by lyrically-wicked

1 Asked on December 4, 2020 by andrea-marino

calculus of variations connections differential topology geodesics transversality

0 Asked on December 3, 2020 by eric-yan

0 Asked on December 3, 2020 by user164740

ag algebraic geometry at algebraic topology complex geometry dg differential geometry gt geometric topology

2 Asked on December 1, 2020 by wolfgang

big picture co combinatorics modular forms special functions

2 Asked on December 1, 2020 by bernhard-boehmler

computer algebra finite groups gr group theory ra rings and algebras rt representation theory

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- eric_kernfeld on How to test consistency of responses?
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- kjetil b halvorsen on How to test consistency of responses?
- Philipp on How do i draw a ray in unity

© 2022 AnswerBun.com. All rights reserved.