Задача

№ 9131

В правильном 2017-угольнике провели все диагонали. Петя выбирает наугад какие-то $N$ диагоналей. При каком наименьшем $N$ среди выбранных диагоналей гарантированно найдутся две, имеющие одинаковую длину?
Ответ:
Решение: