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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
mNie podano opisu zmian
m Zastępowanie tekstu – „ \displaystyle ” na „”
Linia 210: Linia 210:


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


}}
}}
Linia 222: Linia 222:
<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">   
Pierwszy wzór łatwo zweryfikować indukcyjnie.
Pierwszy wzór łatwo zweryfikować indukcyjnie.
Rzeczywiście  <math>\displaystyle \mathit{fer}_{1}\displaystyle  = 5 = 3+2 =   \displaystyle \mathit{fer}_{0}\displaystyle  +2</math>.  
Rzeczywiście  <math>\displaystyle \mathit{fer}_{1}\displaystyle  = 5 = 3+2 = \mathit{fer}_{0}\displaystyle  +2</math>.  
Ponadto:
Ponadto:




<center><math>\displaystyle \begin{align}   \displaystyle \mathit{fer}_{n+1}\displaystyle   
<center><math>\displaystyle \begin{align} \mathit{fer}_{n+1}\displaystyle   
&=2^{2^{n+1}}+1
&=2^{2^{n+1}}+1
=2^{2^n\cdot2}+1
=2^{2^n\cdot2}+1
= \displaystyle \mathit{fer}_{n}\displaystyle  ^2-2 \displaystyle \mathit{fer}_{n}\displaystyle  +2\\
= \mathit{fer}_{n}\displaystyle  ^2-2 \mathit{fer}_{n}\displaystyle  +2\\
&= \displaystyle \mathit{fer}_{n}\displaystyle  ( \displaystyle \mathit{fer}_{n}\displaystyle  -2)+2
&= \mathit{fer}_{n}\displaystyle  ( \mathit{fer}_{n}\displaystyle  -2)+2
= \displaystyle \mathit{fer}_{n}\displaystyle  \cdot\prod_{i=0}^{n-1} \displaystyle \mathit{fer}_{i}\displaystyle  +2
= \mathit{fer}_{n}\displaystyle  \cdot\prod_{i=0}^{n-1} \mathit{fer}_{i}\displaystyle  +2
=\prod_{i=0}^n \displaystyle \mathit{fer}_{i}\displaystyle  +2.
=\prod_{i=0}^n \mathit{fer}_{i}\displaystyle  +2.
\end{align}</math></center>
\end{align}</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 \mathit{fer}_{m}\displaystyle  | \displaystyle \mathit{fer}_{n}\displaystyle  -2</math>, czyli
<math>\displaystyle \mathit{fer}_{m}\displaystyle  | \mathit{fer}_{n}\displaystyle  -2</math>, czyli




Linia 247: Linia 247:




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


Linia 312: Linia 312:




<center><math>\displaystyle \begin{align}  \text{ NWD } \displaystyle  (f_m,f_n)&= \mbox{  NWD } \displaystyle  (f_{m-n},f_n)= \mbox{ NWD } \displaystyle  (f_{m-2n},f_n)=\ldots\\
<center><math>\displaystyle \begin{align}  \text{ NWD } (f_m,f_n)&= \mbox{  NWD } (f_{m-n},f_n)= \mbox{ NWD } (f_{m-2n},f_n)=\ldots\\
&= \mbox{ NWD } \displaystyle  (f_{m-qn},f_n)= \mbox{ NWD } \displaystyle  (f_n,f_r).
&= \mbox{ NWD } (f_{m-qn},f_n)= \mbox{ NWD } (f_n,f_r).
\end{align}</math></center>
\end{align}</math></center>



Wersja z 08:50, 28 sie 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