(a) Кто должен съесть следующую виноградину, каждый из капуцинов решает, сравнивая приращения собственной полезности (предельные полезности) в двух ситуациях: когда виноградина достаётся самому капуцину и когда она достаётся другому капуцину. Величины a и b дискретные, поэтому предельные полезности Альфреда (MU_a^A, MU_b^A) и Брюса(MU_b^Б, MU_b^Б) (MU_a^Б, MU_b^Б) MU_a^Б, MU_b^Б) являются не производными их общих полезностей, а разностными величинами:

MU_a^A = u_A(a+1, b) - u_A(a, b) = \alpha \ln(a+1) + \ln(b) - \alpha \ln(a) - \ln(b) = \alpha \ln\left(\frac{a+1}{a}\right),

MU_b^A = u_A(a, b+1) - u_A(a, b) = \alpha \ln(a) + \ln(b+1) - \alpha \ln(a) - \ln(b) = \ln\left(\frac{b+1}{b}\right);

MU_a^B = u_B(a+1, b) - u_B(a, b) = \ln(a+1) + \beta \ln(b) - \ln(a) - \beta \ln(b) = \ln\left(\frac{a+1}{a}\right),

MU_b^B = u_B(a, b+1) - u_B(a, b) = \ln(a) + \beta \ln(b+1) - \ln(a) - \beta \ln(b) = \beta \ln\left(\frac{b+1}{b}\right).

Альфред сильнее Брюса и выше его по обезьяньему статусу, поэтому текущая виноградина достаётся Альфреду тогда и только тогда, когда MU_a^A\geq MU_b^A (предполагаем, что в случае равенства предельных полезностей, капуцин всё же претендует на виноградину, хотя можно считать и иначе – на решении это не отразится). Брюс получает виноградину тогда и только тогда, когда одновременно выполнены условия MU_a^A<MU_b^A (Альфред уступает) и MU_a^Б\leq MU_b^Б Б (Брюс не уступает). Соответственно, никто из капуцинов текущую виноградину не берёт тогда и только тогда, когда одновременно MU_a^A<MU_b^A (Альфред уступает) и MU_a^Б>MU_b^Б (Брюс уступает), в такой ситуации эксперимент останавливается досрочно.

Итак, условие досрочного завершения эксперимента следующее:

\begin{cases} MU_a^A < MU_b^A \\ MU_b^a > MU_b^B \end{cases} \iff \begin{cases} \alpha \ln\left(\frac{a+1}{a}\right) < \ln\left(\frac{b+1}{b}\right) \\ \ln\left(\frac{a+1}{a}\right) > \beta \ln\left(\frac{b+1}{b}\right) \end{cases} \iff \begin{cases} \ln\left(\frac{a+1}{a}\right) : \ln\left(\frac{b+1}{b}\right) < \frac{1}{\alpha} \\ \ln\left(\frac{a+1}{a}\right) : \ln\left(\frac{b+1}{b}\right) > \beta \end{cases} \Rightarrow \beta < \frac{1}{\alpha} \Rightarrow \alpha\beta < 1.

Выполнение условия \alpha\beta<1 необходимо для досрочной остановки эксперимента, поэтому при \alpha\beta>1 её точно не случится: все виноградины, которые принесёт экспериментатор, будут съедены.

(b) \alpha = \beta = 2 \Rightarrow \alpha \beta > 1, значит, досрочно эксперимент не завершится. Каждую из N виноградин Альфред либо присвоит себе (если он претендует на виноградину, то мнение Брюса ни на что не влияет), либо уступит Брюсу (и тогда Брюс точно её съест, ведь взаимные уступки, как мы уже выяснили, исключены). Это означает, что распределение виноградин определяется лишь функцией полезности Альфреда, а точнее постоянным сравнением предельных полезностей MU_a^A \stackrel{>}{<} MU_b^A.

Поскольку MU_a^A = \alpha \ln\left(\frac{a+1}{a}\right), \quad MU_b^A = \ln\left(\frac{b+1}{b}\right) и \alpha=2, то имеем

MU_a^A \stackrel{>}{<} MU\iff 2 \ln\left(\frac{a+1}{a}\right) \stackrel{>}{<} \ln\left(\frac{b+1}{b}\right) \iff \ln\left(\frac{a+1}{a}\right)^2 \stackrel{>}{<} \ln\left(\frac{b+1}{b}\right) \iff \left(\frac{a+1}{a}\right)^2 \stackrel{>}{<} \frac{b+1}{b}_b^A

то есть сравнение MU_a^A и MU_b^A эквивалентно сравнению величин \left(\frac{a+1}{a}\right)^2 и \frac{b+1}{b}.

Для наглядности заполним следующую таблицу, принимая во внимание, что изначально a=b=1 или a-1=b-1=0.

Видно чередование: две виноградины съедает Альфред, одну – Брюс, две – Альфред, одну – Брюс и т.д. Поэтому, когда a+b-2 делится на три, то выполняется равенство a-1=2(b-1). При a+b-2=99 эта зависимость должна соблюдаться, поэтому в этот момент имеем a-1=66 и b-1=33. Последняя (сто вторая) виноградина достаётся Альфреду, значит всего он съедает 68 штук, а Брюс – 34 штуки. Вычитаем: 68-34=34.

Ответ: Альфред съест на 34 виноградины больше.

Осталось доказать, что чередование (две виноградины – Альфреду, одна – Брюсу), а значит, и условие a-1=2(b-1) при (a + b - 2) \vdots 3 будет сохраняться всегда. Применим метод математической индукции. База индукции.

- Изначально при a+b-2=0 имеем a-1=b-1=0 и \left(\frac{a+1}{a}\right)^2 > \frac{b+1}{b} (виноградина достаётся Альфреду).

- При a+b-2=1 имеем a-1=1, b-1=0 и \left(\frac{a+1}{a}\right)^2 > \frac{b+1}{b} (Альфреду).

- Наконец, при a+b-2=2 имеем a-1=2, b-1=0 и \left(\frac{a+1}{a}\right)^2 < \frac{b+1}{b} (Брюсу).

Итог: при a + b - 2 = 3 \vdots 3 выполнено a-1=2(b-1).

Индукционный переход. Предположим, что для некоторого k \in \{0\} \cup \mathbb{N} выполнены условия a + b - 2 = 3k \vdots 3 и a-1=2(b-1) (то есть a-1=2k и b-1=k ). Тогда, чтобы определить, как будут распределены три следующие виноградины, покажем, что будут справедливы следующие неравенства:

(1) \left( \frac{2k+2}{2k+1} \right)^2 > \frac{k+2}{k+1}, то есть при a+b-2=3k текущая виноградина идёт Альфреду;

(2) \left( \frac{2k+3}{2k+2} \right)^2 > \frac{k+2}{k+1}, то есть при a+b-2=3k+1 виноградина идёт Альфреду;

(3) \left( \frac{2k+4}{2k+3} \right)^2 < \frac{k+2}{k+1}, то есть при a+b-2=3k+2 виноградина достаётся Брюсу.

Шаг индукции.

- Упрощая неравенство (1), получаем, что оно эквивалентно 4k+1>0.

- Неравенство (2) эквивалентно k+1>0.

- Неравенство (3) эквивалентно 0<k+2.

Все три простых неравенства, очевидно, верны, поэтому неравенства (1), (2) и (3) справедливы. Значит, при a + b - 2 = 3(k + 1) \vdots 3 (после того, как распределены три виноградины) условие a-1=2(b-1) снова оказывается выполненным (так как a - 1 = 2k + 2 \text{ и } b - 1 = k + 1).

Индукция завершена.