Matematyka dyskretna 1/Ćwiczenia 11: Teoria liczb II: Różnice pomiędzy wersjami
Linia 142: | Linia 142: | ||
** liczymy wybrane potęgi <math>\displaystyle 16</math> modulo <math>\displaystyle 35</math>: | ** liczymy wybrane potęgi <math>\displaystyle 16</math> modulo <math>\displaystyle 35</math>: | ||
*** <math>\displaystyle 16^2=256\equiv_{35}11</math>, | *** <math>\displaystyle 16^2=256\equiv_{35}11</math>, | ||
** <math>\displaystyle 16^{75}\equiv_{35}16^{75 </math> { mod} <math>\displaystyle 24 | ** <math>\displaystyle 16^{75}\equiv_{35}16^{75} </math> { mod} <math>\displaystyle 24=16^3=16^2\cdot 16^1 \equiv_{35}11\cdot16=176\equiv_{35}1</math>. | ||
* <math>\displaystyle 2^{100} </math> { mod} <math>\displaystyle 3</math>: | * <math>\displaystyle 2^{100} </math> { mod} <math>\displaystyle 3</math>: | ||
** <math>\displaystyle 2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ** <math>\displaystyle 2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
** <math>\displaystyle \varphi(3)=2</math>, | ** <math>\displaystyle \varphi(3)=2</math>, | ||
** <math>\displaystyle 100 </math> { mod} <math>\displaystyle 2=0</math>, | ** <math>\displaystyle 100 </math> { mod} <math>\displaystyle 2=0</math>, | ||
** <math>\displaystyle 2^{100}\equiv_{3}2^{100 </math> { mod} <math>\displaystyle 2 | ** <math>\displaystyle 2^{100}\equiv_{3}2^{100} </math> { mod} <math>\displaystyle 2=2^0=1</math>. | ||
* <math>\displaystyle 21^{55} </math> { mod} <math>\displaystyle 32</math>: | * <math>\displaystyle 21^{55} </math> { mod} <math>\displaystyle 32</math>: | ||
** <math>\displaystyle 21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ** <math>\displaystyle 21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera, | ||
Linia 156: | Linia 156: | ||
*** <math>\displaystyle 21^2=441\equiv_{32}25</math>, | *** <math>\displaystyle 21^2=441\equiv_{32}25</math>, | ||
*** <math>\displaystyle 21^4\equiv_{32}25\cdot25\equiv_{32}17</math>, | *** <math>\displaystyle 21^4\equiv_{32}25\cdot25\equiv_{32}17</math>, | ||
** <math>\displaystyle 21^{55}\equiv_{32}16^{21 </math> { mod} <math>\displaystyle 55 | ** <math>\displaystyle 21^{55}\equiv_{32}16^{21} </math> { mod} <math>\displaystyle 55=21^7=21^4\cdot21^2\cdot21^1\equiv_{32}17\cdot25\cdot21=8925\equiv_{32}29</math>. | ||
</div></div> | </div></div> |
Wersja z 18:11, 11 cze 2020
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.