Головна Математика Спіраль Улама

🔢 Спіраль Улама

Розкладіть цілі числа на квадратній спіралі та позначте прості — виникають разючі діагональні патерни. Підсвічуйте прості-багаті многочлени на кшталт n²+n+41, спробуйте спіраль Сакса та переглядайте розклад будь-якої клітинки.

Математика2DСередній60 FPS
ulam-spiral ↗ Відкрити окремо
DRAG · SCROLL · CLICK — керуйте прямо у вікні симуляції.

Схожі симуляції

Про спіраль Улама

У 1963 р. Станіслав Улам, сидячи на нудній лекції, почав малювати: він записував цілі числа квадратною спіраллю на міліметровому папері та підсвічував прості числа. Він був вражений, побачивши, що прості числа не розсіяні випадково, а групуються вздовж діагональних ліній, що перетинають спіраль. Просте число на діагоналі відповідає квадратичному многочлену, обчисленому в послідовних цілих числах — наприклад, багата діагональ n² + n + 41 дає просте число для кожного n від 0 до 39, многочлен, відкритий Ейлером у 1772 р. Попри інтенсивні дослідження, ніхто повністю не розуміє, чому одні діагоналі значно багатші на прості числа, ніж інші.

Налаштуйте розмір спіралі, щоб побачити більше патерну, перемикайтеся між класичним виглядом Улама і спіраллю Сакса (яка розташовує цілі числа на архімедовій спіралі, розміщуючи точні квадрати на одному промені), і накладайте відомі прості-багаті многочлени, щоб підсвітити їхні діагоналі.

Часті запитання

Як побудована спіраль Улама?

Починаємо в центрі з 1, потім розкручуємо цілі числа назовні квадратною спіраллю: праворуч, вгору, ліворуч, ліворуч, вниз, вниз, праворуч, праворуч, праворуч… Кожна наступна L-подібна оболонка додає наступне кільце чисел. Прості числа позначено кольоровою клітинкою. Ключове спостереження: багато діагоналей отриманої сітки містять значно більше простих чисел, ніж середнє по діагоналі, утворюючи видимі смуги.

Чому на спіралі Улама з'являються діагональні лінії?

Кожна діагональ спіралі відповідає квадратичному многочлену p(n) = an² + bn + c для деяких констант a, b, c, визначених позицією діагоналі. Деякі квадратичні функції дають багато простих значень — зокрема многочлен Ейлера p(n) = n² + n + 41, простий для n = 0, 1, 2, …, 39 (40 послідовних простих чисел). Причина, чому одні квадратичні функції дають більше простих чисел, пов'язана з нерозв'язаними проблемами теорії чисел, зокрема гіпотезою Буняковського.

Що таке теорема про розподіл простих чисел і як вона пов'язана зі спіраллю?

Теорема про розподіл простих чисел стверджує, що кількість простих чисел до N приблизно дорівнює N/ln(N), тобто поблизу N приблизно кожне ln(N)-те число просте. На спіралі Улама на радіусі r прості числа з'являються з густиною ~1/(2ln(r)). Середня густина спадає назовні — спіраль виглядає рідшою біля країв — але діагональна структура зберігається.

Хто такий Станіслав Улам?

Станіслав Улам (1909–1984) — польсько-американський математик, що зробив фундаментальний внесок у теорію множин, ергодичну теорію, ядерну фізику та обчислювальну математику. Він був ключовим учасником Мангеттенського проєкту і співавтором конструкції Теллера-Улама для термоядерної зброї. Також він разом із Джоном фон Нейманом розробив метод Монте-Карло. Спіраль отримала його ім'я від його малюнка 1963 року, зробленого під час нудної лекції.

Що таке спіраль Сакса і чим вона відрізняється?

Спіраль Сакса, винайдена Робертом Саксом у 1994 р., розміщує цілі числа на архімедовій спіралі так, що всі точні квадрати (1, 4, 9, 16, …) лежать на одному промені. Прості числа, підсвічені на спіралі Сакса, також утворюють криволінійні структури — дуги й параболи замість прямих діагоналей — оскільки квадратичні многочлени стають гладкими кривими в неперервній геометрії спіралі.

Що таке гіпотеза Буняковського про многочлени, що породжують прості числа?

Гіпотеза Буняковського (1857) стверджує, що незвідний многочлен p(n) з цілими коефіцієнтами набуває нескінченно багато простих значень при n, що пробігає натуральні числа, за умови відсутності «фіксованого дільника». Наприклад, p(n) = n² + n + 41 задовольняє цю умову, і припускається, що дає нескінченно багато простих чисел, хоча це не доведено.

Чи існують інші цілочислові спіралі, що виявляють закономірності простих чисел?

Так. Гексагональна спіраль (розташування цілих чисел на трикутній ґратці по спіралі) також показує діагоналі, багаті на прості числа. Розташування на основі гаусових цілих чисел (комплексні числа a+bi) виявляють закономірності простих чисел у 2D через гаусові прості числа, де |a+bi|² = a²+b² є простим.

Що таке прості-близнюки і чи видно їх на спіралі Улама?

Прості-близнюки — пари простих чисел, що відрізняються на 2 (наприклад, 11 і 13, 17 і 19, 41 і 43). На спіралі Улама пари простих-близнюків з'являються як сусідні клітинки на одній діагоналі. Гіпотеза про прості-близнюки стверджує, що таких пар нескінченно багато — досі не доведено, хоча прорив Їтана Чжана 2013 р. показав нескінченну кількість пар простих чисел із розривом не більше 70 000 000, пізніше зменшеним до 246.

Чому математики не можуть повністю пояснити діагональні структури?

Діагональні патерни вимагають доведення того, що конкретні квадратичні многочлени представляють нескінченно багато простих чисел — твердження, що виходить за межі поточних математичних інструментів. Гіпотеза Рімана дає контроль над середнім розподілом простих чисел, але конкретні флуктуації, що створюють щільніші діагоналі, включають кореляції між простими числами, які поки що вловлюються лише гіпотетично.

Який зв'язок між спіраллю Улама і дзета-функцією Рімана?

Дзета-функція Рімана ζ(s) = Σ 1/nˢ кодує розподіл усіх простих чисел через свої нулі. Гіпотеза Рімана (усі нетривіальні нулі мають Re(s) = 1/2) еквівалентна «найкращій можливій» межі похибки в теоремі про розподіл простих чисел: π(N) = Li(N) + O(√N log N). Діагональні структури на спіралі Улама тісно пов'язані з цим членом похибки.

Чи можна розширити спіраль Улама до трьох вимірів?

Так — 3D-спіраль Улама можна побудувати, розкручуючи цілі числа кубічною спіраллю (кожен шар — 2D-спіраль Улама, складена в стопку). Прості числа, підсвічені в 3D, знову виявляють площинні структури, аналогічні 2D-діагоналям, що відповідають квадратичним формам трьох змінних.