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 1 of 6: Only three directions are forbidden
In plain words

A non-sunny line is parallel to one of exactly three directions, so the three sides of the triangular grid are automatically not sunny.

n≥4 ⟹ 2n≥3(n−1) fails, so a long line is forcedn\ge4\ \Longrightarrow\ 2n\ge3(n-1)\ \text{fails, so a long line is forced}
Detailed analysis

Call a line long if it passes through all nn points on one of the three outer edges of the triangular array {(a,b):a,b≥1,a+b≤n+1}\{(a,b): a,b\ge1, a+b\le n+1\} (these edges lie on a=1a=1, b=1b=1, and a+b=n+1a+b=n+1, which are exactly the three forbidden directions). There are 3(n−1)3(n-1) points on the outer boundary excluding corners counted once; if no line among our nn is long, each line meets this boundary in at most 22 points, giving 2n≥3(n−1)2n\ge3(n-1), which forces n≤3n\le3. Hence for n≥4n\ge4 every valid family of nn lines contains at least one long line.