Explicit solutions of Jensen's auxiliary equations via extremal Lipschitz extensions

In this note we prove that McShane and Whitney's Lipschitz extensions are viscosity solutions of Jensen's auxiliary equations, known to have a key role in Jensen's celebrated proof of uniqueness of infinity harmonic functions, and therefore of Absolutely Minimizing Lipschitz Extensions. To the best of the author's knowledge, this result does not appear to be known in the literature in spite of the vast amount of work around the topic over the past 25 years.