6. Вот многим знакомая логическая задача. Известно, что в Нью-Йорке жителей больше, чем волос на голове у любого из них, и что среди жителей Нью-Йорка нет полностью лысых, у которых на голове не осталось бы ни одного волоса. Следует ли отсюда, что в Нью-Йорке непременно найдутся по крайней мере два жителя с одинаковым числом волос на голове?

Приведем еще один вариант этой задачи, незначительно отличающийся от предыдущего. О населении города Поданк известно следующее.

Среди жителей Поданка не найдется двух с равным числом волос на голове.
Ни у одного жителя Поданка на голове не растет ровно 518 волос.
Жителей в Поданке больше, чем волос на голове любого из них.
Какова наибольшая численность населения Поданка?

Ответ: На вопрос первой задачи ответ утвердительный.

Предположим для определенности, что население Нью-Йорка составляет 8 миллионов человек. Если число волос на голове у каждого жителя Нью-Йорка неповторимо, то это означает, что должно существовать 8 миллионов различных целых положительных чисел, каждое из которых меньше 8 миллионов, а это невозможно.

Переходим ко второй задаче. Численность населения Поданка не превышает 518 человек. Действительно, предположим, что в городе Поданк проживает более 518 человек - например, 520 человек. В этом случае должны были бы существовать 520 различных целых неотрицательных чисел, отличных от 518 и меньших 520. Но это невозможно, так как существует ровно 520 целых чисел (и среди них нуль), каждое из которых меньше 520. Следовательно, существует лишь 519 чисел, отличных от 518, которые меньше 520.

Заметим, кстати, что один из жителей Поданка должен быть совершенно лысым. Почему?

назад на главную следующая загадка