Можно ли 10 различных натуральных чисел расставить по окружности таким образом, что сумма любых двух рядом стоящих чисел будет степенью двойки? (С. Берлов)
Думаю, нет:Так как числа попарно различны, среди них существует единственное наибольшее, назовём его
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
.
Справа и слева от
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
стоят два разных числа (назовём их
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
и
![$z$ $z$](https://dxdy-04.korotkov.co.uk/f/f/9/3/f93ce33e511096ed626b4719d50f17d282.png)
), поскольку всего чисел 10 (а значит, больше двух) и все они, опять же, попарно различны.
По очереди складывая
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
с его правым и левым соседями, получаем две суммы (
![$x+y$ $x+y$](https://dxdy-01.korotkov.co.uk/f/c/3/3/c33c2451eaad7165c4b6eeadf16db85382.png)
и
![$x+z$ $x+z$](https://dxdy-01.korotkov.co.uk/f/0/c/b/0cb2b7b06284ff2e1abc8f4df47e9fb882.png)
), каждая из которых превышает
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
(так как все числа положительны), но меньше, чем
![$2x$ $2x$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a5214935f8b6ee914efeece84e7535c82.png)
(так как
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
- единственное наибольшее число).
Но эти две суммы (
![$x+y$ $x+y$](https://dxdy-01.korotkov.co.uk/f/c/3/3/c33c2451eaad7165c4b6eeadf16db85382.png)
и
![$x+z$ $x+z$](https://dxdy-01.korotkov.co.uk/f/0/c/b/0cb2b7b06284ff2e1abc8f4df47e9fb882.png)
) должны быть двумя различными степенями двойки (я так понимаю, автор имел в виду степень двойки с ЦНП - целым неотрицательным показателем), а это значит, что они не могут обе попадать в промежуток между
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и
![$2x$ $2x$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a5214935f8b6ee914efeece84e7535c82.png)
.
Полученное противоречие доказывает невозможность построения требуемой в задаче конструкции.
Верно ли моё решение и есть ли другие?