The symmetric function theorem via the Fa\`a di Bruno formula

Abstract

The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the multivariate Fa\`a di Bruno formula. In two variables, this allows us to completely determine all coefficients that occur in the inductive equations.