Mean-value type functional equations

Summary In this work the following two conjectures concerning mean-value type functional equations are proved: then-dimensional octahedron and cube equations are equivalent (conjectured by D. Z. Djokovi and H. Haruki), and the continuous solutions of these equations on ⁿ are linear combinations of a given harmonic polynomial (conjectured by H. Haruki).