Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:

Podobne dokumenty
1 Liczby rzeczywiste. 1.1 Dlaczego nie wystarczają liczby wymierne

Funkcja wykładnicza kilka dopowiedzeń

7. CIĄGI. WYKŁAD 5. Przykłady :

Analiza matematyczna. 1. Ciągi

Temperatura w atmosferze (czy innym ośrodku) jako funkcja dł. i szer. geogr. oraz wysokości.

a 1, a 2, a 3,..., a n,...

Pochodna funkcji odwrotnej

Znaleźć wzór ogólny i zbadać istnienie granicy ciągu określonego rekurencyjnie:

Finanse i Rachunkowość studia niestacjonarne Wprowadzenie do teorii ciągów liczbowych (treść wykładu z 21 grudnia 2014)

Całki niewłaściwe. Całki w granicach nieskończonych

Definicja odwzorowania ciągłego i niektóre przykłady

Zapisujemy to symbolicznie jako równość:. Mówimy też, że ciąg posiada granicę niewłaściwą (równą nieskończoności).

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

WYKŁAD Z ANALIZY MATEMATYCZNEJ I. dr. Elżbieta Kotlicka. Centrum Nauczania Matematyki i Fizyki

Projekt Era inżyniera pewna lokata na przyszłość jest współfinansowany przez Unię Europejską w ramach Europejskiego Funduszu Społecznego

Dlaczego nie wystarczają liczby wymierne

Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone

Pochodne wyższych rzędów definicja i przykłady

Ciąg monotoniczny. Autorzy: Katarzyna Korbel

Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d

Krzysztof Rykaczewski. Szeregi

Rozdział 6. Ciągłość. 6.1 Granica funkcji

Ciągi liczbowe wykład 3

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Ciągi. Pojęcie granicy ciągu.

WŁASNOŚCI FUNKCJI MONOTONICZNYCH

jest ciągiem elementów z przestrzeni B(R, R)

Ciągi komplementarne. Autor: Krzysztof Zamarski. Opiekun pracy: dr Jacek Dymel

Wykład 8. Informatyka Stosowana. 26 listopada 2018 Magdalena Alama-Bućko. Informatyka Stosowana Wykład , M.A-B 1 / 31

E-learning - matematyka - poziom rozszerzony. Funkcja wykładnicza. Materiały merytoryczne do kursu

Matematyka. Justyna Winnicka. Na podstawie podręcznika Matematyka. e-book M. Dędys, S. Dorosiewicza, M. Ekes, J. Kłopotowskiego.

Funkcje wymierne. Funkcja homograficzna. Równania i nierówności wymierne.

Matematyka ZLic - 2. Granica ciągu, granica funkcji. Ciągłość funkcji, własności funkcji ciągłych.

Granice ciągów liczbowych

Matematyka dyskretna. Andrzej Łachwa, UJ, a/15

1. Funkcje monotoniczne, wahanie funkcji.

WYMAGANIA EDUKACYJNE Z MATEMATYKI KLASA III ZAKRES ROZSZERZONY (90 godz.) , x

Ciagi liczbowe wykład 4

LX Olimpiada Matematyczna

W. Guzicki Zadanie IV z Informatora Maturalnego poziom rozszerzony 1

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

Notatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski

Wykład 7. Informatyka Stosowana. 21 listopada Informatyka Stosowana Wykład 7 21 listopada / 27

LOGIKA I TEORIA ZBIORÓW

Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017

Lista zagadnień omawianych na wykładzie w dn r. :

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Czym jest ciąg? a 1, a 2, lub. (a n ), n = 1,2,

Definicja i własności wartości bezwzględnej.

Aproksymacja diofantyczna

Notatki z Analizy Matematycznej 2. Jacek M. Jędrzejewski

CIĄGI wiadomości podstawowe

Funkcje rzeczywiste jednej. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski

1 Podstawowe oznaczenia

W. Guzicki Próbna matura, grudzień 2014 r. poziom rozszerzony 1

Rozwiązaniem jest zbiór (, ] (5, )

1 Działania na zbiorach

Łatwy dowód poniższej własności pozostawiamy czytelnikowi.

WYMAGANIA EDUKACYJNE NA POSZCZEGÓLNE OCENY

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

EGZAMIN, ANALIZA 1A, , ROZWIĄZANIA

Rozdział 5. Szeregi liczbowe. 5.1 Szeregi liczbowe. Definicja sumy częściowej ciągu. Niech dany będzie ciąg liczbowy (a n ) n=1.

