Let positive integer is given. The cube of size consists of unit cubes. Each cube is either colored green or orange. It is known that within any 8 unit cubes that form a cube , there are at most 4 green cubes. Find the maximum number of green cubes.
Solution
(Solution of Yousif Alkhalawi, IMO 2025 team's candidate)
Since each cube , there are at least 4 orange unit cubes (here we call it by square) so we want to minimize the number of orange squares.
Construction: Let number the layer of cubes from (bottom to top). For each layer, consider the coordinate of a single squares as for .
* For the odd layers, we color squares at orange if are both even. The number of orange squares is .
* For the even layers, we color square at orange if is even. The number of orange squares is .
SAUDI ARABIAN IMO Booklet 2025
---
## Saudi Booklet 2025 — Page 22
22
Solution of Preselection tests
The cube will have 1 orange square in odd layer and 3 orange squares in even layers so it always have 4 orange squares as desired. The total orange squares is . Thus the number of green squares is
We will prove this is the maximum number of green unit cubes by induction on . For the base case , in the cube of size 3, consider some 3 sub-cubes of size 2 at 3 opposite corners. The number of orange squares on these sub-cubes is at least . Note that there is at most 1 square appears in all of 3 sub-cubes, and there are at most 3 other squares appear in 2 of 3 sub-cubes. So the number of orange square in big-cube is at least .
For a cube of size , we consider the sub-cube of size in the top corner, denote it as and the square in the opposite corner with it as . By induction, need at least orange squares so we need to prove in the rest of the big-cube, there are at least orange squares. Note that to build up the original cubes, one can place sub-cubes of size 2 on each face of and one sub-cubes of size 2 touching . So there are sub-cubes leads to the sum of orange square is at least . To estimate the duplication, for each of squares on the edge containing , it can be in 2 sub-cubes of size 2 and for square , it can be in 3 so the minimum is
This finishes the proof.