Totalmente de acuerdo con Yarza en cuanto al punto número 1. Aún soy incapaz de resolver el número 2, pero puedo resolver una "versión unidimensional" del mismo, así que pensé que no sería mala idea dejar aquí esta solución para ver si así alguien más se inspira y saca la solución completa.
Con "versión unidimensional", quiero decir que ahora el dominio de nuestra función $f$ es $\mathbb Z$ en vez de $\mathbb Z\times\mathbb Z$, y el requerimiento de que el valor de $f$ en cada punto sea el promedio de los valores en la cruz de puntos adyacentes ahora se convierte en: para todo $n\in\mathbb Z$, $f(n)=\frac{f(n-1)+f(n+1)}{2}$. Supongamos entonces que el contradominio de $f$ es el intervalo $(0,\infty)$ de números reales positivos, y supóngase que $f$ no es constante. Entonces es posible encontrar un $n_0$ tal que $f(n_0)\neq f(n_0+1)$.
Considérese la nueva función "normalizada" $g(n)=\frac{f(n)}{f(n_0)}$, nótese que $g$ satisface los mismos requerimientos de $f$ (es decir, $g:\mathbb Z\longrightarrow(0,\infty)$ y $g(n)=\frac{g(n-1)+g(n+1)}{2}$) y que $g(n_0)=1\neq g(n_0+1)$. Sea $r=g(n_0+1)$, y supongamos por el momento que $r<1$. En este momento es útil reescribir el requerimiento este del promedio como $g(n+1)=2g(n)-g(n-1)$. Nótese ahora que $g(n_0+2)=2r-1$, $g(n_0+3)=2(2r-1)-r=3r-2$, $g(n_0+4)=2(3r-2)-(2r-1)=4r-3$, y así sucesivamente obtenemos que $g(n_0+k)=kr-(k-1)$ (por inducción, si $g(n_0+k)=kr-(k-1)$ y $g(n_0+k+1)=(k+1)r-k$, entonces $g(n_0+k+2)=2(k+1)r-2k-kr+k-1=(k+2)r-(k+1)$). Como sabemos que $0<r<1$, entonces $0<1-r<1$ y por lo tanto es posible escoger un $k\in\mathbb N$, $k\geq 2$ que satisface $k>\frac{1}{1-r}$. Entonces $k(1-r)>1$ o equivalentemente $k(r-1)<-1$, es decir, $0>kr-(k-1)=g(n_0+k)$, lo cual es una contradicción.
Todo lo anterior se hizo suponiendo que $g(n_0+1)=r<1$. De lo contrario, si $g(n_0+1)=R>1$, entonces considerando $r=g(n_0-1)=2-R<1$ podemos repetir el razonamiento anterior, pero avanzando "hacia la izquierda". Esto es, demuéstrese por inducción que, para $k\in\mathbb N$ con $k\geq2$ se tiene que $g(n_0-k)=kr-(k-1)$, elíjase un $k>\max\{\frac{1}{1-r},1\}$ y obsérvese que $g(n_0-k)<0$, lo cual es contradictorio.