MathNet 2012 Câu hỏi 82

Trong một tam giác vuông có cạnh huyền bằng $1$ và các góc $30^\circ,60^\circ,90^\circ$, chọn tùy ý $25$ điểm. Chứng minh luôn có $9$ điểm trong số đó được phủ bởi một nửa hình tròn bán kính $3/10$.