Matematyka dyskretna 1/Ćwiczenia 10: Teoria liczb: Różnice pomiędzy wersjami
Nie podano opisu zmian |
|||
Linia 1: | Linia 1: | ||
==Teoria liczb I== | ==Teoria liczb I== | ||
{{cwiczenie| | {{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| | {{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>. | |||
<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| | {{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 | |||
* <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| | {{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 | |||
* <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| | {{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| | {{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 | * <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| | {{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 | * 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 , jeśli , i , to .
Ćwiczenie 2
Udowodnij, że:
- ,
- ,
- ,
- , dla .
Ćwiczenie 3
Użyj algorytmu Euklidesa dla podanych wartości do obliczenia NWD :
- ,
- .
Ćwiczenie 4
Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći do wskazania współczynników takich, że NWD :
- ,
- .
Ćwiczenie 5
Liczby Mersenne'a to liczby postaci . Oto lista kilku początkowych liczb Mersenne'a z pogrubionymi liczbami pierwszymi:
Pokaż, że jeśli -ta liczba Mersenne'a jest pierwsza, to jest pierwsza.
Ć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:
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 .
Ćwiczenie 7
Pokaż następujące własności liczb Fibonacci'ego:
- NWD ,
- NWD NWD , dla ,
- 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)}} .