MatISSP – Ciągi

Ciągi - Wstęp

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Definicja ciągu

Ciąg - przyporządkowanie wszystkim liczbom naturalnym z przedziału od do lub wszystkim liczbom naturalnym elementów z pewnego zbioru.

Przykłady ciągów:

  • Ciąg liczbowy: - ciąg kolejnych liczb naturalnych.

  • Ciąg zwierząt: ń

  • Ciąg skończony:

  • Ciąg nieskończony:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciąg to funkcja:

czyli

Słownie: funkcja przyporządkowuje każdej liczbie naturalnej jej odpowiedni wyraz ciągu .

Etykiety (labels)

Wyrazy ciągu (terms):

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Przykłady ciągów liczbowych

  • - ciąg kolejnych liczb naturalnych.
  • - ciąg kolejnych liczb parzystych dodatnich.
  • - naprzemienny ciąg liczb dodatnich i ujemnych.
  • - malejący ciąg ułamków.
  • - ciąg kolejnych potęg 3.
  • - ciąg malejący.
www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Wzór ogólny ciągu

Wzór ogólny ciągu - to reguła (funkcja), według której powstaje dany ciąg.

  • Zamiast pisać: dla , napiszemy krótko: .
  • Zamiast pisać: dla , napiszemy krótko: .
  • Zamiast pisać: dla , napiszemy krótko: .

Uwaga: dla parzystych i dla nieparzystych.

Wzór rekurenycyjny ciągu

Wzór rekurencyjny ciągu - to reguła, według której powstaje dany ciąg, w której kolejne wyrazy zależą od poprzednich.

  • , - ciąg arytmetyczny o różnicy 2.
  • , - ciąg geometryczny o ilorazie 2.
  • , - ciąg naprzemienny.
www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciągi arytmetyczne i geometryczne - porównanie

Ciąg arytmetyczny:

  • Wzór na -ty wyraz:
  • Suma wyrazów:
  • Średnia arytmetyczna:

Ciąg geometryczny:

  • Wzór na -ty wyraz:
  • Suma wyrazów:
  • Średnia geometryczna:
www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Tabela porównawcza:

Ciąg Wzór na -ty wyraz Suma wyrazów Średnia
Arytmetyczny
Geometryczny
www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciąg geometryczny

Ciąg geometryczny definiujemy jako ciąg, w którym każdy wyraz powstaje przez pomnożenie poprzedniego przez stałą liczbę (iloraz ciągu):

Iloraz ciągu geometrycznego wyraża się wzorem:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Przykład:

Jeżeli oraz , to kolejne wyrazy ciągu to:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Suma ciągu geometrycznego

Suma wyrazów ciągu geometrycznego wyraża się wzorem:

Dla sumy skończonej, wzór na sumę jest:

Jeśli , suma ciągu geometrycznego rośnie w nieskończoność.

Jeśli , to suma ciągu geometrycznego dąży do:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciąg arytmetyczny

Ciąg arytmetyczny definiujemy jako ciąg, w którym każdy wyraz powstaje przez dodanie do poprzedniego wyrazu stałej liczby (różnica ciągu):

Różnica ciągu arytmetycznego wyraża się wzorem:

Przykład:

Jeżeli oraz , to kolejne wyrazy ciągu to:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Suma ciągu arytmetycznego

Suma wyrazów ciągu arytmetycznego wyraża się wzorem:

Przykład:

Jeżeli , oraz , to suma wynosi:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciągi - ciąg dalszy

Suma ciągu arytmetycznego (Gauss)

Nauczyciel Gaussa kazał uczniom zsumować liczby od 1 do 100. Gauss niemal natychmiast podał wynik 5050. Jak to zrobił?

Rozważmy sumę kolejnych liczb naturalnych od 1 do 100:

i dodajmy do niej tę samą sumę w odwrotnej kolejności:

Możemy teraz zauważyć, że suma obu tych ciągów wynosi:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Mając

sumę tę można uogólnić dla dowolnego ciągu arytmetycznego:

gdzie to pierwszy wyraz ciągu, to -ty wyraz ciągu, a to liczba wyrazów ciągu.

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Skąd się wziął wzór na sumę geometrycznego?

Rozważmy sumę ciągu geometrycznego:

Pomnóżmy tę sumę przez iloraz ciągu :

Odejmijmy od powyższego równania pierwotne równanie sumy:

Zauważmy, że wiele wyrazów się skróci:

Zatem:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Gdy mamy niekończący się ciąg geometryczny gdzie , to suma wyrazów tego ciągu wynosi:

Suma nieskończona jest równa:

Zauważmy, że w nawiasie mamy:

Zatem:

A więc suma nieskończona ciągu geometrycznego wynosi:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciągi - dalsze przykłady

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Liczby Fibonacciego

Ciąg Fibonacciego to ciąg liczb naturalnych, w którym każda liczba jest sumą dwóch poprzednich liczb, zaczynając od 0 i 1:

Wzór na -ty wyraz ciągu Fibonacciego:

Pierwsze dwadzieścia wyrazów ciągu Fibonacciego to:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciąg został omówiony w roku 1202 przez Leonarda z Pizy, zwanego Fibonaccim, w dziele Liber abaci jako rozwiązanie zadania o rozmnażaniu się królików.

Mamy wzór rekurencyjny, ale czy jest wzór ogólny na -ty wyraz ciągu Fibonacciego?

Używjąc złotej proporcji , można obliczyć -ty wyraz ciągu jako:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Liczby Catalana

