Take the minimal number $A$ in the rectangle.
Thus, by the given any neighbour numbers are equal to $A$.
Can you end it now?
About your new question. We can not solve this equation.
For example, $$4\cdot5=1+2+3+14=2+4+5+9=...$$
For integers $m,n\ge2$ with $mn$ even, let $P(m,n)$ denote the statement: on an $m\times n$ chessboard, any $k$ white squares border at least $k+1$ black squares, provided $0\lt k\lt mn/2$.
The statement $P(m,n)$ implies that an $m\times n$ chessboard will still satisfy Hall's condition (for matching white squares to adjacent black squares) after one black and one white square is removed.
Theorem. If $m,n\in\mathbb N$, $m,n\ge2$, and $mn$ is even, then $P(m,n)$ holds.
The theorem follows directly from the fact that the chessboard graph (whose vertices are the squares, two squares being adjacent if they share a side) has a Hamiltonian circuit. Alternatively, it can be proved by induction using the following lemmas. The easy details are left to the reader.
Lemma 1. $P(2,2)$ and $P(2,3)$ hold.
Lemma 2. Suppose $m,n\in\mathbb N$, $m,n\ge2$, $mn$ even. If $P(m,n)$ holds then $P(n,m)$ holds.
Lemma 3. Suppose $m,n_1,n_2\in\mathbb N$; $m,n_1,n_2\ge2$; and $mn_1$ and $mn_2$ are even. If $P(m,n_1)$ and $P(m,n_2)$ hold, then $P(m,n_1+n_2)$ holds.
Best Answer
We will prove the general case: In a $ n \times n$ board filled with integers $1$ to $n^2$, then there exist 2 neighboring squares whose difference is at least $n$.
Explanation of main idea: Find $n$ distinct pairs of neighbors where one term is $\leq K$ and the other neighboring term is $\geq K+1$. Then, the smallest of this terms is at most $K-n+1$, and it's neighbour is at least $K+1$, so their difference is at least $n$.
For each row, let $r_i$ be the largest number in that row.
For each column, let $c_i$ be the largest number in that column.
Let $N$ be the smallest of these $2n$ values. WLOG $N=r_I$, and cell $(I,J)$ is equal to $N$. Then, every other integer in this row is $\leq N-1$.
For every column not equal to $J$, we can find adjacent cells where one is $\leq N-1$ (starting with row $I$) and one is $\geq N+1$ (otherwise, this contradicts the minimality of $N$).
In column $J$, either $N$ is adjacent to a number $<N$, or to a number $>N$.
Case 1:$N$ is adjacent to a number $< N$
We now have $n$ distinct pairs of neighbors (since they are in different columns) where one term is $\leq N-1$ and the other is $\geq N$. Let the smallest of the terms be $S$, then $S \leq N-n$. Hence, the difference between $S$ and its neighbor is at least $n$.
Case 2:$N$ is adjacent to a number $> N$.
We now have $n$ distinct pairs of neighbors (since they are in different columns) where one term is $\leq N$ and the other is $\geq N+1$. Let the smallest of the terms be $S$, then $S \leq N-n+1$. Hence, the difference between $S$ and its neighbor is at least $n$.