Małe twierdzenie Fermata
Z Wikipedii
Małe twierdzenie Fermata (MTF) mówi, że:
jeżeli p jest liczbą pierwszą, nie dzielącą liczby całkowitej a, to p dzieli liczbę ap − 1 − 1.
Następujący wniosek z MTF również często nosi nazwę MTF:
- jeżeli p jest liczbą pierwszą, a dowolną liczbą całkowitą, to p dzieli liczbę ap − a.
Twierdzenie to sformułował bez dowodu (jak większość swoich twierdzeń) francuski matematyk Pierre de Fermat.
Spis treści |
[edytuj] Dowody
[edytuj] Dowód przez użycie twierdzenia Eulera
Jeżeli p jest liczbą pierwszą, nie dzielącą liczby całkowitej a, to p jest względnie pierwsze względem a, a więc w myśl twierdzenia Eulera o liczbach względnie pierwszych teza twierdzenia jest prawdziwa.
[edytuj] Dowód kombinatoryczny
Możemy założyć, że a jest całkowite dodatnie.
Rozpatrzmy wszystkie możliwe kolorowania koła podzielonego na p części za pomocą a kolorów. Kolorowania, które możemy na siebie nałożyć po obróceniu liczymy jako dwa różne. Wszystkich kolorowań jest ap.
Wszystkie kolorowania, w których wykorzystaliśmy co najmniej dwa kolory możemy obracać tak, że otrzymamy zestawy po p parami różnych kolorowań, które są swoimi obrotami (przykładowe cztery z pewnego zestawu dla p=7, a=3 są przedstawione na rysunku). Jeżeli w pewnym zestawie utworzanym w ten sposób wystąpiłyby takie same kolorowania, to oznaczałoby to, że kąt pełny jest wielokrotnością pewnego kąta , o który trzeba obrócić jedno z tych kolorowań, aby otrzymać drugie. W przypadku, gdy wykorzystaliśmy więcej niż jeden kolor nie jest to możliwe. Zatem
- Ilość wszystkich kolorowań
ilość zestawów po p kolorowań + ilość kolorowań jednokolorowych
, gdzie n jest pewną liczbą naturalną.
Ponieważ mamy a kolorów, to mamy a kolorowań jednokolorowych.
Zatem p dzieli liczbę ap − a.
[edytuj] Dowód przez użycie teorii grup
Niech G będzie grupą (patrz grupa Zn*). Elementami tej grupy są 1,2,...,p-1.
Weźmy dowolne . Niech k będzie rzędem elementu a, tj. najmniejszą liczbą całkowitą dodatnią k, że
Z twierdzenia Lagrange'a wynika, że k dzieli rząd grupy G, czyli k dzieli p-1. A zatem
- p − 1 = km
dla pewnej liczby całkowitej dodatniej m.
Wtedy
co należało dowieść.