Matematyka dyskretna 1/Ćwiczenia 10: Teoria liczb: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „,↵</math>” na „</math>,” |
|||
(Nie pokazano 3 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
Linia 72: | Linia 72: | ||
<center><math>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 | <center><math>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> | |||
Linia 81: | Linia 80: | ||
{{cwiczenie|3|cw 3| | {{cwiczenie|3|cw 3| | ||
Użyj algorytmu Euklidesa dla podanych wartości <math>a,b</math> do obliczenia NWD <math> (a,b)</math>: | Użyj algorytmu Euklidesa dla podanych wartości <math>a,b</math> do obliczenia NWD <math>(a,b)</math>: | ||
* <math>101,1001</math>, | * <math>101,1001</math>, | ||
* <math>55,89</math>. | * <math>55,89</math>. | ||
Linia 120: | Linia 119: | ||
{{cwiczenie|4|cw 4| | {{cwiczenie|4|cw 4| | ||
Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći <math>a,b</math> do wskazania współczynników <math>x,y</math> takich, że NWD <math> (a,b)=xa+yb</math>: | Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći <math>a,b</math> do wskazania współczynników <math>x,y</math> takich, że NWD <math>(a,b)=xa+yb</math>: | ||
* <math>21,111</math>, | * <math>21,111</math>, | ||
* <math>25,115</math>. | * <math>25,115</math>. | ||
Linia 240: | Linia 239: | ||
<center> <math>\mathit{fer}_{n}\mod\mathit{fer}_{m}=2 | <center> <math>\mathit{fer}_{n}\mod\mathit{fer}_{m}=2</math></center> | ||
</math></center> | |||
Linia 247: | Linia 245: | ||
<center> NWD <math> ( \mathit{fer}_{n} , \mathit{fer}_{m} )= </math> NWD <math> ( \mathit{fer}_{m} ,2)=1 | <center> NWD <math>( \mathit{fer}_{n} , \mathit{fer}_{m} )=</math> NWD <math>( \mathit{fer}_{m} ,2)=1</math></center> | ||
</math></center> | |||
Linia 255: | Linia 252: | ||
{{cwiczenie|7|cw 7| | {{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> (f_n,f_{n+1})=1</math>, | * NWD <math>(f_n,f_{n+1})=1</math>, | ||
* NWD <math> (f_m,f_n)= </math> NWD <math> (f_{n},f_{m-n})</math>, dla <math>m>n</math>, | * NWD <math>(f_m,f_n)=</math> NWD <math>(f_{n},f_{m-n})</math>, dla <math>m>n</math>, | ||
* NWD <math> (f_m,f_n)= f_{NWD(n,m)}</math>. | * NWD <math>(f_m,f_n)= f_{NWD(n,m)}</math>. | ||
}} | }} | ||
Linia 264: | Linia 261: | ||
Pierwszy punkt udowodnij indukcyjnie.<br> | Pierwszy punkt udowodnij indukcyjnie.<br> | ||
W drugim wykorzystaj zależność <math>f_{a+b}=f_a f_{b+1}+f_{a-1} f_b</math>.<br> | W drugim wykorzystaj zależność <math>f_{a+b}=f_a f_{b+1}+f_{a-1} f_b</math>.<br> | ||
Dla dowodu trzeciego pokaż, że NWD <math> (f_m,f_n)= </math> NWD <math> (f_n,f_{m \mod n}) \text{ dla } m>n</math>. | Dla dowodu trzeciego pokaż, że NWD <math>(f_m,f_n)=</math> NWD <math>(f_n,f_{m \mod n}) \text{ dla } m>n</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"> | ||
* NWD <math> (f_n,f_{n+1})=1</math>: | * NWD <math>(f_n,f_{n+1})=1</math>: | ||
Dla <math>n=0</math> mamy NWD <math> (f_0,f_1)= </math> NWD <math> (0,1)=1</math>. | Dla <math>n=0</math> mamy NWD <math>(f_0,f_1)=</math> NWD <math>(0,1)=1</math>. | ||
Dla <math>n=1</math> mamy NWD <math> (f_1,f_2)= </math> NWD <math> (1,2)=1</math>. | Dla <math>n=1</math> mamy NWD <math>(f_1,f_2)=</math> NWD <math>(1,2)=1</math>. | ||
Udowodnimy tezę dla <math>n+1</math> (gdzie <math>n>1</math>) przy założeniu, | Udowodnimy tezę dla <math>n+1</math> (gdzie <math>n>1</math>) przy założeniu, | ||
że dla mniejszych wartości jest prawdziwa. | że dla mniejszych wartości jest prawdziwa. | ||
Linia 279: | Linia 276: | ||
<center><math>f_{n+1}=f_{n-1}+f_n | <center><math>f_{n+1}=f_{n-1}+f_n</math></center> | ||
</math></center> | |||
Linia 286: | Linia 282: | ||
oraz <math>d</math> dzieli <math>f_n</math>, to musi też dzielić <math>f_{n-1}</math>. | oraz <math>d</math> dzieli <math>f_n</math>, to musi też dzielić <math>f_{n-1}</math>. | ||
To oznacza, że <math>d</math> jest wspólnym dzielnikiem <math>f_{n-1}</math> i <math>f_n</math>, | To oznacza, że <math>d</math> jest wspólnym dzielnikiem <math>f_{n-1}</math> i <math>f_n</math>, | ||
co wraz z założeniem indukcyjnym NWD <math> (f_{n-1},f_n)=1</math> daje <math>d=1</math>. | co wraz z założeniem indukcyjnym NWD <math>(f_{n-1},f_n)=1</math> daje <math>d=1</math>. | ||
* NWD <math> (f_m,f_n)= </math> NWD <math> (f_{n},f_{m-n})</math>, dla <math>m>n</math>: | * NWD <math>(f_m,f_n)=</math> NWD <math>(f_{n},f_{m-n})</math>, dla <math>m>n</math>: | ||
Niech <math>m>n</math>. | Niech <math>m>n</math>. | ||
Linia 298: | Linia 294: | ||
Niech <math>d>1</math> dzieli tak <math>f_m</math> jak i <math>f_n</math>. | Niech <math>d>1</math> dzieli tak <math>f_m</math> jak i <math>f_n</math>. | ||
Z poprzedniego punktu mamy więc NWD <math> (f_n,f_{n+1})=1</math>, | Z poprzedniego punktu mamy więc NWD <math>(f_n,f_{n+1})=1</math>, | ||
czyli <math>d\perp f_{n+1}</math>. | czyli <math>d\perp f_{n+1}</math>. | ||
Ponadto, równość <math>(*)</math> pozwala wnosić, że <math>d|f_{m-n}f_{n+1}</math>, | Ponadto, równość <math>(*)</math> pozwala wnosić, że <math>d|f_{m-n}f_{n+1}</math>, | ||
Linia 304: | Linia 300: | ||
Zatem dowolny <math>d>1</math> wspólny dzielnik <math>f_m</math> i <math>f_n</math> dzieli również <math>f_{m-n}</math>. | Zatem dowolny <math>d>1</math> wspólny dzielnik <math>f_m</math> i <math>f_n</math> dzieli również <math>f_{m-n}</math>. | ||
Na odwrót, z równości <math>(*)</math>, dowolny dzielnik <math>f_{m-n}</math> i <math>f_n</math> dzieli tez <math>f_m</math>, | Na odwrót, z równości <math>(*)</math>, dowolny dzielnik <math>f_{m-n}</math> i <math>f_n</math> dzieli tez <math>f_m</math>, | ||
więc NWD <math> (f_m,f_n)= </math> NWD <math> (f_n,f_{m-n})</math>. | więc NWD <math>(f_m,f_n)=</math> NWD <math>(f_n,f_{m-n})</math>. | ||
* NWD <math> (f_m,f_n)=f_{NWD(n,m)}</math>: | * NWD <math>(f_m,f_n)=f_{NWD(n,m)}</math>: | ||
Niech <math>m>n</math> ma reprezentację <math>m=qn+r</math>, dla pewnego <math>q\geqslant1</math> i <math>0\leq r <n</math>. | Niech <math>m>n</math> ma reprezentację <math>m=qn+r</math>, dla pewnego <math>q\geqslant1</math> i <math>0\leq r <n</math>. | ||
Linia 319: | Linia 315: | ||
Oznacza to, że indeksy liczb Fibonacciego możemy przekształcać tak, | Oznacza to, że indeksy liczb Fibonacciego możemy przekształcać tak, | ||
jakby były poddane Algorymowi Euklidesa. | jakby były poddane Algorymowi Euklidesa. | ||
Dzięki temu po skończonej liczbie kroków dojdziemy do indeksu NWD <math> (m,n)</math>. | Dzięki temu po skończonej liczbie kroków dojdziemy do indeksu NWD <math>(m,n)</math>. | ||
</div></div> | </div></div> |
Aktualna wersja na dzień 21:46, 11 wrz 2023
Teoria liczb I
Ćwiczenie 1
Udowodnij, że dla , jeśli , i , to .
Wskazówka
Rozwiązanie
Ćwiczenie 2
Udowodnij, że:
- ,
- ,
- ,
- , dla .
Rozwiązanie
Ćwiczenie 3
Użyj algorytmu Euklidesa dla podanych wartości do obliczenia NWD :
- ,
- .
Rozwiązanie
Ćwiczenie 4
Użyj rozszerzonego algorytmu Euklidesa dla podanych wartośći do wskazania współczynników takich, że NWD :
- ,
- .
Rozwiązanie
Ć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.
Wskazówka
Rozwiązanie
Ćwiczenie 6
Liczby Fermata to liczby postaci . Oto lista kilku początkowych liczb Fermata:
Pokaż, że
- ,
- , dla .
Wskazówka
Rozwiązanie
Ćwiczenie 7
Pokaż następujące własności liczb Fibonacci'ego:
- NWD ,
- NWD NWD , dla ,
- NWD .
Wskazówka
Rozwiązanie