SCHWEITZER 2020 Problem 4
Consider horizontal and vertical segments in the plane that may intersect each other. Let denote their total number. Suppose that we have curves starting from the origin that are pairwise disjoint except for their endpoints. Assume that each curve intersects exactly two of the segments, a different pair for each curve. Prove that .
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.