A polarization identity for multilinear maps

Given linear spaces EE and FF over the real numbers or a field of characteristic zero, a simple argument is given to represent a symmetric multilinear map u(x1,x2,…,xn)u(x1,x2,…,xn) from EnEn to FF in terms of its restriction to the diagonal. As an application, a probabilistic expression for Gaussian variables used by Nelson and by Schetzen is derived. An Appendix by Tom H. Koornwinder notes an even further simplification by Bochnak and Siciak (1971) of the proof of the main result.