Dlaczego samo p musi być liczbą pierwszą?

Jeśli p jest równe a razy b, gdzie oba czynniki są większe od 1, to 2^p - 1 jest podzielne przez 2^a - 1 (i przez 2^b - 1), więc M_p jest liczbą złożoną. Twierdzenie odwrotne nie jest prawdziwe: p będące liczbą pierwszą nie oznacza, że M_p jest liczbą pierwszą. Na przykład p = 11 jest liczbą pierwszą, ale M_11 = 2047 = 23 razy 89 jest liczbą złożoną.

Test Liczb Pierwszych Mersenne’a

Sprawdź, czy 2^p − 1 jest liczbą pierwszą Mersenne’a dla danego wykładnika p. Wykorzystuje test pierwszości Lucasa–Lehmera z animowanym zapisem iteracji, wizualizacją binarną, powiązaniem liczb doskonałych Euklidesa-Eulera oraz kontekstem historycznym o 52 znanych liczbach Mersenne’a.

Embed Test Liczb Pierwszych Mersenne’a Widget

O Test Liczb Pierwszych Mersenne’a

Witaj w narzędziu Test liczb pierwszych Mersenne'a, interaktywnym kalkulatorze, który sprawdza, czy $2^p - 1$ jest liczbą pierwszą Mersenne'a dla dowolnego wykładnika $p$ do 5000. Narzędzie wykonuje słynny test pierwszości Lucasa-Lehmera, wyświetla animowany zapis iteracji rekurencji $S_i = S_{i-1}^2 - 2 \pmod{M_p}$, wizualizuje binarny wzorzec bitowy (charakterystyczną sygnaturę każdej liczby Mersenne'a) oraz — gdy wynik jest liczbą pierwszą — dopasowuje ją do odpowiedniej parzystej liczby doskonałej na podstawie twierdzenia Euklidesa-Eulera.

Co to jest liczba pierwsza Mersenne'a?

Liczba Mersenne'a to liczba postaci $M_p = 2^p - 1$. Gdy $M_p$ samo w sobie jest liczbą pierwszą, nazywamy je liczbą pierwszą Mersenne'a. Nazwa upamiętnia Marina Mersenne'a (1588-1648), francuskiego mnicha, który skatalogował wczesne przypadki i sformułował hipotezę dotyczącą tego, które wykładniki do 257 dają liczby pierwsze — lista ta okazała się częściowo błędna, ale zapoczątkowała trzy wieki badań.

Liczba pierwsza Mersenne'a

$$M_p = 2^p - 1 \;\; \text{jest liczbą pierwszą, gdzie } p \text{ samo musi być liczbą pierwszą}$$

Pierwsze kilka liczb pierwszych Mersenne'a, w kolejności:

$M_2 = 3$
$M_3 = 7$
$M_5 = 31$
$M_7 = 127$
$M_{13} = 8{,}191$
$M_{17} = 131{,}071$
$M_{19} = 524{,}287$
$M_{31} = 2{,}147{,}483{,}647$ (odkryta przez Eulera w 1772 r. — największa znana liczba pierwsza przez 104 lata)

Według stanu na 2024 rok znamy dokładnie 52 liczby pierwsze Mersenne'a. Obecny rekord to $M_{136{,}279{,}841}$, odkryta w październiku 2024 r. przez projekt obliczeń rozproszonych GIMPS — liczba ta posiada 41 024 320 cyfr dziesiętnych.

Test Lucasa-Lehmera

Powodem, dla którego liczby pierwsze Mersenne'a dominują w księgach rekordów, jest wyspecjalizowany, niezwykle szybki test pierwszości odkryty przez Édouarda Lucasa (1878) i uproszczony przez Derricka Lehmera (1930):

Test Lucasa-Lehmera

$$S_0 = 4, \quad S_i = S_{i-1}^2 - 2 \pmod{M_p}$$

Dla pierwszego $p \geq 3$: $\;M_p$ jest liczbą pierwszą $\iff S_{p-2} \equiv 0 \pmod{M_p}$

Test wymaga jedynie $p-2$ podniesień do kwadratu modulo — w przybliżeniu $O(p^3)$ operacji bitowych przy mnożeniu szkolnym lub $O(p^2 \log p \log\log p)$ przy użyciu FFT. Porównaj to z ogólnymi testami pierwszości dla liczb wielkości $M_p$ (miliony cyfr), które byłyby całkowicie niewykonalne. Skrót Lucasa-Lehmera jest tym, co umożliwia poszukiwanie liczb pierwszych Mersenne'a.

Dlaczego p musi być liczbą pierwszą?

Jeśli $p = a \cdot b$ przy $a, b > 1$, klasyczna tożsamość pokazuje, że $2^a - 1$ dzieli $2^{ab} - 1$:

Tożsamość rozkładu na czynniki

$$2^{ab} - 1 = (2^a - 1)\left(2^{a(b-1)} + 2^{a(b-2)} + \cdots + 2^a + 1\right)$$

Zatem jeśli wykładnik jest liczbą złożoną, $M_p$ jest automatycznie liczbą złożoną. Twierdzenie odwrotne jest fałszywe: fakt, że $p$ jest liczbą pierwszą, nie gwarantuje, że $M_p$ jest liczbą pierwszą. Na przykład $p = 11$ jest liczbą pierwszą, ale $M_{11} = 2047 = 23 \times 89$.

Liczby pierwsze Mersenne'a i liczby doskonałe (Euklides-Euler)

Euklides zauważył około 300 r. p.n.e., że jeśli $2^p - 1$ jest liczbą pierwszą, to $2^{p-1}(2^p - 1)$ jest liczbą doskonałą — liczbą równą sumie swoich dzielników właściwych. Euler udowodnił później twierdzenie odwrotne: każda parzysta liczba doskonała powstaje w ten sposób.

Twierdzenie Euklidesa-Eulera

$$N \text{ jest parzystą liczbą doskonałą} \iff N = 2^{p-1}(2^p - 1),\;\; 2^p - 1 \text{ liczba pierwsza}$$

Zatem znalezienie nowej liczby pierwszej Mersenne'a natychmiast generuje nową liczbę doskonałą. Pierwsze cztery parzyste liczby doskonałe to 6, 28, 496 i 8128 — znane już w starożytności. To, czy istnieje jakakolwiek nieparzysta liczba doskonała, pozostaje nierozwiązanym problemem od ponad 2300 lat.

Binarny wzorzec bitowy

Każda liczba Mersenne'a posiada wyjątkowo przejrzystą reprezentację binarną: $2^p$ w systemie binarnym to $1$ i $p$ zer, więc $2^p - 1$ to dokładnie $p$ kolejnych bitów o wartości 1:

M_5 = 2^5 − 1 = 11111₂ = 31

M_7 = 2^7 − 1 = 1111111₂ = 127

Właśnie dlatego narzędzie wizualizuje każdy bit jako osobny kafel — wzorzec bitowy jest wizualną sygnaturą liczby Mersenne'a, niezależnie od tego, czy jest ona liczbą pierwszą.

Jak korzystać z tego kalkulatora

Wprowadź wykładnik $p$: dowolna dodatnia liczba całkowita od 1 do 5000.
Kliknij Sprawdź: narzędzie najpierw sprawdzi, czy $p$ jest liczbą pierwszą; jeśli nie, wyjaśni, dlaczego $M_p$ musi być liczbą złożoną.
Dla pierwszego $p$: rekurencja Lucasa-Lehmera wykonuje $p - 2$ iteracji modulo $M_p$.
Przeanalizuj wynik: baner z werdyktem, 6-wierszowy zapis iteracji (z „...” dla pominiętych środkowych kroków przy dużym $p$), postać dziesiętną i binarną $M_p$ oraz powiązanie z liczbą doskonałą Euklidesa-Eulera, jeśli ma zastosowanie.

Pierwsze dwanaście znanych liczb pierwszych Mersenne'a

#	Wykładnik $p$	$M_p = 2^p - 1$	Cyfry	Odkrycie
1	2	3	1	Starożytność
2	3	7	1	Starożytność
3	5	31	2	Starożytność
4	7	127	3	Starożytność
5	13	8 191	4	1456 (anon.)
6	17	131 071	6	1588 Cataldi
7	19	524 287	6	1588 Cataldi
8	31	2 147 483 647	10	1772 Euler
9	61	2.3 × 10^18	19	1883 Pervushin
10	89	6.2 × 10^26	27	1911 Powers
11	107	1.6 × 10^32	33	1914 Powers
12	127	1.7 × 10^38	39	1876 Lucas

Projekt GIMPS

Projekt Great Internet Mersenne Prime Search (GIMPS), zainicjowany w 1996 roku przez George'a Woltmana, to projekt obliczeń rozproszonych, w którym wolontariusze udostępniają czas procesora (CPU) na wykonywanie testów Lucasa-Lehmera na kandydatach. Według stanu na 2024 rok, każda liczba pierwsza Mersenne'a od M_35 = M_{1398269} (1996) została odkryta przez GIMPS. Pojedynczy test Lucasa-Lehmera na współczesnej granicy (wykładniki bliskie $10^8$) zajmuje tygodnie obliczeń na karcie graficznej (GPU).

Ciekawostki o liczbach pierwszych Mersenne'a

$M_{31} = 2{,}147{,}483{,}647$ to największa 32-bitowa liczba całkowita ze znakiem — słynne $\texttt{INT\_MAX}$ w języku C. To nie przypadek: wartość ta wynika z faktu, że $M_{31}$ jest liczbą pierwszą i stanowi naturalną granicę „tuż przed przepełnieniem”.
Między kolejnymi liczbami pierwszymi Mersenne'a występują luki o nieznanej wielkości. Nie wiadomo, czy istnieje nieskończenie wiele liczb pierwszych Mersenne'a — hipoteza Lenstry-Pomerance'a-Wagstaffa przewiduje, że tak, a ich liczba rośnie w przybliżeniu jak $e^\gamma \log_2 p$.
W 2008 roku Electronic Frontier Foundation przyznała 100 000 USD pierwszemu odkrywcy 10-milionowej liczby pierwszej. Nagroda trafiła do zespołu GIMPS z UCLA za $M_{43112609}$. Nagroda w wysokości 150 000 USD jest nadal dostępna dla pierwszej 100-milionowej liczby pierwszej.
$M_{31}$ widnieje na rosyjskim pamiątkowym banknocie 100-rublowym z 1811 roku, upamiętniającym odkrycie Eulera — jest to jedna z niewielu liczb pierwszych wydrukowanych na walucie.
Ponieważ każda liczba pierwsza Mersenne'a daje liczbę doskonałą, ludzkość posiada w aktach dokładnie 52 parzyste liczby doskonałe (odpowiadające 52 znanym liczbom pierwszym Mersenne'a).

