Началось всё с обсуждение на математическом StackOverflow: Meaning of Rays in Polar Plot of Prime Numbers
![image](https://i.stack.imgur.com/W3eQR.png)
Если посмотреть на простые числа ниже 30000, можно увидеть спиральный узор.
![image](https://i.stack.imgur.com/OtG8w.png)
Для сравнения — тот же график с наложенными на него числами, кратными 3 и 7. Простые числа выделены желтым цветом, кратные 3 и 7 — зеленым и красным соответственно.
![image](https://i.stack.imgur.com/CosTo.png)
Что действительно интересно, так это поведение при увеличении диапазона. Кратные данного числа кажутся спиралевидными по той же схеме в бесконечность, но простые числа начинают образовывать лучи группами по 3 или 4.
![image](https://i.stack.imgur.com/8te4G.png)
По сравнению с числами, кратными 3 и 7:
![image](https://i.stack.imgur.com/w8A8s.png)
![image](https://i.stack.imgur.com/uY1WW.png)
![image](https://i.stack.imgur.com/Y9jIQ.png)
Для начала можно поиграться с полярными координатами и рассмотреть все точки с целочисленными координатами: (1,1) (2,2)…
Получаем Архимедову Спираль:
![image](https://habrastorage.org/r/w780q1/webt/hc/_6/hd/hc_6hdd2pvmccrddmmfeauiqhck.jpeg)
Если исключить все числа, кроме простых, то получаем спиральную галактику с пробелами:
![image](https://habrastorage.org/r/w780q1/webt/od/u7/kg/odu7kgbuvto4trpqzaomoidk6uo.jpeg)
«Отдаляясь» мы можем увидеть направленные во все стороны лучи, по большей части в группах по 4 штуки:
![image](https://habrastorage.org/r/w780q1/webt/bu/pa/gn/bupagn5pmr99lplo5i1lsf7b32q.jpeg)
Спирали можно посчитать, их 20 штук:
![image](https://habrastorage.org/r/w780q1/webt/dt/kr/af/dtkrafgnufw-k9udlkbth3jqmu4.jpeg)
А лучей 280:
![image](https://habrastorage.org/r/w780q1/webt/35/5o/j1/355oj1zz3u3r4kc4ztmee5pjgxu.jpeg)
Если брать все числа, а не только простые, то спирали поровнее и их 44:
![image](https://habrastorage.org/r/w780q1/webt/rl/ip/nm/rlipnmsgrxmxjbym581b_xepbsy.jpeg)
При самом близком рассмотрении у нас 6 спиралей:
![image](https://habrastorage.org/r/w780q1/webt/kb/d6/vv/kbd6vvwqmemtc6giqgwhytgwlcm.jpeg)
Все числа, кратные 6 образуют одну ветку:
![image](https://habrastorage.org/r/w780q1/webt/w_/zx/1p/w_zx1p1cjk1ybai48syw61wulb8.jpeg)
Остальные рукава спиралей 6к+1, 6к+2 и тд. Почему так? Потому что 6 примерно равно (полному обороту) 2ℼ (6.28318530718). Эта маленькая разница создает иллюзию единой кривой.
Если оставить только простые числа, останется только две спирали (6к+1 и 6к+5):
![image](https://habrastorage.org/r/w780q1/webt/17/ge/hj/17gehjynaagcjzrxb4k7e0nkumq.jpeg)
6 — почти полный круг, 44 — еще более точное приближение (44/2ℼ ≈ 7 полных кругов)
![image](https://habrastorage.org/r/w780q1/webt/ig/qy/ct/igqyctibw7v07l6sczopxmdj9wi.jpeg)
Только для простых чисел остается 20 рукавов (44к+1, 44к+3, 44к+5...). Функция Эйлера φ (44) = 20.
![image](https://habrastorage.org/r/w780q1/webt/7x/tp/1v/7xtp1vyojldrv54i6sugiyslcrc.jpeg)
710/2ℼ ≈ 113. (113,00000959)
![image](https://habrastorage.org/r/w780q1/webt/sq/op/9o/sqop9onmpttitwijn5p8o84trr4.jpeg)
Для простых чисел будут пробелы:
![image](https://habrastorage.org/r/w780q1/webt/j2/ba/yq/j2bayqgubvc4fgieicyadhjahbo.jpeg)
Чем дальше отдаляемся, тем отчетливее проявляется кривизна всей структуры.
710=71*5*2. Это объясняет группировку по 4 луча (5) и «отломанные зубцы расчески» (71):
![image](https://habrastorage.org/r/w780q1/webt/cj/ny/ss/cjnyssog6fsfklpv3pa7r3n8h2s.jpeg)
Функция Эйлера φ (710) = 280.
По теореме Дирихле, простые числа равномерно распределятся по рукавам.
Играясь с визуализацией, можно наткнуться на а) принцип Дирихле б) на приближения числа ℼ (и цепные дроби) в) дойти до функции Эйлера.
Спиралевидная форма — это артефакт, связанный с совпадением с четным числом радианов.
Ролик с русской озвучкой:
Еще работы по простым числам:
Цепные дроби от Савватеева:
Алексей Савватеев «Все о записи чисел»:
«Недавно я начал экспериментировать с gnuplot и быстро сделал интересное открытие. Я построил все простые числа ниже 1 миллиона в полярных координатах, так что для каждого простого p (r, θ) = (p, p). Ничего особенного не ожидал, просто пробовал. Результаты впечатляют».
![image](https://i.stack.imgur.com/W3eQR.png)
Если посмотреть на простые числа ниже 30000, можно увидеть спиральный узор.
![image](https://i.stack.imgur.com/OtG8w.png)
Для сравнения — тот же график с наложенными на него числами, кратными 3 и 7. Простые числа выделены желтым цветом, кратные 3 и 7 — зеленым и красным соответственно.
![image](https://i.stack.imgur.com/CosTo.png)
Что действительно интересно, так это поведение при увеличении диапазона. Кратные данного числа кажутся спиралевидными по той же схеме в бесконечность, но простые числа начинают образовывать лучи группами по 3 или 4.
![image](https://i.stack.imgur.com/8te4G.png)
По сравнению с числами, кратными 3 и 7:
![image](https://i.stack.imgur.com/w8A8s.png)
Связаны ли эти закономерности с теоремой о простых числах? Являются ли эти лучи тем же явлением, что и диагональные линии в Скатерти Улама?
В ответ на объяснение Грега Мартина я решил добавить еще пару графиков. Чтобы понять, почему они актуальны, прочтите его ответ.
(г, θ) = (n, n), n∈N
![image](https://i.stack.imgur.com/uY1WW.png)
![image](https://i.stack.imgur.com/Y9jIQ.png)
Для начала можно поиграться с полярными координатами и рассмотреть все точки с целочисленными координатами: (1,1) (2,2)…
Получаем Архимедову Спираль:
![image](https://habrastorage.org/webt/hc/_6/hd/hc_6hdd2pvmccrddmmfeauiqhck.jpeg)
Если исключить все числа, кроме простых, то получаем спиральную галактику с пробелами:
![image](https://habrastorage.org/webt/od/u7/kg/odu7kgbuvto4trpqzaomoidk6uo.jpeg)
«Отдаляясь» мы можем увидеть направленные во все стороны лучи, по большей части в группах по 4 штуки:
![image](https://habrastorage.org/webt/bu/pa/gn/bupagn5pmr99lplo5i1lsf7b32q.jpeg)
Спирали можно посчитать, их 20 штук:
![image](https://habrastorage.org/webt/dt/kr/af/dtkrafgnufw-k9udlkbth3jqmu4.jpeg)
А лучей 280:
![image](https://habrastorage.org/webt/35/5o/j1/355oj1zz3u3r4kc4ztmee5pjgxu.jpeg)
Если брать все числа, а не только простые, то спирали поровнее и их 44:
![image](https://habrastorage.org/webt/rl/ip/nm/rlipnmsgrxmxjbym581b_xepbsy.jpeg)
При самом близком рассмотрении у нас 6 спиралей:
![image](https://habrastorage.org/webt/kb/d6/vv/kbd6vvwqmemtc6giqgwhytgwlcm.jpeg)
Все числа, кратные 6 образуют одну ветку:
![image](https://habrastorage.org/webt/w_/zx/1p/w_zx1p1cjk1ybai48syw61wulb8.jpeg)
Остальные рукава спиралей 6к+1, 6к+2 и тд. Почему так? Потому что 6 примерно равно (полному обороту) 2ℼ (6.28318530718). Эта маленькая разница создает иллюзию единой кривой.
Если оставить только простые числа, останется только две спирали (6к+1 и 6к+5):
![image](https://habrastorage.org/webt/17/ge/hj/17gehjynaagcjzrxb4k7e0nkumq.jpeg)
6 — почти полный круг, 44 — еще более точное приближение (44/2ℼ ≈ 7 полных кругов)
![image](https://habrastorage.org/webt/ig/qy/ct/igqyctibw7v07l6sczopxmdj9wi.jpeg)
Только для простых чисел остается 20 рукавов (44к+1, 44к+3, 44к+5...). Функция Эйлера φ (44) = 20.
![image](https://habrastorage.org/webt/7x/tp/1v/7xtp1vyojldrv54i6sugiyslcrc.jpeg)
710/2ℼ ≈ 113. (113,00000959)
![image](https://habrastorage.org/webt/sq/op/9o/sqop9onmpttitwijn5p8o84trr4.jpeg)
Для простых чисел будут пробелы:
![image](https://habrastorage.org/webt/j2/ba/yq/j2bayqgubvc4fgieicyadhjahbo.jpeg)
Чем дальше отдаляемся, тем отчетливее проявляется кривизна всей структуры.
710=71*5*2. Это объясняет группировку по 4 луча (5) и «отломанные зубцы расчески» (71):
![image](https://habrastorage.org/webt/cj/ny/ss/cjnyssog6fsfklpv3pa7r3n8h2s.jpeg)
Функция Эйлера φ (710) = 280.
По теореме Дирихле, простые числа равномерно распределятся по рукавам.
Вывод
Играясь с визуализацией, можно наткнуться на а) принцип Дирихле б) на приближения числа ℼ (и цепные дроби) в) дойти до функции Эйлера.
Спиралевидная форма — это артефакт, связанный с совпадением с четным числом радианов.
Ролик с русской озвучкой:
P.S.
Еще работы по простым числам:
- Bounded gaps between primes. (By Yitang Zhang, 2014)
- Primes in tuples I (By DANIEL A. GOLDSTON, JÁNOS PINTZ, and CEM Y. YILDIRIM, 2009)
Цепные дроби от Савватеева:
Алексей Савватеев «Все о записи чисел»: