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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Arek (dyskusja | edycje)
Nie podano opisu zmian
m Zastępowanie tekstu – „<math> ” na „<math>”
 
(Nie pokazano 13 wersji utworzonych przez 2 użytkowników)
Linia 1: Linia 1:
==Teoria liczb II==
==Teoria liczb II==


{{cwiczenie|ex mod rownania||
{{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>\displaystyle 21x\equiv _{36}5</math>,
* <math>4x\equiv_7 6</math>,
*  
* <math>3x\equiv_{33}27</math>,
<math>\displaystyle 4x\equiv_7 6</math>,
* <math>3x\equiv_{100}59</math>,
*  
* <math>2x\equiv_4 3</math>,
<math>\displaystyle 3x\equiv_{33}27</math>,
* <math>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>.


}}
}}


<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>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ń.
** NWD <math>(21,36)=3</math> ale <math>3\not|5</math>, czyli równanie nie ma rozwiązań.
* Równanie <math>\displaystyle 4x\equiv_7 6</math>:
* Równanie <math>4x\equiv_7 6</math>:
**   NWD <math>\displaystyle  (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>\displaystyle 1=2\cdot4-7</math>, czyli zbiór 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>.
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>3x\equiv_{33}27</math>:
* Równanie <math>\displaystyle 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>\displaystyle  (3,33)=3</math> oraz <math>\displaystyle 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>\displaystyle 3=1\cdot3+0\cdot33</math>, czyli zbiór rozwiązań  
* Równanie <math>3x\equiv_{100}59</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>.
**  NWD <math>(3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
* Równanie <math>\displaystyle 3x\equiv_{100}59</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>\displaystyle  (3,100)=1</math>, czyli równanie ma nieskończenie wiele rozwiązań,
* Równanie <math>2x\equiv_4 3</math>:
** <math>\displaystyle 1=-33\cdot3+100</math>, czyli zbiór rozwiązań  
**  NWD <math>(2,4)=2</math> ale <math>2\not|3</math>, czyli równanie nie ma 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>.
* Równanie <math>16x\equiv_{24}8</math>:
* Równanie <math>\displaystyle 2x\equiv_4 3</math>:
**  NWD <math>(16,24)=8</math> oraz  <math>8|8</math>, czyli równanie ma nieskończenie wiele rozwiązań,
**  NWD <math>\displaystyle  (2,4)=2</math> ale <math>\displaystyle 2\not|3</math>, czyli równanie nie ma 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>.
* 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ń,
** <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>.


</div></div>
</div></div>


{{cwiczenie|ex mod uklad1||
{{cwiczenie|2|cw 2|
Wyznacz najmniejsze, nieujemne rozwiązania  układu równań:


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


<center><math>\displaystyle \aligned x&\equiv_3&2,\\
<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
\endaligned</math></center>
\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>\displaystyle  (3,5)= </math> NWD <math>\displaystyle  (3,11)= </math>  NWD <math>\displaystyle  (3,16)= </math>  NWD <math>\displaystyle  (5,11)= </math>  NWD <math>\displaystyle  (5,16)= </math>  NWD <math>\displaystyle  (11,16)=1</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>\displaystyle N=3\cdot5\cdot11\cdot16=2640</math>,
* <math>N=3\cdot5\cdot11\cdot16=2640</math>,
* <math>\displaystyle N_1=\frac{2640}{3}=880</math>,
* <math>N_1=\frac{2640}{3}=880</math>,
* <math>\displaystyle N_2=\frac{2640}{5}=528</math>,
* <math>N_2=\frac{2640}{5}=528</math>,
* <math>\displaystyle N_3=\frac{2640}{11}=240</math>,
* <math>N_3=\frac{2640}{11}=240</math>,
* <math>\displaystyle N_4=\frac{2640}{16}=165</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>\displaystyle x_1,x_2,x_3,x_4</math>:
otrzymując <math>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>(3,880)=1=-293\cdot3+1\cdot880</math>, <math>x_1=1</math>,
*   NWD <math>\displaystyle  (5,528)=1=-211\cdot5+2\cdot528</math>, <math>\displaystyle x_2=2</math>,
* NWD <math>(5,528)=1=-211\cdot5+2\cdot528</math>, <math>x_2=2</math>,
*   NWD <math>\displaystyle  (11,240)=1=-109\cdot11+5\cdot240</math>, <math>\displaystyle x_3=5</math>,
* NWD <math>(11,240)=1=-109\cdot11+5\cdot240</math>, <math>x_3=5</math>,
*   NWD <math>\displaystyle  (16,165)=1=31\cdot16-3\cdot165</math>, <math>\displaystyle x_4=-3</math>.
* NWD <math>(16,165)=1=31\cdot16-3\cdot165</math>, <math>x_4=-3</math>.


Pozostaje policzyć <math>\displaystyle x</math>:
Pozostaje policzyć <math>x</math>:


<center><math>\displaystyle \aligned x&=2\cdot1\cdot880+3\cdot2\cdot528+4\cdot5\cdot240+5\cdot(-3)\cdot165\\
 
<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.
\endaligned</math></center>
\end{align}</math></center>


A więc <math>\displaystyle 1973</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań.
 
A więc <math>1973</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań.
</div></div>
</div></div>


{{cwiczenie|ex mod uklad2||
{{cwiczenie|3|cw 3|
Wyznacz najmniejsze, nieujemne rozwiązania  układu równań:


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


<center><math>\displaystyle \aligned x&\equiv_{31}&23,\\
<center><math>\begin{align} x&\equiv_{31}&23,\\
x&\equiv_{12}&7,\\
x&\equiv_{12}&7,\\
x&\equiv_{35}&12.
x&\equiv_{35}&12.
\endaligned</math></center>
\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>\displaystyle  (31,12)= </math>  NWD <math>\displaystyle  (31,35)= </math>  NWD <math>\displaystyle  (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>\displaystyle N=31\cdot12\cdot35=13020</math>,
* <math>N=31\cdot12\cdot35=13020</math>,
* <math>\displaystyle N_1=\frac{13020}{31}=420</math>,
* <math>N_1=\frac{13020}{31}=420</math>,
* <math>\displaystyle N_2=\frac{13020}{12}=1085</math>,
* <math>N_2=\frac{13020}{12}=1085</math>,
* <math>\displaystyle N_3=\frac{13020}{35}=372</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>\displaystyle x_1,x_2,x_3</math>:
otrzymując <math>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>(31,420)=1=-149\cdot31+11\cdot420</math>, <math>x_1=11</math>,
*   NWD <math>\displaystyle  (12,1085)=1=-452\cdot12+5\cdot1085</math>, <math>\displaystyle x_2=5</math>,
* NWD <math>(12,1085)=1=-452\cdot12+5\cdot1085</math>, <math>x_2=5</math>,
*   NWD <math>\displaystyle  (35,372)=1=-85\cdot35+8\cdot372</math>, <math>\displaystyle 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>\displaystyle x</math>:


<center><math>\displaystyle \aligned x&=23\cdot11\cdot420+7\cdot5\cdot1085+12\cdot8\cdot372\\
<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.\\
\endaligned</math></center>
\end{align}</math></center>
 


A więc <math>\displaystyle 10687</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań.
A więc <math>10687</math> jest najmniejszym, nieujemnym rozwiązaniem naszego układu równań.
</div></div>
</div></div>


{{cwiczenie|ex mod policz funkcje Eulera||
{{cwiczenie|4|cw 4|
 
Policz wartości funkcji Eulera:
Policz wartości funkcji Eulera:
* <math>\displaystyle \varphi(10)</math>,
* <math>\varphi(10)</math>,
* <math>\displaystyle \varphi(100)</math>,
* <math>\varphi(100)</math>,
* <math>\displaystyle \varphi(1000)</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>\displaystyle \varphi(10)=\varphi(2)\varphi(5)=1\cdot4=4</math>,
* <math>\varphi(10)=\varphi(2)\varphi(5)=1\cdot4=4</math>,
* <math>\displaystyle \varphi(100)=\varphi(2^2)\varphi(5^2)=(2^2-2)(5^2-5)=40</math>,
* <math>\varphi(100)=\varphi(2^2)\varphi(5^2)=(2^2-2)(5^2-5)=40</math>,
* <math>\displaystyle \varphi(1000)=\varphi(2^3)\varphi(5^3)=(2^3-2^2)(5^3-5^2)=400</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|ex ||
{{cwiczenie|5|cw 5|
 
Policz możliwie szybko:
Policz możliwie szybko:
*  
* <math>16^{75}</math>{ mod}<math>35</math>,
<math>\displaystyle 16^{75} </math> { mod} <math>\displaystyle  35</math>,
* <math>2^{100}</math>{ mod}<math>3</math>,
*  
* <math>21^{55}</math>{ mod}<math>32</math>.
<math>\displaystyle 2^{100} </math> { mod} <math>\displaystyle  3</math>,
*  
<math>\displaystyle 21^{55} </math> { mod} <math>\displaystyle  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>\displaystyle 16^{75} </math>  { mod}  <math>\displaystyle  35</math>:
* <math>16^{75}</math>  { mod}  <math>35</math>:
** <math>\displaystyle 16\perp35</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>16\perp35</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>\displaystyle \varphi(35)=\varphi(5)\cdot\varphi(7)=4\cdot6=24</math>,
** <math>\varphi(35)=\varphi(5)\cdot\varphi(7)=4\cdot6=24</math>,
** <math>\displaystyle 75 </math> { mod} <math>\displaystyle  24=3</math>,
** <math>75</math>{ mod}<math>24=3</math>,
** <math>\displaystyle 3=(11)_2</math>,
** <math>3=(11)_2</math>,
** liczymy wybrane potęgi <math>\displaystyle 16</math> modulo <math>\displaystyle 35</math>:
** liczymy wybrane potęgi <math>16</math> modulo <math>35</math>:
*** <math>\displaystyle 16^2=256\equiv_{35}11</math>,
*** <math>16^2=256\equiv_{35}11</math>,
** <math>\displaystyle 16^{75}\equiv_{35}16^{75 </math> { mod} <math>\displaystyle  24}=16^3=16^2\cdot16^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>\displaystyle 2^{100} </math> { mod} <math>\displaystyle  3</math>:
* <math>2^{100}</math>{ mod}<math>3</math>:
** <math>\displaystyle 2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>2\perp3</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>\displaystyle \varphi(3)=2</math>,
** <math>\varphi(3)=2</math>,
** <math>\displaystyle 100 </math>  { mod}  <math>\displaystyle  2=0</math>,
** <math>100</math>  { mod}  <math>2=0</math>,
** <math>\displaystyle 2^{100}\equiv_{3}2^{100 </math>  { mod}  <math>\displaystyle  2}=2^0=1</math>.
** <math>2^{100}\equiv_{3}2^{100}</math>  { mod}  <math>2=2^0=1</math>.
* <math>\displaystyle 21^{55} </math>  { mod}  <math>\displaystyle  32</math>:
* <math>21^{55}</math>  { mod}  <math>32</math>:
** <math>\displaystyle 21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>21\perp32</math>, czyli możemy skorzystać z Twierdzenia Eulera,
** <math>\displaystyle \varphi(32)=\varphi(2^5)=2^5-2^4=16</math>,
** <math>\varphi(32)=\varphi(2^5)=2^5-2^4=16</math>,
** <math>\displaystyle 55 </math>  { mod}  <math>\displaystyle  16=7</math>,
** <math>55</math>  { mod}  <math>16=7</math>,
** <math>\displaystyle 7=(111)_2</math>,
** <math>7=(111)_2</math>,
** liczymy wybrane potęgi <math>\displaystyle 21</math> modulo <math>\displaystyle 32</math>:
** liczymy wybrane potęgi <math>21</math> modulo <math>32</math>:
*** <math>\displaystyle 21^2=441\equiv_{32}25</math>,
*** <math>21^2=441\equiv_{32}25</math>,
*** <math>\displaystyle 21^4\equiv_{32}25\cdot25\equiv_{32}17</math>,
*** <math>21^4\equiv_{32}25\cdot25\equiv_{32}17</math>,
** <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>.
** <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|ex mod multyplikatywnosc mu||
{{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
 


Funkcja <math>\displaystyle f</math> liczbowa określona na zbiorze <math>\displaystyle \mathbb{N}</math> jest multyplikatywna,
<center><math>f(mn)=f(m)f(n)</math></center>
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).
</math></center>


Widzieliśmy, że <math>\displaystyle \varphi</math>-Eulera jest multyplikatywna.  
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>\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ż.


}}
}}


<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>\displaystyle m,n\in\mathbb{N}</math> i ich rozkłady  
Rozważmy rozkłady dwu liczb naturalnych <math>m,n\in\mathbb{N}</math> i ich rozkłady  
<math>\displaystyle m=p_1^{\alpha_1}\cdot\ldots\cdot p_k^{\alpha_k}</math>,  
<math>m=p_1^{\alpha_1}\cdot\ldots\cdot p_k^{\alpha_k}</math>,  
<math>\displaystyle n=q_1^{\beta_1}\cdot\ldots\cdot q_l^{\beta_l}</math>.  
<math>n=q_1^{\beta_1}\cdot\ldots\cdot q_l^{\beta_l}</math>.  
Jeśli choć jedno <math>\displaystyle \alpha_i>1</math> bądź <math>\displaystyle \beta_i>1</math>,  
Jeśli choć jedno <math>\alpha_i>1</math> bądź <math>\beta_i>1</math>,  
to <math>\displaystyle \mu(m)=0</math> lub <math>\displaystyle \mu(n)=0</math>, ale także <math>\displaystyle \mu(mn)=0</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>\displaystyle m</math> i <math>\displaystyle n</math> się nie powtarzają,  
Jeśli zaś liczby w rozkładach <math>m</math> i <math>n</math> się nie powtarzają,  
to względna pierwszość  <math>\displaystyle m</math> i <math>\displaystyle n</math> gwarantuje,  
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>\displaystyle mn=p_1\cdot\ldots\cdot p_kq_1\cdot\ldots\cdot q_l</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>


<center><math>\displaystyle \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>\displaystyle m\perp n</math>,  
że jeśli <math>m\perp n</math>,  
to <math>\displaystyle \left\lbrace d:d|mn \right\rbrace=\left\lbrace d_0d_1:d_0|m,d_1|n \right\rbrace</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>\displaystyle \mu</math>  
udowodnionej powyżej multyplikatywności <math>\mu</math>  
i założonej multyplikatywności <math>\displaystyle f</math> mamy:
i założonej multyplikatywności <math>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>\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).
\endaligned</math></center>
\end{align}</math></center>
 


</div></div>
</div></div>


{{cwiczenie|ex mod twierdzenie Wilsona||
{{cwiczenie|7|cw 7|
 
Udowodnij, że liczba naturalna <math>n>1</math>  
Udowodnij, że liczba naturalna <math>\displaystyle n>1</math>  
jest pierwsza wtedy i tylko wtedy, gdy <math>(n-1)!\equiv_n-1</math>.
jest pierwsza wtedy i tylko wtedy, gdy <math>\displaystyle (n-1)!\equiv_n-1</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>\displaystyle n</math> jest liczbą pierwszą, to  
Zauważ, że jeśli <math>n</math> jest liczbą pierwszą, to  
dla <math>\displaystyle a\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math>  
dla <math>a\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math>  
istnieje <math>\displaystyle a'\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math> takie, że <math>\displaystyle aa'\equiv_n 1</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>\displaystyle n</math> jest złożona,  
Załóżmy najpierw, że <math>n</math> jest złożona,  
czyli <math>\displaystyle n=ab</math> dla <math>\displaystyle 1<a\leqslant b<n</math>.  
czyli <math>n=ab</math> dla <math>1<a\leqslant b<n</math>.  
Wtedy <math>\displaystyle n|1\cdot2\cdot\ldots\cdot a\cdot\ldots\cdot b\cdot\ldots\cdot(n-1)=(n-1)!</math>,  
Wtedy <math>n|1\cdot2\cdot\ldots\cdot a\cdot\ldots\cdot b\cdot\ldots\cdot(n-1)=(n-1)!</math>,  
czyli <math>\displaystyle (n-1)!\equiv_n 0\not\equiv_n 1</math>.
czyli <math>(n-1)!\equiv_n 0\not\equiv_n 1</math>.


Załóżmy zatem, że liczba <math>\displaystyle n</math> jest pierwsza.  
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>\displaystyle a\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math>:
* jeśli <math>a^2\equiv_n1</math>, to <math>a=1</math> lub <math>a=n-1</math>.
* jeśli <math>\displaystyle a^2\equiv_n1</math>, to <math>\displaystyle a=1</math> lub <math>\displaystyle a=n-1</math>.


Rzeczywiście, <math>\displaystyle a^2\equiv_n1</math> implikuje <math>\displaystyle (a-1)(a+1)=a^2-1=qn</math> dla pewnego <math>\displaystyle q</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>\displaystyle n</math> mamy więc <math>\displaystyle n|(a-1)</math> lub <math>\displaystyle n|(a+1)</math>,  
Z pierwszości <math>n</math> mamy więc <math>n|(a-1)</math> lub <math>n|(a+1)</math>,  
czyli <math>\displaystyle a\equiv_n1</math> lub <math>\displaystyle a\equiv_nn-1</math>.  
czyli <math>a\equiv_n1</math> lub <math>a\equiv_nn-1</math>.  
Ponieważ <math>\displaystyle 1 \leq a \leq n-1</math>, to przystawania te są po prostu równościami.
Ponieważ <math>1 \leq a \leq n-1</math>, to przystawania te są po prostu równościami.
* istnieje dokładnie jedno <math>\displaystyle a'\in\left\lbrace 1,\ldots,n-1 \right\rbrace</math> takie, że <math>\displaystyle aa'\equiv_n1</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>\displaystyle  (a,n)=1</math> daje <math>\displaystyle x,y</math> takie,  
Istotnie,  NWD <math>(a,n)=1</math> daje <math>x,y</math> takie,  
że <math>\displaystyle xa+yn=1</math>, czyli dla <math>\displaystyle a'=x </math>  { mod}  <math>\displaystyle  n</math> mamy <math>\displaystyle a'a\equiv_n1</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>\displaystyle aa'' \equiv_n 1</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   NWD <math>\displaystyle  (a,n)=1</math>, prawo skracania daje jednak <math>\displaystyle a'\equiv_na''</math>, czyli <math>\displaystyle a'=a''</math>.


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>(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,
tzn. taki, że <math>\displaystyle aa' \equiv_n 1</math>.
A zatem


<center><math>\displaystyle (n-1)!\equiv_n1\cdot(n-1)\equiv_n-1.
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ń:

  • 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