Vandermonde shift identity

ID: vandermonde-shift-identity

The left side is an alternating polynomial of total degree one more than . Dividing by the Vandermonde determinant gives a symmetric homogeneous polynomial of degree one, necessarily . At , ; differentiation in and the Euler theorem for homogeneous functions give . Thus the identity holds as a polynomial identity, even at repeated coordinates. At shifted partition coordinates with , it proves the removable-corner recurrence in the hook-length formula.

New to topics? Read the docs here!