MathDB
20 blue points on circle, 1123 contain 10 red

Source: 239 2011 J5

May 18, 2020
combinatorics

Problem Statement

There are 20 blue points on the circle and some red inside so no three are collinear. It turned out that there exists 11231123 triangles with blue vertices having 10 red points inside. Prove that all triangles have 10 red points inside