«Недавно я начал экспериментировать с gnuplot и быстро сделал интересное открытие. Я построил все простые числа ниже 1 миллиона в полярных координатах, так что для каждого простого p (r, ?) = (p, p). Ничего особенного не ожидал, просто пробовал. Результаты впечатляют».
![image](https://habrastorage.org/getpro/habr/post_images/6be/4e4/d3f/6be4e4d3f250f4902473a9ef3c0f2f9c.png)
Если посмотреть на простые числа ниже 30000, можно увидеть спиральный узор.
![image](https://habrastorage.org/getpro/habr/post_images/d8e/311/9ca/d8e3119caa1fa5255dc487685119aef2.png)
Для сравнения — тот же график с наложенными на него числами, кратными 3 и 7. Простые числа выделены желтым цветом, кратные 3 и 7 — зеленым и красным соответственно.
![image](https://habrastorage.org/getpro/habr/post_images/851/a05/fb9/851a05fb953d25c6bf282349ef9643ea.png)
Что действительно интересно, так это поведение при увеличении диапазона. Кратные данного числа кажутся спиралевидными по той же схеме в бесконечность, но простые числа начинают образовывать лучи группами по 3 или 4.
![image](https://habrastorage.org/getpro/habr/post_images/c97/fb0/b02/c97fb0b0284efb9a40dbf717022f9a5a.png)
По сравнению с числами, кратными 3 и 7:
![image](https://habrastorage.org/getpro/habr/post_images/0e2/525/773/0e25257734008061006d8ef8d82196ae.png)
Связаны ли эти закономерности с теоремой о простых числах? Являются ли эти лучи тем же явлением, что и диагональные линии в Скатерти Улама?
В ответ на объяснение Грега Мартина я решил добавить еще пару графиков. Чтобы понять, почему они актуальны, прочтите его ответ.
(г, ?) = (n, n), n?N
![image](https://habrastorage.org/getpro/habr/post_images/16e/068/782/16e06878202b640df0890d28efd06b64.png)
![image](https://habrastorage.org/getpro/habr/post_images/e47/5dd/bf8/e475ddbf841f877c7604a28f55ae0114.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, JANOS PINTZ, and CEM Y. YILDIRIM, 2009)
Цепные дроби от Савватеева:
Алексей Савватеев «Все о записи чисел»:
200sx_Pilot
А как всё это выглядит в трехмерной системе координат?
gulinvse
На трёхмерное пространство есть два способа обобщить: систему координат брать цилиндрическую (\rho,\phi,z)=(p,p,p) для простых p или сферическую (r,\phi,\theta)=(р, р, р). С цилиндрической всё проще: получатся те же 280 лучей (которые постепенно поворачиваются), но лежать они будут в конусе с уравнением z^2=x^2+y^2 (другими словами конус этот это множество точек, равноудалённых от оси z и плоскости xOy, потому что для \rho=v(x^2+y^2) и для z мы берём одно и то же значение p). В сферической системе сложнее, по скольку круги наматывают не только в горизонтальном круге вокруг оси Oz посредством увеличения \phi, но и в вертикальных кругах посредством увеличения \theta, которое отсчитывается от оси z. Тут сложнее сказать как получается.
200sx_Pilot
Интереснее сфера, т.к. цилиндр — это всё-таки псевдообъём, как мне кажется.