O funkcjach : mówimy również, że są określone na zbiorze o wartościach w zbiorze.

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

SZEREGI LICZBOWE I FUNKCYJNE

EGZAMIN, ANALIZA 1A, zadań po 5 punktów, progi: 20=3.0, 24=3.5, 28=4.0, 32=4.5, 36=5.0

Twierdzenia Rolle'a i Lagrange'a

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Metody numeryczne I Równania nieliniowe

Indukcja matematyczna. Zasada minimum. Zastosowania.

5. Logarytmy: definicja oraz podstawowe własności algebraiczne.

1 Funkcje i ich granice

S n = a 1 1 qn,gdyq 1

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

4. Postęp arytmetyczny i geometryczny. Wartość bezwzględna, potęgowanie i pierwiastkowanie liczb rzeczywistych.

Matematyka i Statystyka w Finansach. Rachunek Różniczkowy

Ułamki łańcuchowe i liczby niewymierne. Ułamki łańcuchowe i liczby niewymierne

Funkcja kwadratowa. f(x) = ax 2 + bx + c = a

E-learning - matematyka - poziom rozszerzony. Ciągi liczbowe. Ciąg arytmetyczny i ciąg geometryczny. Materiały merytoryczne do kursu

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

020 Liczby rzeczywiste

Matematyka I. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr zimowy 2018/2019 Wykład 3

domykanie relacji, relacja równoważności, rozkłady zbiorów

Kolorowanie płaszczyzny, prostych i okręgów

ZALICZENIE WYKŁADU: 30.I.2019

zbiorów domkniętych i tak otrzymane zbiory domknięte ustawiamy w ciąg. Oznaczamy

LVIII Olimpiada Matematyczna

Egzamin z Analizy Matematycznej I dla Informatyków, 28 I 2017 Część I

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

Zajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria

Ciągi. Granica ciągu i granica funkcji.

Logarytmy. Funkcje logarytmiczna i wykładnicza. Równania i nierówności wykładnicze i logarytmiczne.

Informacja o przestrzeniach Hilberta

WYMAGANIA EDUKACYJNE NA POSZCZEGÓLNE OCENY

Jarosław Wróblewski Matematyka Elementarna, zima 2014/15

Ciągłość funkcji jednej zmiennej rzeczywistej. Autorzy: Anna Barbaszewska-Wiśniowska

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).

19 marzec, Łańcuchy Markowa z czasem dyskretnym. Procesy Stochastyczne, wykład 6, T. Byczkowski, Procesy Stochastyczne, PPT, Matematyka MAP1136

Transkrypt:

