2. На острове живет 2025 человек, каждый из которых является математиком или гуманитарием. Некоторые жители острова знакомы друг с другом, при этом каждый имеет, по крайней мере, одного знакомого. Известно, что тот, у кого среди знакомых математиков меньше чем гуманитариев, всегда врет, а все остальные всегда говорят правду. Каждый житель острова утверждает, что среди его знакомых ровно два гуманитария. Докажите, что хотя бы один человек имеет по крайней мере 4-х знакомых.

На острове у нас есть 2025 жителей, среди которых каждый – математик или гуманитарий. Нам также известно, что каждый из них утверждает, что среди своих знакомых ровно два гуманитария. Для решения этой задачи, рассмотрим несколько ключевых моментов.

1. Определение врунов и правдивцев: Тот, у кого среди знакомых математиков меньше, чем гуманитариев, всегда врёт. Это значит, что если кто-то говорит, что у него среди знакомых два гуманитария, но у него меньше математиков, чем гуманитариев, то его утверждение недостоверно.

2. Статистический анализ: Предположим, что у данного жителя есть n знакомых. Если он утверждает, что у него два гуманитария, это означает, что у него может быть n - 2 математиков (поскольку среди всех знакомых только два — гуманитарии). Поэтому, чтобы всё соответствовало условию правды, у него должно быть хотя бы два математика, иначе он будет врать.

3. Подсчёт знакомых: Рассмотрим минимальное количество знакомых. Если каждый человек говорит, что у него ровно два гуманитария, тогда общее количество гуманитариев в их окружениях равно 2p (где p – количество людей, которые делают это утверждение). Поскольку у нас уже есть аксиома, что все должны иметь хотя бы одного знакомого, если бы каждый имел только по два гуманитария, то их количество не могло бы превышать 2025.

4. Противоречие: Теперь, предположим, что каждый из 2025 человек имеет не меньше 3 знакомых. Это приведёт к тому, что сумма всех известных гуманитариев резко увеличится, так как каждому человеку, говорящему, что у него ровно два гуманитария, все ещё нужно будет иметь математиков. Таким образом, это создаёт противоречие, так как количество математиков никогда не сможет снизить уровень количества гуманитариев среди них.

5. Заключение: Так как некоторые жители врут, и учитывая условия, они должны иметь по крайней мере 4 знакомых, чтобы обеспечить, что хотя бы один из них подтвердил, что условия правды выполняются.

Итак, мы выводим, что действительно хотя бы один человек на острове имеет по крайней мере 4 знакомых, чтобы соблюсти все указанные условия.