Taylor's theorem and functional equations (Q1592814)

In the Taylor formula with the remainder in Lagrange form \[ f(y)= \sum^{n-2}_{k=0} (y-x)^kf^{(k)} (x)/k!+ f^{(n-1)} \left(\left( 1-{1\over n}\right)x+ {1\over n}y\right) (y-x)^{n-1} \] one puts in place of the derivatives some unknown functions and obtains the functional equation \[ f(y) =\sum^{n-2}_{k=0} \gamma_k(x)(y-x)^k +\varphi\left( \left(1-{1\over n} \right)x+ {1\over n}y\right) (y-x)^{n-1} \] where \(f\) is also unknown. The author ``is going to solve this equation''. First with the substitution \(y-x=nh\) this equation becomes \[ f(x+nh)= \sum^{n-2}_{k=0} n^kg_k(x)(h^k) +n^{n-1}\Phi(x+h) (h^{n-1}) \] where the new functions \(g_k:\mathbb{R}\to SA^k (\mathbb{R};\mathbb{R})\), \(\Phi: \mathbb{R}\to SA^{n-1}(\mathbb{R},\mathbb{R})\), \(SA^i(\mathbb{R}; \mathbb{R})\) meaning the group of all symmetric \(i\)-additive functions from \(\mathbb{R}^i\) into \(\mathbb{R}\), are defined as follows \[ g_k(x)(t_1,\dots, t_k)=\gamma_k (x)t_1 \dots t_k\text{ and }\Phi(x) (t_1,\dots, t_{n-1})= \varphi(x)t_1 \cdots t_{n-1}, \] respectively. This observation motivates the author to consider this equation for functions defined in a group and taking multiadditive mappings as values. Namely \(f:G\to H,G\) and \(H\) Abelian groups, \(g_k:G\to SA^k(G;H)\), \(\Phi:G\to SA^{n-1}(G;H)\), \(SA^i(G;H)\) being the group of symmetric \(i\)-additive functions from \(G^i\) into \(H\). These functions satisfy the equation if and only if there exist \(a_k\in SA^k(G;H)\), \(k\in\{0, \dots,n-1\}\) and an additive function \(a:G\to SA^{n-1} (G;H)\) verifying for every \(x,y\in G\) some equalities which we do not reproduce here for the sake of shortness. Note only that the paper is dedicated to Profesor János Aczél on the occasion of this 75th birthday.