Ваше доказательство основано на математической индукции,
если ваше утверждение верно для
![$r$ $r$](https://dxdy-01.korotkov.co.uk/f/8/9/f/89f2e0d2d24bcf44db73aab8fc03252c82.png)
шагов решета, то достаточно доказать это утверждение для
![$r+1$ $r+1$](https://dxdy-03.korotkov.co.uk/f/2/7/d/27ddbf8fed3fa697b24eafe49e7ddad282.png)
шагов.
Спасибо! Я подумаю.
А сейчас продолжение.
Обозначим количество чисел в подпоследовательности, полученной после r-ого шага решета Эратосфена, не превосходящих число N –
![$E_r(N)$ $E_r(N)$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a291c6814dcefd16679ffdc2c427e482.png)
. На основании формулы включений и исключений получаем при
![$p_{r+1}$ $p_{r+1}$](https://dxdy-01.korotkov.co.uk/f/4/5/e/45ec985c6355d6ee6e9f5c792767719f82.png)
< √N:
![$E_r(N)$ $E_r(N)$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a291c6814dcefd16679ffdc2c427e482.png)
= r + N-1 - ∑[N/pi] + ∑[N/pi pj] - ∑[N/pi pj pk] +…+(-1)r[N/p1 p2… pr] (4),
где суммирование ведется по произведению простых делителей числа
![$M=p_1p_2…p_r$ $M=p_1p_2…p_r$](https://dxdy-04.korotkov.co.uk/f/b/5/8/b582fc7a45c20012c57c2fe30a4000ac82.png)
.
Например, после первого шага решета Эратосфена для N=30 количество таких чисел равно
![$E_1(30)=15$ $E_1(30)=15$](https://dxdy-01.korotkov.co.uk/f/8/8/5/8856844dda4828b5f7555ece3afb714f82.png)
, после второго -
![$E_2(30)=11$ $E_2(30)=11$](https://dxdy-04.korotkov.co.uk/f/f/a/a/faa8a2dd7298ea6423256d2acd4d332582.png)
. Естественно количество чисел после каждого шага решета Эратосфена убывает. Когда число шагов решета Эратосфена достигнет значения, что
![$p_{r+1}$ $p_{r+1}$](https://dxdy-01.korotkov.co.uk/f/4/5/e/45ec985c6355d6ee6e9f5c792767719f82.png)
≥ √N, то величина
![$E_r(N)$ $E_r(N)$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a291c6814dcefd16679ffdc2c427e482.png)
достигнет своего минимального значения
![$\pi(N) $ $\pi(N) $](https://dxdy-02.korotkov.co.uk/f/5/c/9/5c9501e9a1b33a5fcd9b350731d2d89382.png)
- количества простых чисел, не превосходящих числа N, и мы получаем известную формулу [3]:
![$\pi(N) $ $\pi(N) $](https://dxdy-02.korotkov.co.uk/f/5/c/9/5c9501e9a1b33a5fcd9b350731d2d89382.png)
= π(√N) + N-1 - ∑[N/pi] + ∑[N/pi pj] - ∑[N/pi pj pk] +…+(-1)r[N/p1 p2… pr] (5),
где суммирование ведется по произведению простых делителей числа
![$M=p_1p_2…p_r$ $M=p_1p_2…p_r$](https://dxdy-04.korotkov.co.uk/f/b/5/8/b582fc7a45c20012c57c2fe30a4000ac82.png)
.
Таким образом, для количества чисел в подпоследовательности, полученной после r-ого шага решета Эратосфена, не превосходящих число N выполняется условие:
![$E_r(N)$ $E_r(N)$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a291c6814dcefd16679ffdc2c427e482.png)
.≥
![$\pi(N) $ $\pi(N) $](https://dxdy-02.korotkov.co.uk/f/5/c/9/5c9501e9a1b33a5fcd9b350731d2d89382.png)
(6).
Учитывая формулу (3), мы получаем соотношение:
![$\pi(k,N)$ $\pi(k,N)$](https://dxdy-01.korotkov.co.uk/f/4/4/4/444ca44c89350b5efe75f818b13e6c2382.png)
≤
![$\pi(N) $ $\pi(N) $](https://dxdy-02.korotkov.co.uk/f/5/c/9/5c9501e9a1b33a5fcd9b350731d2d89382.png)
≤
![$E_r(N)$ $E_r(N)$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a291c6814dcefd16679ffdc2c427e482.png)
(7).
Равенства выполняются при k=2 и
![$p_{r+1}$ $p_{r+1}$](https://dxdy-01.korotkov.co.uk/f/4/5/e/45ec985c6355d6ee6e9f5c792767719f82.png)
≥ √N.
Следовательно, по количеству чисел в подпоследовательности, не превосходящих числа N, простые числа действительно занимают пограничное значение между рассматриваемыми подпоследовательностями.
Однако для сходимости треугольника Гильбрайта важно не только количество чисел в подпоследовательности, не превосходящих заданного числа, но и плотность их распределения в подпоследовательности. Действительно, в этом случае, как говорится, возможен вариант - в одном месте густо, а в другом - пусто. Поэтому для сходимости треугольника Гильбрайта важно, чтобы расстояние между членами подпоследовательности не превосходило бы расстояние между последовательными простыми числами.
Подпоследовательность чисел в решете Эратосфена имеет расстояние между числами, не превосходящее расстояние между последовательными простыми числами. Например, при r=3 между простыми числами 47 и 53 находится составное число 49. Как было показано в теореме 4, что треугольник Гильбрайта, в основании которого находится данная подпоследовательность, сходится.
С другой стороны, подпоследовательность простых чисел в арифметической прогрессии при k>2 имеет расстояние между числами, превосходящее расстояние между последовательными простыми числами. Например, в арифметической прогрессии 4t+3 пропущены простые числа 5,13,17 и.т.д. В теореме 1 было показано, что треугольник Гильбрайта, в основании которого находится данная подпоследовательность, расходится.
Таким образом, в работе показано, что последовательность простых чисел в основании треугольника Гильбрайта является пограничной, в смысле сходимости треугольника Гильбрайта.
Буду благодарен за замечания и предложения.