Podstawowe definicje Definicja ciągu Ciągiem nazywamy funkcję na zbiorze liczb naturalnych, tzn. przyporządkowanie każdej liczbie naturalnej jakiejś liczby rzeczywistej. (Mówimy wtedy o ciągu o wyrazach rzeczywistych; analogicznie możemy mówić o ciągu o wyrazach naturalnych, całkowitych, wymiernych,...) Zazwyczaj ciąg zapisujemy w postaci: lub Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny: (tu są pewnymi liczbami rzeczywistymi) oraz ciąg geometryczny: (tu liczby rzeczywiste). Najczęściej definiujemy ciąg przez jawnie, wzorem dla pewnej funkcji (w ten sposób jest zdefiniowane są ciągi powyżej, np. ciąg (1): tu ). Drugim często spotykanym sposobem jest definicja rekurencyjna, w której zadaje się pierwszy wyraz ciągu oraz formułę:, gdzie jest pewną funkcją. Np. ciąg (2) można równoważnie zadać jako:. Tutaj łatwo jest przejść od postaci rekurencyjnej do postaci jawnej; na ogół jest to jednak znacznie trudniejsze (p. zadanie o ciągu Fibonacciego). Dla wielu ciągów nie potrafimy podać jawnego wzoru na ty wyraz; np. jest tak z ciągiem liczb pierwszych (wiemy, że jest ich nieskończenie wiele; stanowią podzbiór, więc można je ustawić w ciąg. Ale jawnej postaci takiego ciągu nie potrafimy podać). Ciąg rosnący Ciąg nazywamy rosnącym (odpowiednio: niemalejącym, jeśli (odpowiednio, jeśli ). Analogicznie Ciąg malejący Ciąg nazywamy malejącym (odpowiednio: nierosnącym, jeśli (odpowiednio, jeśli ). Ciągi rosnące i malejące obejmujemy wspólną nazwą ciągów monotonicznych.

Przykład Ciąg liczb nieparzystych jest rosnący; ciąg nie jest rosnący, ale jest niemalejący; ciąg nie jest ani niemalejący ani nierosnący. Granica ciągu Liczbę nazywamy granicą ciągu nieskończonego, jeśli Jeżeli jest granicą ciągu, to oznaczamy to:. Uwaga Ostatni warunek można też tak wypowiedzieć, że począwszy od liczby wyrazy ciągu mieszczą się między a., wszystkie następnie Przykłady 1. Pokażemy, że granicą ciągu jest. Niech będzie dana jakaś liczba. Musimy tak dobrać, aby dla zachodziła nierówność Za weźmy liczbę naturalną większą niż. Mamy więc:, a to znaczy, że dla dowolnego zachodzi nierówność 2. co należało pokazać. Granicą ciągu stałego: jest liczba : bo dla każdego mamy i nierówność (1) zachodzi dla każdego wskaźnika oraz dla każdego. 3. Ciąg posiadający granicę nazywany jest zbieżnym. Ciąg rozbieżny to taki, który granicy nie posiada. 4. Ciąg nie posiada granicy, tzn. jest rozbieżny. Załóżmy bowiem, że posiada granicę. Weżmy. (W definicji zbieżności ciągu jest warunek, że dla każdego ; jeśli pokażemy,że warunek ten nie jest spełniony dla jakiegokolwiek, to tym samym pokażemy, że ciąg jest rozbieżny). Dla dostatecznie dużych musi więc być spełniony warunek:, co jest niemożliwe, bo warunek ten może być spełniony co najwyżej dla

trzech wartości (dla liczby naturalnej, najbliższej, oraz. Doszliśmy do sprzeczności tzn. pokazaliśmy, że ciąg nie posiada granicy, jest więc rozbieżny. 5. Ciąg oscylujący: jest rozbieżny. Wystarczy wziąć i warunek (1) nie będzie spełniony dla żadnego. Twierdzenie Można zadać pytanie, czy jeśli ciąg jest zbieżny, to czy posiada tylko jedną granicę, czy może posiadać ich wiele? Okazuje się, że zachodzi ta pierwsza możliwość: Tw. Ciąg zbieżny posiada tylko jedną granicę. Przypuśćmy, że jest przeciwnie i że ciąg posiada dwie granice i, przy czym, czyli. Weźmy. Z definicji granicy istnieją takie dwie liczby, że dla zachodzi nierówność a dla zachodzi nierówność Oznaczmy przez większą z liczb (zapisujemy to jako: ). Wtedy dla każdego będą spełnione jednocześnie obie nierówności (3) i (4). Dodajmy je stronami, wykorzystując "dodawanie pod znakiem wartości bezwzględnej", zmieniając uprzednio znak w nierówności (3). Otrzymujemy: ; ale uprzednio wzięliśmy, czyli doszliśmy więc do sprzeczności. Uwaga W definicji granicy można zastąpić przez, a przez ; ani istnienie granicy, ani jej wartość (jeśli istnieje) się nie zmienią przy takiej zamianie. Ciągi ograniczone Definicja 1. Ciąg nazywamy ograniczonym z góry, jeśli istnieje taka liczba, że. 2. Ciąg nazywamy ograniczonym z dołu, jeśli istnieje taka liczba, że. 3. Ciąg nazywamy ograniczonym, jeśli jest jednocześnie ograniczony z góry i z dołu. Równoważnie można powiedzieć, że dla ciągu ograniczonego zachodzi:

Sytuacje te można zilustrować graficznie: W pierwszym przypadku, wszystkie wyrazy ciągu leżą poniżej prostej ; w drugim powyżej prostej ; i w trzecim wszystkie wyrazy ciągu leżą pomiędzy prostymi a. Przykłady Ciąg jest ograniczony. Ciąg liczb naturalnych jest ograniczony z dołu. Ciąg nie jest ograniczony z góry ani z dołu. Twierdzenie Każdy ciąg zbieżny jest ograniczony. Ciąg z założenia jest zbieżny (jego granicę nazwijmy ), więc warunek (1) definiujący zbieżność ciągu zachodzi dla każdego, w szczególności dla. Istnieje więc taka liczba, że dla mamy:. Korzystając z pierwszej z nierówności (\ref{bezwz4}) mamy:, z czego wynika. Oznaczmy przez największą spośród liczb:. Pamiętając, że jest większe od, mamy: :. Ciąg jest więc ograniczony. Działania algebraiczne na ciągach i ich granicach Twierdzenie Zakładamy, że ciągi, są zbieżne. Zachodzą wtedy następujące wzory: (ta ostatnia równość ma miejsce przy założeniu, że ). (5). Oznaczmy: oraz. Weźmy jakieś. Istnieje więc taka liczba, że

oraz Dodając do siebie te dwie nierówności pod znakiem wartości bezwzględnej, otrzymamy A to znaczy, że ciąg jest zbieżny do granicy. Wniosek. W szczególności, jeśli jest ciągiem stałym: dla każdego, to mamy, z wzorów (2) i (5) Dow. (\ref{lx})}. Oszacujmy najsampierw różnicę. Mamy: Ponieważ ciąg jest ograniczony jako ciąg zbieżny, to istnieje taka liczba, że dla każdego. Stosując wzory na wartość bezwzględną sumy i iloczynu, mamy Teraz: weźmy drugą liczbę (pełniącą analogiczną rolę jak ), że dla mamy: oraz. Mamy więc. Dla niej dobieramy takie Na razie nic nie zakładaliśmy o liczbie. Uczynimy to teraz, biorąc: sposób mamy:. W ten Tak więc!!! Udowodniliśmy wzór (\ref{lx}). W szczególności, biorąc, otrzymujemy oraz, biorąc, Stąd wynika wzór (6): (8) Najsampierw udowodnimy następujący szczególny przypadek wzoru (8): (9). Najpierw zauważmy, że dla dostatecznie dużych zachodzi nierówność, a nawet mocniejsza: Dla dostatecznie dużych mamy:. Weźmy bowiem za w definicji

granicy ciągu. Wtedy istnieje takie, że mamy. Stąd Aby udowodnić (1), oszacujmy teraz różnicę Zauważmy, że dla dostatecznie dużych mamy tzn. Stąd Biorąc teraz, otrzymamy, że dla dostatecznie dużych skąd wynika już wzór (8). Wzór (8) wynika z (1): Uwagi W założeniach przy wyprowadzaniu powyższych wzorów zakładaliśmy, że ciągi i są zbieżne. Założenie to jest istotne; może się zdarzyć, że ciąg oddzielnie i są rozbieżne (weźmy np. ciągi:, ). jest zbieżny, mimo że ciągi W definicji ciągu zakładaliśmy, że numeracja elementów zaczyna się od. Definicję tę można bezkarnie zmienić, zakładając, że ciąg zaczyna się od dowolnej liczby naturalnej. Stąd wynika prosta do zobaczenia właściwość ciągów: Odrzucenie skończonej ilości początkowych wyrazów ciągu nie ma wpływu na zbieżność ciągu ani na wartość jego granicy. Analogicznie, można do ciągu dołączyć dowolną skończoną ilość wyrazów. Przykłady Ciąg

Ciąg Ciąg Kolejne własności rachunkowe granicy Stwierdzenie Niech ciąg { } będzie zbieżny. Wówczas zbieżny jest ciąg i zachodzi Niech { }. Mamy wtedy dla dostatecznie dużych. Zatem oraz skąd wynika (p. wz....): Czyli zachodzi (10). Stwierdzenie Załóżmy, że ciągi { } i { } są zbieżne oraz. Zgodnie z uwagą poczynioną niedawno, teza jest prawdziwa, jeśli warunek "dla każdego " zastąpić przez "dla każdego ",.} Zachodzi wtedy: W szczególności, jeśli ciąg jest zbieżny, to Pokażemy najsampierw ostatni wzór. Niech. Przypuśćmy, że, tzn.. Wtedy, dla dostatecznie dużych mamy:, a stąd, a stąd wbrew założeniu. Teraz pokażemy, że z (2) wynika (3). Weźmy mianowicie. Ponieważ, to, a więc, po przejściu do granicy:. A na mocy (6):

zatem Uwaga W nierówności (3) nie można zastąpić nierówności przez, i analogicznie w (4) nie można zastąpić przez. Np. ciąg spełnia nierówność:, a mamy. Można tę sytuację obrazowo wyrazić mówiąc, że nierówności i "zachowują się przy przejściu do granicy", natomiast nierówności i nie mają tej własności. Twierdzenie o trzech ciągach Jeśli i, to ciąg jest zbieżny i zachodzi:. Niech i niech. Dla dostatecznie dużych mamy więc Na mocy założenia to skąd. Przykłady dla i stąd też dla. Przykład na wykorzystanie jw.:.. Wniosek Jeśli, to ciąg { } jest zbieżny i.

Mamy: Podciągi Definicja Niech będzie dany ciąg oraz ciąg rosnący liczb naturalnych. Ciąg nazywamy podciągiem ciągu { }. Przykład Ciąg jest podciągiem ciągu. Natomiast ciąg nie jest podciągiem { }, ponieważ wskaźniki nie tworzą tu ciągu rosnącego. O podciągach c.d. W myśl powyższej definicji, każdy ciąg jest swoim własnym podciągiem. Ponadto podciąg podciągu jest podciągiem ciągu { }. Obrazowo można powiedzieć, że podciąg ciągu { } otrzymuje się przez skreślenie w ciągu { } pewnej ilości wyrazów, (skończonej lub nieskończonej), których wskaźniki są różne od. Stwierdzenie Zachodzi ogólny wzór dotyczący wskaźników dowolnego podciągu Jest tak dla, tzn. (bo jest liczbą naturalną). Stosując indukcję załóżmy, że dla jakiegoś zachodzi wzór (13) Mamy wtedy:, a zatem, więc teza zachodzi też dla. W ten sposób mamy prawdziwość tezy dla dowolnego. Twierdzenie Podciąg ciągu zbieżnego { } jest zbieżny do tej samej granicy co { }. Tzn.

jeśli to rowniez Weźmy. Istnieje wtedy takie, że dla spełniona jest nierówność. Ponieważ, na mocy (13) jest, to również, a to znaczy, że. Twierdzenie "Bolzano Weierstrassa" Z każdego ciągu ograniczonego można wybrać podciąg zbieżny. Niech ciąg { } będzie ograniczony. Istnieje więc taka liczba, ż. Oznaczmy teraz przez zbiór liczb takich, że nierówność: jest spełniona dla nieskończenie wielu. Zbiór jest niepusty, ponieważ liczba (jako że nierówność jest spełniona dla każdego ). Zbiór jest też ogranicznony z góry: Nie należy bowiem do żadna liczba większa od (nierówność nie jest spełniona dla żadnego i tym bardziej dla dowolnego ). Zbiór jest niepusty i ograniczony z góry, więc istnieje kres górny tego zbioru. Oznaczmy go przez. Z definicji kresu górnego wynika, że dla każdego istnieje nieskończenie wiele takich, że ponieważ: liczba,. Wykażemy teraz, że jest granicą pewnego podciągu ciągu { }. Musimy więc znaleźć ciąg liczb naturalnych : w taki sposób, aby. W tym celu, weźmy najpierw. Istnieje wtedy nieskończenie wiele takich, że Oznaczmy przez sposób którąkolwiek z tych liczb (niech to będzie np. pierwsza z tych liczb). Mamy w ten Weźmy teraz. Tu znów istnieje nieskończenie wiele liczb takich, że Skoro jest ich nieskończenie wiele, to są wśród nich liczby większe od spośród nich i oznaczmy przez. Mamy więc. Weźmy którąkolwiek

Trzeci krok jest analogiczny: Znajdujemy takie, że i dalej postępujemy rekurencyjnie: Mając, znajdujemy w opisany wyżej sposób takie, że Z twierdzenia o trzech ciągach wynika teraz, że Ciąg z konstrukcji jest rosnący, więc ciąg jest podciągiem ciągu { }. Ze wzoru (6) widać, że. Poniższe twierdzenie jest wnioskiem z tw. BW. Twierdzenie Każdy ciąg ograniczony: nierosnący lub niemalejący, jest zbieżny. Przy tym: Dla ciągu niemalejącego: mamy: ; Dla ciągu nierosnącego: mamy:. Dla ustalenia uwagi rozpatrzmy { } ciąg niemalejący. Oznaczmy przez zbiór wartosći tego ciągu, a przez kres górny tego zbioru:. Mamy więc jednocześnie (ponieważ nierówność, będąca zaprzeczeniem:, nie może być spełniona na podstawie definicji kresu górnego). Ponieważ ciąg { } jest niemalejący, to nierówność: pociąga za sobą:, a stąd. A więc zachodzi ta ostatnia nierówność oznacza, że. To był dowód dla ciągów niemalejących. Dla nierosnących jest analogiczny.

Przykłady (zastosowań powyższego twierdzenia) 1. Weźmy i określmy ciąg następującym wzorem rekurencyjnym: tzn. 2. Nie jest łatwo podać wzór ogólny na -ty wyraz ciągu, ale proste jest policzenie jego granicy. Aby to zrobić, żauważmy najsampierw, że ciąg jest rosnący. Jest on również ograniczony z góry. Pokażemy indukcyjnie, że takim ograniczeniem górnym jest liczba. Istotnie, i) dla, mamy. Załóżmy, że nierówność jest spełniona dla jakiegoś i sprawdźmy, czy jest spełniona dla. Mamy: 3. zatem nierówność jest spełniona dla dowolnego. Pokazaliśmy, że ciąg jest monotoniczny (rosnący) i ograniczony, zatem zgodnie z Tw. powyżej jest zbieżny do (skończonej) granicy. Aby ją określić, napiszmy równość: w postaci i przejdźmy w niej do granicy. Mamy: nie może być ujemne (jako granica ciągu o wyrazach dodatnich), więc Czytelnik (Czytelniczka) spróbuje pokazać, że w ogólniejszej sytacji:. Niech ciąg jest również zbieżny i jego granica jest równa jak poprzednio: niezależnie od tego, jak wybierzemy "punkt startowy". Przykład ciągu, który łatwo zdefiniować, ale niełatwo policzyć granicę Weźmy dwie liczby dodatnie, przy czym. Utwórzmy średnią arytmetyczną i geometryczną tych liczb:

