Matematyka dyskretna 1/Ćwiczenia 11: Teoria liczb II: Różnice pomiędzy wersjami
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
(Nie pokazano 14 wersji utworzonych przez 3 użytkowników) | |||
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>21x\equiv _{36}5</math>, | ||
<math> | * <math>4x\equiv_7 6</math>, | ||
* | * <math>3x\equiv_{33}27</math>, | ||
<math> | * <math>3x\equiv_{100}59</math>, | ||
* | * <math>2x\equiv_4 3</math>, | ||
<math> | * <math>16x\equiv_{24}8</math>. | ||
* | |||
<math> | |||
* | |||
<math> | |||
* | |||
<math> | |||
}} | }} | ||
<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> | * Równanie <math>21x\equiv _{36}5</math>: | ||
** | ** NWD <math>(21,36)=3</math> ale <math>3\not|5</math>, czyli równanie nie ma rozwiązań. | ||
* Równanie <math> | * Równanie <math>4x\equiv_7 6</math>: | ||
** | ** NWD <math>(4,7)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
** <math> | ** <math>1=2\cdot4-7</math>, czyli zbiór rozwiązań to <math>\left\lbrace 2\cdot6+7k;k\in\mathbb{Z} \right\rbrace=\left\lbrace 5+7k:k\in\mathbb{Z} \right\rbrace</math>. | ||
to <math> | * Równanie <math>3x\equiv_{33}27</math>: | ||
* Równanie <math> | ** NWD <math>(3,33)=3</math> oraz <math>3|27</math> czyli równanie ma nieskończenie wiele rozwiązań, | ||
** NWD <math> | ** <math>3=1\cdot3+0\cdot33</math>, czyli zbiór rozwiązań to <math>\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>. | ||
** <math> | * Równanie <math>3x\equiv_{100}59</math>: | ||
to <math> | ** NWD <math>(3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
* Równanie <math> | ** <math>1=-33\cdot3+100</math>, czyli zbiór rozwiązań to <math>\left\lbrace -33\cdot59+100k:k\in\mathbb{Z}\right\rbrace=\left\lbrace 53+100k:k\in\mathbb{Z} \right\rbrace</math>. | ||
** NWD <math> | * Równanie <math>2x\equiv_4 3</math>: | ||
** <math> | ** NWD <math>(2,4)=2</math> ale <math>2\not|3</math>, czyli równanie nie ma rozwiązań. | ||
to <math> | * Równanie <math>16x\equiv_{24}8</math>: | ||
* Równanie <math> | ** NWD <math>(16,24)=8</math> oraz <math>8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań, | ||
** NWD <math> | ** <math>8=-1\cdot16+24</math>, czyli zbiór rozwiązań to <math>\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>. | ||
* Równanie <math> | |||
** NWD <math> | |||
** <math> | |||
to <math> | |||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|2|cw 2| | ||
Wyznacz najmniejsze, nieujemne rozwiązania układu równań: | |||
<center><math>\ | <center><math>\begin{align} x&\equiv_3&2,\\ | ||
x&\equiv_5&3,\\ | x&\equiv_5&3,\\ | ||
x&\equiv_{11}&4,\\ | x&\equiv_{11}&4,\\ | ||
x&\equiv_{16}&5 | x&\equiv_{16}&5 | ||
\ | \end{align}</math></center> | ||
}} | }} | ||
<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"> | ||
NWD <math> | NWD <math>(3,5)=</math>NWD<math>(3,11)=</math> NWD <math>(3,16)=</math> NWD <math>(5,11)=</math> NWD <math>(5,16)=</math> NWD <math>(11,16)=1</math>, | ||
czyli możemy użyć Chińskiego Twierdzenia o Resztach: | czyli możemy użyć Chińskiego Twierdzenia o Resztach: | ||
* <math> | * <math>N=3\cdot5\cdot11\cdot16=2640</math>, | ||
* <math> | * <math>N_1=\frac{2640}{3}=880</math>, | ||
* <math> | * <math>N_2=\frac{2640}{5}=528</math>, | ||
* <math> | * <math>N_3=\frac{2640}{11}=240</math>, | ||
* <math> | * <math>N_4=\frac{2640}{16}=165</math>. | ||
Zgodnie z procedurą czterokrotnie używamy rozszerzonego algorytmu Euklidesa | Zgodnie z procedurą czterokrotnie używamy rozszerzonego algorytmu Euklidesa | ||
otrzymując <math> | otrzymując <math>x_1,x_2,x_3,x_4</math>: | ||
* | * NWD <math>(3,880)=1=-293\cdot3+1\cdot880</math>, <math>x_1=1</math>, | ||
* | * NWD <math>(5,528)=1=-211\cdot5+2\cdot528</math>, <math>x_2=2</math>, | ||
* | * NWD <math>(11,240)=1=-109\cdot11+5\cdot240</math>, <math>x_3=5</math>, | ||
* | * NWD <math>(16,165)=1=31\cdot16-3\cdot165</math>, <math>x_4=-3</math>. | ||
Pozostaje policzyć <math> | Pozostaje policzyć <math>x</math>: | ||
<center><math>\ | |||
<center><math>\begin{align} x&=2\cdot1\cdot880+3\cdot2\cdot528+4\cdot5\cdot240+5\cdot(-3)\cdot165\\ | |||
&=1760+3168+4800-2475\\ | &=1760+3168+4800-2475\\ | ||
&=7253\equiv_{2640}1973. | &=7253\equiv_{2640}1973. | ||
\ | \end{align}</math></center> | ||
A więc <math> | |||
A więc <math>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>\ | <center><math>\begin{align} x&\equiv_{31}&23,\\ | ||
x&\equiv_{12}&7,\\ | x&\equiv_{12}&7,\\ | ||
x&\equiv_{35}&12. | x&\equiv_{35}&12. | ||
\ | \end{align}</math></center> | ||
}} | }} | ||
<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"> | ||
NWD <math>(31,12)=</math> NWD <math>(31,35)=</math> NWD <math>(12,35)=1</math>, | |||
czyli możemy użyć Chińskiego Twierdzenia o Resztach: | czyli możemy użyć Chińskiego Twierdzenia o Resztach: | ||
* <math> | * <math>N=31\cdot12\cdot35=13020</math>, | ||
* <math> | * <math>N_1=\frac{13020}{31}=420</math>, | ||
* <math> | * <math>N_2=\frac{13020}{12}=1085</math>, | ||
* <math> | * <math>N_3=\frac{13020}{35}=372</math>. | ||
Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa | Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa | ||
otrzymując <math> | otrzymując <math>x_1,x_2,x_3</math>: | ||
* | * NWD <math>(31,420)=1=-149\cdot31+11\cdot420</math>, <math>x_1=11</math>, | ||
* | * NWD <math>(12,1085)=1=-452\cdot12+5\cdot1085</math>, <math>x_2=5</math>, | ||
* | * NWD <math>(35,372)=1=-85\cdot35+8\cdot372</math>, <math>x_3=8</math>. | ||
Pozostaje policzyć <math>x</math>: | |||
<center><math>\ | <center><math>\begin{align} x&=23\cdot11\cdot420+7\cdot5\cdot1085+12\cdot8\cdot372\\ | ||
&=106260+37975+35712\\ | &=106260+37975+35712\\ | ||
&=179947\equiv_{13020}10687.\\ | &=179947\equiv_{13020}10687.\\ | ||
\ | \end{align}</math></center> | ||
A więc <math> | A więc <math>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> | * <math>\varphi(10)</math>, | ||
* <math> | * <math>\varphi(100)</math>, | ||
* <math> | * <math>\varphi(1000)</math>. | ||
}} | }} | ||
<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"> | ||
* <math> | * <math>\varphi(10)=\varphi(2)\varphi(5)=1\cdot4=4</math>, | ||
* <math> | * <math>\varphi(100)=\varphi(2^2)\varphi(5^2)=(2^2-2)(5^2-5)=40</math>, | ||
* <math> | * <math>\varphi(1000)=\varphi(2^3)\varphi(5^3)=(2^3-2^2)(5^3-5^2)=400</math>. | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|5|cw 5| | ||
Policz możliwie szybko: | Policz możliwie szybko: | ||
* | * <math>16^{75}</math>{ mod}<math>35</math>, | ||
<math> | * <math>2^{100}</math>{ mod}<math>3</math>, | ||
* | * <math>21^{55}</math>{ mod}<math>32</math>. | ||
<math> | |||
* | |||
<math> | |||
}} | }} | ||
<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"> | ||
* <math> | * <math>16^{75}</math> { mod} <math>35</math>: | ||
** <math> | ** <math>16\perp35</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math> | ** <math>\varphi(35)=\varphi(5)\cdot\varphi(7)=4\cdot6=24</math>, | ||
** <math> | ** <math>75</math>{ mod}<math>24=3</math>, | ||
** <math> | ** <math>3=(11)_2</math>, | ||
** liczymy wybrane potęgi <math> | ** liczymy wybrane potęgi <math>16</math> modulo <math>35</math>: | ||
*** <math> | *** <math>16^2=256\equiv_{35}11</math>, | ||
** <math> | ** <math>16^{75}\equiv_{35}16^{75}</math>{ mod}<math>24=16^3=16^2\cdot 16^1 \equiv_{35}11\cdot16=176\equiv_{35}1</math>. | ||
* <math> | * <math>2^{100}</math>{ mod}<math>3</math>: | ||
** <math> | ** <math>2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math> | ** <math>\varphi(3)=2</math>, | ||
** <math> | ** <math>100</math> { mod} <math>2=0</math>, | ||
** <math> | ** <math>2^{100}\equiv_{3}2^{100}</math> { mod} <math>2=2^0=1</math>. | ||
* <math> | * <math>21^{55}</math> { mod} <math>32</math>: | ||
** <math> | ** <math>21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math> | ** <math>\varphi(32)=\varphi(2^5)=2^5-2^4=16</math>, | ||
** <math> | ** <math>55</math> { mod} <math>16=7</math>, | ||
** <math> | ** <math>7=(111)_2</math>, | ||
** liczymy wybrane potęgi <math> | ** liczymy wybrane potęgi <math>21</math> modulo <math>32</math>: | ||
*** <math> | *** <math>21^2=441\equiv_{32}25</math>, | ||
*** <math> | *** <math>21^4\equiv_{32}25\cdot25\equiv_{32}17</math>, | ||
** <math> | ** <math>21^{55}\equiv_{32}16^{21}</math> { mod} <math>55=21^7=21^4\cdot21^2\cdot21^1\equiv_{32}17\cdot25\cdot21=8925\equiv_{32}29</math>. | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|6|cw 6| | ||
Funkcja <math>f</math> liczbowa określona na zbiorze <math>\mathbb{N}</math> jest multyplikatywna, | |||
jeśli dla dowolnych względnie pierwszych <math>m,n\in\mathbb{N}</math> zachodzi | |||
<center><math>f(mn)=f(m)f(n)</math></center> | |||
Widzieliśmy, że <math> | Widzieliśmy, że <math>\varphi</math>-Eulera jest multyplikatywna. Pokaż, że: | ||
Pokaż, że: | # funkcja <math>\mu</math> Mobiusa jest multyplikatywna, | ||
# | # jeśli funkcja <math>f(n)=\sum_{d|n}g(d)</math> jest multyplikatywna to <math>g(n)</math> też. | ||
funkcja <math> | |||
# | |||
jeśli funkcja <math> | |||
}} | }} | ||
<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"> | ||
Rozważmy rozkłady dwu liczb naturalnych <math> | Rozważmy rozkłady dwu liczb naturalnych <math>m,n\in\mathbb{N}</math> i ich rozkłady | ||
<math> | <math>m=p_1^{\alpha_1}\cdot\ldots\cdot p_k^{\alpha_k}</math>, | ||
<math> | <math>n=q_1^{\beta_1}\cdot\ldots\cdot q_l^{\beta_l}</math>. | ||
Jeśli choć jedno <math> | Jeśli choć jedno <math>\alpha_i>1</math> bądź <math>\beta_i>1</math>, | ||
to <math> | to <math>\mu(m)=0</math> lub <math>\mu(n)=0</math>, ale także <math>\mu(mn)=0</math>. | ||
Jeśli zaś liczby w rozkładach <math> | Jeśli zaś liczby w rozkładach <math>m</math> i <math>n</math> się nie powtarzają, | ||
to względna pierwszość <math> | to względna pierwszość <math>m</math> i <math>n</math> gwarantuje, | ||
że nie powtarzają się także w rozkładzie iloczynu: | że nie powtarzają się także w rozkładzie iloczynu: | ||
<math> | <math>mn=p_1\cdot\ldots\cdot p_kq_1\cdot\ldots\cdot q_l</math>. Mamy więc: | ||
Mamy więc: | |||
<center><math>\mu(mn)=(-1)^{k+l}=(-1)^k(-1)^l=\mu(m)\mu(n)</math>,</center> | |||
co dowodzi punktu 1. | co dowodzi punktu 1. | ||
Dla dowodu punktu 2, zauważmy najpierw, | Dla dowodu punktu 2, zauważmy najpierw, | ||
że jeśli <math> | że jeśli <math>m\perp n</math>, | ||
to <math> | to <math>\left\lbrace d:d|mn \right\rbrace=\left\lbrace d_0d_1:d_0|m,d_1|n \right\rbrace</math>. | ||
Korzystając ze wzoru inwersyjnego Mobiusa, | Korzystając ze wzoru inwersyjnego Mobiusa, | ||
udowodnionej powyżej multyplikatywności <math> | udowodnionej powyżej multyplikatywności <math>\mu</math> | ||
i założonej multyplikatywności <math> | i założonej multyplikatywności <math>f</math> mamy: | ||
<center><math>\ | |||
<center><math>\begin{align} 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)\\ | |||
&=\sum_{d_0|m}\mu(d_0)f\left( \frac{m}{d_0} \right)\sum_{d_1|n}\mu(d_1)f\left( \frac{n}{d_1} \right)\\ | &=\sum_{d_0|m}\mu(d_0)f\left( \frac{m}{d_0} \right)\sum_{d_1|n}\mu(d_1)f\left( \frac{n}{d_1} \right)\\ | ||
&=g(m)g(n). | &=g(m)g(n). | ||
\ | \end{align}</math></center> | ||
</div></div> | </div></div> | ||
{{cwiczenie| | {{cwiczenie|7|cw 7| | ||
Udowodnij, że liczba naturalna <math>n>1</math> | |||
Udowodnij, że liczba naturalna <math> | jest pierwsza wtedy i tylko wtedy, gdy <math>(n-1)!\equiv_n-1</math>. | ||
jest pierwsza wtedy i tylko wtedy, gdy <math> | |||
'''Komentarz:''' Fakt ten znany jest jako Twierdzenie Wilsona. | '''Komentarz:''' Fakt ten znany jest jako Twierdzenie Wilsona. | ||
Linia 235: | Linia 223: | ||
<div class="mw-collapsible mw-made=collapsible mw-collapsed"><span class="mw-collapsible-toogle mw-collapsible-toogle-default style="font-variant:small-caps">Wskazówka </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">Wskazówka </span><div class="mw-collapsible-content" style="display:none"> | ||
Zauważ, że jeśli <math> | Zauważ, że jeśli <math>n</math> jest liczbą pierwszą, to | ||
dla <math> | dla <math>a\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math> | ||
istnieje <math> | istnieje <math>a'\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math> takie, że <math>aa'\equiv_n 1</math>. | ||
</div></div> | </div></div> | ||
<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"> | ||
Załóżmy najpierw, że <math> | Załóżmy najpierw, że <math>n</math> jest złożona, | ||
czyli <math> | czyli <math>n=ab</math> dla <math>1<a\leqslant b<n</math>. | ||
Wtedy <math> | Wtedy <math>n|1\cdot2\cdot\ldots\cdot a\cdot\ldots\cdot b\cdot\ldots\cdot(n-1)=(n-1)!</math>, | ||
czyli <math> | czyli <math>(n-1)!\equiv_n 0\not\equiv_n 1</math>. | ||
Załóżmy zatem, że liczba <math> | Załóżmy zatem, że liczba <math>n</math> jest pierwsza. Zauważmy, że dla dowolnego <math>a\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math>: | ||
Zauważmy, że dla dowolnego <math> | * jeśli <math>a^2\equiv_n1</math>, to <math>a=1</math> lub <math>a=n-1</math>. | ||
* jeśli <math> | |||
Rzeczywiście, <math> | Rzeczywiście, <math>a^2\equiv_n1</math> implikuje <math>(a-1)(a+1)=a^2-1=qn</math> dla pewnego <math>q</math>. | ||
Z pierwszości <math> | Z pierwszości <math>n</math> mamy więc <math>n|(a-1)</math> lub <math>n|(a+1)</math>, | ||
czyli <math> | czyli <math>a\equiv_n1</math> lub <math>a\equiv_nn-1</math>. | ||
Ponieważ <math> | Ponieważ <math>1 \leq a \leq n-1</math>, to przystawania te są po prostu równościami. | ||
* istnieje dokładnie jedno <math> | * istnieje dokładnie jedno <math>a'\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math> takie, że <math>aa'\equiv_n1</math>. | ||
Istnienie gwarantuje rozszerzony algorytm Euklidesa. | Istnienie gwarantuje rozszerzony algorytm Euklidesa. | ||
Istotnie, NWD <math> | Istotnie, NWD <math>(a,n)=1</math> daje <math>x,y</math> takie, | ||
że <math> | że <math>xa+yn=1</math>, czyli dla <math>a'=x</math> { mod} <math>n</math> mamy <math>a'a\equiv_n1</math>. | ||
Dla dowodu jednoznaczności załóżmy, że <math> | Dla dowodu jednoznaczności załóżmy, że <math>aa'' \equiv_n 1</math>. Wobec NWD <math>(a,n)=1</math>, prawo skracania daje jednak <math>a'\equiv_na''</math>, czyli <math>a'=a''</math>. | ||
Wobec | |||
Te dwie uwagi dają, że w iloczynie | Te dwie uwagi dają, że w iloczynie | ||
<center><math> | |||
<center><math>(n-1)!=1\cdot2\cdot\ldots\cdot(n-1) | |||
</math></center> | </math></center> | ||
<center><math> | każdy czynnik <math>a \neq 1,n-1</math> ma czynnik <math>a'\neq a</math> do siebie odwrotny, | ||
</math></center> | tzn. taki, że <math>aa' \equiv_n 1</math>. A zatem | ||
<center><math>(n-1)!\equiv_n1\cdot(n-1)\equiv_n-1</math></center> | |||
</div></div> | </div></div> |
Aktualna wersja na dzień 22:14, 11 wrz 2023
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.