Konstancja Collatza: Proste prawo, którego nikt nie potrafi udowodnić

Zasada, którą każdy może obliczyć, a nikt nie potrafi udowodnić

Weź dowolną liczbę naturalną dodatnią n. Jeśli jest parzysta, podziel ją przez 2. Jeśli jest nieparzysta, pomnóż ją przez 3 i dodaj 1. Powtarzaj. Hipoteza Collatza – zaproponowana przez Lothara Collatza w 1937 roku, znana również jako problem 3n+1 lub sekwencja śnieżna – głosi, że niezależnie od tego, jaką liczbę rozpoczniemy, ten proces zawsze ostatecznie osiągnie 1:

n → n/2 jeśli n jest parzyste n → 3n + 1 jeśli n jest nieparzyste Zacznij od liczby 27 i sekwencja rośnie do 9232, zanim w ogóle zacznie spadać, odbijając się w górę i w dół jak kulka śnieżna uwięziona w chmurze – stąd też nazwa – zanim ostatecznie dotrze do powtarzalnego końca 4, 2, 1. Każda liczba całkowita sprawdzona, aż do zakresu około 2⁶⁸, ostatecznie osiąga 1. Nikt nie znalazł przykładu, który by to zaprzeczał, a nikt nie potrafił udowodnić, że takiego nie ma.

n → n/2         if n is even
n → 3n + 1      if n is odd

Dlaczego jest to wciągająca trudność

Zasada miesza mnożenie i dzielenie w sposób, który opiera się przeciwko standardowym narzędziom teorii liczb. Kroki nieparzyste (3n+1) zawsze dają kolejną liczbę parzystą, więc można połączyć obie zasady w jeden "zoptymalizowany" krok dla n nieparzystych: (3n+1)/2. Po wielu iteracjach sekwencja zachowuje się średnio tak, jakby mnożyła się przez około 3/4 co dwie pary kroków — co sugeruje spadek w kierunku 1 — ale "średnio" nie jest dowodem, ponieważ każda pojedyncza sekwencja potencjalnie może zignorować średnią na dowolnie długo, albo rosnąć do nieskończoności, albo wpadać w jakiś inny cykliczny pętlowy układ, który nigdy nie dotyka 1. Paul Erdős słynnie powiedział, że matematyka nie była jeszcze gotowa na to problem; pozostaje otwarty do dziś.

Zatrzymanie czasu i wartość szczytowa

Dwa statystyki opisują ścieżkę hailstone: czas zatrzymania, czyli liczba kroków potrzebna do pierwszego osiągnięcia 1, oraz wartość szczytowa, najwyższa liczba, jaką sekwencja osiąga przed spadkiem. Ani jeden, ani drugi nie jest monotoniczny w stosunku do liczby początkowej – mała liczba początkowa może mieć zaskakująco długi czas zatrzymania lub ogromną wartość szczytową, a nie istnieje znany wzór analityczny pozwalający przewidzieć którykolwiek z nich bez po prostu uruchomienia sekwencji. 27, czyli mała liczba, wymaga 111 kroków i osiąga szczyt w pobliżu 9 232; wiele większych liczb początkowych kończy się znacznie mniejszą liczbą kroków.

Ta nieprzewidywalność wynikająca z tak prostego prawa stanowi dużą część tego, co sprawia, że sekwencja jest wizualnie interesująca do śledzenia i matematycznie trudna do ataku.

Drzewo, odczytywane w odwrotnej kolejności

Uruchom mapę w odwrotnym kierunku i każdy numer, który osiąga 1, tworzy drzewo o korzeniu w 1, rozgałęziające się na zewnątrz: każdy węzeł n ma dziecko 2n zawsze (odwracając krok dzielenia przez 2), oraz drugie dziecko (n-1)/3, gdy wartość ta jest liczbą całkowitą dodatnią i nie podzielną przez 3 (dokładnie odwraca proces 3n+1, kiedy ten się stosuje). Wizualizacja tego odwrotnego drzewa jest jednym z standardowych sposobów eksplorowania hipotezy, ponieważ dowód, że drzewo ostatecznie zawiera wszystkie liczby całkowite dodatnie, byłoby dowodem samej hipotezy – a do tej pory nikt nie znalazł ani takiego dowodu, ani liczby brakującej z tego drzewa.

Co zostało rzeczywiście udowodnione

Pełna ogólność pozostaje otwarta, ale istnieją realne postępy. Każda wartość początkowa do około 2⁶⁸ została wyczerpująco sprawdzona przez projekty obliczeń rozproszonych i osiągnęła 1. Terence Tao udowodnił w 2019 roku, że "prawie wszystkie" orbity Collatza (w precyzyjnym sensie gęstościowym) przyjmują prawie ograniczone wartości – to znaczący postęp częściowy, choć nie prowadzi do pełnego dowodu dla każdego liczby całkowitej. Hipoteza ta również uogólnia się w sposób, który jest udowodnienie fałszywy: różne warianty reguły 3n+1 z różnymi mnożnikami można wykazać, że mają wartości początkowe, które rosną lub wprowadzają pętle inne niż 4-2-1, co przypomina, że prawda hipotezy oryginalnej jest konkretnym, delikatnym faktem dotyczącym liczby 3, a nie ogólną cechą tego typu reguły.

Frequently asked questions

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz Collatz Conjecture i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.