Да, тут я лажанулся с размерами, речь действительно про интервалы длиной 10 в ПСВ7#. И утверждается что любой из них преобразуется в интервал длиной 12 в ПСВ11# замещением границы на 11.
Проверим на втором из них:
Код:
? a=199; forstep(p=a,a+10,2, print1(factor(p)[1,1],", "))
199, 3, 7, 5, 3, 11,
? forstep(a=199,2310-10,210, forstep(p=a,a+10,2, print1(factor(p)[1,1],", ")); print)
199, 3, 7, 5, 3, 11,
409, 3, 7, 5, 3, 419,
619, 3, 7, 5, 3, 17,
829, 3, 7, 5, 3, 839,
1039, 3, 7, 5, 3, 1049,
1249, 3, 7, 5, 3, 1259,
1459, 3, 7, 5, 3, 13,
1669, 3, 7, 5, 3, 23,
1879, 3, 7, 5, 3, 1889,
2089, 3, 7, 5, 3, 2099,
11, 3, 7, 5, 3, 2309,
Прекрасно видно что из интервала длиной 10 получились два интервала длиной минимум 11 в ПСВ11# замещением левой и правой границ числом 11.
Начиная с ПСВ13# он перестает быть максимальным и это не проходит.
Проверка:
Код:
? a=20569; forstep(p=a,a+22,2, print1(factor(p)[1,1],", "))
67, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 59,
? forstep(a=20569,510510-22,30030, forstep(p=a,a+22,2, print1(factor(p)[1,1],", ")); print)
67, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 59,
50599, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 223,
80629, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 80651,
41, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 110681,
140689, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 37,
79, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 170741,
367, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 200771,
230779, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 149,
260809, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 17, \\\\\\\\\\\\\\\\\\\\\\
290839, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 290861,
47, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 19,
350899, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 103,
380929, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 380951,
29, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 113,
440989, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 441011,
17, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 471041, \\\\\\\\\\\\\\\\\\\\\\
19, 3, 7, 5, 3, 13, 11, 3, 5, 7, 3, 83,
Видим что снова интервал длиной 22 прекрасно превратился в интервалы (помечены) длиной минимум 23 в ПСВ17# замещением левой и правой границы числом 17.
Начиная с ПСВ13# он перестает быть максимальным и это не проходит.
Ну и? Вот же арифметическая прогрессия, дающая нужные интервалы. Прекрасно проходит.
vicvolfИ где реакция на мой вопрос о недоказанном пункте?