Małe Twierdzenie Fermata
Małe twierdzenie Fermata (MTF) jest fundamentalnym twierdzeniem w teorii liczb, sformułowanym przez Pierre’a de Fermata. Twierdzenie to stanowi podstawę dla testu pierwszości Fermata i można je wyrazić w następujący sposób:
- Jeśli jest liczbą pierwszą, to dla każdej liczby całkowitej , liczba jest podzielna przez :
- Jeśli jest liczbą pierwszą, a jest taką liczbą całkowitą, że i są względnie pierwsze, to dzieli się przez :
Dowody Małego Twierdzenia Fermata
1. Dowód z twierdzeniem Eulera
Jeżeli jest liczbą pierwszą, która nie dzieli , to jest względnie pierwsze z . Z twierdzenia Eulera wynika, że twierdzenie jest prawdziwe.
2. Dowód kombinatoryczny
Rozpatrując kolorowanie koła podzielonego na części przy użyciu kolorów, mamy kolorowań. Kolorowania z co najmniej dwoma kolorami można obracać, co prowadzi do zestawów po kolorowań. W przypadku, gdy wykorzystujemy tylko jeden kolor, nie ma możliwości uzyskania takich samych kolorowań w obrocie. Dlatego:
Co dowodzi, że dzieli .
3. Dowód z teorii grup
Multiplikatywna grupa ma rząd . Dla elementu tej grupy, jego rząd dzieli . Oznacza to:
4. Dowód indukcyjny
Zakładamy, że twierdzenie jest prawdziwe dla i przyjmujemy indukcyjnie, że jest prawdziwe dla . Rozważając rozwinięcie dwumianowe , dowodzimy, że:
W rezultacie, na mocy indukcji, mamy:
Podsumowując, Małe Twierdzenie Fermata jest kluczowym rezultatem w teorii liczb, z różnorodnymi dowodami, które potwierdzają jego prawdziwość i zastosowanie w testach pierwszości.