Zachodzi nierówność: [1] Dla liczb znowu tworzymy obie średnie: Mamy itd. Tak więc tworzymy dwa ciągi { }, { } określone rekurencyjnie: Analogicznie jak poprzednio, mamy czyli ciąg { } jest malejący, zaś ciąg { } rosnący. Jednocześnie oba są ograniczone: Ciąg { } jest ograniczony z dołu przez, a ciąg { } z góry przez. Oba ciągi są więc zbieżne i oba mają granice (skończone) Przejdźmy teraz w równości do granicy ; otrzymamy Ile wynosi ta (wspólna) granica? (granicę tę nazywa się też średnią arytmetyczno-geometryczną liczb i ). Okazuje się, że granica ta wyraża się przez tzw. całkę eliptyczną. Warunek i twierdzenie Cauchy'ego Twierdzenie Ciąg { } jest zbieżny wtedy i tylko wtedy, gdy

Uwaga Warunek (14) nazywa się warunkiem Cauchy'ego; niedługo poznamy równoważną jego postać. Ciąg { } jest zbieżny; oznaczmy:. Niech dane będzie. Istnieje więc takie, że dla zachodzi. Nierówność ta zachodzi w szczególności dla, tzn.. Dodając obie te nierówności pod znakiem wartości bezwzględnej, otrzymujemy (14). Załóżmy teraz, że warunek Cauchy'ego (14) jest spełniony. Należy stąd dowieść, że ciąg jest zbieżny. Najsampierw udowodnimy, że jest ograniczony. Będziemy to robić analogicznie jak kilka stron temu (przy dowodzie, że ciąg zbieżny jest ograniczony). Weźmy mianowicie. Istnieje więc takie, że dla mamy. Stąd a więc. Oznaczmy przez liczbę większą od każdej spośród następujących liczb:. Mamy więc. To dowodzi, że ciąg { } jest ograniczony. Skoro tak, to na mocy tw. Bolzano-Weierstrassa wynika, że ciąg ten zawiera podciąg zbieżny. Oznaczmy ten podciąg \ciag{a_m} i niech jego granica wynosi:. Udowodnimy, że. Niech będzie dane. Ponieważ jest spełniony warunek Cauchy'ego, to istnieje takie, że dla spełniona jest nierówność Ponieważ, to istnieje takie, że dla mamy Można tu dobrać tak, by. W ten sposób, dla obie nierówności (15)i (16) będą spełnione jednocześnie. Ponadto, ponieważ, to można w (16) zastąpić przez. W ten sposób mamy Dodając do siebie nierówności (15),(16) i (17), i zmieniwszy uprzednio znak pod modułem w lewej części (17), otrzymujemy nierówność, która jest spełniona dla każdego. A to oznacza, że.

Uwagi W tw. Cauchy'ego można zastąpić znak ">" w nierówności Cauchy'ego (14), przez i odpowiednio. Warunek Cauchy'ego (14) można sformułować równoważnie:, oraz "<" w warunku Dow. Z warunku Cauchy'ego (14) wynika bowiem, że istnieje takie, że dla i dla zachodzą nierówności i. Dodając je pod znakiem wartości bezwzględnej otrzymamy (18). 1. Mamy bowiem, dla : czyli mamy nierówności: