Matematyka dyskretna 1/Wykład 11: Teoria liczb II: Różnice pomiędzy wersjami
Nie podano opisu zmian |
m Zastępowanie tekstu – „,↵</math>” na „</math>,” |
||
(Nie pokazano 33 wersji utworzonych przez 5 użytkowników) | |||
Linia 4: | Linia 4: | ||
to takie dwie liczby <math>a,b\in\mathbb{Z}</math>, | to takie dwie liczby <math>a,b\in\mathbb{Z}</math>, | ||
dla których różnica <math>a-b</math> jest wielokrotnością <math>n</math>. | dla których różnica <math>a-b</math> jest wielokrotnością <math>n</math>. | ||
Fakt ten zapisujemy jako <math>a\ \equiv_{n}b </math>. | Fakt ten zapisujemy jako <math>a\ \equiv_{n}b</math>. | ||
Innymi słowy, <math>a\ \equiv_{n}b </math> jeśli <math>a</math> i <math>b</math> mają te same reszty w dzieleniu przez <math>n</math>. | Innymi słowy, <math>a\ \equiv_{n}b</math> jeśli <math>a</math> i <math>b</math> mają te same reszty w dzieleniu przez <math>n</math>. | ||
{{obserwacja||| | {{obserwacja|11.|obs 11.1| | ||
Dla dowolnych <math>a,b,c</math> oraz <math>n>0</math> zachodzi: | Dla dowolnych <math>a,b,c</math> oraz <math>n>0</math> zachodzi: | ||
* <math>a\ \equiv_{n}a </math>, | * <math>a\ \equiv_{n}a</math>, | ||
* <math>a\ \equiv_{n}b </math> wtedy i tylko wtedy, gdy <math>b\ \equiv_{n}a </math>, | * <math>a\ \equiv_{n}b</math> wtedy i tylko wtedy, gdy <math>b\ \equiv_{n}a</math>, | ||
* jeśli <math>a\ \equiv_{n}b </math> i <math>b\ \equiv_{n}c </math> to <math>a\ \equiv_{n}c </math>. | * jeśli <math>a\ \equiv_{n}b</math> i <math>b\ \equiv_{n}c</math> to <math>a\ \equiv_{n}c</math>. | ||
}} | }} | ||
Linia 25: | Linia 25: | ||
a więc jest kongruencją ze względu na te działania. | a więc jest kongruencją ze względu na te działania. | ||
{{obserwacja||| | {{obserwacja|11.2|obs 11.2| | ||
Dla dowolnych <math>a,b,c,d</math> oraz <math>n>0</math> mamy: | Dla dowolnych <math>a,b,c,d</math> oraz <math>n>0</math> mamy: | ||
* jeśli <math>a\ \equiv_{n}b </math> i <math>c\ \equiv_{n}d </math>, to <math>a+c\ \equiv_{n}b+d </math>, | * jeśli <math>a\ \equiv_{n}b</math> i <math>c\ \equiv_{n}d</math>, to <math>a+c\ \equiv_{n}b+d</math>, | ||
* jeśli <math>a\ \equiv_{n}b </math> i <math>c\ \equiv_{n}d </math>, to <math>a-c\ \equiv_{n}b-d </math>, | * jeśli <math>a\ \equiv_{n}b</math> i <math>c\ \equiv_{n}d</math>, to <math>a-c\ \equiv_{n}b-d</math>, | ||
* jeśli <math>a\ \equiv_{n}b </math> i <math>c\ \equiv_{n}d </math>, to <math>ac\ \equiv_{n}bd </math>. | * jeśli <math>a\ \equiv_{n}b</math> i <math>c\ \equiv_{n}d</math>, to <math>ac\ \equiv_{n}bd</math>. | ||
}} | }} | ||
Linia 52: | Linia 52: | ||
na zbiorze tych reszt <math>{\left\{ {0,1,2,\ldots,n-1} \right\} }</math> i pisać np.: | na zbiorze tych reszt <math>{\left\{ {0,1,2,\ldots,n-1} \right\} }</math> i pisać np.: | ||
* <math>3+5\ \equiv_{6}2 </math>, | * <math>3+5\ \equiv_{6}2</math>, | ||
* <math>3-5\ \equiv_{6}4 </math>, | * <math>3-5\ \equiv_{6}4</math>, | ||
* <math>3 \cdot 5\ \equiv_{6}3 </math>. | * <math>3 \cdot 5\ \equiv_{6}3</math>. | ||
Tak więc, dla <math>n>0</math> możemy zidentyfikować zbiór ilorazowy <math>\mathbb{Z}/\equiv_n</math> | Tak więc, dla <math>n>0</math> możemy zidentyfikować zbiór ilorazowy <math>\mathbb{Z}/\equiv_n</math> | ||
Linia 68: | Linia 68: | ||
Okazuje się, że w równości modulo <math>n</math> możemy skracać czynniki względnie pierwsze z <math>n</math>. | Okazuje się, że w równości modulo <math>n</math> możemy skracać czynniki względnie pierwsze z <math>n</math>. | ||
{{obserwacja|Reguła skracania|| | {{obserwacja|11.3 [Reguła skracania]|obs 11.3| | ||
Dla <math>n>0</math>, jeśli <math>ad\ \equiv_{n}bd</math> i <math>d\perp n</math>, to <math>a\ \equiv_{n}b</math>. | |||
Dla <math>n>0</math>, jeśli <math>ad\ \equiv_{n}bd </math> i <math>d\perp n</math>, to <math>a\ \equiv_{n}b </math>. | |||
}} | }} | ||
{{dowod||| | {{dowod||| | ||
Ponieważ <math>\ | Ponieważ <math>\mathsf{ NWD}(d,n)=1</math>, | ||
rozszerzony algorytm Euklidesa gwarantuje istnienie <math>x,y\in \mathbb{Z}</math> takich, | rozszerzony algorytm Euklidesa gwarantuje istnienie <math>x,y\in \mathbb{Z}</math> takich, | ||
że <math>xd+yn=1</math>, czyli <math>dx\ \equiv_{n}1 </math>. | że <math>xd+yn=1</math>, czyli <math>dx\ \equiv_{n}1</math>. | ||
Mnożąc teraz obie strony <math>ad\ \equiv_{n}bd </math> przez <math>x</math>, | Mnożąc teraz obie strony <math>ad\ \equiv_{n}bd</math> przez <math>x</math>, | ||
otrzymujemy <math>adx\ \equiv_{n}bdx </math>, czyli <math>a=a1 \equiv_n adx \equiv_n bdx \equiv_n b1=b</math>. | otrzymujemy <math>adx\ \equiv_{n}bdx</math>, czyli <math>a=a1 \equiv_n adx \equiv_n bdx \equiv_n b1=b</math>. | ||
}} | }} | ||
Linia 93: | Linia 92: | ||
To nic innego, jak wymaganie, by <math>n</math> było liczbą pierwszą. | To nic innego, jak wymaganie, by <math>n</math> było liczbą pierwszą. | ||
{{obserwacja||| | {{obserwacja|11.4|obs 11.4| | ||
Pierścień <math>\mathbb{Z}_n=({\left\{ {0,\ldots n-1} \right\} },+,\cdot)</math> jest ciałem, wtedy i tylko wtedy, gdy | Pierścień <math>\mathbb{Z}_n=({\left\{ {0,\ldots n-1} \right\} },+,\cdot)</math> jest ciałem, wtedy i tylko wtedy, gdy | ||
<math>n</math> jest liczba pierwszą. | <math>n</math> jest liczba pierwszą. | ||
Linia 105: | Linia 104: | ||
postaci <math>ax\equiv_n b</math> w liczbach całkowitych <math>x</math>, gdzie <math>a,b\in \mathbb{Z}</math> oraz <math>a\neq 0</math>. | postaci <math>ax\equiv_n b</math> w liczbach całkowitych <math>x</math>, gdzie <math>a,b\in \mathbb{Z}</math> oraz <math>a\neq 0</math>. | ||
{{obserwacja||| | {{obserwacja|11.5|obs 11.5| | ||
Dla <math>a,b \in \mathbb{Z}, a\neq 0</math> rozwiązania równania modularnego z jedną niewiadomą <math>x</math>: | Dla <math>a,b \in \mathbb{Z}, a\neq 0</math> rozwiązania równania modularnego z jedną niewiadomą <math>x</math>: | ||
<center><math>ax\ \equiv_{n}b | |||
<center><math>ax\ \equiv_{n}b | |||
</math></center> | </math></center> | ||
* jeśli <math>\ | zależą od wielkości <math>\mathsf{ NWD}(a,n)=1</math> w następujący sposób: | ||
* jeśli <math>\mathsf{ NWD}(a,n)=1</math>, | |||
to istnieje nieskończenie wiele rozwiązań; | to istnieje nieskończenie wiele rozwiązań; | ||
wszystkie one są postaci <math>x=x_0+kn</math>, | wszystkie one są postaci <math>x=x_0+kn</math>, | ||
gdzie <math>0\leq x_0<n</math> jest jakimś rozwiązaniem, a <math>k\in\mathbb{Z}</math>, | gdzie <math>0\leq x_0<n</math> jest jakimś rozwiązaniem, a <math>k\in\mathbb{Z}</math>, | ||
* jeśli <math>\ | * jeśli <math>\mathsf{ NWD}(a,n)=d>1</math>, | ||
to równanie ma rozwiązanie wtedy i tylko wtedy, gdy również <math>d|b</math>. | to równanie ma rozwiązanie wtedy i tylko wtedy, gdy również <math>d|b</math>. | ||
W tym przypadku rozwiązania równania <math>ax\ \equiv_{n}b </math> | W tym przypadku rozwiązania równania <math>ax\ \equiv_{n}b</math> | ||
pokrywają się z rozwiązaniami równania <math>\frac{a}{d}x\ \equiv_{\frac{n}{d}}\frac{b}{d} </math>. | pokrywają się z rozwiązaniami równania <math>\frac{a}{d}x\ \equiv_{\frac{n}{d}}\frac{b}{d}</math>. | ||
Ponadto, | Ponadto, | ||
* ponadto, jeśli <math>0\leq a,b<n</math>, to rozwiązanie <math>0\leq x_0 <n</math> | * ponadto, jeśli <math>0\leq a,b<n</math>, to rozwiązanie <math>0\leq x_0 <n</math> | ||
równania <math>ax\ \equiv_{n}b </math>, lub jego brak, można wskazać | równania <math>ax\ \equiv_{n}b</math>, lub jego brak, można wskazać | ||
wykonując <math>O(lg^3{n})</math> operacji bitowych. | wykonując <math>O(lg^3{n})</math> operacji bitowych. | ||
Linia 134: | Linia 135: | ||
Zauważmy najpierw, że jeśli <math>a',b'</math> są resztami z dzielenia | Zauważmy najpierw, że jeśli <math>a',b'</math> są resztami z dzielenia | ||
odpowiednio <math>a</math> i <math>b</math> przez <math>n</math>, | odpowiednio <math>a</math> i <math>b</math> przez <math>n</math>, | ||
to rozwiązania równań <math>ax\ \equiv_{n}b </math> i <math>a'x\ \equiv_{n}b' </math> są takie same. | to rozwiązania równań <math>ax\ \equiv_{n}b</math> i <math>a'x\ \equiv_{n}b'</math> są takie same. | ||
Istotnie, wynika to natychmiast z tego, że <math>a'x\ \equiv_{n}ax </math> oraz <math>b'\ \equiv_{n}b </math>. | Istotnie, wynika to natychmiast z tego, że <math>a'x\ \equiv_{n}ax</math> oraz <math>b'\ \equiv_{n}b</math>. | ||
Możemy więc przyjąć, że <math>0\leq a,b<n</math>. | Możemy więc przyjąć, że <math>0\leq a,b<n</math>. | ||
Ponadto odnotujmy, że z tych samych powodów, | Ponadto odnotujmy, że z tych samych powodów, | ||
Linia 141: | Linia 142: | ||
to spełnia je również każda liczba postaci <math>x_0+kn</math>, gdzie <math>k\in\mathbb{Z}</math>. | to spełnia je również każda liczba postaci <math>x_0+kn</math>, gdzie <math>k\in\mathbb{Z}</math>. | ||
Załóżmy najpierw, że <math>\ | Załóżmy najpierw, że <math>\mathsf{ NWD}(a,n)=1</math>. | ||
Rozszerzony algorytm Euklidesa gwarantuje istnienie <math>y,z</math> takich, | Rozszerzony algorytm Euklidesa gwarantuje istnienie <math>y,z</math> takich, | ||
że <math>1\ \equiv_{n}ya+zn \equiv_n ya</math>. | że <math>1\ \equiv_{n}ya+zn \equiv_n ya</math>. | ||
Linia 148: | Linia 149: | ||
Pozostaje pokazać, że wszystkie rozwiązania są takiej właśnie postaci. | Pozostaje pokazać, że wszystkie rozwiązania są takiej właśnie postaci. | ||
Niech więc <math>ax\equiv_n b\equiv_n ax_0</math>. | Niech więc <math>ax\equiv_n b\equiv_n ax_0</math>. | ||
Ponieważ <math>a\perp n</math>, to <math>a</math> możemy skrócić otrzymując <math>x\ \equiv_{n}x_0 </math>, | Ponieważ <math>a\perp n</math>, to <math>a</math> możemy skrócić otrzymując <math>x\ \equiv_{n}x_0</math>, | ||
co implikuje że <math>x=x_0+kn</math>, dla pewnej liczby całkowitej <math>k</math>. | co implikuje że <math>x=x_0+kn</math>, dla pewnej liczby całkowitej <math>k</math>. | ||
Niech teraz <math>\ | Niech teraz <math>\mathsf{ NWD}(a,n)=d>1</math>. | ||
Najpierw pokażemy, że jeśli równanie <math>ax\ \equiv_{n}b </math> ma rozwiązanie, to <math>d|b</math>. | Najpierw pokażemy, że jeśli równanie <math>ax\ \equiv_{n}b</math> ma rozwiązanie, to <math>d|b</math>. | ||
Rzeczywiście, jeśli <math>ax_0\ \equiv_{n}b </math> dla pewnego <math>x_0</math>, to <math>n|ax-b</math>, | Rzeczywiście, jeśli <math>ax_0\ \equiv_{n}b</math> dla pewnego <math>x_0</math>, to <math>n|ax-b</math>, | ||
a więc i <math>d|ax-b</math>. | a więc i <math>d|ax-b</math>. | ||
Ale <math>d|a</math>, więc <math>d|b</math>. | Ale <math>d|a</math>, więc <math>d|b</math>. | ||
Na odwrót, gdy <math>d|b</math>, to liczby <math>a,b,n</math> są podzielne przez <math>n</math>. | Na odwrót, gdy <math>d|b</math>, to liczby <math>a,b,n</math> są podzielne przez <math>n</math>. | ||
Niech więc <math>a'=a/d</math>, <math>b'=b/d</math> i <math>n'=n/d</math>. | Niech więc <math>a'=a/d</math>, <math>b'=b/d</math> i <math>n'=n/d</math>. | ||
Wtedy <math>\ | Wtedy <math>\mathsf{ NWD}(a',n')=1</math> i, na mocy pierwszego punktu, | ||
równanie <math>a'x\ \equiv_{n'}b' </math> ma nieskończenie wiele rozwiązań. | równanie <math>a'x\ \equiv_{n'}b'</math> ma nieskończenie wiele rozwiązań. | ||
Pozostaje pokazać, że są to te same rozwiązania, co dla równania <math>ax\ \equiv_{n}b </math>. | Pozostaje pokazać, że są to te same rozwiązania, co dla równania <math>ax\ \equiv_{n}b</math>. | ||
Niech więc <math>n'|a'x-b'</math>. Wtedy <math>n=dn'|d(a'x-b') = ax-b</math>. | Niech więc <math>n'|a'x-b'</math>. Wtedy <math>n=dn'|d(a'x-b') = ax-b</math>. | ||
Gdy zaś <math>ax\ \equiv_{n}b </math>, to <math>ax=b+kn</math> dla pewnego <math>k\in\mathbb{Z}</math>. | Gdy zaś <math>ax\ \equiv_{n}b</math>, to <math>ax=b+kn</math> dla pewnego <math>k\in\mathbb{Z}</math>. | ||
A zatem <math>da'x=db'+kdn'</math> i, po wydzieleniu przez <math>d>1</math>, dostajemy | A zatem <math>da'x=db'+kdn'</math> i, po wydzieleniu przez <math>d>1</math>, dostajemy | ||
<math>a'x=b'+kn'</math>, czyli <math>a'x\ \equiv_{n'}b' </math>. | <math>a'x=b'+kn'</math>, czyli <math>a'x\ \equiv_{n'}b'</math>. | ||
Na podstawie dowodu poprzednich dwu punktów wiemy więc, | Na podstawie dowodu poprzednich dwu punktów wiemy więc, | ||
że by rozwiązać równanie <math>ax\ \equiv_{n}b </math> wystarczy: | że by rozwiązać równanie <math>ax\ \equiv_{n}b</math> wystarczy: | ||
* policzyć <math>d:=\ | * policzyć <math>d:=\mathsf{ NWD}(a,n)</math> oraz współczynniki <math>y,z</math> takie, że <math>ya+zn=d</math>, | ||
* jeśli <math>d=1</math>, to <math>x_0 =yb \ | * jeśli <math>d=1</math>, to <math>x_0 =yb \mathsf{ mod} n</math> jest poszukiwanym rozwiązaniem, | ||
* jeśli <math>d>1</math> i <math>d\not| b</math>, to równanie nie posiada rozwiązań, | * jeśli <math>d>1</math> i <math>d\not| b</math>, to równanie nie posiada rozwiązań, | ||
Linia 185: | Linia 186: | ||
}} | }} | ||
{{wniosek||| | {{wniosek|11.6|wn 11.6| | ||
Jeśli <math>p</math> jest liczbą pierwszą, to równania postaci <math>ax\ \equiv_{p}b </math> | Jeśli <math>p</math> jest liczbą pierwszą, to równania postaci <math>ax\ \equiv_{p}b</math> | ||
dla dowolnych <math>0<a<p</math> i <math>0\leq b<p</math> zawsze mają rozwiązanie | dla dowolnych <math>0<a<p</math> i <math>0\leq b<p</math> zawsze mają rozwiązanie | ||
i można je znaleźć wykonując <math>O(lg^3{p})</math> operacji bitowych. | i można je znaleźć wykonując <math>O(lg^3{p})</math> operacji bitowych. | ||
Linia 194: | Linia 195: | ||
Rozwiążemy równanie <math>3x\equiv_7 4</math>. | Rozwiążemy równanie <math>3x\equiv_7 4</math>. | ||
* <math>\ | * <math>\mathsf{ NWD}(3,7)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
* <math>1=1\cdot7-2\cdot3</math>, | * <math>1=1\cdot7-2\cdot3</math>, | ||
Linia 201: | Linia 202: | ||
A następnie równanie <math>3x\equiv_{12}4</math>. | A następnie równanie <math>3x\equiv_{12}4</math>. | ||
* <math>\ | * <math>\mathsf{ NWD}(3,12)=3</math>, ale <math>3\not| 4</math>, czyli równanie nie ma rozwiązania. | ||
Wreszcie rozważmy równanie <math>9x\equiv_{21}12</math>. | Wreszcie rozważmy równanie <math>9x\equiv_{21}12</math>. | ||
* <math>\ | * <math>\mathsf{ NWD}(9,21)=3</math> oraz <math>3|12</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
* <math>3=1\cdot21-2\cdot9</math>, | * <math>3=1\cdot21-2\cdot9</math>, | ||
Linia 216: | Linia 217: | ||
wykorzystując następującą własność. | wykorzystując następującą własność. | ||
{{obserwacja||| | {{obserwacja|11.7|obs 11.7| | ||
Niech <math>a,b,m,n\in\mathbb{Z}</math>, gdzie <math>m,n>0</math> i <math>m\perp n</math>. Wtedy | Niech <math>a,b,m,n\in\mathbb{Z}</math>, gdzie <math>m,n>0</math> i <math>m\perp n</math>. Wtedy | ||
<math>a\ \equiv_{mn}b </math> jest równoważne temu, że równocześnie | <math>a\ \equiv_{mn}b</math> jest równoważne temu, że równocześnie | ||
<math>a\ \equiv_{m}b </math> i <math>a\ \equiv_{n}b </math>. | <math>a\ \equiv_{m}b</math> i <math>a\ \equiv_{n}b</math>. | ||
}} | }} | ||
{{dowod||| | {{dowod||| | ||
Jeśli <math>a\ \equiv_{mn}b </math>, to <math>mn|a-b</math>. A więc oczywiście <math>m|a-b</math> i <math>n|a-b</math>, | Jeśli <math>a\ \equiv_{mn}b</math>, to <math>mn|a-b</math>. A więc oczywiście <math>m|a-b</math> i <math>n|a-b</math>, | ||
co jest równoważne z <math>a\ \equiv_{m}b </math> i <math>a\ \equiv_{n}b </math>. | co jest równoważne z <math>a\ \equiv_{m}b</math> i <math>a\ \equiv_{n}b</math>. | ||
Dla dowodu implikacji odwrotnej, że jest ona trywialna dla <math>a=b</math> i wobec tego | Dla dowodu implikacji odwrotnej, że jest ona trywialna dla <math>a=b</math> i wobec tego | ||
przyjmijmy (bez straty ogólności), że <math>a>b</math>. | przyjmijmy (bez straty ogólności), że <math>a>b</math>. | ||
Linia 232: | Linia 232: | ||
Natomiast rozkład <math>a-b</math> musi zawierać wszystkie liczby pierwsze | Natomiast rozkład <math>a-b</math> musi zawierać wszystkie liczby pierwsze | ||
z rozkładów <math>m</math> i <math>n</math> w odpowiednio wysokich potęgach. | z rozkładów <math>m</math> i <math>n</math> w odpowiednio wysokich potęgach. | ||
To dowodzi, iż <math>mn|a-b</math>, czyli <math>a\ \equiv_{mn}b </math>. | To dowodzi, iż <math>mn|a-b</math>, czyli <math>a\ \equiv_{mn}b</math>. | ||
}} | }} | ||
Linia 240: | Linia 240: | ||
nie mylić z Sun Tzu, myślicielem, filozofem, autorem ''Sztuki wojny''). | nie mylić z Sun Tzu, myślicielem, filozofem, autorem ''Sztuki wojny''). | ||
{{twierdzenie|Chińskie twierdzenie o resztach|| | {{twierdzenie|11.7 [Chińskie twierdzenie o resztach]|tw 11.7| | ||
Niech <math>n_1,\ldots,n_k\in\mathbb{N}-{\left\{ {0} \right\} }</math> będą parami względnie pierwsze, | Niech <math>n_1,\ldots,n_k\in\mathbb{N}-{\left\{ {0} \right\} }</math> będą parami względnie pierwsze, | ||
tzn. <math>n_i\perp n_j</math> dla <math>i\neq j</math>. | tzn. <math>n_i\perp n_j</math> dla <math>i\neq j</math>. | ||
Linia 247: | Linia 246: | ||
istnieje dokładnie jedna liczba <math>0\leq x<n_1\cdot\ldots\cdot n_k</math> taka, że: | istnieje dokładnie jedna liczba <math>0\leq x<n_1\cdot\ldots\cdot n_k</math> taka, że: | ||
<center><math>\ | |||
x&\equiv_{n_2}&a_2, | <center><math>\begin{align} x&\equiv_{n_1}&a_1, \\ | ||
x&\equiv_{n_2}&a_2, \\ | |||
&\vdots& \\ | &\vdots& \\ | ||
x&\equiv_{n_k}&a_k. | x&\equiv_{n_k}&a_k. | ||
\ | \end{align}</math></center> | ||
}} | }} | ||
Linia 262: | Linia 263: | ||
Niech teraz <math>0\leq a<b<N</math>. Gdyby <math>\overline{a}=\overline{b}</math>, to | Niech teraz <math>0\leq a<b<N</math>. Gdyby <math>\overline{a}=\overline{b}</math>, to | ||
<center><math>\ | |||
<center><math>\begin{align} a&\equiv_{n_1}&b,\\ | |||
a&\equiv_{n_2}&b,\\ | a&\equiv_{n_2}&b,\\ | ||
&\vdots&\\ | &\vdots&\\ | ||
a&\equiv_{n_k}&b. | a&\equiv_{n_k}&b. | ||
\ | \end{align}</math></center> | ||
Z drugiej strony <math>n_1\ldots n_i \perp n_{i+1}</math>, więc stosując wielokrotnie | |||
Z drugiej strony <math>n_1\ldots n_i \perp n_{i+1}</math>, więc stosując wielokrotnie | |||
otrzymujemy <math>i\ \equiv_{N}j </math>, czyli <math>N|j-i</math>, co jest niemożliwe wobec <math>0<j-i<N</math>. | [[#obs_11.7|Obserwację 11.7]] | ||
otrzymujemy <math>i\ \equiv_{N}j</math>, czyli <math>N|j-i</math>, co jest niemożliwe wobec <math>0<j-i<N</math>. | |||
Sprzeczność ta pokazuje, że liczby ze zbioru <math>{\left\{ {0,1,\ldots,N-1} \right\} }</math> | Sprzeczność ta pokazuje, że liczby ze zbioru <math>{\left\{ {0,1,\ldots,N-1} \right\} }</math> | ||
mają różne ciągi reszt. | mają różne ciągi reszt. | ||
Linia 282: | Linia 285: | ||
Chińskie Twierdzenie o Resztach podaje warunki wystarczające | Chińskie Twierdzenie o Resztach podaje warunki wystarczające | ||
na istnienie rozwiązania układu równań modularnych ( | na istnienie rozwiązania układu równań modularnych (1). | ||
Nie podaje jednak metody jego uzyskania. | Nie podaje jednak metody jego uzyskania. | ||
Linia 288: | Linia 291: | ||
Niech <math>N_j=N/n_j</math>, czyli <math>N_j</math> jest iloczynem wszystkich <math>n_i</math> poza <math>n_j</math>. | Niech <math>N_j=N/n_j</math>, czyli <math>N_j</math> jest iloczynem wszystkich <math>n_i</math> poza <math>n_j</math>. | ||
Oczywiście, <math>\ | Oczywiście, <math>\mathsf{ NWD}(n_i,N_i)=1</math>. | ||
Rozszerzony algorytm Euklidesa pozwala więc znaleźć liczby <math>x_i</math> takie, | Rozszerzony algorytm Euklidesa pozwala więc znaleźć liczby <math>x_i</math> takie, | ||
że <math>N_ix_i\ \equiv_{n_i}1 </math>. | że <math>N_ix_i\ \equiv_{n_i}1</math>. | ||
Połóżmy | Połóżmy | ||
<center><math>x=\sum_{i=1}^k a_i x_i N_i | |||
</math></center> | <center><math>x=\sum_{i=1}^k a_i x_i N_i</math></center> | ||
Wtedy <math>n_i</math> dzieli wszystkie czynniki sumy poza <math>i</math>-tym, | Wtedy <math>n_i</math> dzieli wszystkie czynniki sumy poza <math>i</math>-tym, | ||
Linia 300: | Linia 304: | ||
A więc, dla dowolnego <math>i</math> mamy: | A więc, dla dowolnego <math>i</math> mamy: | ||
To oznacza, że <math>x</math> jest rozwiązaniem układu równań modularnych ( | <center><math>x\equiv_{n_i}a_ix_iN_i\equiv_{n_i} a_i \cdot 1 =a_i</math></center> | ||
To oznacza, że <math>x</math> jest rozwiązaniem układu równań modularnych (1). | |||
Oszacujmy czas działania tego algorytmu. | Oszacujmy czas działania tego algorytmu. | ||
Linia 310: | Linia 315: | ||
Kroki algorytmu można wykonać kolejno w czasie: | Kroki algorytmu można wykonać kolejno w czasie: | ||
* <math>O(kl)</math> na wyliczenie wszystkich iloczynów postaci <math>N_i</math> | * <math>O(kl)</math> na wyliczenie wszystkich iloczynów postaci <math>N_i</math> oraz całego iloczynu <math>N</math>, | ||
oraz całego iloczynu <math>N</math>, | |||
* <math>O(kl^3)</math> na wyliczenie kolejnych współczynników <math>x_i</math>, czyli | * <math>O(kl^3)</math> na wyliczenie kolejnych współczynników <math>x_i</math>, czyli <math>k</math>-krotną aplikację rozszerzonego algorytmu Euklidesa dla liczb <math>n_i, N_i\leq N</math>, | ||
<math>k</math>-krotną aplikację rozszerzonego algorytmu Euklidesa dla liczb <math>n_i, N_i\leq N</math>, | |||
* <math>O(kl^2)</math> na obliczenie <math>x</math>, czyli <math>O(k)</math> mnożeń i dodawań. | * <math>O(kl^2)</math> na obliczenie <math>x</math>, czyli <math>O(k)</math> mnożeń i dodawań. | ||
Linia 323: | Linia 326: | ||
Rozważmy układ równań: | Rozważmy układ równań: | ||
<center><math>\ | |||
<center><math>\begin{align} x&\equiv_3& 2,\\ | |||
x&\equiv_{10}& 7,\\ | x&\equiv_{10}& 7,\\ | ||
x&\equiv_{11}& 10,\\ | x&\equiv_{11}& 10,\\ | ||
x&\equiv_7& 1. | x&\equiv_7& 1. | ||
\ | \end{align}</math></center> | ||
* <math>\ | * <math>\mathsf{ NWD}(3,10)=\mathsf{ NWD}(3,11)=\mathsf{ NWD}(3,7)=\mathsf{ NWD}(10,11)=\mathsf{ NWD}(10,7)=\mathsf{ NWD}(11,7)=1</math>, | ||
czyli możemy zaaplikować Chińskie Twierdzenie o Resztach, | |||
* <math>N=3\cdot7\cdot10\cdot11=2310</math>, | * <math>N=3\cdot7\cdot10\cdot11=2310</math>, | ||
Linia 344: | Linia 350: | ||
otrzymując <math>x_1,\ldots,x_4</math>: | otrzymując <math>x_1,\ldots,x_4</math>: | ||
* <math>\ | * <math>\mathsf{ NWD}(3,770)=1=257\cdot3-1\cdot770</math>, <math>x_1=-1\equiv_3 2</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(10,231)=1=-23\cdot10+1\cdot231</math>, <math>x_2=1</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(11,210)=1=-19\cdot11+1\cdot210</math>, <math>x_3=1</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(7,330)=1=-47\cdot7+1\cdot330</math>, <math>x_4=1</math>. | ||
Pozostaje policzyć <math>x</math>: | Pozostaje policzyć <math>x</math>: | ||
<center><math>\ | |||
<center><math>\begin{align} x&=2\cdot2\cdot770+7\cdot1\cdot231+10\cdot1\cdot210+1\cdot1\cdot330\\ | |||
&=3080+1617+2100+330\\ | &=3080+1617+2100+330\\ | ||
&=7127\equiv_{2310} 197. | &=7127\equiv_{2310} 197. | ||
\ | \end{align}</math></center> | ||
A więc <math>197</math> jest najmniejszym dodatnim rozwiązaniem naszego układu równości. | A więc <math>197</math> jest najmniejszym dodatnim rozwiązaniem naszego układu równości. | ||
Linia 365: | Linia 373: | ||
Rozważmy jeszcze jeden układ równań: | Rozważmy jeszcze jeden układ równań: | ||
<center><math>\ | |||
<center><math>\begin{align} x&\equiv_2&0,\\ | |||
x&\equiv_{13}&12,\\ | x&\equiv_{13}&12,\\ | ||
x&\equiv_{15}&2. | x&\equiv_{15}&2. | ||
\ | \end{align}</math></center> | ||
* <math>\ | * <math>\mathsf{ NWD}(2,13)=\mathsf{ NWD}(2,15)=\mathsf{ NWD}(13,15)=1</math>, | ||
czyli możemy zaaplikować Chińskie Twierdzenie o Resztach, | czyli możemy zaaplikować Chińskie Twierdzenie o Resztach, | ||
Linia 381: | Linia 390: | ||
* <math>N_3=\frac{390}{15}=26</math>, | * <math>N_3=\frac{390}{15}=26</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(2,195)=1=-97\cdot2+1\cdot195</math>, <math>x_1=1</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(13,30)=1=7\cdot13-3\cdot30</math>, <math>x_2=-3\equiv_{13} 10</math>, | ||
* <math>\ | * <math>\mathsf{ NWD}(15,26)=1=7\cdot15-4\cdot26</math>, <math>x_3=-4\equiv_{15}11</math>. | ||
Pozostaje nam obliczenie <math>x</math>: | Pozostaje nam obliczenie <math>x</math>: | ||
<center><math>\ | |||
\ | <center><math>\begin{align} x&=0\cdot1\cdot195+12\cdot10\cdot30+2\cdot26\cdot11=4172\equiv_{390}=272. | ||
\end{align}</math></center> | |||
Zatem <math>272</math> jest najmniejszym dodatnim rozwiązaniem naszego układu równań. | Zatem <math>272</math> jest najmniejszym dodatnim rozwiązaniem naszego układu równań. | ||
Linia 397: | Linia 408: | ||
==Potęgowanie modularne== | ==Potęgowanie modularne== | ||
'''Potęgowanie modularne.''' Naszym celem jest policzenie | |||
<center><math>a^b \mathsf{ mod} n </math></center> | |||
Oczywiście, możemy założyć, że <math>0\leq a< n</math>, | Oczywiście, możemy założyć, że <math>0\leq a< n</math>, | ||
bo inaczej najpierw można policzyć resztę <math>a'</math> z dzielenia <math>a</math> przez <math>n</math>, | bo inaczej najpierw można policzyć resztę <math>a'</math> z dzielenia <math>a</math> przez <math>n</math>, | ||
a dopiero potem <math>(a')^b \ | a dopiero potem <math>(a')^b \mathsf{ mod} n</math>, jako że <math>(a')^b \mathsf{ mod} n =a^b \mathsf{ mod} n</math>. | ||
Zauważmy, że w przeciwieństwie do zwykłego potęgowania | Zauważmy, że w przeciwieństwie do zwykłego potęgowania | ||
wynik nigdy nie przekracza <math>n</math>, czyli nie rośnie wykładniczo w stosunku do <math>a</math>. | wynik nigdy nie przekracza <math>n</math>, czyli nie rośnie wykładniczo w stosunku do <math>a</math>. | ||
Linia 412: | Linia 422: | ||
Dla rozgrzewki przeanalizujmy najpierw naiwny sposób liczenia potęgi modulo: | Dla rozgrzewki przeanalizujmy najpierw naiwny sposób liczenia potęgi modulo: | ||
* Naiwne potęgowanie modulo. | * Naiwne potęgowanie modulo. Wymnóż <math>a</math> przez siebie <math>b</math>-krotnie, po każdym mnożeniu weź resztę modulo <math>n</math>. Branie reszty po każdym mnożeniu, utrzymuje tymczasowy iloczyn w zbiorze <math>{\left\{ {0,\ldots,n-1} \right\} }</math>. Zatem wykonywanych jest <math>b</math> mnożeń liczb <math>O(\log{n})</math>-bitowych, czyli wykonywanych jest <math>O(b\log^2{n})</math> operacji bitowych. Jest to zatem algorytm działający w czasie wykładniczym względem rozmiaru wejścia <math>O(\log{b}+\log{n})</math>. | ||
Wymnóż <math>a</math> przez siebie <math>b</math>-krotnie, po każdym mnożeniu weź resztę modulo <math>n</math>. | |||
Branie reszty po każdym mnożeniu, utrzymuje tymczasowy iloczyn | |||
w zbiorze <math>{\left\{ {0,\ldots,n-1} \right\} }</math>. | |||
Zatem wykonywanych jest <math>b</math> mnożeń liczb <math>O(\log{n})</math>-bitowych, | |||
czyli wykonywanych jest <math>O(b\log^2{n})</math> operacji bitowych. | |||
Jest to zatem algorytm działający w czasie wykładniczym | |||
względem rozmiaru wejścia <math>O(\log{b}+\log{n})</math>. | |||
* Szybkie potęgowanie modulo. | * Szybkie potęgowanie modulo. Niech <math>b=(b_{k-1}\ldots b_0)_2</math> będzie binarnym zapisem liczby <math>b</math>. Zauważmy, że <math>a^b \mathsf{ mod} n =\prod_{i=0}^{k-1}a^{b_i2^i} \mathsf{ mod} n</math>. | ||
Niech <math>b=(b_{k-1}\ldots b_0)_2</math> będzie binarnym zapisem liczby <math>b</math>. | Policzmy zatem w następujacy sposób kolejne potęgi <math>a</math> występujące w iloczynie: | ||
Zauważmy, że <math>a^b \ | |||
<center><math>\ | |||
(a^2 \ | <center><math>\begin{align} a\cdot a \mathsf{ mod} n &\equiv_n&a^2 \mathsf{ mod} n ,\\ | ||
(a^2 \mathsf{ mod} n )\cdot(a^2 \mathsf{ mod} n )&\equiv_n&a^4 \mathsf{ mod} n ,\\ | |||
&\ldots&\\ | &\ldots&\\ | ||
(a^{2^{k-2}} \ | (a^{2^{k-2}} \mathsf{ mod} n )\cdot(a^{2^{k-2}} \mathsf{ mod} n )&\equiv_n&a^{2^{k-1}} \mathsf{ mod} n . | ||
\ | \end{align}</math></center> | ||
Tym sposobem wykonanych zostanie <math>k-2</math> mnożeń i dzieleń liczb <math>O(\log{n})</math>-bitowych, czyli <math>O(k\log^2{n})</math> operacji bitowych. Aby otrzymać wynik musimy jeszcze wymnożyć przez siebie te potęgi, ktorym odpowiada bit <math>1</math> w liczbie <math>b</math>. Wykonanych zostanie więc jeszcze co najwyżej <math>k</math> mnożeń (które przeplatamy braniem reszty modulo <math>n</math>) liczb <math>O(\log{n})</math>-bitowych. | Tym sposobem wykonanych zostanie <math>k-2</math> mnożeń i dzieleń liczb <math>O(\log{n})</math>-bitowych, czyli <math>O(k\log^2{n})</math> operacji bitowych. Aby otrzymać wynik musimy jeszcze wymnożyć przez siebie te potęgi, ktorym odpowiada bit <math>1</math> w liczbie <math>b</math>. Wykonanych zostanie więc jeszcze co najwyżej <math>k</math> mnożeń (które przeplatamy braniem reszty modulo <math>n</math>) liczb <math>O(\log{n})</math>-bitowych. | ||
Linia 437: | Linia 441: | ||
{{przyklad||| | {{przyklad||| | ||
<center><math>7^{12} \ | |||
<center><math>7^{12} \mathsf{ mod} 10 =? | |||
</math></center> | </math></center> | ||
Linia 443: | Linia 448: | ||
* wyznaczamy wybrane potęgi <math>7</math> modulo <math>10</math>: | * wyznaczamy wybrane potęgi <math>7</math> modulo <math>10</math>: | ||
** <math>7^2=49\equiv_{10} 9</math>, | ** <math>7^2=49\equiv_{10} 9</math>, | ||
** <math>7^4\equiv_{10}9\cdot9=81\equiv_{10}1</math>, | ** <math>7^4\equiv_{10}9\cdot9=81\equiv_{10}1</math>, | ||
** <math>7^8\equiv_{10}1\cdot1=1</math>, | ** <math>7^8\equiv_{10}1\cdot1=1</math>, | ||
Linia 458: | Linia 460: | ||
{{przyklad||| | {{przyklad||| | ||
<center><math>3^{51} \ | |||
<center><math>3^{51} \mathsf{ mod} 13 =? | |||
</math></center> | </math></center> | ||
Linia 464: | Linia 467: | ||
* wyznaczamy wybrane potęgi <math>3</math> modulo <math>13</math>: | * wyznaczamy wybrane potęgi <math>3</math> modulo <math>13</math>: | ||
** <math>3^2=9</math>, | ** <math>3^2=9</math>, | ||
** <math>3^4=9\cdot9=81\equiv_{13}3</math>, | ** <math>3^4=9\cdot9=81\equiv_{13}3</math>, | ||
** <math>3^8\equiv_{13}3\cdot3=9</math>, | ** <math>3^8\equiv_{13}3\cdot3=9</math>, | ||
** <math>3^{16}\equiv_{13}9\cdot9=81\equiv_{13}3</math>, | ** <math>3^{16}\equiv_{13}9\cdot9=81\equiv_{13}3</math>, | ||
** <math>3^{32}\equiv_{13}3\cdot3=9</math>. | ** <math>3^{32}\equiv_{13}3\cdot3=9</math>. | ||
Linia 496: | Linia 494: | ||
Pierwszy znany dowód tego twierdzenia przedstawił Leibniz w 1683 roku. | Pierwszy znany dowód tego twierdzenia przedstawił Leibniz w 1683 roku. | ||
{{twierdzenie|Małe Twierdzenie Fermata|| | {{twierdzenie|11.9 [Małe Twierdzenie Fermata]|tw 11.9| | ||
Dla dowolnej <math>p</math> liczby pierwszej i dowolnego <math>a</math> zachodzi: | |||
<center><math>a^p\ \equiv_{p}a | <center><math>a^p\ \equiv_{p}a </math></center> | ||
</math></center> | |||
}} | }} | ||
Linia 512: | Linia 510: | ||
natomiast dla <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math> wystarczy udowodnić, że: | natomiast dla <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math> wystarczy udowodnić, że: | ||
<center><math>a^{p-1}\ \equiv_{p}1 | |||
</math></center> | <center><math>a^{p-1}\ \equiv_{p}1 </math></center> | ||
'''Pierwszy dowód.''' | '''Pierwszy dowód.''' | ||
Dla <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math> rozważmy ciąg | Dla <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math> rozważmy ciąg | ||
<center><math>a_0, a_1, a_2,\ldots, a_{p-1} | <center><math>a_0, a_1, a_2,\ldots, a_{p-1} | ||
</math></center> | </math></center> | ||
reszt <math>a_k = ka \ | |||
reszt <math>a_k = ka \mathsf{ mod} p</math> liczb <math>ka</math> modulo <math>p</math>. | |||
Pokażemy, że żadna wartość w tym ciągu się nie powtarza. | Pokażemy, że żadna wartość w tym ciągu się nie powtarza. | ||
Niech <math>0\leq i<j<p</math> i, dla dowodu niewprost, niech | Niech <math>0\leq i<j<p</math> i, dla dowodu niewprost, niech | ||
<center><math>ia\ \equiv_{p}ja | |||
</math></center> | <center><math>ia\ \equiv_{p}ja </math></center> | ||
Wtedy <math>p|(j-i)a</math>. Ponieważ <math>p</math> jest liczba pierwszą to | Wtedy <math>p|(j-i)a</math>. Ponieważ <math>p</math> jest liczba pierwszą to | ||
Linia 536: | Linia 538: | ||
muszą być równe, co daje: | muszą być równe, co daje: | ||
<center><math>a\ | |||
<center><math>a\cdot 2a\cdot\ldots\cdot(p-1)a | |||
\equiv_p a_1 \cdot a_ 2\cdot\ldots\cdot a_{p-1} | \equiv_p a_1 \cdot a_ 2\cdot\ldots\cdot a_{p-1} | ||
= 1\cdot2\cdot\ldots\cdot(p-1) | = 1\cdot2\cdot\ldots\cdot(p-1)</math>,</center> | ||
</math></center> | |||
lub inaczej: | lub inaczej: | ||
<center><math>(p-1)! \cdot a^{p-1} \equiv_p (p-1)! | |||
</math></center> | <center><math>(p-1)! \cdot a^{p-1} \equiv_p (p-1)!</math></center> | ||
Ponieważ <math>p</math> jest liczbą pierwszą, | Ponieważ <math>p</math> jest liczbą pierwszą, | ||
Linia 551: | Linia 555: | ||
Można więc zastosować regułę skracania: | Można więc zastosować regułę skracania: | ||
<center><math>a^{p-1}\ \equiv_{p}1 | |||
</math></center> | <center><math>a^{p-1}\ \equiv_{p}1 </math></center> | ||
'''Drugi dowód.''' | '''Drugi dowód.''' | ||
Dla dowodu indukcyjnego względem <math>a=0,1,2,\ldots,p-1</math> zauważmy najpierw, że | Dla dowodu indukcyjnego względem <math>a=0,1,2,\ldots,p-1</math> zauważmy najpierw, że | ||
w oczywisty sposób <math>0^p\ \equiv_{p}0 </math> oraz <math>1^p\ \equiv_{p}1 </math> | w oczywisty sposób <math>0^p\ \equiv_{p}0</math> oraz <math>1^p\ \equiv_{p}1</math> | ||
i załóżmy, że <math>k^p\ \equiv_{p}k </math>. | i załóżmy, że <math>k^p\ \equiv_{p}k</math>. | ||
Aby udowodnić, że: | Aby udowodnić, że: | ||
<center><math>(k+1)^p\ \equiv_{p}k+1 | <center><math>(k+1)^p\ \equiv_{p}k+1 | ||
</math></center> | </math></center> | ||
pokażemy znacznie mocniejszą równość | pokażemy znacznie mocniejszą równość | ||
<center><math>(x+y)^p\ \equiv_{p}x^p+y^p | |||
</math></center> | <center><math>(x+y)^p\ \equiv_{p}x^p+y^p </math>,</center> | ||
która przy <math>x=k</math> i <math>y=1</math> pozwoli zakończyć dowód indukcyjny. | która przy <math>x=k</math> i <math>y=1</math> pozwoli zakończyć dowód indukcyjny. | ||
Linia 572: | Linia 580: | ||
Rozwijając dwumian <math>(x+y)^p</math> mamy: | Rozwijając dwumian <math>(x+y)^p</math> mamy: | ||
<center><math>(x+y)^p=\sum_{i=0}^p{p\choose i}x^iy^{p-i} | |||
</math></center> | <center><math>(x+y)^p=\sum_{i=0}^p{p\choose i}x^iy^{p-i}</math></center> | ||
Współczynnik <math>{p\choose i}=\frac{p!}{i!(p-i)!}</math> jest zawsze liczbą całkowitą. | Współczynnik <math>{p\choose i}=\frac{p!}{i!(p-i)!}</math> jest zawsze liczbą całkowitą. | ||
Linia 579: | Linia 588: | ||
są względnie pierwsze z <math>p</math>, bo <math>p</math> jest pierwsza, a czynniki te są mniejsze niż <math>p</math>. | są względnie pierwsze z <math>p</math>, bo <math>p</math> jest pierwsza, a czynniki te są mniejsze niż <math>p</math>. | ||
Oznacza to, iż w rozkładzie <math>{p\choose i}</math> na czynniki pierwsze musi znaleźć się <math>p</math>. | Oznacza to, iż w rozkładzie <math>{p\choose i}</math> na czynniki pierwsze musi znaleźć się <math>p</math>. | ||
To zaś implikuje <math>{p\choose i}\ \equiv_{p}0 </math> dla <math>0<i<p</math>. A więc | To zaś implikuje <math>{p\choose i}\ \equiv_{p}0</math> dla <math>0<i<p</math>. A więc | ||
<center><math>(x+y)^p | <center><math>(x+y)^p | ||
=\sum_{i=0}^p{p\choose i}x^iy^{p-i} | =\sum_{i=0}^p{p\choose i}x^iy^{p-i} | ||
\equiv_p \sum_{i\in{\left\{ {0,p} \right\} }}{p\choose i}x^iy^{p-i} | \equiv_p \sum_{i\in{\left\{ {0,p} \right\} }}{p\choose i}x^iy^{p-i} | ||
=x^p+y^p | =x^p+y^p</math></center> | ||
</math></center> | |||
'''Trzeci dowód.''' | '''Trzeci dowód.''' | ||
Niech <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math>. | Niech <math>a\in{\left\{ {1,\ldots,p-1} \right\} }</math>. | ||
Rozważmy słowa długości <math>p</math> nad alfabetem <math>a</math>-elementowym. | Rozważmy słowa długości <math>p</math> nad alfabetem <math>a</math>-elementowym.}} | ||
{{przyklad||| | {{przyklad||| | ||
Niech <math>p=7</math>, <math>a=3</math>. Symbolami alfabetu niech będą A,B,C. | Niech <math>p=7</math>, <math>a=3</math>. Symbolami alfabetu niech będą A,B,C. | ||
Oto mocno skrócona lista <math>3^7=2187</math> wszystkich słów <math>7</math>-literowych nad tym alfabetem. | Oto mocno skrócona lista <math>3^7=2187</math> wszystkich słów <math>7</math>-literowych nad tym alfabetem.}} | ||
{| border=1 | {| border=1 | ||
|+ <span style="font-variant:small-caps"> | |+ <span style="font-variant:small-caps"></span> | ||
|- | |- | ||
| || AAAAAAA, || AAAAAAB, || AAAAAAC, || AAAAABA, || AAAAABB, | | || AAAAAAA, || AAAAAAB, || AAAAAAC, || AAAAABA, || AAAAABB, | ||
Linia 608: | Linia 619: | ||
|} | |} | ||
Wszystkich takich słów jest <math>a^p</math>. | Wszystkich takich słów jest <math>a^p</math>. | ||
Pokażemy, że po usunięciu słów jednoliterowych, | Pokażemy, że po usunięciu słów jednoliterowych, | ||
pozostałe <math>a^p-a</math> słów będzie można podzielić na rozłączne <math>p</math>-elementowe grupy. | pozostałe <math>a^p-a</math> słów będzie można podzielić na rozłączne <math>p</math>-elementowe grupy. | ||
To oczywiście natychmiast da <math>p|a^p-a</math>, czyli pożądaną równość <math>a^p\ \equiv_{p}a </math>. | To oczywiście natychmiast da <math>p|a^p-a</math>, czyli pożądaną równość <math>a^p\ \equiv_{p}a</math>. | ||
Słowo <math>v</math> nazwiemy przesunięciem cyklicznym słowa <math>w=w_1\ldots w_k</math> | Słowo <math>v</math> nazwiemy przesunięciem cyklicznym słowa <math>w=w_1\ldots w_k</math> | ||
o <math>i</math> liter, jeśli | o <math>i</math> liter, jeśli | ||
<center><math>v=w_{i+1}w_{i+2}\ldots w_kw_1\ldots w_{i-1}w_i | |||
</math></center> | <center><math>v=w_{i+1}w_{i+2}\ldots w_kw_1\ldots w_{i-1}w_i</math></center> | ||
{{przyklad||| | {{przyklad||| | ||
Przesunięcia cykliczne słowa CBAABCB:}} | |||
{| border=1 | {| border=1 | ||
|+ <span style="font-variant:small-caps"> | |+ <span style="font-variant:small-caps"></span> | ||
|- | |- | ||
| || CBAABCB, || BAABCBC, || AABCBCB, || ABCBCBA, || BCBCBAA, | | || CBAABCB, || BAABCBC, || AABCBCB, || ABCBCBA, || BCBCBAA, | ||
Linia 633: | Linia 645: | ||
|} | |} | ||
Przesunięcia cykliczne słowa ABCABC:<br> | Przesunięcia cykliczne słowa ABCABC:<br> | ||
{| border=1 | {| border=1 | ||
|+ <span style="font-variant:small-caps"> | |+ <span style="font-variant:small-caps"></span> | ||
|- | |- | ||
| || ABCABC, || BCABCA, || CABCAB. || || | | || ABCABC, || BCABCA, || CABCAB. || || | ||
Linia 643: | Linia 657: | ||
|} | |} | ||
Drugi przykład pokazuje, że niektóre przesuniecia cyklicze sa równe. | Drugi przykład pokazuje, że niektóre przesuniecia cyklicze sa równe. | ||
W istocie mamy: | W istocie mamy: | ||
{{lemat||| | {{lemat|11.10|lem 11.10| | ||
Niech <math>v</math> będzie słowem, którego nie da się przedstawić jako | Niech <math>v</math> będzie słowem, którego nie da się przedstawić jako | ||
<math>u^l=u\ldots u</math>, | <math>u^l=u\ldots u</math>, | ||
Linia 654: | Linia 667: | ||
Z kolei niech <math>w= v^k=v\ldots v</math>, | Z kolei niech <math>w= v^k=v\ldots v</math>, | ||
dla pewnego <math>k>0</math>. | dla pewnego <math>k>0</math>. | ||
Wtedy słowo <math>w</math> ma dokładnie <math>\left\ | Wtedy słowo <math>w</math> ma dokładnie <math>\left\vert v\right\vert</math> różnych przesunięć cyklicznych. | ||
}} | }} | ||
Linia 660: | Linia 673: | ||
Oczywiście, jeśli liczba liter, o które różnią się dwa przesunięcia cykliczne | Oczywiście, jeśli liczba liter, o które różnią się dwa przesunięcia cykliczne | ||
jest wielokrotnością długousi słowa <math>v</math>, to te dwa przesunięcia dają to samo słowo. | jest wielokrotnością długousi słowa <math>v</math>, to te dwa przesunięcia dają to samo słowo. | ||
A zatem <math>w</math> ma co najwyżej <math>\left\ | A zatem <math>w</math> ma co najwyżej <math>\left\vert v\right\vert</math> różnych przesunięć cyklicznych. | ||
Z drugiej strony, gdyby dwa przesunięcia cykliczne słowa <math>v</math> były równe, | Z drugiej strony, gdyby dwa przesunięcia cykliczne słowa <math>v</math> były równe, | ||
to dawałyby to samo słowo. | to dawałyby to samo słowo. | ||
Istotnie, gdy <math>v=v_1\ldots v_m</math> i <math>v_1,\ldots,v_m</math> są literami alfabetu, | Istotnie, gdy <math>v=v_1\ldots v_m</math> i <math>v_1,\ldots,v_m</math> są literami alfabetu, | ||
to każde przesunięcie cykliczne prowadzi do jednego ze słów z listy: | to każde przesunięcie cykliczne prowadzi do jednego ze słów z listy: | ||
<center><math>\begin{array} {rcll} | <center><math>\begin{array} {rcll} | ||
Linia 675: | Linia 689: | ||
</math></center> | </math></center> | ||
Ponieważ <math>\left\ | |||
Ponieważ <math>\left\vert v\right\vert =m</math>, pozostaje pokazać, że słowa na tej liście sa różne. | |||
Dla dowodu niewprost, bez straty ogólności, możemy założyć, że: | Dla dowodu niewprost, bez straty ogólności, możemy założyć, że: | ||
<center><math>v_1\ldots v_m v^{k-1}=v_i\ldots v_m v^{k-1}v_1v_2\ldots v_{i-1} | |||
</math></center> | <center><math>v_1\ldots v_m v^{k-1}=v_i\ldots v_m v^{k-1}v_1v_2\ldots v_{i-1}</math>,</center> | ||
dla pewnego <math>1<i\leq m</math>. Wtedy | dla pewnego <math>1<i\leq m</math>. Wtedy | ||
<center><math>v_1\ldots v_m=v_i\ldots v_mv_1\ldots v_{i-1} | |||
</math></center> | <center><math>v_1\ldots v_m=v_i\ldots v_mv_1\ldots v_{i-1}</math></center> | ||
To z kolei prowadzi do ciągu równości w poniższym diagramie: | To z kolei prowadzi do ciągu równości w poniższym diagramie: | ||
<center><math>\begin{array} {lcllcllcl} | <center><math>\begin{array} {lcllcllcl} | ||
Linia 694: | Linia 712: | ||
\end{array} | \end{array} | ||
</math></center> | </math></center> | ||
Czyli słowo <math>v</math> jest postaci <math>v=x^l</math> dla <math>x=v_i\ldots v_m</math> i <math>l=\frac{m}{m-(i-1)}</math>, | Czyli słowo <math>v</math> jest postaci <math>v=x^l</math> dla <math>x=v_i\ldots v_m</math> i <math>l=\frac{m}{m-(i-1)}</math>, | ||
Linia 702: | Linia 721: | ||
Niech więc <math>w</math> będzie słowem, w którym występują dwie różne litery alfabetu. | Niech więc <math>w</math> będzie słowem, w którym występują dwie różne litery alfabetu. | ||
Słowo to nie może być postaci <math>v^l</math>, gdzie <math>l\geq2</math>, | Słowo to nie może być postaci <math>v^l</math>, gdzie <math>l\geq2</math>, | ||
gdyż inaczej <math>\left\ | gdyż inaczej <math>\left\vert v\right\vert |p</math>, | ||
a skoro <math>p</math> jest liczbą pierwszą, to <math>\left\ | a skoro <math>p</math> jest liczbą pierwszą, to <math>\left\vert v\right\vert =1</math> lub <math>\left\vert v\right\vert =p=\left\vert w\right\vert</math>. | ||
W pierwszym przypadku <math>w</math> jest jednoliterowe, a w drugim <math>v=w</math> i <math>l=1</math>. | W pierwszym przypadku <math>w</math> jest jednoliterowe, a w drugim <math>v=w</math> i <math>l=1</math>. | ||
A zatem każde z <math>a^p-a</math> słów <math>w</math> ma dokładnie <math>p</math> różnych przesunięć cyklicznych. | A zatem każde z <math>a^p-a</math> słów <math>w</math> ma dokładnie <math>p</math> różnych przesunięć cyklicznych. | ||
To dowodzi, iż <math>p|a^p-a</math>, czyli <math>a^p\ \equiv_{p}a </math>. | To dowodzi, iż <math>p|a^p-a</math>, czyli <math>a^p\ \equiv_{p}a</math>. | ||
W jednym z dalszych wykładów | W jednym z dalszych wykładów | ||
Linia 720: | Linia 738: | ||
Zauważmy bowiem, że: | Zauważmy bowiem, że: | ||
<center><math>a^b \equiv_p a^{b'} | <center><math>a^b \equiv_p a^{b'}</math>,</center> | ||
</math></center> | |||
gdzie <math>b'</math> jest resztą z dzielenia <math>b</math> przez <math>p-1</math>. | gdzie <math>b'</math> jest resztą z dzielenia <math>b</math> przez <math>p-1</math>. | ||
{{przyklad||| | {{przyklad||| | ||
Policzmy <math>7^{126} \ | Policzmy <math>7^{126} \mathsf{ mod} 11</math>. | ||
* <math>11</math> jest liczba pierwszą, czyli możemy skorzystać z Małego Twierdzenia Fermata, | * <math>11</math> jest liczba pierwszą, czyli możemy skorzystać z Małego Twierdzenia Fermata, | ||
* <math>126 \ | * <math>126 \mathsf{ mod} 10 =6</math>, | ||
* <math>7^{126}\equiv_{11}7^6</math>, | * <math>7^{126}\equiv_{11}7^6</math>, | ||
Linia 737: | Linia 754: | ||
* liczymy wybrane potęgi <math>7</math> modulo <math>11</math>: | * liczymy wybrane potęgi <math>7</math> modulo <math>11</math>: | ||
** <math>7^2=49\equiv_{11}5</math>, | ** <math>7^2=49\equiv_{11}5</math>, | ||
** <math>7^4\equiv_{11}5\cdot5=25\equiv_{11}4</math>. | ** <math>7^4\equiv_{11}5\cdot5=25\equiv_{11}4</math>. | ||
Linia 751: | Linia 766: | ||
Poznamy teraz uogólnienie Małego Twierdzenia Fermata pochodzące od Eulera. | Poznamy teraz uogólnienie Małego Twierdzenia Fermata pochodzące od Eulera. | ||
Uogólnienie to leży u podstaw znanego systemu kryptograficznego | Uogólnienie to leży u podstaw znanego systemu kryptograficznego - RSA. | ||
Potrzebne nam będzie funkcja zliczające liczby względnie pierwsze z liczbą <math>n</math>. | Potrzebne nam będzie funkcja zliczające liczby względnie pierwsze z liczbą <math>n</math>. | ||
Linia 757: | Linia 772: | ||
zdefiniowaną poprzez | zdefiniowaną poprzez | ||
{{ | <center><math>\varphi(n)=\left\vert{\left\{ {1\leq a<n\quad:\quad \mathsf{ NWD}(a,n)=1} \right\} }\right\vert</math></center> | ||
{{obserwacja|11.11|obs 11.11| | |||
Dla dowolnej liczby pierwszej <math>p</math> zachodzi: | Dla dowolnej liczby pierwszej <math>p</math> zachodzi: | ||
Linia 779: | Linia 794: | ||
}} | }} | ||
{{obserwacja||| | {{obserwacja|11.12|obs 11.12| | ||
Dla dowolnych <math>m,n>0</math> takich, że <math>m\perp n</math> zachodzi | |||
<center><math>\varphi(m n)=\varphi(m)\varphi(n) | <center><math>\varphi(m n)=\varphi(m)\varphi(n)</math></center> | ||
</math></center> | |||
}} | }} | ||
{{dowod||| | {{dowod||| | ||
Z Chińskiego Twierdzenia o Resztach wiemy, | Z [[#tw_11.7|Chińskiego Twierdzenia o Resztach]] wiemy, | ||
iż każda liczba z przedziału <math>[0,\ldots,mn-1]</math> | iż każda liczba z przedziału <math>[0,\ldots,mn-1]</math> | ||
jest jednoznacznie wyznaczona przez jej reszty modulo <math>m</math> i modulo <math>n</math>. | jest jednoznacznie wyznaczona przez jej reszty modulo <math>m</math> i modulo <math>n</math>. | ||
Wiemy także, że dla dowolnego <math>a</math>: | Wiemy także, że dla dowolnego <math>a</math>: | ||
<math>\ | |||
<math>\mathsf{ NWD}(a,mn)=1</math> wtedy i tylko wtedy, gdy <math>\mathsf{ NWD}(a,m)=1=\mathsf{ NWD}(a,n)</math>. | |||
To oznacza, iż liczb <math>0\leq a<mn</math> takich, że <math>a \perp mn</math> | To oznacza, iż liczb <math>0\leq a<mn</math> takich, że <math>a \perp mn</math> | ||
Linia 802: | Linia 819: | ||
}} | }} | ||
{{wniosek||| | {{wniosek|11.13|wn 11.13| | ||
Jeśli <math>n=p_1^{\alpha_1}p_2^{\alpha_2}\ldots p_k^{\alpha_k}</math> | Jeśli <math>n=p_1^{\alpha_1}p_2^{\alpha_2}\ldots p_k^{\alpha_k}</math> | ||
jest rozkładem na liczby pierwsze <math>p_i</math>, w którym <math>\alpha_i\geq 1</math>, to: | jest rozkładem na liczby pierwsze <math>p_i</math>, w którym <math>\alpha_i\geq 1</math>, to: | ||
<center><math>\ | |||
<center><math>\begin{align} \varphi(n) | |||
&=\varphi(p_1^{\alpha_1})\ldots\varphi(p_k^{\alpha_k})\\ | &=\varphi(p_1^{\alpha_1})\ldots\varphi(p_k^{\alpha_k})\\ | ||
&=p_1^{\alpha_1}\left(1-\frac{1}{p_1}\right)p_2^{\alpha_2}\left(1-\frac{1}{p_2}\right)\ldots p_k^{\alpha_k}\left(1-\frac{1}{p_k}\right)\\ | &=p_1^{\alpha_1}\left(1-\frac{1}{p_1}\right)p_2^{\alpha_2}\left(1-\frac{1}{p_2}\right)\ldots p_k^{\alpha_k}\left(1-\frac{1}{p_k}\right)\\ | ||
&=n\cdot\prod_{p|n}\left(1-\frac{1}{p}\right), | &=n\cdot\prod_{p|n}\left(1-\frac{1}{p}\right), | ||
\ | \end{align}</math></center> | ||
gdzie ostatnim iloczyn przebiega po wszystkich liczbach pierwszych <math>p</math> dzielących <math>n</math>. | gdzie ostatnim iloczyn przebiega po wszystkich liczbach pierwszych <math>p</math> dzielących <math>n</math>. | ||
Linia 827: | Linia 845: | ||
* <math>1980=2^2\cdot3^2\cdot5\cdot11</math>, | * <math>1980=2^2\cdot3^2\cdot5\cdot11</math>, | ||
* <math>\varphi(1980)=1980\cdot(1-\frac{1}{2}) | * <math>\varphi(1980)=1980\cdot(1-\frac{1}{2})\cdot(1-\frac{1}{3})\cdot(1-\frac{1}{5})\cdot(1-\frac{1}{11})=480</math>. | ||
}} | }} | ||
{{twierdzenie|Euler 1736|| | {{twierdzenie|11.14 [Euler 1736]|tw 11.14| | ||
Dla dowolnych <math>a,n</math>, gdzie <math>\mathsf{ NWD}(a,n)=1</math> zachodzi: | |||
<center><math>a^{\varphi(n)}\ \equiv_{n}1 </math></center> | |||
}} | }} | ||
Linia 845: | Linia 863: | ||
będą wszystkimi liczbami względnie pierwszymi z <math>n</math> i niewiększymi od <math>n</math>. | będą wszystkimi liczbami względnie pierwszymi z <math>n</math> i niewiększymi od <math>n</math>. | ||
Rozważmy ciąg | Rozważmy ciąg | ||
<center><math>a_1, a_2,\ldots, a_{\varphi(n)} | <center><math>a_1, a_2,\ldots, a_{\varphi(n)} | ||
</math></center> | </math></center> | ||
reszt <math>a_i = m_i a \ | |||
reszt <math>a_i = m_i a \mathsf{ mod} n</math> liczb <math>m_i a</math> modulo <math>n</math>. | |||
Pokażemy, że żadna wartość w tym ciągu się nie powtarza. | Pokażemy, że żadna wartość w tym ciągu się nie powtarza. | ||
Niech <math>1\leq i<j\leq \varphi(n)</math> i, dla dowodu niewprost, niech | Niech <math>1\leq i<j\leq \varphi(n)</math> i, dla dowodu niewprost, niech | ||
<center><math>m_ia\ \equiv_{n}m_ja | |||
</math></center> | <center><math>m_ia\ \equiv_{n}m_ja </math></center> | ||
Wtedy <math>n|(m_j-m_i)a</math>, a ponieważ <math>n\perp a</math>, | Wtedy <math>n|(m_j-m_i)a</math>, a ponieważ <math>n\perp a</math>, | ||
Linia 868: | Linia 889: | ||
wszystkie wartości <math>m_1,\ldots,m_{\varphi(n)}</math> i każdą tylko raz. | wszystkie wartości <math>m_1,\ldots,m_{\varphi(n)}</math> i każdą tylko raz. | ||
A zatem | A zatem | ||
<center><math>m_1a\cdot m_2a\cdot\ldots\cdot m_{\varphi(n)}a | <center><math>m_1a\cdot m_2a\cdot\ldots\cdot m_{\varphi(n)}a | ||
\equiv_n a_1\cdot a_2\ldots a_{\varphi(n)} | \equiv_n a_1\cdot a_2\ldots a_{\varphi(n)} | ||
=m_1\cdot m_2\cdot\ldots\cdot m_{\varphi(n)} | =m_1\cdot m_2\cdot\ldots\cdot m_{\varphi(n)}</math></center> | ||
</math></center> | |||
Ponieważ liczby <math>m_1,\ldots,m_{\varphi(n)}</math> są względnie pierwsze z <math>n</math> | Ponieważ liczby <math>m_1,\ldots,m_{\varphi(n)}</math> są względnie pierwsze z <math>n</math> | ||
możemy zastosować regułę skracania, by dostać | możemy zastosować regułę skracania, by dostać | ||
<center><math>a^{\varphi(m)}\ \equiv_{n}1 | |||
</math></center> | <center><math>a^{\varphi(m)}\ \equiv_{n}1 </math></center> | ||
}} | }} | ||
Linia 895: | Linia 918: | ||
{{przyklad||| | {{przyklad||| | ||
Spróbujmy policzyć <math>13^{101} \ | Spróbujmy policzyć <math>13^{101} \mathsf{ mod} 16</math>. | ||
* <math>13\perp16</math>, czyli możemy skorzystać z Twierdzenia Eulera, | * <math>13\perp16</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
Linia 901: | Linia 924: | ||
* <math>\varphi(16)=8</math>, | * <math>\varphi(16)=8</math>, | ||
* <math>101 \ | * <math>101 \mathsf{ mod} 8 =5</math>, | ||
* <math>13^{101}\equiv_{16} 13^5</math>, | * <math>13^{101}\equiv_{16} 13^5</math>, | ||
Linia 908: | Linia 931: | ||
* liczymy wybrane potęgi <math>13</math> modulo <math>16</math>: | * liczymy wybrane potęgi <math>13</math> modulo <math>16</math>: | ||
** <math>13^1\equiv_{16}13</math>, | ** <math>13^1\equiv_{16}13</math>, | ||
** <math>13^2\equiv_{16}13\cdot13= 169 \equiv_{16} 9</math>, | ** <math>13^2\equiv_{16}13\cdot13= 169 \equiv_{16} 9</math>, | ||
** <math>13^4\equiv_{16}9\cdot9=81\equiv_{16}1</math>. | ** <math>13^4\equiv_{16}9\cdot9=81\equiv_{16}1</math>. | ||
Linia 921: | Linia 941: | ||
===Funkcja Mobiusa=== | ===Funkcja Mobiusa=== | ||
Choć | Choć [[#wn_11.13|Wniosek 11.13]] wyprowadziliśmy już bezpośrednio z | ||
[[# | [[#obs_11.11|Obserwacji 11.11]] i [[#obs_11.12|11.12]], na zakończenie tego wykładu | ||
przedstawimy jego alternatywny dowód. | przedstawimy jego alternatywny dowód. | ||
Metoda użyta w tym alternatywnym dowodzie będzie przydatna w kilku innych sytuacjach. | Metoda użyta w tym alternatywnym dowodzie będzie przydatna w kilku innych sytuacjach. | ||
Linia 931: | Linia 951: | ||
Zdefiniujmy <math>A_i</math> jako zbiór wielokrotności liczby <math>p_i</math> w | Zdefiniujmy <math>A_i</math> jako zbiór wielokrotności liczby <math>p_i</math> w | ||
<math>{\left\{ {1,\ldots,n-1} \right\} }</math>. | <math>{\left\{ {1,\ldots,n-1} \right\} }</math>. | ||
Wtedy <math>\varphi(n)=n-\left\ | Wtedy <math>\varphi(n)=n-\left\vert A_1\cup\ldots\cup A_k\right\vert</math>. | ||
Korzystając z Zasady Włączania i Wyłączania otrzymujemy | Korzystając z Zasady Włączania i Wyłączania otrzymujemy | ||
<center><math>\varphi(n)=n-\left\ | |||
</math></center> | <center><math>\varphi(n)=n-\left\vert A_1\cup\ldots\cup A_k\right\vert =n-\alpha_1+\alpha_2-\ldots+(-1)^k\alpha_k</math>,</center> | ||
gdzie | gdzie | ||
<math>\alpha_i=\sum_{1\leq j_1<\ldots<j_i\leq k}\left\ | <math>\alpha_i=\sum_{1\leq j_1<\ldots<j_i\leq k}\left\vert A_{j_1}\cap\ldots\cap A_{j_i}\right\vert</math>. | ||
Zauważmy, że zbiór <math>A_{j_1}\cap\ldots\cap A_{j_i}</math> | Zauważmy, że zbiór <math>A_{j_1}\cap\ldots\cap A_{j_i}</math> | ||
składa się z wielokrotności liczby <math>P=p_{j_1}\cdot\ldots\cdot p_{j_k}</math>, | składa się z wielokrotności liczby <math>P=p_{j_1}\cdot\ldots\cdot p_{j_k}</math>, | ||
czyli liczb <math>P,2P,\ldots,(\frac{n}{P})P</math>. | czyli liczb <math>P,2P,\ldots,(\frac{n}{P})P</math>. | ||
Zatem | Zatem | ||
<math>\left\ | <math>\left\vert A_{j_1}\cap\ldots\cap A_{j_i}\right\vert =\frac{n}{P}=\frac{n}{p_{i_1}\cdot\ldots\cdot p_{j_i}}</math>, | ||
skąd | skąd | ||
<center><math>\alpha_i=\sum_{1\leq j_1<\ldots<j_i\leq k}\frac{n}{p_{j_1}\cdot\ldots\cdot p_{j_i}}=n\sum_{1\leq j_1<\ldots<j_i\leq k}\frac{1}{p_{j_1}\cdot\ldots\cdot p_{j_i}} | |||
</math></center> | <center><math>\alpha_i=\sum_{1\leq j_1<\ldots<j_i\leq k}\frac{n}{p_{j_1}\cdot\ldots\cdot p_{j_i}}=n\sum_{1\leq j_1<\ldots<j_i\leq k}\frac{1}{p_{j_1}\cdot\ldots\cdot p_{j_i}}</math></center> | ||
Teraz łatwo już policzyć | Teraz łatwo już policzyć | ||
<center><math>\ | |||
<center><math>\begin{align} \varphi(n)&=n-\alpha_1+\alpha_2-\alpha_3+\ldots+(-1)^k\alpha_k\\ | |||
&=n-n(\frac{1}{p_1}+\frac{1}{p_2}+\ldots+\frac{1}{p_k})+n(\frac{1}{p_1p_2}+\frac{1}{p_1p_3}+\ldots)-\ldots\\ | &=n-n(\frac{1}{p_1}+\frac{1}{p_2}+\ldots+\frac{1}{p_k})+n(\frac{1}{p_1p_2}+\frac{1}{p_1p_3}+\ldots)-\ldots\\ | ||
&&\ldots+n(-1)^k\frac{1}{p_1\cdot\ldots\cdot p_k}\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad(*)\\ | &&\ldots+n(-1)^k\frac{1}{p_1\cdot\ldots\cdot p_k}\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad(*)\\ | ||
&=n(1-\frac{1}{p_1})\cdot\ldots\cdot(1-\frac{1}{p_k}). | &=n(1-\frac{1}{p_1})\cdot\ldots\cdot(1-\frac{1}{p_k}). | ||
\ | \end{align}</math></center> | ||
}} | }} | ||
Linia 962: | Linia 986: | ||
Analizując ostatnią sumę dla <math>n=60=2^2\cdot3\cdot5</math> mamy | Analizując ostatnią sumę dla <math>n=60=2^2\cdot3\cdot5</math> mamy | ||
<center><math>\varphi(60)=\frac{60}{1}-(\frac{60}{2}+\frac{60}{3}+\frac{60}{5})+(\frac{60}{6}+\frac{60}{10}+\frac{60}{15})-\frac{60}{30} | |||
</math></center> | <center><math>\varphi(60)=\frac{60}{1}-(\frac{60}{2}+\frac{60}{3}+\frac{60}{5})+(\frac{60}{6}+\frac{60}{10}+\frac{60}{15})-\frac{60}{30}</math></center> | ||
Po prawej stronie mamy naprzemienną sumę składników <math>\frac{n}{d}</math>, | Po prawej stronie mamy naprzemienną sumę składników <math>\frac{n}{d}</math>, | ||
Linia 972: | Linia 997: | ||
Zależność tę możemy ogólniej zapisać w postaci | Zależność tę możemy ogólniej zapisać w postaci | ||
<center><math>\varphi(n)=\sum_{d|n}\mu(d)\frac{n}{d} | |||
</math></center> | <center><math>\varphi(n)=\sum_{d|n}\mu(d)\frac{n}{d}</math>,</center> | ||
gdzie <math>\mu(d)</math> zadana jest przez: | gdzie <math>\mu(d)</math> zadana jest przez: | ||
<center><math>\mu(d)= | <center><math>\mu(d)= | ||
\begin{cases} | |||
1,&\ | 1, &\text{jeśli }\mathit{d}=1,\\ | ||
(-1)^k,&\ | (-1)^k, &\text{jeśli }\mathit{d} \text{jest iloczynem }\mathit{k} \text{różnych liczb pierwszych,}\\ | ||
0,&\ | 0, &\text{jeśli w rozkładzie } \mathit{d} \text{któryś z czynników się powtarza.} | ||
\end{ | \end{cases} | ||
</math></center> | </math></center> | ||
Funkcja <math>\mu(d)</math> jest znana jako '''funkcja Mobiusa''', | |||
Funkcja <math>\mu(d)</math> jest znana jako {{kotwica|funmob|'''funkcja Mobiusa'''|}}, | |||
na cześć niemieckiego matematyka Augusta Ferdynanda Mobiusa, | na cześć niemieckiego matematyka Augusta Ferdynanda Mobiusa, | ||
który jako pierwszy użył jej w 1831 roku. | który jako pierwszy użył jej w 1831 roku. | ||
Linia 992: | Linia 1020: | ||
teorii grup i teorii ciał. | teorii grup i teorii ciał. | ||
{{obserwacja||| | {{obserwacja|11.15|obs 11.15| | ||
Dla dowolnego <math>n\geqslant2</math> mamy | Dla dowolnego <math>n\geqslant2</math> mamy | ||
<math>\sum_{d|n}\mu(d)=0 | <math>\sum_{d|n}\mu(d)=0</math> | ||
</math> | |||
}} | }} | ||
Linia 1013: | Linia 1039: | ||
A zatem: | A zatem: | ||
<center><math>\sum_{d|n}\mu(d)=1-{k\choose 1}+{k\choose2}- \ldots+(-1)^k{k\choose k}=0 | |||
</math></center> | <center><math>\sum_{d|n}\mu(d)=1-{k\choose 1}+{k\choose2}- \ldots+(-1)^k{k\choose k}=0</math></center> | ||
}} | }} | ||
{{obserwacja|wzór inwersyjny Mobiusa|| | {{obserwacja|11.16 [wzór inwersyjny Mobiusa]|obs 11.16| | ||
Dla dowolnych funkcji <math>f,g : \mathbb{N} \longrightarrow \mathbb{R}</math>, | Dla dowolnych funkcji <math>f,g : \mathbb{N} \longrightarrow \mathbb{R}</math>, | ||
jeśli <math>f(n)=\sum_{d|n}g(d)</math>, to <math>g(n)=\sum_{d|n}\mu(d)f(\frac{n}{d})</math>. | jeśli <math>f(n)=\sum_{d|n}g(d)</math>, to <math>g(n)=\sum_{d|n}\mu(d)f(\frac{n}{d})</math>. | ||
Linia 1027: | Linia 1053: | ||
Ponieważ | Ponieważ | ||
<center><math>f(n)= \sum_{d|n}g(d) | |||
</math></center> | <center><math>f(n)= \sum_{d|n}g(d)</math>,</center> | ||
to | to | ||
<center><math>\ | |||
<center><math>\begin{align} \sum_{d|n} \mu(d) f\left(\frac{n}{d}\right) | |||
&=\sum_{d|n} \mu(d)\sum_{c|\frac{n}{d}}g(c)\\ | &=\sum_{d|n} \mu(d)\sum_{c|\frac{n}{d}}g(c)\\ | ||
&=\sum_{d|n,c|\frac{n}{d}} \mu(d)g(c). | &=\sum_{d|n,c|\frac{n}{d}} \mu(d)g(c). | ||
\ | \end{align}</math></center> | ||
Zauważmy, iż <math>{\left\{ {(c,d):d|n,c|\frac{n}{d}} \right\} }={\left\{ {(c,d):c|n,d|\frac{n}{c}} \right\} }</math>. | Zauważmy, iż <math>{\left\{ {(c,d):d|n,c|\frac{n}{d}} \right\} }={\left\{ {(c,d):c|n,d|\frac{n}{c}} \right\} }</math>. | ||
Zatem | Zatem | ||
<center><math>\ | |||
<center><math>\begin{align} \sum_{d|n} \mu(d) f\left(\frac{n}{d}\right) | |||
&=\sum_{c|n,d|\frac{n}{c}}\mu(d)g(c)\\ | &=\sum_{c|n,d|\frac{n}{c}}\mu(d)g(c)\\ | ||
&=\sum_{c|n}g(c)\sum_{d|\frac{n}{c}}\mu(d). | &=\sum_{c|n}g(c)\sum_{d|\frac{n}{c}}\mu(d). | ||
\ | \end{align}</math></center> | ||
Z | Z [[#obs_11.15|Obserwacji 11.15]] wiemy, | ||
że wewnętrze sumy zerują się | że wewnętrze sumy zerują się | ||
dla wszystkich <math>\frac{n}{c}\geqslant2</math>. | dla wszystkich <math>\frac{n}{c}\geqslant2</math>. | ||
Zatem jedyny interesujący składnik zewnętrznej sumy dostajemy przy <math>c=n</math>: | Zatem jedyny interesujący składnik zewnętrznej sumy dostajemy przy <math>c=n</math>: | ||
<center><math>\ | |||
<center><math>\begin{align} \sum_{d|n} \mu(d) f\left(\frac{n}{d}\right) | |||
&=\sum_{c|n}g(c)\sum_{d|\frac{n}{c}}\mu(d)\\ | &=\sum_{c|n}g(c)\sum_{d|\frac{n}{c}}\mu(d)\\ | ||
&=g(n)\sum_{d|1}\mu(d)=g(n)\mu(1)=g(n). | &=g(n)\sum_{d|1}\mu(d)=g(n)\mu(1)=g(n). | ||
\ | \end{align}</math></center> | ||
}} | }} | ||
Linia 1060: | Linia 1093: | ||
do wyprowadzenia następującego wniosku: | do wyprowadzenia następującego wniosku: | ||
{{wniosek||| | {{wniosek|11.17|wn 11.17| | ||
<math>\sum_{d|n} \varphi(d) = n</math>. | <math>\sum_{d|n} \varphi(d) = n</math>. | ||
}} | }} |
Aktualna wersja na dzień 21:47, 11 wrz 2023
Arytmetyka modularna
Liczby przystające modulo to takie dwie liczby , dla których różnica jest wielokrotnością . Fakt ten zapisujemy jako . Innymi słowy, jeśli i mają te same reszty w dzieleniu przez .
Obserwacja 11.
Dla dowolnych oraz zachodzi:
- ,
- wtedy i tylko wtedy, gdy ,
- jeśli i to .
Powyższe własności świadczą o tym, że przystawanie modulo jest relacją równoważności na zbiorze . Dlatego czasem relacja ta nazywana jest równością modulo . Okazuje się też, że relacja jest zgodna z działaniami arytmetycznymi: dodawania, odejmowania i mnożenia, a więc jest kongruencją ze względu na te działania.
Obserwacja 11.2
Dla dowolnych oraz mamy:
- jeśli i , to ,
- jeśli i , to ,
- jeśli i , to .
Podane w dwu poprzednich obserwacjach własności relacji równości modulo pozwalają na wprowadzenie działań w zbiorze ilorazowym , tzn. w zbiorze klas równoważności. , poprzez:
- ,
- ,
- ,
Ponieważ w każdej klasie jest jakaś liczba spośród , a mianowicie reszta z dzielenia liczby przez , to wygodniej jest po prostu mówić o arytmetyce (modularnej) na zbiorze tych reszt i pisać np.:
- ,
- ,
- .
Tak więc, dla możemy zidentyfikować zbiór ilorazowy ze zbiorem reszt modulo . Po wprowadzeniu do tego zbioru działań arytmetycznych dostajemy pierścień, przemienny z jedynką . Pierścień ten nie zawsze jest jednak ciałem. Istotnie, nie zawsze możemy skracać w mnożeniu czynnik zachowując kongruencję. Dla przykładu: , ale . Okazuje się, że w równości modulo możemy skracać czynniki względnie pierwsze z .
Obserwacja 11.3 [Reguła skracania]
Dla , jeśli i , to .
Dowód
Ponieważ , rozszerzony algorytm Euklidesa gwarantuje istnienie takich, że , czyli . Mnożąc teraz obie strony przez , otrzymujemy , czyli .

Przykład
- oraz implikuje ,
- oraz implikuje .
Chcąc móc skracać w pierscieniu dowolne niezerowe czynniki wymagamy, by wszystkie liczby były względnie pierwsze z . To nic innego, jak wymaganie, by było liczbą pierwszą.
Obserwacja 11.4
Pierścień jest ciałem, wtedy i tylko wtedy, gdy jest liczba pierwszą.
Rozwiązywanie równań modularnych
Oczywiście w ciele, każde równanie postaci ma dokładnie jedno rozwiązanie , o ile . Zobaczmy czy są, jak wyglądają i jak otrzymać rozwiązania równania modularnego postaci w liczbach całkowitych , gdzie oraz .
Obserwacja 11.5
Dla rozwiązania równania modularnego z jedną niewiadomą :
zależą od wielkości w następujący sposób:
- jeśli ,
to istnieje nieskończenie wiele rozwiązań; wszystkie one są postaci , gdzie jest jakimś rozwiązaniem, a ,
- jeśli ,
to równanie ma rozwiązanie wtedy i tylko wtedy, gdy również . W tym przypadku rozwiązania równania pokrywają się z rozwiązaniami równania .
Ponadto,
- ponadto, jeśli , to rozwiązanie
równania , lub jego brak, można wskazać wykonując operacji bitowych.
Dowód
Zauważmy najpierw, że jeśli są resztami z dzielenia odpowiednio i przez , to rozwiązania równań i są takie same. Istotnie, wynika to natychmiast z tego, że oraz . Możemy więc przyjąć, że . Ponadto odnotujmy, że z tych samych powodów, jeśli spełnia równanie, to spełnia je również każda liczba postaci , gdzie .
Załóżmy najpierw, że . Rozszerzony algorytm Euklidesa gwarantuje istnienie takich, że . Łatwo teraz sprawdzić, że reszta z dzielenia przez jest rozwiązaniem. A więc i wszystkie liczby postaci , są również rozwiązaniami. Pozostaje pokazać, że wszystkie rozwiązania są takiej właśnie postaci. Niech więc . Ponieważ , to możemy skrócić otrzymując , co implikuje że , dla pewnej liczby całkowitej .
Niech teraz . Najpierw pokażemy, że jeśli równanie ma rozwiązanie, to . Rzeczywiście, jeśli dla pewnego , to , a więc i . Ale , więc . Na odwrót, gdy , to liczby są podzielne przez . Niech więc , i . Wtedy i, na mocy pierwszego punktu, równanie ma nieskończenie wiele rozwiązań. Pozostaje pokazać, że są to te same rozwiązania, co dla równania . Niech więc . Wtedy . Gdy zaś , to dla pewnego . A zatem i, po wydzieleniu przez , dostajemy , czyli .
Na podstawie dowodu poprzednich dwu punktów wiemy więc, że by rozwiązać równanie wystarczy:
- policzyć oraz współczynniki takie, że ,
- jeśli , to jest poszukiwanym rozwiązaniem,
- jeśli i , to równanie nie posiada rozwiązań,
- jeśli i , to jest szukanym rozwiązaniem.
W pierwszym punkcie rozszerzony algorytm Euklidesa pracuje w czasie , bo . W kolejnych punktach wykonywane są jedynie podstawowe operacje arytmetyczne, a więc wykonywanych jest operacji bitowych. Podsumowując, aby znaleźć rozwiązanie rozważanego równania (bądź stwierdzić ich brak) wystarczy operacji bitowych.

Wniosek 11.6
Jeśli jest liczbą pierwszą, to równania postaci dla dowolnych i zawsze mają rozwiązanie i można je znaleźć wykonując operacji bitowych.
Przykład
Rozwiążemy równanie .
- , czyli równanie ma nieskończenie wiele rozwiązań,
- ,
czyli zbiór rozwiązań to .
A następnie równanie .
- , ale , czyli równanie nie ma rozwiązania.
Wreszcie rozważmy równanie .
- oraz , czyli równanie ma nieskończenie wiele rozwiązań,
- ,
czyli zbiór rozwiązań to .
Czasem jedną kongruencję wygodnie jest zamienić na układ kongruencji wykorzystując następującą własność.
Obserwacja 11.7
Niech , gdzie i . Wtedy jest równoważne temu, że równocześnie i .
Dowód
Jeśli , to . A więc oczywiście i , co jest równoważne z i . Dla dowodu implikacji odwrotnej, że jest ona trywialna dla i wobec tego przyjmijmy (bez straty ogólności), że . Załóżmy też, że i . Ponieważ , to rozkłady liczb i nie mają wspólnych czynników pierwszych. Natomiast rozkład musi zawierać wszystkie liczby pierwsze z rozkładów i w odpowiednio wysokich potęgach. To dowodzi, iż , czyli .

Poprzednia obserwacja prowadzi do twierdzenia powszechnie znanego jako Chińskie Twierdzenie o Resztach. Udowodnił je chiński matematyk Sun Tzu w III wieku n.e. ( nie mylić z Sun Tzu, myślicielem, filozofem, autorem Sztuki wojny).
Twierdzenie 11.7 [Chińskie twierdzenie o resztach]
Niech będą parami względnie pierwsze, tzn. dla . Wtedy dla dowolnych istnieje dokładnie jedna liczba taka, że:
Dowód
Niech . Dla liczby rozważmy ciąg reszt z dzielenia odpowiednio przez .
Niech teraz . Gdyby , to
Z drugiej strony , więc stosując wielokrotnie
Obserwację 11.7
otrzymujemy , czyli , co jest niemożliwe wobec .
Sprzeczność ta pokazuje, że liczby ze zbioru
mają różne ciągi reszt.
Oznacza to, że ciągów postaci jest dokładnie ,
czyli tyle ile wszystkich
możliwych ciągów w .
Tym samym przyporządkowanie
jest bijekcją, co kończy dowód twierdzenia.

Chińskie Twierdzenie o Resztach podaje warunki wystarczające na istnienie rozwiązania układu równań modularnych (1). Nie podaje jednak metody jego uzyskania.
Konstrukcja rozwiązania.
Niech , czyli jest iloczynem wszystkich poza . Oczywiście, . Rozszerzony algorytm Euklidesa pozwala więc znaleźć liczby takie, że . Połóżmy
Wtedy dzieli wszystkie czynniki sumy poza -tym,
ponieważ dla .
A więc, dla dowolnego mamy:
To oznacza, że jest rozwiązaniem układu równań modularnych (1).
Oszacujmy czas działania tego algorytmu. Niech będą długościami odpowiednio . Wtedy ma długość co najwyżej . Kroki algorytmu można wykonać kolejno w czasie:
- na wyliczenie wszystkich iloczynów postaci oraz całego iloczynu ,
- na wyliczenie kolejnych współczynników , czyli -krotną aplikację rozszerzonego algorytmu Euklidesa dla liczb ,
- na obliczenie , czyli mnożeń i dodawań.
Podsumowując wszystkie kroki zostaną wykonane w czasie .
Przykład
Rozważmy układ równań:
- ,
czyli możemy zaaplikować Chińskie Twierdzenie o Resztach,
- ,
- ,
- ,
- ,
- .
Zgodnie z procedurą czterokrotnie używamy rozszerzonego algorytmu Euklidesa otrzymując :
- , ,
- , ,
- , ,
- , .
Pozostaje policzyć :
A więc jest najmniejszym dodatnim rozwiązaniem naszego układu równości.
Przykład
Rozważmy jeszcze jeden układ równań:
- ,
czyli możemy zaaplikować Chińskie Twierdzenie o Resztach,
- ,
- ,
- ,
- ,
- , ,
- , ,
- , .
Pozostaje nam obliczenie :
Zatem jest najmniejszym dodatnim rozwiązaniem naszego układu równań.
Potęgowanie modularne
Potęgowanie modularne. Naszym celem jest policzenie
Oczywiście, możemy założyć, że ,
bo inaczej najpierw można policzyć resztę z dzielenia przez ,
a dopiero potem , jako że .
Zauważmy, że w przeciwieństwie do zwykłego potęgowania
wynik nigdy nie przekracza , czyli nie rośnie wykładniczo w stosunku do .
Pozwala to żywić nadzieję na szybsze algorytmy potęgujące.
Dla rozgrzewki przeanalizujmy najpierw naiwny sposób liczenia potęgi modulo:
- Naiwne potęgowanie modulo. Wymnóż przez siebie -krotnie, po każdym mnożeniu weź resztę modulo . Branie reszty po każdym mnożeniu, utrzymuje tymczasowy iloczyn w zbiorze . Zatem wykonywanych jest mnożeń liczb -bitowych, czyli wykonywanych jest operacji bitowych. Jest to zatem algorytm działający w czasie wykładniczym względem rozmiaru wejścia .
- Szybkie potęgowanie modulo. Niech będzie binarnym zapisem liczby . Zauważmy, że .
Policzmy zatem w następujacy sposób kolejne potęgi występujące w iloczynie:
Tym sposobem wykonanych zostanie mnożeń i dzieleń liczb -bitowych, czyli operacji bitowych. Aby otrzymać wynik musimy jeszcze wymnożyć przez siebie te potęgi, ktorym odpowiada bit w liczbie . Wykonanych zostanie więc jeszcze co najwyżej mnożeń (które przeplatamy braniem reszty modulo ) liczb -bitowych.
W sumie wykonanych zostanie operacji bitowych, a więc znacznie mniej niż sposobem naiwnym. Przedstawiony algorytm jest efektywny (wielomianowy względem długości wejścia).
Przykład
- ,
- wyznaczamy wybrane potęgi modulo :
- ,
- ,
- ,
- .
- wykonane zostały tylko mnożenia!
Przykład
- ,
- wyznaczamy wybrane potęgi modulo :
- ,
- ,
- ,
- ,
- .
- .
Małe Twierdzenia Fermata
Małego Twierdzenia Fermata. nie należy mylić z tzw. Wielkim Twierdzeniem Fermata, które frapowało matematyków przez wiele stuleci i zostało ostatecznie udowodnione przez Andrew Wiles'a w 1994 roku.
Zgodnie ze swoim zwyczajem, podobnie jak i w przypadku Wielkiego Twierdzenia, Fermat przedstawił Małe Twierdzenie, nie podając dowodu. List, w którym się po raz pierwszy pojawiła ta teza, później nazwana Małym Twierdzeniem Fermata, został napisany dnia 18.IX.1640. Fermat dodał komentarz: "Propozycja ta jest prawdziwa dla wszystkich liczb pierwszych; jej dowód prześlę Ci, jeśli nie będzie zbyt długi". Pierwszy znany dowód tego twierdzenia przedstawił Leibniz w 1683 roku.
Twierdzenie 11.9 [Małe Twierdzenie Fermata]
Dla dowolnej liczby pierwszej i dowolnego zachodzi:
Dowód
Poznamy trzy różne dowody. Najpierw jednak zauważmy, że bez straty ogólności możemy przyjąć iż , gdyż w miejsce możemy rozważać resztę z dzielenia przez . Ponadto, zwróćmy uwagę, iż dla teza jest oczywista, natomiast dla wystarczy udowodnić, że:
Pierwszy dowód.
Dla rozważmy ciąg
reszt liczb modulo .
Pokażemy, że żadna wartość w tym ciągu się nie powtarza.
Niech i, dla dowodu niewprost, niech
Wtedy . Ponieważ jest liczba pierwszą to
lub .
Ponieważ jednak obie liczby oraz leżą w zbiorze ,
żaden z tych dwu przypadków nie jest możliwy.
A zatem .
Oczywiście , więc iloczyny pozostałych elementów w tych dwu zbiorach
muszą być równe, co daje:
lub inaczej:
Ponieważ jest liczbą pierwszą,
wszystkie liczby ze zbioru są względnie pierwsze z ,
więc i .
Można więc zastosować regułę skracania:
Drugi dowód.
Dla dowodu indukcyjnego względem zauważmy najpierw, że
w oczywisty sposób oraz
i załóżmy, że .
Aby udowodnić, że:
pokażemy znacznie mocniejszą równość
która przy i pozwoli zakończyć dowód indukcyjny.
Rozwijając dwumian mamy:
Współczynnik jest zawsze liczbą całkowitą.
Ponadto, jeśli , to wszystkie czynniki obu silni mianownika
są względnie pierwsze z , bo jest pierwsza, a czynniki te są mniejsze niż .
Oznacza to, iż w rozkładzie na czynniki pierwsze musi znaleźć się .
To zaś implikuje dla . A więc
Trzeci dowód.
Niech .

Przykład
Niech , . Symbolami alfabetu niech będą A,B,C.
Oto mocno skrócona lista wszystkich słów -literowych nad tym alfabetem.
AAAAAAA, | AAAAAAB, | AAAAAAC, | AAAAABA, | AAAAABB, | |
AAAAABC, | AAAAACA, | AAAAACB, | AAAAACC, | ... | |
... | |||||
CCCCCBB, | CCCCCBC, | CCCCCCA, | CCCCCCB, | CCCCCCC. |
Wszystkich takich słów jest . Pokażemy, że po usunięciu słów jednoliterowych, pozostałe słów będzie można podzielić na rozłączne -elementowe grupy. To oczywiście natychmiast da , czyli pożądaną równość .
Słowo nazwiemy przesunięciem cyklicznym słowa o liter, jeśli
Przykład
CBAABCB, | BAABCBC, | AABCBCB, | ABCBCBA, | BCBCBAA, | |
CBCBAAB, | BCBAABC. |
Przesunięcia cykliczne słowa ABCABC:
ABCABC, | BCABCA, | CABCAB. |
Drugi przykład pokazuje, że niektóre przesuniecia cyklicze sa równe.
W istocie mamy:
Lemat 11.10
Niech będzie słowem, którego nie da się przedstawić jako , dla żadnego słowa i żadnej liczby . Z kolei niech , dla pewnego . Wtedy słowo ma dokładnie różnych przesunięć cyklicznych.
Dowód
Oczywiście, jeśli liczba liter, o które różnią się dwa przesunięcia cykliczne jest wielokrotnością długousi słowa , to te dwa przesunięcia dają to samo słowo. A zatem ma co najwyżej różnych przesunięć cyklicznych. Z drugiej strony, gdyby dwa przesunięcia cykliczne słowa były równe, to dawałyby to samo słowo. Istotnie, gdy i są literami alfabetu, to każde przesunięcie cykliczne prowadzi do jednego ze słów z listy:
Ponieważ , pozostaje pokazać, że słowa na tej liście sa różne.
Dla dowodu niewprost, bez straty ogólności, możemy założyć, że:
dla pewnego . Wtedy
To z kolei prowadzi do ciągu równości w poniższym diagramie:
Czyli słowo jest postaci dla i ,
wbrew założeniom lematu.

Wyposażeni w Lemat, możemy powrócić do trzeciego dowodu Małego Twierdzenia Fermata. Niech więc będzie słowem, w którym występują dwie różne litery alfabetu. Słowo to nie może być postaci , gdzie , gdyż inaczej , a skoro jest liczbą pierwszą, to lub . W pierwszym przypadku jest jednoliterowe, a w drugim i . A zatem każde z słów ma dokładnie różnych przesunięć cyklicznych. To dowodzi, iż , czyli .
W jednym z dalszych wykładów poznamy jeszcze jeden dowód Małego Twierdzenia Fermata, oparty na elementarnej wiedzy z teorii grup.
Potęgowanie modulo liczba pierwsza.
Wykorzystując Małe Twierdzenie Fermata możemy trochę poprawić szybkość potęgowania modularnego. Asymptotycznie jednak złożoność pozostanie taka sama. Zauważmy bowiem, że:
gdzie jest resztą z dzielenia przez .
Przykład
Policzmy .
- jest liczba pierwszą, czyli możemy skorzystać z Małego Twierdzenia Fermata,
- ,
- ,
- ,
- liczymy wybrane potęgi modulo :
- ,
- .
- .
- wykonaliśmy mnożenia.
Twierdzenie Eulera
Poznamy teraz uogólnienie Małego Twierdzenia Fermata pochodzące od Eulera. Uogólnienie to leży u podstaw znanego systemu kryptograficznego - RSA. Potrzebne nam będzie funkcja zliczające liczby względnie pierwsze z liczbą .
Funkcja -Eulera to zdefiniowaną poprzez
Obserwacja 11.11
Dla dowolnej liczby pierwszej zachodzi:
- ,
- .
Dowód
Ponieważ jest pierwsza, liczby są z nią względnie pierwsze, co dowodzi pierwszego punktu. Dla dowodu punktu drugiego zauważmy najpierw, że jedynie wielokrotności liczby mają nietrywialny wspólny dzielnik z . Wielokrotności tych w przedziale [] jest dokładnie , stąd .

Obserwacja 11.12
Dla dowolnych takich, że zachodzi
Dowód
Z Chińskiego Twierdzenia o Resztach wiemy, iż każda liczba z przedziału jest jednoznacznie wyznaczona przez jej reszty modulo i modulo . Wiemy także, że dla dowolnego :
wtedy i tylko wtedy, gdy .
To oznacza, iż liczb takich, że
jest dokładnie tyle co par takich, że
,
oraz , .

Wniosek 11.13
Jeśli jest rozkładem na liczby pierwsze , w którym , to:
gdzie ostatnim iloczyn przebiega po wszystkich liczbach pierwszych dzielących .
Przykład
Policzmy :
- ,
- .
Oraz :
- ,
- .
Twierdzenie 11.14 [Euler 1736]
Dla dowolnych , gdzie zachodzi:
Dowód
Zmodyfikujmy pierwszy z poznanych dowodów Małego Twierdzenia Fermata. Niech będą wszystkimi liczbami względnie pierwszymi z i niewiększymi od . Rozważmy ciąg
reszt liczb modulo .
Pokażemy, że żadna wartość w tym ciągu się nie powtarza.
Niech i, dla dowodu niewprost, niech
Wtedy , a ponieważ ,
to , co jest niemożliwe wobec .
Ponadto pokażmy, że każde jest względnie pierwsze z . Załóżmy zatem, że oraz . Ponieważ dla pewnego , to . Z drugiej strony , i , co daje i . A więc , czyli w istocie .
Wiemy więc, że liczby przyjmują wszystkie wartości i każdą tylko raz. A zatem
Ponieważ liczby są względnie pierwsze z
możemy zastosować regułę skracania, by dostać

Zastosowanie Twierdzenia Eulera do szybkiego potęgowania.
Twierdzenie Eulera, tak jak uprzednio Twierdzenie Fermata, możemy wykorzystać do przyspieszenia potęgowania modularnego. Wymaga to jednak, by podstawa potęgi była względnie pierwsza z modułem . Jest to istotnie słabszy warunek, niż ten wymagany przez Małe Twierdzenie Fermata. Zwracamy jednak uwagę, że aby zastosować Twierdzenie Eulera musimy w szczególności znać wartość funkcji dla modułu . Jak się przekonamy podczas poznawania algorytmu RSA, wartość jest jednak jest tak trudna do policzenia, jak rozkład na czynniki pierwsze.
Przykład
Spróbujmy policzyć .
- , czyli możemy skorzystać z Twierdzenia Eulera,
- ,
- ,
- ,
- ,
- liczymy wybrane potęgi modulo :
- ,
- ,
- .
- .
Funkcja Mobiusa
Choć Wniosek 11.13 wyprowadziliśmy już bezpośrednio z Obserwacji 11.11 i 11.12, na zakończenie tego wykładu przedstawimy jego alternatywny dowód. Metoda użyta w tym alternatywnym dowodzie będzie przydatna w kilku innych sytuacjach.
Dowód
Niech będzie rozkładem na liczby pierwsze , w którym . Zdefiniujmy jako zbiór wielokrotności liczby w . Wtedy . Korzystając z Zasady Włączania i Wyłączania otrzymujemy
gdzie
.
Zauważmy, że zbiór
składa się z wielokrotności liczby ,
czyli liczb .
Zatem
,
skąd
Teraz łatwo już policzyć

Przyjrzyjmy się temu dowodowi trochę dokładniej. Analizując ostatnią sumę dla mamy
Po prawej stronie mamy naprzemienną sumę składników ,
gdzie przebiega kolejne dzielniki liczby ,
będące iloczynem różnych liczb pierwszych.
Czynnik jest dodawany, jeśli jest iloczynem parzystej liczby liczb pierwszych
i odejmowany, jeśli jest iloczynem nieparzystej liczby liczb pierwszych.
Zależność tę możemy ogólniej zapisać w postaci
gdzie zadana jest przez:
Funkcja jest znana jako funkcja Mobiusa,
na cześć niemieckiego matematyka Augusta Ferdynanda Mobiusa,
który jako pierwszy użył jej w 1831 roku.
Funkcja Mobiusa pojawia się nieoczekiwanie w wielu rozważaniach Matematyki Dyskretnej.
Pojawi się też i u nas w wykładach poświęconych
teorii grup i teorii ciał.
Obserwacja 11.15
Dla dowolnego mamy
Dowód
Niech . Wtedy każdy dzielnik liczby ma rozkład , gdzie . Jeśli choć jedno , to . Rozważmy więc tylko te dzielniki dla których . Każdy taki dzielnik wyznacza jednoznacznie pewien podzbiór zbioru , przy czym wartościom , dla których odpowiadają podzbiory o parzystej liczbie elementów, a wartościom , dla których odpowiadają podzbiory o nieparzystej liczbie elementów. A zatem:

Obserwacja 11.16 [wzór inwersyjny Mobiusa]
Dla dowolnych funkcji , jeśli , to .
Dowód
Ponieważ
to
Zauważmy, iż .
Zatem
Z Obserwacji 11.15 wiemy,
że wewnętrze sumy zerują się
dla wszystkich .
Zatem jedyny interesujący składnik zewnętrznej sumy dostajemy przy :

Jako ćwiczenie pozostawiamy użycie wzoru inwersyjnego Mobiusa do wyprowadzenia następującego wniosku:
Wniosek 11.17
.