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 | * <math>\displaystyle \mathit{fer}_{n+1}\displaystyle =\prod_{i=0}^n\mathit{fer}_{i}\displaystyle +2</math>, | ||
* <math>\displaystyle \mathit{fer}_{m}\displaystyle \perp | * <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 = | Rzeczywiście <math>\displaystyle \mathit{fer}_{1}\displaystyle = 5 = 3+2 = \mathit{fer}_{0}\displaystyle +2</math>. | ||
Ponadto: | Ponadto: | ||
<center><math>\displaystyle \begin{align} | <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 | ||
= | = \mathit{fer}_{n}\displaystyle ^2-2 \mathit{fer}_{n}\displaystyle +2\\ | ||
&= | &= \mathit{fer}_{n}\displaystyle ( \mathit{fer}_{n}\displaystyle -2)+2 | ||
= | = \mathit{fer}_{n}\displaystyle \cdot\prod_{i=0}^{n-1} \mathit{fer}_{i}\displaystyle +2 | ||
=\prod_{i=0}^n | =\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 | | <math>\displaystyle \mathit{fer}_{m}\displaystyle | \mathit{fer}_{n}\displaystyle -2</math>, czyli | ||
Linia 247: | Linia 247: | ||
<center> NWD <math>\displaystyle ( | <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 } | <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 } | &= \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 , 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