Egy derékszögű háromszög befogói 1 és $\sqrt[]{3}$ egységnyi hosszúak. A háromszög belsejében adott 20 pont. Bizonyítsuk be, hogy kiválasztható közülük 3, amely lefedhető egy $1/\sqrt[]{3}$ átmérőjű zárt félkörlemezzel.