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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Arek (dyskusja | edycje)
Nie podano opisu zmian
Pitab (dyskusja | edycje)
Linia 1: Linia 1:
==Teoria liczb I==
==Teoria liczb I==


{{cwiczenie|ex tl cwiczenie - podobne podzielnosc wzglednie pierwszych liczb||
{{cwiczenie|1|cw 1|
 
Udowodnij, że dla  <math>\displaystyle a,b,n\in\mathbb{N}</math>, jeśli <math>\displaystyle a|n</math>, <math>\displaystyle b|n</math> i <math>\displaystyle a\perp b</math>, to <math>\displaystyle ab|n</math>.  
Udowodnij, że dla  <math>\displaystyle a,b,n\in\mathbb{N}</math>, jeśli <math>\displaystyle a|n</math>, <math>\displaystyle b|n</math> i <math>\displaystyle a\perp b</math>, to <math>\displaystyle ab|n</math>.  


Linia 19: Linia 18:
o jednoznaczności rozkładu na liczby pierwsze,  
o jednoznaczności rozkładu na liczby pierwsze,  
iloczyn   
iloczyn   


<center><math>\displaystyle p_1^{\alpha_1}\ldots p_k^{\alpha_k}q_1^{\beta_1}\ldots q_l^{\beta_l}=ab
<center><math>\displaystyle p_1^{\alpha_1}\ldots p_k^{\alpha_k}q_1^{\beta_1}\ldots q_l^{\beta_l}=ab
</math></center>
</math></center>


musi wystąpić w rozkładzie liczby <math>\displaystyle n</math>.
musi wystąpić w rozkładzie liczby <math>\displaystyle n</math>.
</div></div>
</div></div>


{{cwiczenie|ex tl podzielności||
{{cwiczenie|2|cw 2|
 
Udowodnij, że:
Udowodnij, że:
* <math>\displaystyle 2|n^2-n</math>,
* <math>\displaystyle 2|n^2-n</math>,
Linia 49: Linia 49:
* <math>\displaystyle 30|n^5-n</math>:
* <math>\displaystyle 30|n^5-n</math>:


Dowód indukcyjny.  
Dowód indukcyjny. Dla <math>\displaystyle n=0</math> mamy <math>\displaystyle 30|0</math>. Ponadto
Dla <math>\displaystyle n=0</math> mamy <math>\displaystyle 30|0</math>.  
 
Ponadto


<center><math>\displaystyle \aligned (n+1)^5-(n+1)&=(n^5+5n^4+10n^3+10n^2+5n+1)-(n+1)\\
<center><math>\displaystyle \aligned (n+1)^5-(n+1)&=(n^5+5n^4+10n^3+10n^2+5n+1)-(n+1)\\
Linia 57: Linia 56:
&=(n^5-n)+5n(n+1)(n^2+n+1).
&=(n^5-n)+5n(n+1)(n^2+n+1).
\endaligned</math></center>
\endaligned</math></center>


Pierwszy składnik jest podzielny przez <math>\displaystyle 30</math> na mocy założenia indukcyjnego.  
Pierwszy składnik jest podzielny przez <math>\displaystyle 30</math> na mocy założenia indukcyjnego.  
Linia 68: Linia 68:
* <math>\displaystyle 10|2^{2^n}-6</math>, dla <math>\displaystyle n\geqslant2</math>:
* <math>\displaystyle 10|2^{2^n}-6</math>, dla <math>\displaystyle n\geqslant2</math>:


Dowód indukcyjny.  
Dowód indukcyjny. Dla <math>\displaystyle n=2</math> mamy <math>\displaystyle 2^{2^2}-6=16-6=10</math>, czyli <math>\displaystyle 10|2^{2^2}</math>.  
Dla <math>\displaystyle n=2</math> mamy <math>\displaystyle 2^{2^2}-6=16-6=10</math>, czyli <math>\displaystyle 10|2^{2^2}</math>.  
Ponadto, gdy <math>\displaystyle 2^{2^n}-6=10k</math>, to:
Ponadto, gdy <math>\displaystyle 2^{2^n}-6=10k</math>, to:


<center><math>\displaystyle 2^{2^{n+1}}-6=2^{2^n\cdot2}-6=(10k+6)^2-6=(100k^2+120k+36)-6=100k^2+120k+30,
 
<center><math>\displaystyle 2^{2^{n+1}}-6=2^{2^n\cdot2}-6=(10k+6)^2-6=(100k^2+120k+36)-6</math><math>=100k^2+120k+30,
</math></center>
</math></center>


co jest oczywiście podzielne przez <math>\displaystyle 10</math>.  
co jest oczywiście podzielne przez <math>\displaystyle 10</math>.  
Linia 79: Linia 80:
</div></div>
</div></div>


{{cwiczenie|ex tl zapuszczenie Euklidesa||
{{cwiczenie|3|cw 3|
 
Użyj algorytmu Euklidesa dla podanych wartości <math>\displaystyle a,b</math> do obliczenia NWD <math>\displaystyle  (a,b)</math>:
Użyj algorytmu Euklidesa dla podanych wartości <math>\displaystyle a,b</math> do obliczenia   NWD <math>\displaystyle  (a,b)</math>:
* <math>\displaystyle 101,1001</math>,
* <math>\displaystyle 101,1001</math>,
* <math>\displaystyle 55,89</math>.
* <math>\displaystyle 55,89</math>.
Linia 99: Linia 99:
\end{array}  
\end{array}  
</math></center>
</math></center>
* <math>\displaystyle 55,89</math>:
* <math>\displaystyle 55,89</math>:


Linia 114: Linia 115:
\end{array}  
\end{array}  
</math></center>
</math></center>


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


{{cwiczenie|ex tl rozszerzony algorytm Euklidesa||
{{cwiczenie|4|cw 4|
 
Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći <math>\displaystyle a,b</math> do wskazania współczynników <math>\displaystyle x,y</math> takich, że NWD <math>\displaystyle  (a,b)=xa+yb</math>:
Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći <math>\displaystyle a,b</math> do wskazania współczynników <math>\displaystyle x,y</math> takich, że   NWD <math>\displaystyle  (a,b)=xa+yb</math>:
* <math>\displaystyle 21,111</math>,
* <math>\displaystyle 21,111</math>,
* <math>\displaystyle 25,115</math>.
* <math>\displaystyle 25,115</math>.
Linia 135: Linia 136:
\end{array}  
\end{array}  
</math></center>
</math></center>


<center><math>\displaystyle \aligned 3&={\bf21}-3\cdot{\bf6}=21-3\cdot(111-5\cdot21)\\
<center><math>\displaystyle \aligned 3&={\bf21}-3\cdot{\bf6}=21-3\cdot(111-5\cdot21)\\
&=-3\cdot{\bf111}+14\cdot{\bf21}
&=-3\cdot{\bf111}+14\cdot{\bf21}
\endaligned</math></center>
\endaligned</math></center>
* <math>\displaystyle 25,115</math>:
* <math>\displaystyle 25,115</math>:


Linia 149: Linia 152:
\end{array}  
\end{array}  
</math></center>
</math></center>


<center><math>\displaystyle \aligned 5&={\bf15}-{\bf10}=15-(25-15)\\
<center><math>\displaystyle \aligned 5&={\bf15}-{\bf10}=15-(25-15)\\
Linia 154: Linia 158:
&=2\cdot{\bf115}-9\cdot{\bf25}
&=2\cdot{\bf115}-9\cdot{\bf25}
\endaligned</math></center>
\endaligned</math></center>


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


{{cwiczenie|ex tl cwiczenie - liczby Mersenne'a||
{{cwiczenie|5|cw 5|
 
Liczby Mersenne'a to liczby postaci <math>\displaystyle m_n=2^n-1</math>.  
Liczby Mersenne'a to liczby postaci <math>\displaystyle m_n=2^n-1</math>.  
Oto lista kilku początkowych liczb Mersenne'a z pogrubionymi liczbami pierwszymi:
Oto lista kilku początkowych liczb Mersenne'a z pogrubionymi liczbami pierwszymi:


<center><math>\displaystyle \begin{array} {|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|}
<center><math>\displaystyle \begin{array} {|c|c|c|c|c|c|c|c|c|c|c|c|c|c|c|}
Linia 170: Linia 175:
\end{array}  
\end{array}  
</math></center>
</math></center>


Pokaż, że jeśli <math>\displaystyle n</math>-ta liczba Mersenne'a jest pierwsza, to <math>\displaystyle n</math> jest pierwsza.  
Pokaż, że jeśli <math>\displaystyle n</math>-ta liczba Mersenne'a jest pierwsza, to <math>\displaystyle n</math> jest pierwsza.  
Linia 181: Linia 187:
<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, że <math>\displaystyle n</math> jest złożona, czyli <math>\displaystyle n=ab</math> dla pewnych <math>\displaystyle b\geq a>1</math>. Wtedy
Załóżmy, że <math>\displaystyle n</math> jest złożona, czyli <math>\displaystyle n=ab</math> dla pewnych <math>\displaystyle b\geq a>1</math>. Wtedy


<center><math>\displaystyle 2^n-1=2^{ab}-1=(2^a-1)(2^{a(b-1)}+2^{a(b-2)}+\ldots+2^a+1)
<center><math>\displaystyle 2^n-1=2^{ab}-1=(2^a-1)(2^{a(b-1)}+2^{a(b-2)}+\ldots+2^a+1)
</math></center>
</math></center>


Oba czynniki po prawej stronie są większe od <math>\displaystyle 1</math>, zatem <math>\displaystyle 2^n-1</math> jest złożona.
Oba czynniki po prawej stronie są większe od <math>\displaystyle 1</math>, zatem <math>\displaystyle 2^n-1</math> jest złożona.
</div></div>
</div></div>


{{cwiczenie|ex tl liczby Fermata||
{{cwiczenie|6|cw 6|
 
Liczby Fermata to liczby postaci  <math>\displaystyle \textsl{fer}_{n+1}\displaystyle  =2^{2^n}+1</math>.  
Liczby Fermata to liczby postaci  <math>\displaystyle \textsl{fer}_{n+1}\displaystyle  =2^{2^n}+1</math>.  
Oto lista kilku początkowych liczb Fermata:
Oto lista kilku początkowych liczb Fermata:


<center><math>\displaystyle \begin{array} {c|c|c|c|c|c}
<center><math>\displaystyle \begin{array} {c|c|c|c|c|c}
Linia 199: Linia 207:
\end{array}  
\end{array}  
</math></center>
</math></center>


Pokaż, że
Pokaż, że
*  <math>\displaystyle \textsl{fer}_{n+1}\displaystyle  =\prod_{i=0}^n \displaystyle \textsl{fer}_{i}\displaystyle  +2</math>,
*  <math>\displaystyle \textsl{fer}_{n+1}\displaystyle  =\prod_{i=0}^n \displaystyle \textsl{fer}_{i}\displaystyle  +2</math>,
*  <math>\displaystyle \textsl{fer}_{m}\displaystyle  \perp  \displaystyle \textsl{fer}_{n}</math> , dla <math>\displaystyle m\neq n</math>.
*  <math>\displaystyle \textsl{fer}_{m}\displaystyle  \perp  \displaystyle \textsl{fer}_{n}</math> , dla <math>\displaystyle m\neq n</math>.


Linia 215: Linia 224:
Rzeczywiście  <math>\displaystyle \textsl{fer}_{1}\displaystyle  = 5 = 3+2 =  \displaystyle \textsl{fer}_{0}\displaystyle  +2</math>.  
Rzeczywiście  <math>\displaystyle \textsl{fer}_{1}\displaystyle  = 5 = 3+2 =  \displaystyle \textsl{fer}_{0}\displaystyle  +2</math>.  
Ponadto:
Ponadto:


<center><math>\displaystyle \aligned  \displaystyle \textsl{fer}_{n+1}\displaystyle   
<center><math>\displaystyle \aligned  \displaystyle \textsl{fer}_{n+1}\displaystyle   
Linia 224: Linia 234:
=\prod_{i=0}^n  \displaystyle \textsl{fer}_{i}\displaystyle  +2.
=\prod_{i=0}^n  \displaystyle \textsl{fer}_{i}\displaystyle  +2.
\endaligned</math></center>
\endaligned</math></center>


Dla dowodu drugiego zauważmy, że przy  <math>\displaystyle m<n</math> punkt pierwszy daje  
Dla dowodu drugiego zauważmy, że przy  <math>\displaystyle m<n</math> punkt pierwszy daje  
<math>\displaystyle \textsl{fer}_{m}\displaystyle  |  \displaystyle \textsl{fer}_{n}\displaystyle  -2</math>, czyli
<math>\displaystyle \textsl{fer}_{m}\displaystyle  |  \displaystyle \textsl{fer}_{n}\displaystyle  -2</math>, czyli


<center> <math>\displaystyle \textsl{fer}_{n}</math>  { mod}  <math>\displaystyle \textsl{fer}_{m}\displaystyle  =2.
<center> <math>\displaystyle \textsl{fer}_{n}</math>  { mod}  <math>\displaystyle \textsl{fer}_{m}\displaystyle  =2.
</math></center>
</math></center>


Z drugiej strony, wprost z definicji, każda liczba Fermata jest nieparzysta, zatem
Z drugiej strony, wprost z definicji, każda liczba Fermata jest nieparzysta, zatem


<center>  NWD <math>\displaystyle  (  \displaystyle \textsl{fer}_{n}\displaystyle  ,  \displaystyle \textsl{fer}_{m}\displaystyle  )= </math>  NWD <math>\displaystyle  (  \displaystyle \textsl{fer}_{m}\displaystyle  ,2)=1.
<center>  NWD <math>\displaystyle  (  \displaystyle \textsl{fer}_{n}\displaystyle  ,  \displaystyle \textsl{fer}_{m}\displaystyle  )= </math>  NWD <math>\displaystyle  (  \displaystyle \textsl{fer}_{m}\displaystyle  ,2)=1.
</math></center>
</math></center>


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


{{cwiczenie|ex tl liczby Fibonacciego||
{{cwiczenie|7|cw 7|
 
Pokaż następujące własności liczb Fibonacci'ego:
Pokaż następujące własności liczb Fibonacci'ego:
*  NWD <math>\displaystyle  (f_n,f_{n+1})=1</math>,
*  NWD <math>\displaystyle  (f_n,f_{n+1})=1</math>,
*  NWD <math>\displaystyle  (f_m,f_n)= </math>  NWD <math>\displaystyle  (f_{n},f_{m-n})</math>, dla <math>\displaystyle m>n</math>,
*  NWD <math>\displaystyle  (f_m,f_n)= </math>  NWD <math>\displaystyle  (f_{n},f_{m-n})</math>, dla <math>\displaystyle m>n</math>,
*  NWD <math>\displaystyle  (f_m,f_n)=f_{ </math>  NWD <math>\displaystyle (m,n)}</math>.
*  NWD <math>\displaystyle  (f_m,f_n)=f_{ </math>  NWD <math>\displaystyle (m,n)}</math>.


}}
}}
Linia 261: Linia 275:
że dla mniejszych wartości jest prawdziwa.  
że dla mniejszych wartości jest prawdziwa.  


Niech teraz <math>\displaystyle d\geqslant1</math> będzie wspólnym dzielnikiem <math>\displaystyle f_n</math> oraz <math>\displaystyle f_{n+1}</math>.  
Niech teraz <math>\displaystyle d\geqslant1</math> będzie wspólnym dzielnikiem <math>\displaystyle f_n</math> oraz <math>\displaystyle f_{n+1}</math>.
Ponieważ  
Ponieważ
 


<center><math>\displaystyle f_{n+1}=f_{n-1}+f_n.
<center><math>\displaystyle f_{n+1}=f_{n-1}+f_n.
</math></center>
</math></center>


i <math>\displaystyle d</math> dzieli lewą stronę równości  
i <math>\displaystyle d</math> dzieli lewą stronę równości  
Linia 275: Linia 291:
Niech <math>\displaystyle m>n</math>.  
Niech <math>\displaystyle m>n</math>.  
Z zależności przytoczonej we wskazówce mamy
Z zależności przytoczonej we wskazówce mamy


<center><math>\displaystyle f_m=f_{m-n}f_{n+1}+f_{m-n-1}f_n.\qquad(*)
<center><math>\displaystyle f_m=f_{m-n}f_{n+1}+f_{m-n-1}f_n.\qquad(*)
</math></center>
</math></center>


Niech <math>\displaystyle d>1</math> dzieli tak <math>\displaystyle f_m</math> jak i <math>\displaystyle f_n</math>.  
Niech <math>\displaystyle d>1</math> dzieli tak <math>\displaystyle f_m</math> jak i <math>\displaystyle f_n</math>.  
Linia 292: Linia 310:
Wtedy iterując <math>\displaystyle q</math> razy tożsamość  
Wtedy iterując <math>\displaystyle q</math> razy tożsamość  
z drugiego punktu tego zadania dostajemy:
z drugiego punktu tego zadania dostajemy:


<center><math>\displaystyle \aligned  \textrm{ NWD } \displaystyle  (f_m,f_n)&= \textrm{  NWD } \displaystyle  (f_{m-n},f_n)= \textrm{ NWD } \displaystyle  (f_{m-2n},f_n)=\ldots\\
<center><math>\displaystyle \aligned  \textrm{ NWD } \displaystyle  (f_m,f_n)&= \textrm{  NWD } \displaystyle  (f_{m-n},f_n)= \textrm{ NWD } \displaystyle  (f_{m-2n},f_n)=\ldots\\
&= \textrm{ NWD } \displaystyle  (f_{m-qn},f_n)= \textrm{ NWD } \displaystyle  (f_n,f_r).
&= \textrm{ NWD } \displaystyle  (f_{m-qn},f_n)= \textrm{ NWD } \displaystyle  (f_n,f_r).
\endaligned</math></center>
\endaligned</math></center>


Oznacza to, że indeksy liczb Fibonacciego możemy przekształcać  tak,   
Oznacza to, że indeksy liczb Fibonacciego możemy przekształcać  tak,   

Wersja z 13:17, 4 wrz 2006

Teoria liczb I

Ćwiczenie 1

Udowodnij, że dla a,b,n, jeśli a|n, b|n i ab, to ab|n.

Wskazówka
Rozwiązanie

Ćwiczenie 2

Udowodnij, że:

  • 2|n2n,
  • 6|n3n,
  • 30|n5n,
  • 10|22n6, dla n2.
Rozwiązanie

Ćwiczenie 3

Użyj algorytmu Euklidesa dla podanych wartości a,b do obliczenia NWD (a,b):

  • 101,1001,
  • 55,89.
Rozwiązanie

Ćwiczenie 4

Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći a,b do wskazania współczynników x,y takich, że NWD (a,b)=xa+yb:

  • 21,111,
  • 25,115.
Rozwiązanie

Ćwiczenie 5

Liczby Mersenne'a to liczby postaci mn=2n1. Oto lista kilku początkowych liczb Mersenne'a z pogrubionymi liczbami pierwszymi:


n012345678910111213mn01𝟑𝟕15𝟑𝟏63𝟏𝟐𝟕255511102320474095𝟖𝟏𝟗𝟏


Pokaż, że jeśli n-ta liczba Mersenne'a jest pierwsza, to n jest pierwsza.

Wskazówka
Rozwiązanie

Ćwiczenie 6

Liczby Fermata to liczby postaci Parser nie mógł rozpoznać (nieznana funkcja „\textsl”): {\displaystyle \displaystyle \textsl{fer}_{n+1}\displaystyle =2^{2^n}+1} . Oto lista kilku początkowych liczb Fermata:


Parser nie mógł rozpoznać (nieznana funkcja „\textsl”): {\displaystyle \displaystyle \begin{array} {c|c|c|c|c|c} n&0&1&2&3&4\\ \hline \textsl{fer}_{n}&3&5&17&257&26987 \end{array} }


Pokaż, że

  • Parser nie mógł rozpoznać (nieznana funkcja „\textsl”): {\displaystyle \displaystyle \textsl{fer}_{n+1}\displaystyle =\prod_{i=0}^n \displaystyle \textsl{fer}_{i}\displaystyle +2} ,
  • Parser nie mógł rozpoznać (nieznana funkcja „\textsl”): {\displaystyle \displaystyle \textsl{fer}_{m}\displaystyle \perp \displaystyle \textsl{fer}_{n}} , dla mn.
Wskazówka
Rozwiązanie

Ćwiczenie 7

Pokaż następujące własności liczb Fibonacci'ego:

  • NWD (fn,fn+1)=1,
  • NWD (fm,fn)= NWD (fn,fmn), dla m>n,
  • NWD Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle (f_m,f_n)=f_{ } NWD Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle (m,n)}} .
Wskazówka
Rozwiązanie