To each pair of numbers and some number is placed in correspondence. Find if it is known that for any three numbers , the following identities hold: and .
Definition. Let the function be valid at all points of a plane with integer coordinates. We call a function harmonic if its value at each point is equal to the arithmetic mean of the values of the function at four neighbouring points, that is: Let and be harmonic functions. Prove that for any and the function is also harmonic.
Liouville’s discrete theorem. Let be a bounded harmonic function (see the definition in problem number 11.28), that is, there exists a positive constant such that . Prove that the function is equal to a constant.