Equality of two variable means revisited (Q2494450)

The author gives the six times continuously differentiable solutions (33 families!) on a real interval \(J\) of the functional equation \[ \begin{multlined} h^{-1}\left[\int_0^1 f(tx+(1-t)y)d\mu_p(t)/\int_0^1 g(tx+(1-t)y)d\mu_p(t)\right]=\\=\int_0^1 F(tx+(1-t)y)d\mu_p(t)/\int_0^1 G(tx+(1-t)y)d\mu_p(t),\end{multlined} \] \(p=1,2\); \(F(x)=xG(x)\) (\(x\in J\)); \(h=f/g\) has a nonzero derivative on \(J\). The proof is difficult and technical (using also the software package Maple V). Applications to equality (and homogeneity) of weighted quasilinear means, Cauchy means and difference means are pointed out.