A frog is placed on each cell of a square inside an infinite chessboard (so initially there are a total of frogs). Each move consists of a frog jumping over a frog adjacent to it with landing in the next cell and disappearing (adjacent means two cells sharing a side). Prove that at least moves are needed to reach a configuration where no more moves are possible.
Problem 1780
Official solution
1. Define Efficient and Inefficient Moves:
- Call a move efficient if the frog lands outside of the initial square.
- Call a move inefficient if the frog lands inside the initial square.
2. Initial and Final Configuration:
- Initially, there are frogs in the square.
- In the end, there must be at most frogs in the square, as otherwise, there would be two adjacent frogs, which would allow for another move.
3. Inequality for Moves:
- Let be the number of efficient moves.
- Let be the number of inefficient moves.
- Since each move removes one frog, we have:
4. **Case 1: is even**
- Partition the square into squares. There are such squares.
- Define a move to operate on a square if the number of frogs in the square strictly decreases as a result of the move.
- An efficient move operates on at most one square.
- An inefficient move operates on at most two squares.
- Each square must be operated on at least twice to ensure no two adjacent frogs remain.
- This implies:
- Adding inequalities (1) and (2):
5. **Case 2: is odd**
- For , it is easy to verify the result.
- For , label the squares of the grid as .
- Partition the grid as follows:
- The square is its own .
- The remaining squares of the third row and column are paired, e.g., and , and , etc.
- The remaining squares are partitioned into squares.
- Define operates similarly as before.
- Each square must be operated on at least twice, and each pair at least once.
- Each inefficient move operates on at most two shapes, and each efficient move at most one.
- This implies:
- Adding inequalities (1) and (3):
Thus, in both cases, we have shown that at least moves are needed to reach a configuration where no more moves are possible.
The final answer is