Capuchin monkeys
Обезьянки-капуцины Альфред и Брюс участвуют в эксперименте Института экономических исследований Готэм-Сити. Экспериментатор помещает обоих капуцинов в клетку и каждому даёт по одной виноградине. Затем экспериментатор садится рядом с клеткой и каждые пять минут подкладывает в неё по одной виноградине: всего ещё штук. При этом обезьянки не знают, сколько всего виноградин принесёт экспериментатор. Экспериментатор полагает, что в каждый момент времени функции полезности Альфреда и Брюса имеют следующий вид: и , где – количество виноградин, съеденных Альфредом, – число виноградин, доставшихся Брюсу, и – некоторые положительные константы. Каждый раз, когда в клетке появляется новая виноградина, капуцины сами решают, кто из них её съест. Если на текущую виноградину претендуют и Альфред, и Брюс, то она достаётся Альфреду, поскольку он сильнее Брюса и выше его по статусу. Если никто из капуцинов текущую виноградину не берёт, то эксперимент останавливается досрочно.
(a) Допустим, выполнено . Докажите, что при любом натуральном эксперимент не будет завершён досрочно.
(b) Пусть и . Кто из капуцинов съест больше виноградин и на сколько?
(a) Кто должен съесть следующую виноградину, каждый из капуцинов решает, сравнивая приращения собственной полезности (предельные полезности) в двух ситуациях: когда виноградина достаётся самому капуцину и когда она достаётся другому капуцину. Величины и дискретные, поэтому предельные полезности Альфреда и Брюса являются не производными их общих полезностей, а разностными величинами:
Альфред сильнее Брюса и выше его по обезьяньему статусу, поэтому текущая виноградина достаётся Альфреду тогда и только тогда, когда (предполагаем, что в случае равенства предельных полезностей, капуцин всё же претендует на виноградину, хотя можно считать и иначе – на решении это не отразится). Брюс получает виноградину тогда и только тогда, когда одновременно выполнены условия (Альфред уступает) и Б (Брюс не уступает). Соответственно, никто из капуцинов текущую виноградину не берёт тогда и только тогда, когда одновременно (Альфред уступает) и (Брюс уступает), в такой ситуации эксперимент останавливается досрочно.
Итак, условие досрочного завершения эксперимента следующее:
Выполнение условия необходимо для досрочной остановки эксперимента, поэтому при её точно не случится: все виноградины, которые принесёт экспериментатор, будут съедены.
(b) , значит, досрочно эксперимент не завершится. Каждую из виноградин Альфред либо присвоит себе (если он претендует на виноградину, то мнение Брюса ни на что не влияет), либо уступит Брюсу (и тогда Брюс точно её съест, ведь взаимные уступки, как мы уже выяснили, исключены). Это означает, что распределение виноградин определяется лишь функцией полезности Альфреда, а точнее постоянным сравнением предельных полезностей
Поскольку и , то имеем
то есть сравнение и эквивалентно сравнению величин и .
Для наглядности заполним следующую таблицу, принимая во внимание, что изначально или .
Видно чередование: две виноградины съедает Альфред, одну – Брюс, две – Альфред, одну – Брюс и т.д. Поэтому, когда делится на три, то выполняется равенство . При эта зависимость должна соблюдаться, поэтому в этот момент имеем и . Последняя (сто вторая) виноградина достаётся Альфреду, значит всего он съедает штук, а Брюс – штуки. Вычитаем: .
Ответ: Альфред съест на виноградины больше.
Осталось доказать, что чередование (две виноградины – Альфреду, одна – Брюсу), а значит, и условие при будет сохраняться всегда. Применим метод математической индукции. База индукции.
-
Изначально при имеем и (виноградина достаётся Альфреду).
-
При имеем , и (Альфреду).
-
Наконец, при имеем , и (Брюсу).
Итог: при выполнено .
Индукционный переход. Предположим, что для некоторого выполнены условия и (то есть и ). Тогда, чтобы определить, как будут распределены три следующие виноградины, покажем, что будут справедливы следующие неравенства:
(1) , то есть при текущая виноградина идёт Альфреду;
(2) , то есть при виноградина идёт Альфреду;
(3) , то есть при виноградина достаётся Брюсу.
Шаг индукции.
-
Упрощая неравенство (1), получаем, что оно эквивалентно .
-
Неравенство (2) эквивалентно .
-
Неравенство (3) эквивалентно .
Все три простых неравенства, очевидно, верны, поэтому неравенства (1), (2) и (3) справедливы. Значит, при (после того, как распределены три виноградины) условие снова оказывается выполненным (так как .
Индукция завершена.