Browse · MathNet
PrintKorean Mathematical Olympiad
South Korea counting and probability
Problem
Let be a set of triangles. Prove that there exists a subset of satisfying the following conditions.
(i) The number of triangles in is at least .
(ii) There exist no 6 distinct points , and such that contains 6 triangles , and .
(i) The number of triangles in is at least .
(ii) There exist no 6 distinct points , and such that contains 6 triangles , and .
Solution
Let be a subset of by choosing each triangle with the probability independently at random. Then the expected number of triangles in is .
A sequence of 6 distinct points is called a bad configuration if all 6 triangles belong to .
The number of bad configurations in is at most , because it is less than or equal to the number of selecting two triangles, selecting from the first triangle, and selecting from the second triangle.
If is a bad configuration, then and are bad configurations and so bad configurations form a bunch. Thus the number of bunches of bad configurations in is at most .
The probability that a fixed bad configuration of is contained in is and therefore the expected number of bunches of bad configurations in is at most .
Thus, the expected number of triangles in minus the number of bunches of bad configurations in is at least .
Take . Then By taking , we deduce .
Therefore there exists a subset of such that the number of triangles in minus the number of bunches of bad configurations in is at least . Let be a subset of by discarding one triangle in each bunch of bad configurations. Then contains at least triangles and no bad configurations, as desired.
A sequence of 6 distinct points is called a bad configuration if all 6 triangles belong to .
The number of bad configurations in is at most , because it is less than or equal to the number of selecting two triangles, selecting from the first triangle, and selecting from the second triangle.
If is a bad configuration, then and are bad configurations and so bad configurations form a bunch. Thus the number of bunches of bad configurations in is at most .
The probability that a fixed bad configuration of is contained in is and therefore the expected number of bunches of bad configurations in is at most .
Thus, the expected number of triangles in minus the number of bunches of bad configurations in is at least .
Take . Then By taking , we deduce .
Therefore there exists a subset of such that the number of triangles in minus the number of bunches of bad configurations in is at least . Let be a subset of by discarding one triangle in each bunch of bad configurations. Then contains at least triangles and no bad configurations, as desired.
Techniques
Expected valuesColoring schemes, extremal arguments