IMO 2014 Problem 6
- Day 2
A set of lines in the plane is in general position if no two are parallel and no three pass through the same point. A set of lines in general position cuts the plane into regions, some of which have finite area; we call these its finite regions. Prove that for all sufficiently large , in any set of lines in general position it is possible to colour at least lines blue in such a way that none of its finite regions has a completely blue boundary.
Note: Results with replaced by will be awarded points depending on the value of the constant .
Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.
Official text: IMO 2014 official English paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.