Девятка.
Все предыдущие нетрудно получить самостоятельно вручную.
Пусть
![$x=11k+9$ $x=11k+9$](https://dxdy-03.korotkov.co.uk/f/a/0/d/a0d135d92dfbb1e1bc470de87b28bb1282.png)
. Предположим, что мы можем получить его первой операцией. Тогда
![$x-2$ $x-2$](https://dxdy-02.korotkov.co.uk/f/9/f/3/9f3ddd8c0b9661a7cff79ddddcf9545182.png)
делится на
![$2$ $2$](https://dxdy-04.korotkov.co.uk/f/7/6/c/76c5792347bb90ef71cfbace628572cf82.png)
, то есть
![$k+1$ $k+1$](https://dxdy-04.korotkov.co.uk/f/3/3/3/33359de825e43daa97171e27f6558ae982.png)
делится на
![$2$ $2$](https://dxdy-04.korotkov.co.uk/f/7/6/c/76c5792347bb90ef71cfbace628572cf82.png)
, значит
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
нечётно. Отсюда
![$n=\frac{x-2}{2}=\frac{11k+7}{2}=\frac{11(k-1)}{2}+\frac{11+7}{2}=11\frac{k-1}{2}+9$ $n=\frac{x-2}{2}=\frac{11k+7}{2}=\frac{11(k-1)}{2}+\frac{11+7}{2}=11\frac{k-1}{2}+9$](https://dxdy-02.korotkov.co.uk/f/1/a/a/1aa7afc081cba26510dd8cab1167cdd682.png)
.
Предположим, что мы можем получить его второй операцией. Тогда
![$x-4$ $x-4$](https://dxdy-02.korotkov.co.uk/f/9/c/d/9cd71d43660355d8d68ef1f3ac74c74582.png)
делится на
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
, то есть
![$2k+2$ $2k+2$](https://dxdy-01.korotkov.co.uk/f/8/5/1/8514519183d5a6d88002655eb50db37182.png)
делится на
![$3$ $3$](https://dxdy-02.korotkov.co.uk/f/5/d/c/5dc642f297e291cfdde8982599601d7e82.png)
, значит
![$k\equiv 2 \mod 3$ $k\equiv 2 \mod 3$](https://dxdy-01.korotkov.co.uk/f/4/d/5/4d5584faf01aba8e7f5e0a94d295256c82.png)
. Отсюда
![$n=\frac{x-4}{3}=\frac{11k+5}{3}=\frac{11(k-2)}{3}+\frac{22+5}{3}=11\frac{k-2}{3}+9$ $n=\frac{x-4}{3}=\frac{11k+5}{3}=\frac{11(k-2)}{3}+\frac{22+5}{3}=11\frac{k-2}{3}+9$](https://dxdy-04.korotkov.co.uk/f/3/c/d/3cd9e51a91087839fb5998965ac02ed582.png)
.
Предположим, что....
В общем, остальные случаи разбираются аналогично.
Предположим теперь, что мы получили девятку. Легко убедиться, что какой-либо из первых операций её получить нельзя, а только уменьшением
![$20$ $20$](https://dxdy-03.korotkov.co.uk/f/e/e/0/ee070bffef288cab28aad0517a35741b82.png)
на
![$11$ $11$](https://dxdy-04.korotkov.co.uk/f/7/e/e/7ee94e64f8d5936cc5f263d0ed987bee82.png)
.
Значит у нас есть двадцатка, и получили мы её ДО девятки. Одной из первых операций её можно получить только из девятки, которой у нас ещё нет, значит двадцать мы тоже получили уменьшением на
![$11$ $11$](https://dxdy-04.korotkov.co.uk/f/7/e/e/7ee94e64f8d5936cc5f263d0ed987bee82.png)
.
![$\ldots$ $\ldots$](https://dxdy-03.korotkov.co.uk/f/e/3/7/e378afcd7cae11e7306c61a9c35bf6cf82.png)
Пусть
![$11k_0+9$ $11k_0+9$](https://dxdy-02.korotkov.co.uk/f/d/2/3/d2324ebcd1d6ee5eed2d7d8537df9d7e82.png)
- наименьшее число вида
![$11k+9$ $11k+9$](https://dxdy-04.korotkov.co.uk/f/b/b/0/bb02f83346c9fc0cb9b74f2f55db928b82.png)
, которое мы получили не уменьшением на
![$11$ $11$](https://dxdy-04.korotkov.co.uk/f/7/e/e/7ee94e64f8d5936cc5f263d0ed987bee82.png)
. Такое обязательно существует, так как мы можем совершить лишь конечное число шагов. По (частично) доказанному выше, увеличением мы его могли получить лишь из меньшего числа такого же вида, а его у нас ещё нет, противоречие. Значит обойдёмся без девятки.