MathLabs

Problem 1

A line in the plane is called sunny if it is not parallel to the xx-axis, the yy-axis, or the line x+y=0x+y=0. Let n≥3n\ge3 be a given integer. Determine all nonnegative integers kk such that there exist nn distinct lines in the plane satisfying both of the following: for all positive integers aa and bb with a+b≤n+1a+b\le n+1, the point (a,b)(a,b) lies on at least one of the lines; and exactly kk of the nn lines are sunny.
Step 6 of 6: Climb back up: the answer is k = 0, 1, 3 for every n
k∈{0,1,3}k\in\{0,1,3\}
Detailed analysis

By the reduction of the second step, adding long lines to the three base constructions for n=3n=3 produces, for every n≥3n\ge3, valid families of nn lines with exactly k=0k=0, k=1k=1, or k=3k=3 sunny lines, and the necessity argument shows no other value of kk is possible. Therefore the complete answer is k∈{0,1,3}k\in\{0,1,3\}.