Często zadawane pytania

Co to jest liczba pierwsza Mersenne'a?

Liczba pierwsza Mersenne'a to liczba pierwsza postaci $2^p - 1$, gdzie $p$ również jest liczbą pierwszą. Pierwszymi z nich są 3, 7, 31, 127 i 8191. Według stanu na 2024 rok znamy 52 takie liczby; największa znana liczba pierwsza ($M_{136{,}279{,}841}$) jest właśnie liczbą pierwszą Mersenne'a i ma ponad 41 milionów cyfr.

Jak działa test Lucasa-Lehmera?

Dla pierwszego wykładnika $p \geq 3$, definiujemy $S_0 = 4$ oraz $S_i = S_{i-1}^2 - 2 \pmod{M_p}$. Liczba Mersenne'a $M_p = 2^p - 1$ jest pierwsza wtedy i tylko wtedy, gdy $S_{p-2} \equiv 0 \pmod{M_p}$. Test składa się z $p - 2$ iteracji, z których każda jest pojedynczym potęgowaniem modularnym do kwadratu.

Dlaczego p musi być liczbą pierwszą?

Jeśli $p = ab$, gdzie oba czynniki są większe od 1, to $2^p - 1$ jest podzielne przez $2^a - 1$ (oraz przez $2^b - 1$), więc $M_p$ jest liczbą złożoną. Twierdzenie odwrotne nie jest prawdziwe: fakt, że $p$ jest liczbą pierwszą, nie oznacza, że $M_p$ jest liczbą pierwszą. Na przykład $p = 11$ jest liczbą pierwszą, ale $M_{11} = 2047 = 23 \times 89$ jest liczbą złożoną.

