Matematyka dyskretna 1/Ćwiczenia 11: Teoria liczb II: Różnice pomiędzy wersjami
m Zastępowanie tekstu – „ </math>” na „</math>” |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
(Nie pokazano 4 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
Linia 86: | Linia 86: | ||
<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>, | 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>N=31\cdot12\cdot35=13020</math>, | * <math>N=31\cdot12\cdot35=13020</math>, | ||
Linia 128: | Linia 128: | ||
{{cwiczenie|5|cw 5| | {{cwiczenie|5|cw 5| | ||
Policz możliwie szybko: | Policz możliwie szybko: | ||
* <math>16^{75} </math>{ mod}<math> | * <math>16^{75}</math>{ mod}<math>35</math>, | ||
* <math>2^{100} </math>{ mod}<math> | * <math>2^{100}</math>{ mod}<math>3</math>, | ||
* <math>21^{55} </math>{ mod}<math> | * <math>21^{55}</math>{ mod}<math>32</math>. | ||
}} | }} | ||
Linia 138: | Linia 138: | ||
** <math>16\perp35</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ** <math>16\perp35</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math>\varphi(35)=\varphi(5)\cdot\varphi(7)=4\cdot6=24</math>, | ** <math>\varphi(35)=\varphi(5)\cdot\varphi(7)=4\cdot6=24</math>, | ||
** <math>75 </math>{ mod}<math>24=3</math>, | ** <math>75</math>{ mod}<math>24=3</math>, | ||
** <math>3=(11)_2</math>, | ** <math>3=(11)_2</math>, | ||
** liczymy wybrane potęgi <math>16</math> modulo <math>35</math>: | ** liczymy wybrane potęgi <math>16</math> modulo <math>35</math>: | ||
*** <math>16^2=256\equiv_{35}11</math>, | *** <math>16^2=256\equiv_{35}11</math>, | ||
** <math>16^{75}\equiv_{35}16^{75} </math>{ mod}<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>2^{100} </math>{ mod}<math> | * <math>2^{100}</math>{ mod}<math>3</math>: | ||
** <math>2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ** <math>2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math>\varphi(3)=2</math>, | ** <math>\varphi(3)=2</math>, | ||
** <math>100 </math> { mod} <math> | ** <math>100</math> { mod} <math>2=0</math>, | ||
** <math>2^{100}\equiv_{3}2^{100} </math> { mod} <math> | ** <math>2^{100}\equiv_{3}2^{100}</math> { mod} <math>2=2^0=1</math>. | ||
* <math>21^{55} </math> { mod} <math> | * <math>21^{55}</math> { mod} <math>32</math>: | ||
** <math>21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ** <math>21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math>\varphi(32)=\varphi(2^5)=2^5-2^4=16</math>, | ** <math>\varphi(32)=\varphi(2^5)=2^5-2^4=16</math>, | ||
** <math>55 </math> { mod} <math> | ** <math>55</math> { mod} <math>16=7</math>, | ||
** <math>7=(111)_2</math>, | ** <math>7=(111)_2</math>, | ||
** liczymy wybrane potęgi <math>21</math> modulo <math>32</math>: | ** liczymy wybrane potęgi <math>21</math> modulo <math>32</math>: | ||
*** <math>21^2=441\equiv_{32}25</math>, | *** <math>21^2=441\equiv_{32}25</math>, | ||
*** <math>21^4\equiv_{32}25\cdot25\equiv_{32}17</math>, | *** <math>21^4\equiv_{32}25\cdot25\equiv_{32}17</math>, | ||
** <math>21^{55}\equiv_{32}16^{21} </math> { mod} <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> | ||
Linia 165: | Linia 165: | ||
<center><math>f(mn)=f(m)f(n) | <center><math>f(mn)=f(m)f(n)</math></center> | ||
</math></center> | |||
Linia 187: | Linia 186: | ||
<center><math>\mu(mn)=(-1)^{k+l}=(-1)^k(-1)^l=\mu(m)\mu(n) | <center><math>\mu(mn)=(-1)^{k+l}=(-1)^k(-1)^l=\mu(m)\mu(n)</math>,</center> | ||
</math></center> | |||
Linia 247: | Linia 245: | ||
Istnienie gwarantuje rozszerzony algorytm Euklidesa. | Istnienie gwarantuje rozszerzony algorytm Euklidesa. | ||
Istotnie, NWD <math> (a,n)=1</math> daje <math>x,y</math> takie, | Istotnie, NWD <math>(a,n)=1</math> daje <math>x,y</math> takie, | ||
że <math>xa+yn=1</math>, czyli dla <math>a'=x </math> { mod} <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>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>. | 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>. | ||
Te dwie uwagi dają, że w iloczynie | Te dwie uwagi dają, że w iloczynie | ||
Linia 263: | Linia 261: | ||
<center><math>(n-1)!\equiv_n1\cdot(n-1)\equiv_n-1 | <center><math>(n-1)!\equiv_n1\cdot(n-1)\equiv_n-1</math></center> | ||
</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.