Теорема Фридландера — Иванеца

Из Википедии, бесплатной энциклопедии

Джон Фридландер
Хенрик Иванец

Теорема Фридландера — Иванеца утверждает, что существует бесконечное множество простых чисел вида . Первые несколько таких простых чисел

2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 661, 677, 757, 769, 821, 857, 881, 977, … (последовательность A028916 в OEIS).

Сложность утверждения заключается в очень редкой встречаемости чисел вида  — количество таких чисел, не превосходящих , грубо оценивается величиной .

История[править | править код]

Теорему доказали в 1997 году Джон Фридландер и Хенрик Иванец[1]. Иванец получил в 2001 году премию Островского за вклад в эту теорему[2]. Столь мощный результат ранее считался абсолютно недостижимым, так как теория решета (до использования Иванцем и Фридландером новых методов) не позволяла отличать простые числа от их попарных произведений.

Специальный случай[править | править код]

В случае b = 1, простые числа Фридландера — Иванеца имеют вид и образуют множество:

2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357, 5477, 7057, 8101, 8837, 12101, 13457, 14401, 15377, … (последовательность A002496 в OEIS).

Существует гипотеза (одна из проблем Ландау), что это множество бесконечно. Однако из теоремы Фридландера — Иванеца это утверждение не вытекает.

Примечания[править | править код]

  1. Friedlander, Iwaniec, 1997, с. 1054–1058.
  2. «Iwaniec, Sarnak, and Taylor Receive Ostrowski Prize». Дата обращения: 17 марта 2018. Архивировано 5 ноября 2019 года.

Литература[править | править код]

Дополнительная литература[править | править код]