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 4 of 6: Case without a long line: k = 3 is forced
no long line ⟹ each of the 3 lines meets exactly 2 of the 6 points\text{no long line}\ \Longrightarrow\ \text{each of the 3 lines meets exactly 2 of the 6 points}
Detailed analysis

If none of the 33 lines is long, each meets the 66 points in at most 22 of them (a line through 33 or more of these points, other than the outer edges, does not occur), and since 3×2=63\times2=6 exactly, each line must pass through exactly 22 points, pairing up the 66 points into 33 pairs. One explicit pairing that works is (1,1)(1,1)–(2,2)(2,2), (3,1)(3,1)–(1,2)(1,2), (2,1)(2,1)–(1,3)(1,3), giving the lines y=xy=x, x+2y=5x+2y=5, 2x+y=52x+y=5; direct computation shows each of these three lines meets the array in exactly the intended two points and has slope 1,−12,−21,-\tfrac12,-2 respectively, none of which is 00, undefined, or −1-1, so all three lines are sunny. Hence this case forces k=3k=3.