The polarization theorem and polynomial identities for matrix functions

In this article the simple combinatorial proof of the known polarization theorem (about the restoration of a polyadditive symmetric function over its values on a diagonal) is given. Known and new applications of this theorem for the reception of polynomial identities (the calculation) of several matrix functions is given, including a case of noncommutative variables and (first) the determinant of a space matrix are resulted.