  We give a necessary and sufficient condition for the existence of a local
solution of the inverse problem of calculus of variations in terms of the
identical vanishing of the variation of a functional on an extended space (with
the number of independent variables increased by one), and explain its relation
with the classical Helmholtz criterion using the de Rham complex on an
infinite-dimensional space of fields.
