Characterizing zero-derivative points

Abstract

We study smooth functions in several variables with a Lipschitz derivative. It is shown that these functions have the "envelope property": Around zero-derivative points, and only around such points, the functions are envelopes of a quadratic parabolloid. The property is used to reformulate Fermat's extreme value theorem and the theorem of Lagrange under slightly more restrictive assumptions but without the derivatives.