show/hide this revision's text 5 deleted 90 characters in body

Dusan Pokorny and Jan Rataj have just posted a paper (http://arxiv.org/abs/1209.2305) in which they prove the identity $$ \det (A-B) = \frac 1{d!} \sum_{k=0}^d (-1)^k \binom dk \det((d-k)A + kB) $$ where $A,B$ are $d \times d$ matrices (this is the corrected version of the formula, in response to Paseman's initial incredulity).

This is so simple and beautiful that one is tempted to suspect that it is "known". Has anyone seen this before?

(this is the corrected version of the formula, in response to Paseman's initial incredulity.)

added after the comments of Grinberg and Elkies:

Thanks all, this is good to know.

I should mention Pokorny-Rataj's application: if $f,g$ are (nonsmooth) convex functions on $\mathbb R^n$ , then there exists a signed measure on $\mathbb R^n$ that stands in for the integral of the determinant of the Hessian of $f -g$. In fact, there exists a closed integral current (in the sense of Federer-Fleming) in $\mathbb R^n \times \mathbb R^n$ that stands in for the graph of $\nabla(f-g)$ . Using the identity, this follows from the classical fact that this is true of any convex function (e.g. $(d-k)f + kg, \ 0\le k \le d$).

show/hide this revision's text 4 added 635 characters in body; edited tags

Dusan Pokorny and Jan Rataj have just posted a paper (http://arxiv.org/abs/1209.2305) in which they prove the identity $$ \det (A-B) = \frac 1{d!} \sum_{k=0}^d (-1)^k \binom dk \det((d-k)A + kB) $$ where $A,B$ are $d \times d$ matrices.

This is so simple and beautiful that one is tempted to suspect that it is "known". Has anyone seen this before?

(this is the corrected version of the formula, in response to Paseman's initial incredulity.)

added after the comments of Grinberg and Elkies:

Thanks all, this is good to know.

I should mention Pokorny-Rataj's application: if $f,g$ are (nonsmooth) convex functions on $\mathbb R^n$ , then there exists a signed measure on $\mathbb R^n$ that stands in for the integral of the determinant of the Hessian of $f -g$. In fact, there exists a closed integral current (in the sense of Federer-Fleming) in $\mathbb R^n \times \mathbb R^n$ that stands in for the graph of $\nabla(f-g)$ . Using the identity, this follows from the classical fact that this is true of any convex function (e.g. $(d-k)f + kg, \ 0\le k \le d$).

show/hide this revision's text 3 tags added
show/hide this revision's text 2 added 10 characters in body; added 98 characters in body; deleted 1 characters in body
show/hide this revision's text 1