Bizonyítsuk be, hogy pontosan egy olyan $\alpha$ valós szám van, amelyre igaz a következő: akárhogyan adunk meg az egységkör kerületén véges sok pontot, mindig van a kör kerületén olyan pont, amelyiknek a pontoktól való távolságának átlaga $\alpha$.