Solution:
Let f(x,y) be the number written at the lattice point (x,y). Then
f(x,y)=4f(x+1,y)+f(x−1,y)+f(x,y+1)+f(x,y−1)
Assume that not all the numbers are equal. Then there are two points at distance 1 apart such that the numbers written there are different. Rotating the plane, if necessary, we may assume that f(x0+1,y0)>f(x0,y0) for some x0,y0∈Z. Set
g(x,y)=f(x+1,y)−f(x,y)
Then M=supx,y∈Zg(x,y)∈(0,1] and
g(x,y)=4g(x+1,y)+g(x−1,y)+g(x,y+1)+g(x,y−1)
In particular, if g(a,b)≥M−ε, where ε>0, then
g(a+1,b)=4g(a,b)−g(a−1,b)−g(a,b+1)−g(a,b−1)≥4(M−ε)−3M=M−4ε
and we get by induction that g(a+n,b)≥M−4nε for any n∈N.
Choose now n≥M2, ε∈(0,2⋅4n−1M] and integers a and b such that g(a,b)≥M−ε. Then
1>f(a+n,b)>f(a+n,b)−f(a,b)=k=0∑n−1g(a+k,b)≥n2M≥1
which is a contradiction.