Рассмотрим задачу по порядку. У нас есть 128 овец, и если у какого-то крестьянина оказывается не менее половины всех овец (то есть не менее 64 овец), остальные крестьяне сговариваются и раскулачивают его. Затем каждый из них забирает столько овец, сколько у него уже есть.
Исходные условия: У нас есть несколько крестьян с общим количеством 128 овец. Если у кого-то из них 64 или больше овец, его раскулачат.
Первый случай: Пусть у двух крестьян по 64 овцы. Один из них будет раскулачён, а у другого останется 64 овцы. Тогда остальные крестьяне могут забрать своё количество овец, равное тому, сколько у них уже есть, но заметьте, что у остальных по меньшей мере 0 овец, если они не имеют других запасов.
Генерация раскулачивания: После первого раскулачивания количество овец у оставшегося крестьянина увеличится на число овец, которое он заберёт. Так как каждый крестьянин забирает столько овец, сколько у него уже есть, возникает цепная реакция.
Постепенное объединение овец: Каждый раз, когда происходит раскулачивание, количество крестьян, имеющих по 64 и более овец, уменьшается, и по сути, остаётся всё меньше и меньше крестьян, пока в конечном итоге не остаётся один крестьянин с 128 овцами.
Доказательство единственности: Так как каждый раз при раскулачивании один крестьянин "выбывает" из числа владельцев, а количества овец аккумулируются у оставшихся, в конечном счёте все овцы будут собраны у одного крестьянина.
Таким образом, после семи раскулачиваний все овцы в конечном итоге окажутся у одного крестьянина. Это демонстрирует, что при соблюдении условий задачи, все овцы могут сконцентрироваться у одного владельца.