Jaki jest związek między liczbami pierwszymi Mersenne'a a liczbami doskonałymi?

Twierdzenie Euklidesa-Eulera mówi, że każda parzysta liczba doskonała ma postać $2^{p-1}(2^p - 1)$, gdzie $2^p - 1$ jest liczbą pierwszą Mersenne'a. Zatem każda liczba pierwsza Mersenne'a generuje dokładnie jedną parzystą liczbę doskonałą. Istnienie nieparzystych liczb doskonałych to jeden z najstarszych otwartych problemów matematycznych.

Dlaczego M_p ma p kolejnych jedynek w zapisie binarnym?

Liczba $2^p$ w systemie binarnym to 1 i $p$ zer. Odjęcie 1 zamienia wszystkie $p$ końcowych zer na jedynki. Zatem $2^p - 1$ w systemie binarnym to dokładnie $p$ jedynek — charakterystyczna sygnatura wizualna każdej liczby Mersenne'a, bez względu na jej pierwszość.

Jaki jest największy wykładnik, który może przetestować to narzędzie?

To narzędzie testuje wykładniki do 5000, aby proces obliczeń zakończył się w ramach standardowego żądania sieciowego. Dla większych wykładników (jak te na granicy GIMPS bliskie $10^8$), wymagane jest dedykowane oprogramowanie, takie jak Prime95, ponieważ pojedynczy test może trwać tygodnie na nowoczesnym GPU.

Dodatkowe zasoby

Cytuj ten materiał, stronę lub narzędzie w następujący sposób:

"Test Liczb Pierwszych Mersenne’a" na https://MiniWebtool.com/pl/test-liczb-pierwszych-mersennea/ z MiniWebtool, https://MiniWebtool.com/

