Задача про бесов

[Евгений Машеров]

Пришли к противоречию. Что и есть "доказательство от противного".

[azmt]

А вроде понял. Согласно условия из каждой бесконечной последовательности можно выбрать как минимум двух бесов, состоящих в одной секции. А мы получили бесконечную последовательность,в которой никакие два не состоят в одной секции.

[Someone]

azmt в сообщении #1086496 писал(а):

А как это доказывает, что каждый из бесов записан в бесконечное множество секций?

Ну, во-первых, не каждый, а каждый, кроме конечного числа. А во-вторых, соедините два предыдущих сообщения…