MathLabs

Problem 4

Let nn be a positive integer. Consider 2n2n distinct lines on the plane, no two of which are parallel. Of the 2n2n lines, nn are colored blue, the other nn are colored red. Let BB be the set of all points on the plane that lie on at least one blue line, and RR the set of all points on the plane that lie on at least one red line. Prove that there exists a circle that intersects BB in exactly 2n−12n-1 points, and also intersects RR in exactly 2n−12n-1 points.
Step 2 of 4: Enclose all pairwise intersections
R={x=±a, y=±b}⊃SR=\{x=\pm a,\ y=\pm b\}\supset S
Detailed analysis

Choose angular bisectors of the selected pair as coordinate axes. No other line has direction between their two directions. The finite set S of all pairwise intersections can therefore be enclosed in a sufficiently large rectangle R whose sides are parallel to the axes.