Для доказательства данного утверждения воспользуемся методом математической индукции.
Пусть у нас есть класс из n учеников, где каждый ученик является либо болтуном, либо молчуном, и каждый болтун дружит хотя бы с одним молчуном.
База индукции: Для случая n = 1 у нас всего один ученик в классе. В этом случае учитель может пригласить этого ученика на факультатив, и он будет молчать.
Предположение индукции: Предположим, что для класса из n учеников верно утверждение, то есть учитель может пригласить на факультатив не менее половины класса так, чтобы все присутствующие на факультативе болтуны молчали.
Шаг индукции: Рассмотрим класс из (n+1) учеников. Обозначим его как x1, x2, ..., xn, xn+1, где xi - ученик.
Предположим, что xn+1 - молчун. В этом случае учитель может пригласить на факультатив учеников x1, x2, ..., xn, и согласно предположению индукции, все болтуны молчат.
Предположим, что xn+1 - болтун. В этом случае у нас есть два возможных варианта:
a) Болтун xn+1 дружит только с молчуном. В этом случае учитель может пригласить на факультатив учеников xn+1 и его друга молчуна, и оба будут молчать.
b) Болтун xn+1 дружит с несколькими молчунами. В этом случае учитель может пригласить на факультатив учеников x1, x2, ..., xn+1 и оставить молчунов среди них хотя бы половину (по предположению индукции). Таким образом, у нас будет несбалансированное количество болтунов и молчунов на факультативе, и болтун xn+1 будет молчать.
Таким образом, в обоих случаях (2a и 2b) мы можем сделать так, чтобы все присутствующие на факультативе болтуны молчали.
По индукции, утверждение верно для любого класса из любого количества учеников.
Таким образом, доказано, что учитель может пригласить на факультатив не менее половины класса так, чтобы все присутствующие на факультативе болтуны молчали.
