Back to Mathematical Olympiad
Difficulty: 5/102025 IMO 2025 (Q1)

A line in the plane is called sunny if it is not parallel to any of the -axis, the -axis, or the line . Let be a positive integer. Determine all nonnegative integers such that there exist lines in the plane satisfying both of the following:

(i) For all positive integers and with , the point is on at least one of the lines.

(ii) Exactly of the lines are sunny.

Options:

  • A.

    All values of in except (for ), plus specific small cases.

  • B.

    All values of in except (for ), plus specific small cases.

  • C.

    All values of in except (for ), plus specific small cases.

  • All values of in except (for ), plus specific small cases.

Guide / Hint

Hint 1: Non-sunny lines are parallel to -axis, -axis, or . The horizontal lines cover all points with .

Hint 2: To create sunny lines: replace some axis-parallel lines with oblique ones. How many points must each replacement line cover?

Hint 3: Determine which values of are impossible by counting arguments.

Solution

Step 1: We need lines covering all lattice points with , with exactly being 'sunny' (not parallel to -axis, -axis, or ).

Step 2: Non-sunny lines are horizontal (), vertical (), or diagonal (). horizontal lines cover all points with .

Step 3: To introduce sunny lines, replace some horizontal/vertical/diagonal lines with sunny lines that cover the same points. Each sunny line covers at most points from the grid. Systematic constructions show which values of are achievable.

Ready to track your progress and master these topics?

Create a free account
    2025 IMO 2025 Q1 - Olympiad Math Olympiad Question | Leminno