Uwaga: nazwa 'pierwiastkowce' nie występuje w matematyce. |
Popatrz na poniższą kolekcję pierwiastkowców:
Co to właściwie jest?
Trochę przypominają one zapisy rozwinięć okresowych 0,123123123123123123....
Zatem może to są liczby?
Niektóre z tych pierwiastkowców można znaleźć w zbiorach zadań, na przykład ostatni
Czym wobec tego są pierwiastkowce?
Można uważać je za skrótowy zapis pewnych ciągów.
Na przykład pierwiastkowiec
Gdy obliczamy kolejne wyrazy tego ciągu, trzeba żmudnie liczyć 'od prawej'. Na kalkulatorze, aby obliczyć piąty wyraz ciągu naciskamy sekwencję klawiszy:
Gdyby mieć taki jeden klawisz f, który do zastanej na wyświetlaczu liczby dodaje 2 i potem oblicza pierwiastek (można go zdefiniować na kalkulatorach z klawiszem ANS), to mielibyśmy:
Ciekawe, że zaczynając od innych wartości początkowych, np. x0 = 2011/2012, dostajemy inny ciąg, ale zbieżny do tej samej liczby.
Za pomocą arkusza kalkulacyjnego można testować wiele takich ciągów. Sprawdź:
f |
|
|
|
x0 | |||
x1 | |||
x2 | |||
x3 | |||
x4 | |||
x5 | |||
x6 | |||
x7 | |||
x8 | |||
x9 | |||
x10 | |||
x11 | |||
x12 | |||
x13 | |||
x14 | |||
x15 | |||
x16 | |||
x17 | |||
x18 | |||
x19 | |||
x20 | |||
x21 | |||
x22 | |||
x23 | |||
x24 | |||
x25 | |||
a26 | |||
x27 | |||
x28 | |||
x29 | |||
x30 | |||
Dla pierwszego pierwiastkowca
Ćwiczenie. Znajdź p takie, że
Pierwiastkowiec można też utożsamiać z liczbą będącą granicą ciągu (xn).
Obliczenia w arkuszu kalkulacyjnym przekonują, że
Jak obliczyć graniczną liczbę dla innych przykładów? Ile to jest ?
Jeśli wiemy, że ciąg (xn) stowarzyszony z jakimś pierwiastkowcem, jest zbieżny do liczby do g,
to i xn, i xn+1 są prawie równe g, dla dużych wartości n.
Mamy
Oczywiście -1 nie może być granicą ciągu o wyrazach dodatnich, więc
Ciekawiej jest z liczbą h reprezentującą pierwiastkowiec
Pozostaje nam zadowolić się przybliżeniem z arkusza kalkulacyjnego
Jeszcze ciekawiej jest z liczbą w reprezentującą pierwiastkowiec
Zatem skazani jesteśmy na przybliżenia
Pierwiastkowiec, a raczej związany z nim ciąg, jest (pewnym) sposobem na przybliżone rozwiązywanie niektórych równań. Tak właśnie trzeba myśleć o pierwiastkowcach.
Następny przykład jest odmienny od poprzednich. Rozważmy pierwiastkowiec
Ten ciąg oczywiście jest rosnący, ale czy jest ograniczony? Może rośnie do nieskończoności?
Potrzebny nam będzie lemat (pomocnicze twierdzenie):
Lemat 1. 2 n > n dla każdej liczby naturalnej n.
Dowód.
Pokażemy, że 4 ogranicza wszystkie wyrazy tego ciągu, pokażemy nierówność
Rozważmy na koniec jeszcze jeden przykład pierwiastkowca
Oczywiście jest on rosnący. Czy jest ograniczony?
Sprawdź poniższe rozumowanie.
Lemat 2.
Dowód.
Oznaczmy przez z sumę
Zatem z = 1.
Pomysł dowodu lematu jest pokazany na poniższym rysunku. Prześledź to rozumowanie.
(Stając myszką nad fragmentami rysunku zobaczysz podpowiedzi.)
Uwaga do samych dwójek
A mianowicie:
przekątna kwadratu o boku 1 wynosi $ d = x_1 =\sqrt{2}$,
najkrótsza przekątna ośmiokąta foremnego o boku 1 wynosi $d = x_2 =\sqrt{2+\sqrt{2}}$,
najkrótsza przekątna 16-kąta foremnego o boku 1 wynosi $d = x_3 =\sqrt{2+\sqrt{2+\sqrt{2}}}$,
najkrótsza przekątna 32-kąta foremnego o boku 1 wynosi $d = x_4 =\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2}}}} $ , itd.
Ten ciąg wyraża więc długości najkrótszych przekątnych wielokątów foremnych o boku 1 i liczbach boków będących potęgami dwójki. Dokładniej: xn opisuje tę długość dla 2n+1-kąta foremnego.