Matematyka dyskretna 1/Ćwiczenia 11: Teoria liczb II: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „\displaystyle ” na „”
Linia 14: 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>21x\equiv _{36}5</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ń.
** NWD <math>(21,36)=3</math> ale <math>3\not|5</math>, czyli równanie nie ma rozwiązań.
* Równanie <math>4x\equiv_7 6</math>:
* Równanie <math>4x\equiv_7 6</math>:
** NWD <math> (4,7)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
** NWD <math>(4,7)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
** <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>.
** <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>.
* Równanie <math>3x\equiv_{33}27</math>:
* Równanie <math>3x\equiv_{33}27</math>:
**  NWD <math> (3,33)=3</math> oraz <math>3|27</math> czyli równanie ma nieskończenie wiele rozwiązań,
**  NWD <math>(3,33)=3</math> oraz <math>3|27</math> czyli równanie ma nieskończenie wiele rozwiązań,
** <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>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>.
* Równanie <math>3x\equiv_{100}59</math>:
* Równanie <math>3x\equiv_{100}59</math>:
**  NWD <math> (3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
**  NWD <math>(3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
** <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>.
** <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>.
* Równanie <math>2x\equiv_4 3</math>:
* Równanie <math>2x\equiv_4 3</math>:
**  NWD <math> (2,4)=2</math> ale <math>2\not|3</math>, czyli równanie nie ma rozwiązań.
**  NWD <math>(2,4)=2</math> ale <math>2\not|3</math>, czyli równanie nie ma rozwiązań.
* Równanie <math>16x\equiv_{24}8</math>:
* Równanie <math>16x\equiv_{24}8</math>:
**  NWD <math> (16,24)=8</math> oraz  <math>8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań,
**  NWD <math>(16,24)=8</math> oraz  <math>8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań,
** <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>.
** <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>.


Linia 39: Linia 39:
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>
\end{align}</math></center>


Linia 95: Linia 95:
Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa  
Zgodnie z procedurą trzykrotnie używamy rozszerzonego algorytmu Euklidesa  
otrzymując <math>x_1,x_2,x_3</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>(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>(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>.
* NWD <math>(35,372)=1=-85\cdot35+8\cdot372</math>, <math>x_3=8</math>.


Pozostaje policzyć <math>x</math>:
Pozostaje policzyć <math>x</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>  35</math>,
* <math>16^{75}  </math>{ mod}<math>  35</math>,
* <math>2^{100}  </math> { mod} <math>  3</math>,
* <math>2^{100}  </math>{ mod}<math>  3</math>,
* <math>21^{55}  </math> { mod} <math>  32</math>.
* <math>21^{55}  </math>{ mod}<math>  32</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>16^{75} </math>  { mod}  <math> 35</math>:
* <math>16^{75}</math>  { mod}  <math>35</math>:
** <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>  24=16^3=16^2\cdot 16^1 \equiv_{35}11\cdot16=176\equiv_{35}1</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>  3</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>,

Wersja z 09:47, 31 sie 2023

Teoria liczb II

Ćwiczenie 1

Podaj zbiór rozwiązań następujących równań:

  • 21x365,
  • 4x76,
  • 3x3327,
  • 3x10059,
  • 2x43,
  • 16x248.
Rozwiązanie

Ćwiczenie 2

Wyznacz najmniejsze, nieujemne rozwiązania układu równań:


x32,x53,x114,x165


Rozwiązanie

Ćwiczenie 3

Wyznacz najmniejsze, nieujemne rozwiązania układu równań:


x3123,x127,x3512.


Rozwiązanie

Ćwiczenie 4

Policz wartości funkcji Eulera:

  • φ(10),
  • φ(100),
  • φ(1000).
Rozwiązanie

Ćwiczenie 5

Policz możliwie szybko:

  • 1675{ mod}35,
  • 2100{ mod}3,
  • 2155{ mod}32.
Rozwiązanie

Ćwiczenie 6

Funkcja f liczbowa określona na zbiorze jest multyplikatywna, jeśli dla dowolnych względnie pierwszych m,n zachodzi


f(mn)=f(m)f(n).


Widzieliśmy, że φ-Eulera jest multyplikatywna. Pokaż, że:

  1. funkcja μ Mobiusa jest multyplikatywna,
  2. jeśli funkcja f(n)=d|ng(d) jest multyplikatywna to g(n) też.
Rozwiązanie

Ćwiczenie 7

Udowodnij, że liczba naturalna n>1 jest pierwsza wtedy i tylko wtedy, gdy (n1)!n1.

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.

Wskazówka
Rozwiązanie