Liczby te zostały po raz pierwszy wprowadzone przez Leonarda Eulera w XVIII wieku, który badał liczbę podziałów wielokątów na trójkąty. Zostały nazwane na cześć Eugène Charlesa Catalana, który rozważał je jako liczbę sposobów rozmieszczeń nawiasów w wyrażeniach matematycznych.

Ciąg liczb Catalana to ciąg liczb naturalnych:

Wzór na -ty wyraz ciągu Catalana:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Serial Lost

W serialu Lost pojawia się ciąg liczb: 4, 8, 15, 16, 23, 42. Ich suma wynosi 108. Co 108 minut w serialu resetuje się stacja badawcza.

Link: https://oeis.org/A104101

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Liczby pierwsze

Ciąg liczb pierwszych to ciąg liczb naturalnych, które są większe od 1 i mają dokładnie 2 dzielniki: 1 i samą siebie.

Wzór na -tą liczbę pierwszą:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Wolfram Alpha

Czasami warto skorzystać z Wolfram Alpha, aby znaleźć wzory na ciągi liczb: przykład.

OEIS - The On-Line Encyclopedia of Integer Sequences

The On-Line Encyclopedia of Integer Sequences (OEIS) to internetowa encyklopedia ciągów liczb całkowitych. Zawiera ponad 300 tysięcy ciągów liczb, wraz z informacjami na ich temat.

Przykłady ciągów z OEIS:

  • Ciąg Fibonacciego: A000045
  • Ciąg liczb Catalana: A000108
  • Ciąg liczb pierwszych: A000040
  • Podział tortu n-cięciami: $1, 2, 4, 8, 15, 26, 42, 64, 93, 130, ... $A000125

Zawiera też wartości kombinacji stałych matematycznych i fizycznych!

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Szeregi

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Szeregi

Sumy częściowe

Dla danego nieskończonego ciągu liczb rzeczywistych definiuje się -tą
sumę częściową tego ciągu (lub sumę częściową szeregu) jako

Ciąg nazywamy ciągiem sum częściowych.

Definicja szeregu

Szeregiem nazywamy ciąg sum częściowych utworzony z wyrazów ciągu .

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Suma szeregu

Jeżeli istnieje granica ciągu sum częściowych:

to liczba nazywana jest sumą szeregu. W takim przypadku mówimy, że szereg jest zbieżny.

Jeżeli taka granica nie istnieje lub jest nieskończona, to szereg jest rozbieżny i nie ma sumy właściwej.

Suma szeregu

Sumę szeregu zapisuje się symbolicznie jako

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Równania nowego typu:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Ciąg i szereg harmoniczny

Mikołaj Oresme, (ur. około 1320, zm. 11 lipca 1382) – francuski średniowieczny filozof i katolicki biskup. Prowadził badania w zakresie matematyki, ekonomii, fizyki i astronomii. Ponadto był uznanym tłumaczem i komentatorem dzieł Arystotelesa.

Do jego osiągnięć zalicza się: tworzenie francuskiej terminologii naukowej, w matematyce – wprowadzenie potęgi w wykładniku ułamkowym i udowodnienie rozbieżności szeregu harmonicznego, w astronomii – koncepcję dobowego ruchu Ziemi, w ekonomii – pionierskie prace na temat teorii pieniądza.

Wiemy, że:

Co zrobić z bardzo podobnym wyrażeniem?

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Dowód Oresme na rozbieżność szeregu harmonicznego:

Oresme zauważył (ok 1380 AD), że możemy podzielić ciąg na grupy:

a później napisać nierówność

Prawa strona

czyli

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Co ciekawe, jeśli będziemy mieć naprzemienny ciąg harmoniczny to ten jest skończony:

Zwróćmy również uwagę na tzw. funkcję zeta Riemanna:

Trwają wysiłki by znaleźć miejsc zerowe tej funkcji, ponieważ są one związane z liczbami pierwszymi. Jest to jedno z najważniejszych nierozwiązanych problemów matematycznych.

Ciekawostka: . Tak, to jest równość!

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Indukcja matematyczna

Indukcja matematyczna to metoda dowodzenia używana do wykazania prawdziwości pewnego twierdzenia dla wszystkich liczb naturalnych. Proces ten składa się z dwóch etapów:

  1. Krok bazowy: Wykazujemy, że twierdzenie jest prawdziwe dla pierwszej liczby naturalnej (najczęściej ).

  2. Krok indukcyjny: Zakładamy, że twierdzenie jest prawdziwe dla pewnej liczby naturalnej (tzw. założenie indukcyjne), i wykazujemy, że jest ono prawdziwe również dla .

Jeżeli oba kroki zostaną spełnione, wówczas zgodnie z zasadą indukcji matematycznej twierdzenie jest prawdziwe dla wszystkich liczb naturalnych.

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Przykład: Udowodnij, sumę sześcianów liczb naturalnych da się zapisać jako:

  1. Krok bazowy (dla ( n = 1 )):

Lewa strona = Prawa strona, więc dla ( n = 1 ) równanie jest prawdziwe.

  1. Krok indukcyjny (dla ( n = 2 )):

Zatem lewa strona = prawa strona, czyli , co oznacza, że dla równanie również jest prawdziwe.

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi
  1. Założenie indukcyjne:

Zakładamy, że dla pewnej liczby równanie jest prawdziwe:

  1. Dowód dla :

Musimy wykazać, że:

Dodajemy do obu stron:

www.ift.uni.wroc.pl/~rdurka/matissp
MatISSP – Ciągi

Uproszczenie:

Po dalszych przekształceniach:

Ostatecznie:

Dowód zakończony, więc twierdzenie jest prawdziwe dla wszystkich .