Решение. Приведём стратегию для Пети. Для этого представим \(1\) в виде суммы \(2^n\) дробей с числителями \(1\), разобьём их на пары не равных, сложим числа в каждой паре. Затем \(2^{\,n-1}\) полученных результатов вновь разобьём на пары не равных и сложим числа в каждой паре. Будем продолжать так делать, пока не получится одно число. Поскольку сумма всех дробей равна \(1\), то после \(n\) шагов остаётся число \(1\).
Предположим, что описанный выше процесс возможен. В таком случае Петя разложит \(1\) в сумму двух чисел, которые складывались на \(n-1\)-м шаге. Вася выберет одно из слагаемых, которое представимо как сумму двух чисел, сложением которых данное число было получено на \(n-1\)-м шаге, и т.д. В конечном итоге останется одна из исходных \(2^n\) дробей.
Для реализации указанного процесса нам потребуется следующее вспомогательное утверждение.
Лемма. Есть две четвёрки чисел \(a_1>a_2>a_3>a_4\) и \(b_1>b_2>b_3>b_4\). Тогда их можно сгруппировать по парам \((a_i,b_j)\) так, чтобы числа в каждой паре были различны и суммы чисел в каждой паре были различны.
Доказательство леммы. Разберём несколько случаев:
\(1^{\circ}.\) \(a_1=b_1\), \(a_2=b_2\). Если \(a_4\ne b_4\), не умаляя общности \(a_3\ge b_3\), можно сгруппировать: \(a_1+b_2>b_1+a_3>a_2+b_3>a_4+b_4\). В случае \(a_4=b_4\) и, н.у.о., \(a_3\ge b_3\) группируем \(a_1+b_2>b_1+a_3>a_2+b_4>b_3+a_4\).
\(2^{\circ}.\) \(a_3=b_3\), \(a_4=b_4\) сводится к предыдущему пункту, если перейти к четвёркам чисел \(-a_i\), \(-b_i\).
\(3^{\circ}.\) Пары \((a_1,b_1)\) и \((a_2,b_2)\) разные, а также пары \((a_3,b_3)\) и \((a_4,b_4)\) разные. В таком случае сгруппируем числа первых двух пар между собой (с числами в третьей и четвёртой паре поступим аналогично), явно получая две меньшие суммы, чем в первой паре. Если \(a_1=b_1\) или \(a_2=b_2\), подходят суммы \(a_1+b_2\), \(a_2+b_1\); в противном случае можно сгруппировать \(a_1+b_1\) и \(a_2+b_2\). Лемма доказана.
Покажем, что описанный в начале решения процесс возможен (то есть на каждом шаге будут складываться различные числа), если исходные \(2^n\) дробей удастся разбить на четвёрки так, чтобы в каждой четвёрке были попарно различные дроби. Действительно, в таком случае на очередном шаге мы разбиваем четвёрки на пары и согласно лемме складываем числа из разных четвёрок. После каждого такого шага получившиеся суммы вновь будут разбиваться на четвёрки попарно различных чисел. Продолжая так первые \(n-2\) шага, в итоге получим четвёрку различных чисел \(x_1\lt x_2\lt x_3\lt x_4\); на \(n-1\)-м шаге сложим \(x_1+x_2\) и \(x_3+x_4\), а на \(n\)-м шаге сложим уже эти два числа.
Таким образом, достаточно представить \(\tfrac14\) в виде суммы \(2^{n-2}\) дробей вида \(1/m\) четырьмя разными способами, каждый раз используя разные знаменатели, не превосходящие \(2^n+50\).
Первый способ - Сумма \(2^{\,n-2}\) одинаковых дробей \(\dfrac{1}{2^n}\).
Построим три других представления. Заметим, что среди чисел \(n,n-1,n-2,n-3,n-4,n-5\) не более одной степени двойки и не более двух простых чисел (поскольку простые числа, большие трёх, дают только остатки \(1\) и \(5\) при делении на \(6\)); эти числа уберём из рассмотрения. Любое оставшееся число можно представить в виде \(n-k=pt\), где \(p,t>1\) и \(t\) нечётно. Тогда \(2^n+2^k=2^k(2^p+1)q\). Возьмём \(2^{\,n-2}-2^{\,k+p-2}\) дробей вида \(\dfrac{1}{2^n+2^k}\) и \(2^{\,k+p-2}\) дробей вида \(\dfrac{1}{2^{\,k+p}q}\). Поскольку \(k\le5\), то \(2^{\,k+p}q<2^n+2^k\le2^n+50\). Посчитаем сумму этих дробей:
\(\dfrac{2^{\,n-2}-2^{\,k+p-2}}{2^n+2^k}+\dfrac{2^{\,k+p-2}}{2^{\,k+p}q}=\tfrac14\Big(\dfrac{2^n-2^{\,k+p}}{2^n+2^k}+\dfrac{2^k(2^p+1)}{2^n+2^k}\Big)=\tfrac14.\)
Проделаем так для трёх различных значений \(k\); остаётся убедиться, что полученные представления не содержат одинаковых дробей. Ясно, что с первым выбранным набором три новых не пересекаются, а дроби вида \(\dfrac{1}{2^n+2^k}\) могут появляться лишь в одном наборе. Остаётся проверить, что дроби вида \(\dfrac{1}{2^{\,k+p}q}\) различны. Предположим противное: \(2^{\,k+p}q=2^{\,k_1+p_1}q_1\). Так как \(q\) и \(q_1\) нечётны, получаем \(q=q_1\); это общий делитель \(2^n+2^k\) и \(2^n+2^{k_1}\). Тогда \(2^k-2^{k_1}\) кратно \(q\), а значит \(q<32\). Однако \(p=\dfrac{n-k}{t}<\dfrac{n}{3}\), откуда \(2^p+1<2^{n/2}\) и \(q\ge2^{n/2}>32\) — противоречие.