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>”
m Zastępowanie tekstu – „,↵</math>” na „</math>,”
 
(Nie pokazano 2 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 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 fern+1=22n+1. Oto lista kilku początkowych liczb Fermata:


n01234fern351725726987


Pokaż, że

  • fern+1=i=0nferi+2,
  • fermfern , 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 (fm,fn)=fNWD(n,m).
Wskazówka
Rozwiązanie