Problem

Source: 2020 Thailand October Camp 4.2

Tags: combinatorics, geometry, combinatorial geometry



Let $n$ be a positive integer and let $0\leq k\leq n$ be an integer. Show that there exist $n$ points in the plane with no three on a line such that the points can be divided into two groups satisfying the following properties. $\text{(i)}$ The first group has $k$ points and the distance between any two distinct points in this group is irrational. $\text{(ii)}$ The second group has $n-k$ points and the distance between any two distinct points in this group is an integer. $\text{(iii)}$ The distance between a point in the first group and a point in the second group is irrational.