RIP писал(а):
Всё же кажется, можно чуть проще. Приведу некоторые соображения (до строгого доказательства не довёл):
поскольку
<
, десятичная запись
начинается с по крайней мере 47 нулей. Значит, умножая
на соответствующее N, можно добиться, чтобы
начиналось бы с любых 46 цифр, в частности, с 0.20002001...2010XY. Далее, возводя 10 в степени 0, 1, ...,
и беря остатки от деления на
, получаем всевозможные остатки вида 9k+1, k --- целое (1, 10, 19, 28, ...). Значит, найдётся такое p, что
, а, значит,
<
({} - дробная часть), а это как раз означает, что начиная с (p+1)-го знака после запятой в десятичной записи
идут не менее 46 нужных нам цифр.
RIP писал(а):
Можно взять (вроде бы)
.
Компьютерный перебор показывает, что таки Вы правы, и что меньше пяти чисел нельзя вычеркнуть. Есть ещё варианты вычёркивания пяти чисел. Любопытно, что для оптимального варианта ни 1, ни 3, ни 4 не обязательно вычёркивать, но обязательно 2, 8 и 15. Вот ещё вариант: {1, 3, 4, 5, 6, 7, 10, 11, 13, 14}.
Только вот как это всё легко и изящно доказать без перебора вариантов