Matematyka dyskretna 1/Ćwiczenia 11: Teoria liczb II: Różnice pomiędzy wersjami
Nie podano opisu zmian |
|||
Linia 1: | Linia 1: | ||
==Teoria liczb II== | ==Teoria liczb II== | ||
{{cwiczenie| | {{cwiczenie|1|cw 1| | ||
Podaj zbiór rozwiązań następujących równań: | Podaj zbiór rozwiązań następujących równań: | ||
* | * <math>\displaystyle 21x\equiv _{36}5</math>, | ||
<math>\displaystyle 21x\equiv _{36}5</math>, | * <math>\displaystyle 4x\equiv_7 6</math>, | ||
* | * <math>\displaystyle 3x\equiv_{33}27</math>, | ||
<math>\displaystyle 4x\equiv_7 6</math>, | * <math>\displaystyle 3x\equiv_{100}59</math>, | ||
* | * <math>\displaystyle 2x\equiv_4 3</math>, | ||
<math>\displaystyle 3x\equiv_{33}27</math>, | * <math>\displaystyle 16x\equiv_{24}8</math>. | ||
* | |||
<math>\displaystyle 3x\equiv_{100}59</math>, | |||
* | |||
<math>\displaystyle 2x\equiv_4 3</math>, | |||
* | |||
<math>\displaystyle 16x\equiv_{24}8</math>. | |||
}} | }} | ||
Linia 21: | Linia 14: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | <div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Rozwiązanie </span><div class="mw-collapsible-content" style="display:none"> | ||
* Równanie <math>\displaystyle 21x\equiv _{36}5</math>: | * Równanie <math>\displaystyle 21x\equiv _{36}5</math>: | ||
** | ** NWD <math>\displaystyle (21,36)=3</math> ale <math>\displaystyle 3\not|5</math>, czyli równanie nie ma rozwiązań. | ||
* Równanie <math>\displaystyle 4x\equiv_7 6</math>: | * Równanie <math>\displaystyle 4x\equiv_7 6</math>: | ||
** | ** NWD <math>\displaystyle (4,7)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
** <math>\displaystyle 1=2\cdot4-7</math>, czyli zbiór rozwiązań | ** <math>\displaystyle 1=2\cdot4-7</math>, czyli zbiór rozwiązań to <math>\displaystyle \left\lbrace 2\cdot6+7k;k\in\mathbb{Z} \right\rbrace=\left\lbrace 5+7k:k\in\mathbb{Z} \right\rbrace</math>. | ||
to <math>\displaystyle \left\lbrace 2\cdot6+7k;k\in\mathbb{Z} \right\rbrace=\left\lbrace 5+7k:k\in\mathbb{Z} \right\rbrace</math>. | |||
* Równanie <math>\displaystyle 3x\equiv_{33}27</math>: | * Równanie <math>\displaystyle 3x\equiv_{33}27</math>: | ||
** NWD <math>\displaystyle (3,33)=3</math> oraz <math>\displaystyle 3|27</math> czyli równanie ma nieskończenie wiele rozwiązań, | ** NWD <math>\displaystyle (3,33)=3</math> oraz <math>\displaystyle 3|27</math> czyli równanie ma nieskończenie wiele rozwiązań, | ||
** <math>\displaystyle 3=1\cdot3+0\cdot33</math>, czyli zbiór rozwiązań | ** <math>\displaystyle 3=1\cdot3+0\cdot33</math>, czyli zbiór rozwiązań to <math>\displaystyle \left\lbrace 1\cdot\frac{27}{3}+\frac{33}{3}k:k\in\mathbb{Z} \right\rbrace=\left\lbrace 9+11k:k\in\mathbb{Z} \right\rbrace</math>. | ||
to <math>\displaystyle \left\lbrace 1\cdot\frac{27}{3}+\frac{33}{3}k:k\in\mathbb{Z} \right\rbrace=\left\lbrace 9+11k:k\in\mathbb{Z} \right\rbrace</math>. | |||
* Równanie <math>\displaystyle 3x\equiv_{100}59</math>: | * Równanie <math>\displaystyle 3x\equiv_{100}59</math>: | ||
** NWD <math>\displaystyle (3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ** NWD <math>\displaystyle (3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
** <math>\displaystyle 1=-33\cdot3+100</math>, czyli zbiór rozwiązań | ** <math>\displaystyle 1=-33\cdot3+100</math>, czyli zbiór rozwiązań to <math>\displaystyle \left\lbrace -33\cdot59+100k:k\in\mathbb{Z}\right\rbrace=\left\lbrace 53+100k:k\in\mathbb{Z} \right\rbrace</math>. | ||
to <math>\displaystyle \left\lbrace -33\cdot59+100k:k\in\mathbb{Z} \right\rbrace=\left\lbrace 53+100k:k\in\mathbb{Z} \right\rbrace</math>. | |||
* Równanie <math>\displaystyle 2x\equiv_4 3</math>: | * Równanie <math>\displaystyle 2x\equiv_4 3</math>: | ||
** NWD <math>\displaystyle (2,4)=2</math> ale <math>\displaystyle 2\not|3</math>, czyli równanie nie ma rozwiązań. | ** NWD <math>\displaystyle (2,4)=2</math> ale <math>\displaystyle 2\not|3</math>, czyli równanie nie ma rozwiązań. | ||
* Równanie <math>\displaystyle 16x\equiv_{24}8</math>: | * Równanie <math>\displaystyle 16x\equiv_{24}8</math>: | ||
** NWD <math>\displaystyle (16,24)=8</math> oraz <math>\displaystyle 8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ** NWD <math>\displaystyle (16,24)=8</math> oraz <math>\displaystyle 8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
** <math>\displaystyle 8=-1\cdot16+24</math>, czyli zbiór rozwiązań | ** <math>\displaystyle 8=-1\cdot16+24</math>, czyli zbiór rozwiązań to <math>\displaystyle \left\lbrace -1\cdot\frac{8}{8}+\frac{24}{8}k:k\in\mathbb{Z} \right\rbrace=\left\lbrace 2+3k:k\in\mathbb{Z} \right\rbrace</math>. | ||
to <math>\displaystyle \left\lbrace -1\cdot\frac{8}{8}+\frac{24}{8}k:k\in\mathbb{Z} \right\rbrace=\left\lbrace 2+3k:k\in\mathbb{Z} \right\rbrace</math>. | |||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|2|cw 2| | ||
Wyznacz najmniejsze, nieujemne rozwiązania układu równań: | |||
<center><math>\displaystyle \aligned x&\equiv_3&2,\\ | <center><math>\displaystyle \aligned x&\equiv_3&2,\\ | ||
Linia 52: | Linia 41: | ||
x&\equiv_{16}&5. | x&\equiv_{16}&5. | ||
\endaligned</math></center> | \endaligned</math></center> | ||
}} | }} | ||
Linia 66: | Linia 56: | ||
Zgodnie z procedurą czterokrotnie używamy rozszerzonego algorytmu Euklidesa | Zgodnie z procedurą czterokrotnie używamy rozszerzonego algorytmu Euklidesa | ||
otrzymując <math>\displaystyle x_1,x_2,x_3,x_4</math>: | otrzymując <math>\displaystyle x_1,x_2,x_3,x_4</math>: | ||
* | * NWD <math>\displaystyle (3,880)=1=-293\cdot3+1\cdot880</math>, <math>\displaystyle x_1=1</math>, | ||
* | * NWD <math>\displaystyle (5,528)=1=-211\cdot5+2\cdot528</math>, <math>\displaystyle x_2=2</math>, | ||
* | * NWD <math>\displaystyle (11,240)=1=-109\cdot11+5\cdot240</math>, <math>\displaystyle x_3=5</math>, | ||
* | * NWD <math>\displaystyle (16,165)=1=31\cdot16-3\cdot165</math>, <math>\displaystyle x_4=-3</math>. | ||
Pozostaje policzyć <math>\displaystyle x</math>: | Pozostaje policzyć <math>\displaystyle x</math>: | ||
<center><math>\displaystyle \aligned x&=2\cdot1\cdot880+3\cdot2\cdot528+4\cdot5\cdot240+5\cdot(-3)\cdot165\\ | <center><math>\displaystyle \aligned x&=2\cdot1\cdot880+3\cdot2\cdot528+4\cdot5\cdot240+5\cdot(-3)\cdot165\\ | ||
Linia 77: | Linia 68: | ||
&=7253\equiv_{2640}1973. | &=7253\equiv_{2640}1973. | ||
\endaligned</math></center> | \endaligned</math></center> | ||
A więc <math>\displaystyle 1973</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań. | A więc <math>\displaystyle 1973</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań. | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|3|cw 3| | ||
Wyznacz najmniejsze, nieujemne rozwiązania układu równań: | |||
<center><math>\displaystyle \aligned x&\equiv_{31}&23,\\ | <center><math>\displaystyle \aligned x&\equiv_{31}&23,\\ | ||
Linia 89: | Linia 81: | ||
x&\equiv_{35}&12. | x&\equiv_{35}&12. | ||
\endaligned</math></center> | \endaligned</math></center> | ||
}} | }} | ||
Linia 102: | Linia 95: | ||
Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa | Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa | ||
otrzymując <math>\displaystyle x_1,x_2,x_3</math>: | otrzymując <math>\displaystyle x_1,x_2,x_3</math>: | ||
* | * NWD <math>\displaystyle (31,420)=1=-149\cdot31+11\cdot420</math>, <math>\displaystyle x_1=11</math>, | ||
* | * NWD <math>\displaystyle (12,1085)=1=-452\cdot12+5\cdot1085</math>, <math>\displaystyle x_2=5</math>, | ||
* | * NWD <math>\displaystyle (35,372)=1=-85\cdot35+8\cdot372</math>, <math>\displaystyle x_3=8</math>. | ||
Pozostaje policzyć <math>\displaystyle x</math>: | Pozostaje policzyć <math>\displaystyle x</math>: | ||
<center><math>\displaystyle \aligned x&=23\cdot11\cdot420+7\cdot5\cdot1085+12\cdot8\cdot372\\ | <center><math>\displaystyle \aligned x&=23\cdot11\cdot420+7\cdot5\cdot1085+12\cdot8\cdot372\\ | ||
Linia 112: | Linia 106: | ||
&=179947\equiv_{13020}10687.\\ | &=179947\equiv_{13020}10687.\\ | ||
\endaligned</math></center> | \endaligned</math></center> | ||
A więc <math>\displaystyle 10687</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań. | A więc <math>\displaystyle 10687</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań. | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|4|cw 4| | ||
Policz wartości funkcji Eulera: | Policz wartości funkcji Eulera: | ||
* <math>\displaystyle \varphi(10)</math>, | * <math>\displaystyle \varphi(10)</math>, | ||
Linia 132: | Linia 126: | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|5|cw 5| | ||
Policz możliwie szybko: | Policz możliwie szybko: | ||
* | * <math>\displaystyle 16^{75} </math> { mod} <math>\displaystyle 35</math>, | ||
<math>\displaystyle 16^{75} </math> { mod} <math>\displaystyle 35</math>, | * <math>\displaystyle 2^{100} </math> { mod} <math>\displaystyle 3</math>, | ||
* | * <math>\displaystyle 21^{55} </math> { mod} <math>\displaystyle 32</math>. | ||
<math>\displaystyle 2^{100} </math> { mod} <math>\displaystyle 3</math>, | |||
* | |||
<math>\displaystyle 21^{55} </math> { mod} <math>\displaystyle 32</math>. | |||
}} | }} | ||
Linia 170: | Linia 160: | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|6|cw 6| | ||
Funkcja <math>\displaystyle f</math> liczbowa określona na zbiorze <math>\displaystyle \mathbb{N}</math> jest multyplikatywna, | Funkcja <math>\displaystyle f</math> liczbowa określona na zbiorze <math>\displaystyle \mathbb{N}</math> jest multyplikatywna, | ||
jeśli dla dowolnych względnie pierwszych <math>\displaystyle m,n\in\mathbb{N}</math> zachodzi | jeśli dla dowolnych względnie pierwszych <math>\displaystyle m,n\in\mathbb{N}</math> zachodzi | ||
<center><math>\displaystyle f(mn)=f(m)f(n). | <center><math>\displaystyle f(mn)=f(m)f(n). | ||
</math></center> | </math></center> | ||
Widzieliśmy, że <math>\displaystyle \varphi</math>-Eulera jest multyplikatywna. | |||
Pokaż, że: | Widzieliśmy, że <math>\displaystyle \varphi</math>-Eulera jest multyplikatywna. Pokaż, że: | ||
# | # funkcja <math>\displaystyle \mu</math> Mobiusa jest multyplikatywna, | ||
funkcja <math>\displaystyle \mu</math> Mobiusa jest multyplikatywna, | # jeśli funkcja <math>\displaystyle f(n)=\sum_{d|n}g(d)</math> jest multyplikatywna to <math>\displaystyle g(n)</math> też. | ||
# | |||
jeśli funkcja <math>\displaystyle f(n)=\sum_{d|n}g(d)</math> jest multyplikatywna to <math>\displaystyle g(n)</math> też. | |||
}} | }} | ||
Linia 196: | Linia 184: | ||
to względna pierwszość <math>\displaystyle m</math> i <math>\displaystyle n</math> gwarantuje, | to względna pierwszość <math>\displaystyle m</math> i <math>\displaystyle n</math> gwarantuje, | ||
że nie powtarzają się także w rozkładzie iloczynu: | że nie powtarzają się także w rozkładzie iloczynu: | ||
<math>\displaystyle mn=p_1\cdot\ldots\cdot p_kq_1\cdot\ldots\cdot q_l</math>. | <math>\displaystyle mn=p_1\cdot\ldots\cdot p_kq_1\cdot\ldots\cdot q_l</math>. Mamy więc: | ||
Mamy więc: | |||
<center><math>\displaystyle \mu(mn)=(-1)^{k+l}=(-1)^k(-1)^l=\mu(m)\mu(n), | <center><math>\displaystyle \mu(mn)=(-1)^{k+l}=(-1)^k(-1)^l=\mu(m)\mu(n), | ||
</math></center> | </math></center> | ||
co dowodzi punktu 1. | co dowodzi punktu 1. | ||
Linia 210: | Linia 199: | ||
udowodnionej powyżej multyplikatywności <math>\displaystyle \mu</math> | udowodnionej powyżej multyplikatywności <math>\displaystyle \mu</math> | ||
i założonej multyplikatywności <math>\displaystyle f</math> mamy: | i założonej multyplikatywności <math>\displaystyle f</math> mamy: | ||
<center><math>\displaystyle \aligned g(mn)&=\sum_{d|mn}\mu(d)f\left( \frac{mn}{d} \right)=\sum_{d_0|m,d_1|n}\mu(d_0d_1)f\left( \frac{mn}{d_0d_1} \right)\\ | <center><math>\displaystyle \aligned g(mn)&=\sum_{d|mn}\mu(d)f\left( \frac{mn}{d} \right)=\sum_{d_0|m,d_1|n}\mu(d_0d_1)f\left( \frac{mn}{d_0d_1} \right)\\ | ||
Linia 215: | Linia 205: | ||
&=g(m)g(n). | &=g(m)g(n). | ||
\endaligned</math></center> | \endaligned</math></center> | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|7|cw 7| | ||
Udowodnij, że liczba naturalna <math>\displaystyle n>1</math> | Udowodnij, że liczba naturalna <math>\displaystyle n>1</math> | ||
jest pierwsza wtedy i tylko wtedy, gdy <math>\displaystyle (n-1)!\equiv_n-1</math>. | jest pierwsza wtedy i tylko wtedy, gdy <math>\displaystyle (n-1)!\equiv_n-1</math>. | ||
Linia 265: | Linia 255: | ||
Te dwie uwagi dają, że w iloczynie | Te dwie uwagi dają, że w iloczynie | ||
<center><math>\displaystyle (n-1)!=1\cdot2\cdot\ldots\cdot(n-1) | <center><math>\displaystyle (n-1)!=1\cdot2\cdot\ldots\cdot(n-1) | ||
</math></center> | </math></center> | ||
każdy czynnik <math>\displaystyle a \neq 1,n-1</math> ma czynnik <math>\displaystyle a'\neq a</math> do siebie odwrotny, | każdy czynnik <math>\displaystyle a \neq 1,n-1</math> ma czynnik <math>\displaystyle a'\neq a</math> do siebie odwrotny, | ||
tzn. taki, że <math>\displaystyle aa' \equiv_n 1</math>. | tzn. taki, że <math>\displaystyle aa' \equiv_n 1</math>. A zatem | ||
A zatem | |||
<center><math>\displaystyle (n-1)!\equiv_n1\cdot(n-1)\equiv_n-1. | <center><math>\displaystyle (n-1)!\equiv_n1\cdot(n-1)\equiv_n-1. | ||
</math></center> | </math></center> | ||
</div></div> | </div></div> |
Wersja z 13:24, 4 wrz 2006
Teoria liczb II
Ćwiczenie 1
Podaj zbiór rozwiązań następujących równań:
- ,
- ,
- ,
- ,
- ,
- .
Ćwiczenie 2
Wyznacz najmniejsze, nieujemne rozwiązania układu równań:
Ćwiczenie 3
Wyznacz najmniejsze, nieujemne rozwiązania układu równań:
Ćwiczenie 4
Policz wartości funkcji Eulera:
- ,
- ,
- .
Ćwiczenie 5
Policz możliwie szybko:
- { mod} ,
- { mod} ,
- { mod} .
Ćwiczenie 6
Funkcja liczbowa określona na zbiorze jest multyplikatywna, jeśli dla dowolnych względnie pierwszych zachodzi
Widzieliśmy, że -Eulera jest multyplikatywna. Pokaż, że:
- funkcja Mobiusa jest multyplikatywna,
- jeśli funkcja jest multyplikatywna to też.
Ćwiczenie 7
Udowodnij, że liczba naturalna jest pierwsza wtedy i tylko wtedy, gdy .
Komentarz: Fakt ten znany jest jako Twierdzenie Wilsona. Pierwszy te prawidłowość zauważył John Wilson, student Edwarda Waringa. Żaden z nich nie był w stanie tego udowodnić. Pierwszy dowód przedstawił Lagrange w 1773 roku. Twierdzenie to daje potencjalną możliwość sprawdzenia czy liczba naturalna jest pierwsza. Nie znamy jednak efektywnych algorytmów obliczania silni, nawet w arytmetyce modularnej.