Przeczytaj
Ciągi liczbowe możemy opisywać słownie, za pomocą wzoru, tabelki, wykresu, czy wypisując jego wyrazy (w przypadku ciągów skończonych). Na podstawie opisu ciągu, można odkryć niektóre własności tego ciągu.
Ciąg, w którym wyrazy są liczbami, nazywamy ciągiem liczbowym.
Ciągiem skończonym nazywamy funkcję określoną na zbiorze .
Poznamy teraz ciąg liczbowyciąg liczbowy , zwany ciągiem Mersenne'a, na cześć jego odkrywcy Marina Mersenne. Ciąg ten można opisać wzorem rekurencyjnym.
Aby znaleźć wzór ogólny ciągu, zapiszemy najpierw kilka początkowych jego wyrazów i zaobserwujemy regułę, według której są tworzone.
Wzór ogólny ciągu:
, gdzie
Wykażemy, że ciąg jest rosnący.
Wyrazy ciągu są dodatnie i różnica między kolejnymi wyrazami ciągu jest dodatnia, zatem ciąg jest rosnący. Wynika z tego, że najmniejszy wyraz ciągu to , a największego wyrazu ciąg nie posiada.
Określimy ile wyrazów ciągu jest mniejszych od .
Największa liczba naturalna spełniająca tę nierówność to . Zatem szesnaście wyrazów ciągu jest mniejszych od .
Ciąg Mersenne'a odegrał znamienitą rolę w historii poszukiwania liczb pierwszych, bowiem Marin Mersenne ustalił, że jeśli , to liczba jest liczbą pierwszą tylko dla , , , , , , , , , , . Dopiero po latach odkryto błędy w stwierdzeniu Mersenne'a i skorygowano jego obliczenia. Mersenne błędnie do liczb pierwszych zaliczył liczby i , a pominął trzy inne liczby.
Liczby Mersenne'a występują we wzorze, który generuje liczby doskonałe. Zatem odkryciu nowej liczby pierwszej Mersenne'a towarzyszy odkrycie nowej liczby doskonałej.
Liczbę pierwszą nazywamy absolutną, gdy jest liczbą pierwszą przy każdym przestawieniu jej cyfr.
Rozważmy ciąg , którego wyrazy są trzycyfrowymi liczbami absolutnie pierwszymi.
Udowodnimy, że wyrazy tego ciągu mogą składać się tylko z cyfr , , , .
Niech będzie liczbą trzycyfrową absolutnie pierwszą. Cyfrą tej liczby nie może być ani , ani , ani , ani gdyż po przestawieniu tej cyfry na miejsce cyfry jedności, otrzymujemy liczbę parzystą trzycyfrową, zatem złożoną. Podobnie cyfrą jedności nie może być . Zatem jedyne cyfry, z których może składać się liczba to , , , , co należało wykazać.
Można też udowodnić, że nie ma takiej liczby absolutnie pierwszej, w zapisie dziesiętnym której występują trzy różne cyfry.
Zatem
.
Ciąg określony jest wzorem ogólnym . Wykażemy, że tylko jeden wyraz tego ciągu jest liczbą pierwszą.
Obliczamy początkowe wyrazy ciągu.
Zauważmy, że wśród wyznaczonych liczb jest liczba pierwsza – jest to wyraz . Musimy więc udowodnić, że dla każda liczba postaci jest złożona.
Przekształcamy wzór ciągu, korzystając ze wzoru skróconego mnożenia.
Reszta z dzielenia liczby przez może być równa lub .
Jeśli liczba w dzieleniu przez daje resztę , to jest postaci , gdzie jest pewną liczbą naturalną dodatnią.
Wtedy: .
Liczba jest więc wielokrotnością liczby , zatem liczba jest liczbą całkowitą, podzielną przez , jest więc liczbą złożoną.
Jeśli liczba w dzieleniu przez daje resztę , to jest postaci , gdzie jest pewną liczbą naturalną dodatnią.
Wtedy: .
Liczba jest więc wielokrotnością liczby , zatem liczba jest liczbą całkowitą, podzielną przez , jest więc liczbą złożoną.
Zatem istotnie, jedyna liczba pierwsza, będąca wyrazem ciągu, to .
Wykażemy, że ciąg określony wzorem jest malejący.
Zauważmy, że wyrazy ciągu dla wszystkich są dodatnie. Zatem, aby wykazać, że ciąg jest malejący, możemy określić znak ilorazu .
dla wszystkich
Wynika z tego, że dla wszystkich , co oznacza, że ciąg jest malejący.
Mówimy, że ciąg jest ograniczony z dołu, jeżeli istnieje taka liczba rzeczywista , że nierówność jest prawdziwa dla każdej liczby naturalnej dodatniej .
Mówimy, że ciąg jest ograniczony z góry, jeżeli istnieje taka liczba rzeczywista , że nierówność jest prawdziwa dla każdej liczby naturalnej dodatniej .
Ciąg jest ograniczony, jeżeli jest ograniczony z dołu i z góry.
Wykażemy, że ciąg określony wzorem jest ograniczony.
Wyrazy ciągu są dodatnie, zatem ciąg ograniczony jest z dołu na przykład liczbą , czyli .
Ciąg jest ograniczony z góry na przykład liczbą , czyli .
Ciąg jest ograniczony z dołu i z góry, jest zatem ograniczony, co należało wykazać.
Słownik
ciąg, w którym wyrazy są liczbami, nazywamy ciągiem liczbowym