A truncated cube functional equation (Q796003)

Let \(X^ t_ if(x_ 1,...,x_ n)=f(x_ 1,...,x_{i-1},x_ i+t,x_{i+1},...,x_ n).\) In this paper \(n=3\). The main result (and the only one proved) is the equivalence of the equations \(((X^ t_ 1+X_ 1^{-t})(X^ t_ 2+X_ 2^{-t})+(X^ t_ 2+X_ 2^{-t})(X^ t_ 3+X_ 3^{-t})+(X^ t_ 3+X_ 3^{-t})(X^ t_ 1+X_ 1^{- t})-12)f=0\) and \(((X^ t_ 1+X_ 1^{-t})(X^ t_ 2+X_ 2^{- t})(X^ t_ 3+X_ 3^{-t})-8)f=0,\) where \(f:G^ 3\to F,\) G being an Abelian group divisible by 2 and F a field of characteristic 0. The proof is computative involving surprisingly large constants (up to 89302500). Corollaries give the general real solutions, bounded on a set of positive measure. The equivalence to further two similar equations is also mentioned.