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.)

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$).

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.)

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$).