Liczby pierwsze
Liczby pierwsze i ich właściwości były intensywnie badane przez starożytnych greckich matematyków.
Liczby pierwsze i ich właściwości były intensywnie badane przez starożytnych greckich matematyków.
Matematycy szkoły pitagorejskiej (500 p.n.e. – 300 p.n.e.) interesowali się liczbami ze względu na ich mistyczne i numerologiczne właściwości. Rozumieli ideę pierwszości liczb i interesowali się liczbami doskonałymi oraz liczbami zaprzyjaźnionymi.
Liczba doskonała to taka, której właściwe dzielniki sumują się do niej samej. Na przykład liczba 6 ma właściwe dzielniki: 1, 2 i 3, a . Liczba 28 ma dzielniki: 1, 2, 4, 7 i 14, a .
Para liczb zaprzyjaźnionych to para taka jak 220 i 284, w której właściwe dzielniki jednej liczby sumują się do drugiej i odwrotnie.
Para liczb zaprzyjaźnionych to para taka jak 220 i 284, w której właściwe dzielniki jednej liczby sumują się do drugiej i odwrotnie.
Około 300 roku p.n.e., kiedy ukazały się Elementy Euklidesa, udowodniono już kilka ważnych twierdzeń dotyczących liczb pierwszych. W Księdze IX Elementów Euklides dowodzi, że istnieje nieskończenie wiele liczb pierwszych. Jest to jeden z pierwszych znanych dowodów wykorzystujących metodę sprowadzenia do sprzeczności. Euklides przedstawia także dowód Podstawowego Twierdzenia Arytmetyki: każda liczba całkowita może być przedstawiona jako iloczyn liczb pierwszych w sposób zasadniczo jednoznaczny.
Euklides wykazał również, że jeśli liczba jest liczbą pierwszą, to liczba jest liczbą doskonałą. Matematyka Euler (znacznie później, w 1747 roku) udowodnił, że wszystkie parzyste liczby doskonałe mają właśnie tę postać. Do dziś nie wiadomo, czy istnieją jakiekolwiek nieparzyste liczby doskonałe.
Około 200 roku p.n.e. Grek Eratostenes opracował algorytm do obliczania liczb pierwszych, zwany Sitem Eratostenesa.
Następnie w historii liczb pierwszych nastąpiła długa przerwa w okresie, który zwykle nazywany jest Ciemnymi Wiekami.
Kolejne istotne odkrycia zostały dokonane przez Fermata na początku XVII wieku. Udowodnił on spekulację Alberta Girarda, że każda liczba pierwsza postaci może być zapisana w unikalny sposób jako suma dwóch kwadratów, oraz wykazał, jak każdą liczbę można zapisać jako sumę czterech kwadratów.
Opracował nową metodę rozkładu dużych liczb na czynniki, co zademonstrował, rozkładając liczbę .
Opracował nową metodę rozkładu dużych liczb na czynniki, co zademonstrował, rozkładając liczbę
Udowodnił również twierdzenie, które dziś jest znane jako Małe Twierdzenie Fermata (dla odróżnienia od tzw. Wielkiego Twierdzenia Fermata). Twierdzenie to stwierdza, że jeśli jest liczbą pierwszą, to dla dowolnej liczby całkowitej zachodzi
Twierdzenie to dowodzi jednej części tzw. chińskiej hipotezy, która pochodzi sprzed około 2000 lat i głosi, że liczba całkowita jest liczbą pierwszą wtedy i tylko wtedy, gdy liczba jest podzielna przez . Druga część tej hipotezy jest fałszywa, ponieważ na przykład jest podzielne przez , mimo że jest liczbą złożoną. Małe Twierdzenie Fermata stanowi podstawę wielu innych wyników w teorii liczb i jest podstawą metod sprawdzania, czy liczby są pierwsze, które nadal są używane w dzisiejszych komputerach elektronicznych.
Fermat korespondował z innymi matematykami swoich czasów, w szczególności z mnichem Marinem Mersenne. W jednym z listów do Mersenne’a wysunął hipotezę, że liczby postaci są zawsze liczbami pierwszymi, jeśli jest potęgą liczby 2. Zweryfikował to dla i , wiedząc, że jeśli nie jest potęgą 2, wynik nie zachodzi. Liczby tego typu nazywane są liczbami Fermata, a dopiero ponad 100 lat później Euler wykazał, że następny przypadek jest podzielny przez 641 i nie jest liczbą pierwszą.
Liczby postaci również przyciągnęły uwagę, ponieważ łatwo można pokazać, że jeśli nie jest liczbą pierwszą, to liczba ta musi być złożona. Liczby te nazywane są często liczbami Mersenne’a ( ), ponieważ badał je Mersenne.
Nie wszystkie liczby postaci , gdzie jest liczbą pierwszą, są liczbami pierwszymi. Na przykład jest liczbą złożoną, choć zostało to zauważone dopiero w 1536 roku. Przez wiele lat liczby tego typu były największymi znanymi liczbami pierwszymi. Liczba została uznana za pierwszą przez Cataldiego w 1588 roku i była największą znaną liczbą pierwszą przez około 200 lat, aż Euler udowodnił, że jest liczbą pierwszą. To osiągnięcie ustanowiło rekord na kolejne stulecie, aż Lucas udowodnił, że (liczba 39-cyfrowa) jest liczbą pierwszą, co pozostało rekordem aż do epoki komputerów elektronicznych.
W 1952 roku liczby Mersenne’a i zostały uznane za liczby pierwsze przez Robinsona przy użyciu wczesnego komputera, co zapoczątkowało erę elektroniczną.
Do 2018 roku odkryto łącznie 50 liczb pierwszych Mersenne’a. Największa z nich to , która ma 23 249 425 cyfr dziesiętnych.
Praca Eulera miała ogromny wpływ na teorię liczb w ogóle, a w szczególności na badanie liczb pierwszych. Rozszerzył Małe Twierdzenie Fermata i wprowadził funkcję Eulera . Jak wspomniano wcześniej, rozłożył on na czynniki piątą liczbę Fermata , znalazł 60 par liczb zaprzyjaźnionych i sformułował (choć nie udowodnił) prawo wzajemności kwadratów.
Był pierwszym, który zdał sobie sprawę, że teoria liczb może być badana za pomocą narzędzi analizy matematycznej, co dało początek dziedzinie analitycznej teorii liczb. Wykazał nie tylko, że tzw. szereg harmoniczny jest rozbieżny, ale również, że szereg:
tworzony przez sumowanie odwrotności liczb pierwszych szereg również jest rozbieżny. Suma pierwszych wyrazów szeregu harmonicznego rośnie w przybliżeniu jak , podczas gdy wspomniany szereg (odwrotności liczb pierwszych) rośnie jeszcze wolniej, w tempie . Oznacza to, że na przykład suma odwrotności wszystkich liczb pierwszych wyznaczonych nawet przez najpotężniejsze komputery wynosi około 4, ale mimo to szereg ten rozbiega się do .
Na pierwszy rzut oka liczby pierwsze wydają się być rozłożone wśród liczb całkowitych w dość przypadkowy sposób. Na przykład w 100 liczbach bezpośrednio poprzedzających 10 000 000 znajduje się 9 liczb pierwszych, podczas gdy w kolejnych 100 liczbach po tej wartości są tylko 2 liczby pierwsze. Jednak w dużej skali rozkład liczb pierwszych okazuje się być bardzo regularny. Legendre i Gauss przeprowadzili obszerne obliczenia dotyczące gęstości liczb pierwszych. Gauss (który był niezwykle biegły w obliczeniach) powiedział swojemu przyjacielowi, że zawsze, gdy miał wolne 15 minut, poświęcał je na liczenie liczb pierwszych w "tysiącznikach" (zakresach obejmujących 1000 liczb). Szacuje się, że pod koniec życia zliczył wszystkie liczby pierwsze aż do około 3 milionów.
Zarówno Legendre, jak i Gauss doszli do wniosku, że dla dużych gęstość liczb pierwszych w pobliżu wynosi w przybliżeniu . Legendre podał oszacowanie dla funkcji , która oznacza liczbę liczb pierwszych :
Natomiast Gauss przedstawił swoje oszacowanie w formie całki logarytmicznej:
Twierdzenie, że gęstość liczb pierwszych wynosi , jest znane jako Twierdzenie o Liczbach Pierwszych. Próby udowodnienia tego twierdzenia trwały przez cały XIX wiek, a istotne postępy w tej dziedzinie osiągnęli Czebyszw i Riemann, który powiązał problem z czymś, co jest znane jako Hipoteza Riemanna – nadal nieudowodnionym twierdzeniem dotyczącym zer w płaszczyźnie zespolonej funkcji zwanej funkcją dzeta Riemanna. Twierdzenie zostało ostatecznie udowodnione (z wykorzystaniem zaawansowanych metod analizy zespolonej) przez Hadamarda i de la Vallée Poussina w 1896 roku.
Wciąż istnieje wiele otwartych pytań (niektóre z nich pochodzą sprzed setek lat) związanych z liczbami pierwszymi.
Niektóre nierozwiązane problemy
-
Hipoteza o bliźniaczych liczbach pierwszych: Czy istnieje nieskończenie wiele par liczb pierwszych różniących się o 2?
-
Hipoteza Goldbacha: Wysłana w liście C. Goldbacha do Eulera w 1742 roku, stwierdza, że każda liczba parzysta większa od 2 może być zapisana jako suma dwóch liczb pierwszych.
-
Czy istnieje nieskończenie wiele liczb pierwszych postaci
?
(Dirichlet udowodnił, że każda progresja arytmetyczna postaci , gdzie i są względnie pierwsze, zawiera nieskończenie wiele liczb pierwszych). -
Czy zawsze istnieje liczba pierwsza pomiędzy
a ?
(Fakt, że zawsze istnieje liczba pierwsza pomiędzy a , był znany jako hipoteza Bertranda i został udowodniony przez Czebyszewa). -
Czy istnieje nieskończenie wiele pierwszych liczb Fermata? A może nie istnieje żadna liczba pierwsza Fermata po czwartej z kolei?
-
Czy istnieje progresja arytmetyczna złożona z dowolnie długiej (skończonej) liczby kolejnych liczb pierwszych? Na przykład 251, 257, 263, 269 to progresja o długości 4. Najdłuższa znana progresja ma długość 10.
-
Czy istnieje nieskończenie wiele zestawów 3 kolejnych liczb pierwszych tworzących progresję arytmetyczną? (Twierdzenie jest prawdziwe, jeśli pominiemy słowo "kolejnych").
-
Wyrażenie
jest liczbą pierwszą dla . Czy istnieje nieskończenie wiele liczb pierwszych tego typu? To samo pytanie dotyczy , które jest liczbą pierwszą dla . -
Czy istnieje nieskończenie wiele liczb pierwszych postaci
, gdzie to iloczyn wszystkich liczb pierwszych ? -
Czy istnieje nieskończenie wiele liczb pierwszych postaci
? -
Czy istnieje nieskończenie wiele liczb pierwszych postaci
? -
Czy istnieje nieskończenie wiele liczb pierwszych postaci
? -
Jeśli
jest liczbą pierwszą, czy zawsze jest liczbą bezkwadratową? (tzn. niepodzielną przez kwadrat liczby pierwszej). -
Czy ciąg Fibonacciego zawiera nieskończenie wiele liczb pierwszych?
Najnowsze rekordy liczb pierwszych, które znamy
-
Największa znana liczba pierwsza (znaleziona przez projekt GIMPS [Great Internet Mersenne Prime Search] w październiku 2024 roku) to
, która ma 41 024 841 cyfr dziesiętnych. Jest to 52. znana liczba pierwsza Mersenne’a, chociaż mogą istnieć mniejsze, jeszcze nieodkryte. -
Największa znana para liczb bliźniaczych to
, która ma 388 342 cyfry dziesiętne. Odkryta została we wrześniu 2016 roku. -
Największa znana liczba pierwsza silni (postaci
) to , mająca 2 193 027 cyfr. Odkryto ją w 2022 roku. -
Największa znana liczba pierwsza postaci iloczynu liczb pierwszych (
) to . Jest to liczba o 1 418 398 cyfrach i została ogłoszona w 2021 roku.
Bibliografia
- Tłumaczenie: https://mathshistory.st-andrews.ac.uk/HistTopics/Prime_numbers/
- B C Berndt, Ramanujan and the theory of prime numbers, Number theory Madras 1987 (Berlin, 1989), 122-139.
- V N Chubarikov, Problems in prime number theory that are related to classical theorems of P L Chebyshev, Moscow Univ. Math. Bull. 46 (5) (1991), 15-19.
- H Cohen, Les nombres premiers, La recherche 26 (278) (1995.), 760-765.
- L E Dickson, History of the Theory of Numbers (3 volumes) (New York, 1919-23, reprinted 1966).
- U Dudley, Formulas for primes, Math. Mag. 56 (1) (1983), 17-22.
- U Dudley, History of a formula for primes, Amer. Math. Monthly 76 (1969), 23-28.
- J Echeverria, Observations, problems and conjectures in number theory-the history of the prime number theorem, in The space of mathematics (Berlin, 1992), 230-252.
- L J Goldstein, A history of the prime number theorem, Amer. Math. Monthly 80 (1973), 599-615.
- A Granville, Harald Cramér and the distribution of prime numbers, Harald Cramér Symposium, Scand. Actuar. J. (1) (1995), 12-28.
- S Das Gupta, The story of prime number, Ganita Bharati 16 (1-4) (1994), 37-52.
- F Ischebeck, Primzahlfragen und ihre Geschichte, Math. Semesterber. 40 (2) (1993), 121-132.
- F Manna, The Pentathlos of ancient science, Eratosthenes, first and only one of the 'primes' (Italian), Atti Accad. Pontaniana (N.S.) 35 (1986), 37-44.
- L E Mauistrov, Prime values of the polynomial x2+x+41 (Russian), Istor.-Mat. Issled. 27 (1983), 63-67.
- O Ore, Number Theory and Its History (1948, reprinted 1988).
- J Pintz, On Legendre's prime number formula, Amer. Math. Monthly 87 (9) (1980), 733-735.
- P Ribenboim, The little book of big primes (New York, 1991).
- P Ribenboim, The book of prime number records (New York-Berlin, 1989).
- W Schwarz, Some remarks on the history of the prime number theorem from 1896 to 1960, in Development of mathematics 1900-1950 (Basel, 1994), 565-616.
- R de La Taille, Nombres premiers : 2000 ans de recherche, Science et vie 838 (1987), 16-20, 146.
- H S Uhler, A brief history of the investigations on Mersenne numbers and the latest immense primes, Scripta Math. 18 (1952), 122-131.
- A Weil, Number Theory: An Approach Through History from Hammurapi to Legendre (1984).