Given functional equation $f(x,y)=f(x,y+1)+f(x+1,y)+f(x-1,y)+f(x,y-1)$, show that $f(0,0)=0$ Let $f:\mathbb{Z}\times \mathbb{Z}\to \mathbb{R}$, such that
for all $x,y$
$$f(x,y)=f(x,y+1)+f(x+1,y)+f(x-1,y)+f(x,y-1),$$
and if $m,n\in \mathbb{Z},mn\neq 0$,we have $f(2m,2n)=0$.
Show that
$$f(0,0)=0.$$

If this is true then there is a "finitary" proof, i.e. you can use the relations to express $f(0,0)$ as a finite linear combination of the $f(2n,2m)$.
First, here is a way to rephrase the problem in terms only of even entries of $f$, i.e. how to find a relation between $f(x,y),f(x+2,y),f(x,y+2),\ldots$
Consider $R = \Bbb R[X,X^{-1},Y,Y^{-1}]$ and let $P = (X+Y+X^{-1}+Y^{-1}-1)$.
$R$ is the set whose elements are finite linear combinations of monomials of the form $X^{\pm n} Y^{\pm m}$, and you can rephrase the goal by asking if there is an element $Q \in R$ such that $Q \times P$ has a nonzero constant coefficient and whose other nonzero coefficients occur only for exponents $(2n,2m)$ with nonzero $nm$.
Since $Q \times P$ is in $\Bbb R(X^2,Y^2)$ it is invariant by the Galois group $G$ of $\Bbb R(X,Y)$ over $\Bbb R(X^2,Y^2)$. $G$ has order $4$ and is given by the automorphisms $(X,Y) \mapsto (\pm X, \pm Y)$.
This tells us that $Q \times P$ has to be of the form $Q'(X^2,Y^2) \times P'(X^2,Y^2)$ where $P'(X^2,Y^2) = Norm(P) = P(X,Y)P(-X,Y)P(X,-Y)P(-X,-Y) $
You can easily compute $P'(X^2,Y^2) = (X^4 + Y^4 + X^{-4} + Y^{-4}) - 2(X^2Y^2 + X^2Y^{-2} + X^{-2}Y^{-2} + X^{-2}Y^2) - 2(X^2+Y^2+X^{-2}+Y^{-2}) -3$.

This gives you the relations between the even entries of $f$, and now with this new polynomial, the problem reduces to finding $Q'$ such that $Q' \times P'$ has a nonzero constant coefficient and a zero coefficient in front of $X^n$ and $Y^m$.
Start with $1 \times P'$. It has a nonzero constant coefficient (-3) so we just have to "push out" the $8$ extra unwanted nonzero coefficients.
To do this, first add some $-\frac 29(X+Y+X^{-1}+Y^{-1}) \times P'$. This should make the $4$ entries near the constant coefficient zero while still keeping the constant coefficient nonzero (it is $-11/9$).
Next, by symmetry reasons you can remove the $X^{\pm2},Y^{\pm2}$ coefficients by adding a suitable multiple of $(X^2Y^2+X^{-2}Y^{-2}) \times P'$ without touching the constant and neighbouring coefficients.
Finally you can remove the remaining nonzero coefficients of $X^n$ one at a time by adding multiples of $X^nY^2  \times P'$ and similarly for $Y^n$.

Computing the resulting polynomial gives you an explicit relation between $f(0,0)$ and a finite linear combination of some $f(2n,2m)$ with $nm \neq 0$, as needed.
