ISL 2006 C3
Let be a finite set of points in the plane such that no three of them are on a line. For each convex polygon whose vertices are in , let be the number of vertices of , and let be the number of points of which are outside . Prove that for every real number where the sum is taken over all convex polygons with vertices in . NB. A line segment, a point and the empty set are considered as convex polygons of 2,1 and 0 vertices, respectively. (Colombia)
Dataset text NuminaMath olympiads. 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.