Ошибка в том, что в качестве базы индукции надо выбирать двух человек, т.к. "глаза одного цвета" могут быть у нескольких людей, а не у одного (либо, если речь идет о каждом глазе по отдельности, а не о паре глаз, n и n+1 должны обозначать глаза, а не человека). Я прав?
раскрыть ветку (1)
n - всё же количество людей. Формально базу можно проверить и для n=1, но тут ошибка в индукционном переходе