Факториал числа, большего 7, не является суммой двух степеней двойки. Докажем это.
Пусть факториал вдруг разложился в сумму двух степеней двойки. Поделим всё на меньшее из чисел в разложении. Получим разложение факториала без двоек (у которого нет делителя 2) (если двойки остались или число стало нецелым, то исходное разложение было неверным по чётности и нечётности) на 1 и какую-то степень двойки. Оставшееся от факториала число всё ещё делится на 7. Значит, степень двойки в разложении полученного числа на сумму будет давать остаток 6 от деления на 7. Но степень двойки может давать только остатки 1, 2 и 4 от деления на 7. Противоречие.
2020 больше 7, потому оно не представимо в виде суммы двух степеней двойки.
Первый игрок всегда выигрывает. Первым шагом он перемещает левую фишку в самый левый конец доски. После этого второй игрок может ходить только второй фишкой. Куда бы он ее не переместил, следующим ходом первый игрок переместит третью фишку в хвост второй. Таким образом, второй игрок всегда может двигать только вторую фишку и на последнем шаге ему остается только переместить свою вторую фишку вплотную к первой, после чего первый игрок тут же ставит третью рядом со второй, и все три фишки стоят в крайнем правом конце доски. Игра закончена, потому что второй игрок не может сделать хода. Первый выиграл, а второй проиграл.
Факториал числа, большего 7, не является суммой двух степеней двойки. Докажем это.
Пусть факториал вдруг разложился в сумму двух степеней двойки. Поделим всё на меньшее из чисел в разложении. Получим разложение факториала без двоек (у которого нет делителя 2) (если двойки остались или число стало нецелым, то исходное разложение было неверным по чётности и нечётности) на 1 и какую-то степень двойки. Оставшееся от факториала число всё ещё делится на 7. Значит, степень двойки в разложении полученного числа на сумму будет давать остаток 6 от деления на 7. Но степень двойки может давать только остатки 1, 2 и 4 от деления на 7. Противоречие.
2020 больше 7, потому оно не представимо в виде суммы двух степеней двойки.
ответ: нет.