IMO Shortlist 2008, Geometry problem 5
Source: IMO Shortlist 2008, Geometry problem 5, German TST 1, P2, 2009
July 9, 2009
geometrypoint setcombinatorial geometrylinesIMO Shortlist
Problem Statement
Let and be integers with 0\le k\le n \minus{} 2. Consider a set of lines in the plane such that no two of them are parallel and no three have a common point. Denote by the set of intersections of lines in . Let be a point in the plane not lying on any line of . A point is colored red if the open line segment intersects at most lines in . Prove that contains at least \dfrac{1}{2}(k \plus{} 1)(k \plus{} 2) red points.
Proposed by Gerhard Woeginger, Netherlands