przez zespół MiniWebtool. Aktualizacja: 18 kwietnia 2026

Możesz także wypróbować nasz AI Rozwiązywacz Matematyczny GPT, aby rozwiązywać swoje problemy matematyczne poprzez pytania i odpowiedzi w języku naturalnym.

Inne powiązane narzędzia:

Kalkulator Macierzy SąsiedztwaNowy

Sprawdzacz Liczb ZaprzyjaźnionychNowy

Kalkulator hipotezy Collatza

Lista sześcienna

Pierwszych n liczb pierwszych

Weryfikator Hipotezy GoldbachaNowy

Czy to liczba pierwsza?

Lista liczb pierwszych

Sprawdzacz Liczb DoskonałychNowy

Kalkulator czynnika pierwszego

Podstawowe działania matematyczne:

Kalkulator wspólnego czynnika
Kalkulator sześcianu i pierwiastka sześciennego
Kalkulator Pierwiastka Sześciennego
Podziel na dwie części
Kalkulator testów podzielności Polecane
Kalkulator Współczynników
Znajdź Minimum i Maksimum
Pierwszych n cyfr e
Pierwsze n cyfr Pi Polecane
Kalkulator największego wspólnego dzielnika
Czy to liczba pierwsza?
Kalkulator najmniejszej wspólnej wielokrotności (NWW)
Kalkulator Modulo Polecane
Kalkulator Mnożenia
Kalkulator pierwiastka n-tego stopnia - wysoka precyzja
Kalkulator ilości cyfr Polecane
Kalkulator czynnika pierwszego
Kalkulator Rozkładu na Czynniki Pierwsze
Kalkulator ilorazu i reszty
Sortuj Liczby Polecane
Kalkulator pierwiastka kwadratowego
Kalkulator Sumy
Kalkulator Proporcji Nowy
Kalkulator Dzielenia Pisemnego Nowy
Kalkulator Mnożenia Krzyżowego Nowy
Generator Tabliczki Mnożenia Nowy
Kalkulator Mnożenia Pisemnego Nowy
Kalkulator Dodawania i Odejmowania Pisemnego Nowy
Kalkulator Kolejności Działań PEMDAS Nowy
Generator Wykresu Wartości Pozycyjnej Nowy
Wyszukiwarka Wzorców Liczbowych Nowy
Sprawdzacz Liczb Parzystych i Nieparzystych Nowy
Kalkulator Wartości Bezwzględnej Nowy
Kalkulator Funkcji Sufitu i Podłogi Nowy
Kalkulator Ceny Jednostkowej Nowy
Generator Liczenia ze Skokiem Nowy
Kalkulator Szacowania Nowy
Sprawdzacz Liczb Doskonałych Nowy
Sprawdzacz Liczb Zaprzyjaźnionych Nowy
Test Liczb Pierwszych Mersenne’a Nowy
Weryfikator Hipotezy Goldbacha Nowy
Kalkulator Funkcji Möbiusa Nowy
Sprawdzacz Liczb Fibonacciego Nowy
Kalkulator Pierwiastka Cyfrowego Nowy
Generator Losowych Zadań Matematycznych Nowy
Generator Rozkładu Liczb Nowy
Wizualizator Przeniesień i Pożyczek Nowy
Quiz Tabliczki Mnożenia Nowy
Trener Liczenia w Pamięci Nowy
Kalkulator Matematyczny Liczb Rzymskich Nowy
Kalkulator Egipskiego Mnożenia Nowy
Kalkulator Trików Matematyki Wedyjskiej Nowy
Mnożenie Rosyjskich Chłopów Nowy
Symulator Liczydła Soroban Nowy

Test Liczb Pierwszych Mersenne’a

O Test Liczb Pierwszych Mersenne’a

Co to jest liczba pierwsza Mersenne'a?

Test Lucasa-Lehmera

Dlaczego p musi być liczbą pierwszą?

Liczby pierwsze Mersenne'a i liczby doskonałe (Euklides-Euler)

Binarny wzorzec bitowy

Jak korzystać z tego kalkulatora

Pierwsze dwanaście znanych liczb pierwszych Mersenne'a

Projekt GIMPS

Ciekawostki o liczbach pierwszych Mersenne'a

Często zadawane pytania

Co to jest liczba pierwsza Mersenne'a?

Jak działa test Lucasa-Lehmera?

Dlaczego p musi być liczbą pierwszą?

Jaki jest związek między liczbami pierwszymi Mersenne'a a liczbami doskonałymi?

Dlaczego M_p ma p kolejnych jedynek w zapisie binarnym?

Jaki jest największy wykładnik, który może przetestować to narzędzie?

Dodatkowe zasoby

Inne powiązane narzędzia:

Podstawowe działania matematyczne:

Polecane narzędzia: