Pierwiastek sześcienny
Pierwiastkiem sześciennym liczby jest taka liczba że . Pierwiastki sześcienne oznacza się symbolem [1]. Liczbę nazywa się liczbą podpierwiastkową. Rozważa się pierwiastki sześcienne z liczb rzeczywistych oraz zespolonych . Pojęcie pierwiastkowania rozszerza się także na elementy dowolnych pierścieni przemiennych, przy czym pierwiastki (w tym sześcienne) definiuje się w analogiczny sposób, jak to zdefiniowane jest dla liczb.
Pierwiastki z liczb rzeczywistych
[edytuj | edytuj kod]Liczby rzeczywiste mają zawsze pojedyncze pierwiastki sześcienne w dziedzinie liczb . Tj. dla dowolnej liczby rzeczywistej istnieje tylko jedna liczba rzeczywista taka, że .
Jest tak dlatego, że funkcja sześcienna , do której funkcja pierwiastka sześciennego jest odwrotna, jest rosnąca w całym zakresie liczb rzeczywistych i dla dwóch różnych wartości daje różne wyniki . Innymi słowy, funkcja sześcienna jest bijekcją (odwzorowuje zbiór liczb rzeczywistych na zbiór liczb rzeczywistych w relacji 1 do 1). Dlatego też można zdefiniować funkcję odwrotną, która każdej liczbie rzeczywistej przyporządkowuje unikalny pierwiastek sześcienny.
Pierwiastek sześcienny w dziedzinie liczb rzeczywistych z liczby dodatniej jest liczbą dodatnią, a z liczby ujemnej jest liczbą ujemną, np. , gdyż ; , gdyż .
Twierdzenia
[edytuj | edytuj kod]- Pierwiastek sześcienny z liczby naturalnej jest liczbą naturalną wtedy i tylko wtedy, gdy liczba pierwiastkowana jest sześcianem liczby naturalnej[2]. Na przykład jest liczbą niewymierną.
- W twierdzeniu powyższym liczby naturalne można zastąpić liczbami całkowitymi.
- Pierwiastek sześcienny z liczby wymiernej jest liczbą wymierną wtedy i tylko wtedy, gdy liczba podpierwiastkowa jest sześcianem liczby wymiernej.
- Dla każdej liczby rzeczywistej istnieje dokładnie jeden rzeczywisty pierwiastek sześcienny z Wynika to z tego, że funkcja
- dla
- jest ciągłą funkcją rosnącą oraz oraz
- Z wartości granic na podstawie twierdzenia Darboux wynika wtedy, że funkcja ta przekształca zbiór liczb rzeczywistych na a z monotoniczności wynika jej różnowartościowość. Dlatego dla każdej liczby istnieje dokładnie jedna liczba Liczba jest pierwiastkiem sześciennym z
Tożsamości - pierwiastek sześcienny z liczb rzeczywistych
[edytuj | edytuj kod]Z definicji pierwiastka sześciennego i definicji potęgi wynika tożsamość (por. Potęgowanie)
Z własności potęgowania wynikają następujące tożsamości:
- - pierwiastek sześcienny z liczby przeciwnej (szczególny przypadek tożsamości podanej niżej)
- dla
Tożsamości dla sumy i różnicy pierwiastków sześciennych:
Pierwiastki z liczb zespolonych
[edytuj | edytuj kod]Liczby zespolone mają zawsze trzy pierwiastki sześcienne. Gdy liczba zespolona redukuje się do liczby rzeczywistej (tj. ma tylko niezerową część rzeczywistą, a zerową część urojona), to i tak liczba ta ma trzy pierwiastki w dziedzinie liczb zespolonych : jeden rzeczywisty pierwiastek sześcienny oraz parę zespolonych, sprzężonych pierwiastków sześciennych; natomiast liczby zespolone o niezerowej części urojonej mają trzy różne zespolone pierwiastki sześcienne (por. wykresy pierwiastków zespolonych liczb oraz ). Na płaszczyźnie zespolonej pierwiastki sześcienne liczby znajdują się na wierzchołkach trójkąta równoramiennego, obróconego o kat względem osi rzeczywistej, gdzie - argument danej liczby (por. poniżej).
Wzory na obliczanie pierwiastków zespolonych
[edytuj | edytuj kod]Jeżeli liczbę zespoloną zapisze się w postaci wykładniczej
- ,
to jej trzy pierwiastki sześcienne oblicza się ze wzoru de Moivre’a[3]
Równoważny zapis (korzystający z postaci trygonometrycznej liczby zespolonej)[4]
Pierwiastki sześcienne z jedynki a pierwiastki dowolnej liczby
[edytuj | edytuj kod]Dla liczby 1 moduł i argument wynoszą odpowiednio Licząc ze wzoru de Moivre'a pierwiastki sześcienne otrzymamy:
Z wzoru de Moivre'a wynika, że dla dowolnej liczby zespolonej jej pierwiastki sześcienne dane są wzorami:
Wynika stąd, że pierwiastki oraz można otrzymać mnożąc pierwiastek przez drugi i trzeci pierwiastek z jedynki, tj.
Jeżeli oznaczymy
Wtedy
W ogólności pierwiastki sześcienne dowolnej liczby można zapisać w zwartej formule:
gdzie oznacza tu dowolny z trzech pierwiastków zespolonych danej liczby.
Wzór ten oznacza, że pozostałe pierwiastki otrzymuje się przez mnożenie danego pierwiastka przez pierwiastek z jedynki i jego kwadrat . Na płaszczyźnie zespolonej odpowiada to obrotowi wektora wodzącego punktu, wyznaczającego położenie pierwiastka , o kąty
Pierwiastki zespolone liczb rzeczywistych i problem zmiany numeracji
[edytuj | edytuj kod]Pierwiastki obliczone wg wzoru de Moivre'a dla liczby mają wartości (moduł i argument wynoszą odpowiednio ):
- .
Gdyby jednak jako wartość startową przyjąć czyli wartość pierwiastka rzeczywistego (tj. zdefiniowanego w dziedzinie liczb rzeczywistych), to np. dla liczby mielibyśmy wg wyżej podanej reguły następującą kolejność pierwiastków:
czyli pierwiastek zerowy wg wzoru de Moivre'a stałby się ostatnim wg drugiej reguły obliczeń, itd. Kolejność numeracji pierwiastków w obliczeniach może być istotna. Stąd m.in. powstała potrzeba definicji pierwiastka głównego, co omówiono niżej.
Pierwiastek zespolony główny
[edytuj | edytuj kod]Skoro w dziedzinie liczb zespolonych pierwiastek ma wiele wartości (w tym trzy dla pierwiastka sześciennego), to wprowadza się pojęcie tzw. pierwiastka głównego, który definiuje się jako pierwiastek, który ma największą wartość bezwzględna części rzeczywistej, lub - równoważnie - jako mający najmniejszą wartość bezwzględną argumentu, tj. jeżeli liczbę zespoloną przedstawi się w postaci wykładniczej[4]
- ,
przyjmując , to pierwiastek główny wynosi
Pierwiastek główny jest więc pierwiastkiem o numerze 0 wg wzoru de Moivre'a, gdy ustali się fazę liczby zespolonej w przedziale .
Konsekwencją takiej definicji jest, że pierwiastek główny jest dla liczb ujemnych liczbą zespoloną; np. dla liczby jest równy , a nie , czyli pierwiastek główny sześcienny w dziedzinie liczb zespolonych jest różny od pierwiastka sześciennego w zbiorze liczb rzeczywistych. (Dla liczb dodatnich pierwiastek główny jest identyczny z pierwiastkiem arytmetycznym.)
Pierwiastek sześcienny na powierzchni Riemanna
[edytuj | edytuj kod]Ponieważ pierwiastek z liczby zespolonej ma wiele wartości, to nie da się bezpośrednio utworzyć funkcji, która jednoznacznie przyporządkowuje liczbie zespolonej pierwiastek sześcienny . Tę trudność można rozwiązać rozważając funkcje wielowartościowe, pisząc wyjściową liczbą zespoloną w trzech postaciach
Wtedy pierwiastki główne tych trzech postaci mają wartości (por. pierwiastkowanie liczb zespolonych - Wzór de Moivre’a):
Teoretycznie uzasadnia się to budując za pomocą przedłużenia analitycznego powierzchnię Riemanna, na której można określić pierwiastek sześcienny jako funkcję. Powierzchnię tę można sobie wyobrazić jako trzy egzemplarze płaszczyzny zespolonej z usuniętym punktem 0 i rozcięciem wzdłuż półprostych wychodzących z punktu 0 i połączone z sobą tak, jak jest to pokazane na rysunku.
Różne języki obliczeniowe przyjmują stosowne definicje pierwiastków głównych.
Pierwiastek sześcienny w algebrze
[edytuj | edytuj kod]Z algebraicznego punktu widzenia pierwiastkiem sześciennym jest dowolne rozwiązanie równania zmiennej (czyli pierwiastek wielomianu ). Równania takie można rozpatrywać nad dowolnym pierścieniem przemiennym, analogicznie jak w dziedzinie liczb rzeczywistych i zespolonych.
Metoda iteracyjna Newtona
[edytuj | edytuj kod]Metoda Newtona jest metodą iteracyjną, którą można użyć do obliczania pierwiastka sześciennego w dziedzinie liczb R. W zerowym kroku zadaje się wartość startową (np.), w kolejnych krokach oblicza się coraz lepsze przybliżenia pierwiastka sześciennego z liczby , przy czym :
Obok pokazano kolejne przybliżenia obliczeń pierwiastka sześciennego z liczby , zaczynając od wartości początkowej (bardzo dalekiej od wartości dokładnej); pomimo tego już w 14-tym kroku uzyskano wynik z dokładnością do . Pokazuje to, jak skuteczna jest to metoda.
O potrzebie odróżniania dziedzin R i C w obliczeniach
[edytuj | edytuj kod]Dana liczba ma jedną wartość pierwiastka sześciennego w dziedzinie liczb rzeczywistych (jeżeli pierwiastek istnieje), ale trzy wartości pierwiastka w dziedzinie liczb zespolonych. Jest to istotne rozróżnienie, gdyż np. liczenie numeryczne pierwiastków może prowadzić do błędów, jeżeli zamiast pierwiastka w dziedzinie liczb rzeczywistych zostanie przyjęty jako wynik jeden z pierwiastków z dziedziny liczb zespolonych. (Patrz np. omówienie problemu liczenia pierwiastków równania sześciennego wg wzorów Cardana). Ta sama uwaga dotyczy liczenia pierwiastków wyższych stopni: w dziedzinie liczb zespolonych pierwiastek n-tego stopnia ma n różnych wartości dla danej liczby.
Liczenie pierwiastków sześciennych w językach programowania
[edytuj | edytuj kod]W obliczeniach numerycznych konieczna jest uwaga: czy zastosowana procedura danego języka programowania liczy np. pierwiastek sześcienny główny w dziedzinie zespolonej czy pierwiastek w dziedzinie rzeczywistej. Przykładowo: w języku Python do liczenie pierwiastków rzeczywistych 3-go stopnia z liczby m nie należy używać funkcji cmath.pow(m, 1/3) z biblioteki cmath lub instrukcji m**(1/3) , gdyż dla liczb ujemnych otrzyma się jako wynik główny pierwiastek zespolony (wg wyżej podanej definicji), a nie pierwiastek sześcienny w dziedzinie liczb rzeczywistych (np. dla zamiast otrzyma się liczbę ), co prowadzi do błędnych wyników. W Python można zaś użyć funkcji cbrt (cubic root) z biblioteki numpy, co daje poprawnie liczbę rzeczywistą lub napisać własny, krótki kod:
if m>0: u=m**(1/3)
else: u=-(-m)**(1/3)
Dodatek: Obliczanie pierwiastka sześciennego prymitywnym kalkulatorem
[edytuj | edytuj kod]Korzystając z zależności[a]
można zastosować następujący algorytm obliczania pierwiastka sześciennego dysponując kalkulatorem wyposażonym w klawisz do obliczania tylko pierwiastka kwadratowego i mnożenia, rozpoczynając go po uzyskaniu na wyświetlaczu liczby, z której chcemy obliczyć pierwiastek sześcienny.
- Wykonaj jeden raz pierwiastkowanie.
- Wykonaj mnożenie.
- Wykonaj dwa razy pierwiastkowanie.
- Wykonaj mnożenie.
- Wykonaj cztery razy pierwiastkowanie.
- Wykonaj mnożenie.
- Wykonaj osiem razy pierwiastkowanie.
- Wykonaj mnożenie....
Proces należy kontynuować, aż liczba przestanie się zmieniać po naciśnięciu klawisza mnożenia, ponieważ powtarzana operacja pierwiastkowania wynosi 1 (co oznacza, że rozwiązanie zostało osiągnięte z największą dokładnością jaką ten kalkulator mógł osiągnąć). A następnie:
- Naciśnij ostatni raz klawisz pierwiastkowania.
W tym momencie na wyświetlaczu pojawi się przybliżona wartość pierwiastka sześciennego.
Objaśnienie metody
[edytuj | edytuj kod]Podnosząc do potęgi po obu stronach tożsamości powyżej otrzymujemy:
- (*)
Z lewej strony równania mamy pierwiastek sześcienny z
Po 2, 4, 6, 8, ... krokach obliczeń przybliżenia wartości pierwiastka sześciennego wynoszą :
, , , , itd.
Im więcej kroków zrobi się, tym lepsze przybliżenie.
Metoda alternatywna
[edytuj | edytuj kod]Powyższa metoda wymaga aby kalkulator był wyposażony w funkcję pierwiastka kwadratowego. Dysponując prostą metodą obliczania pierwiastka kwadratowego następujące wyrażenie jest szybko zbieżne do wyniku:
Gdzie z każdą iteracją wynik jest zbieżny do pierwiastka sześciennego z
Ta metoda wymaga mniej iteracji niż metoda Halleya, ale wymaga więcej obliczeń, ukrytych w wyznaczeniu pierwiastków kwadratowych. Z uwagi na szybką zbieżność, początkowe przybliżenie wartością 1 jest wystarczające.
Przykładowe wartości
[edytuj | edytuj kod]Historia
[edytuj | edytuj kod]Na temat obliczania pierwiastków sześciennych można znaleźć wzmianki u matematyków babilońskich z 1800 r. B.C.[5] W IV wieku B.C. Platon postawił problem podwojenia objętości sześcianu za pomocą klasycznej konstrukcji (tj. z użyciem cyrkla i linijki), co wymaga wyznaczenia długości krawędzi nowego sześcianu o długości raza większej od krawędzi pierwotnego sześcianu (obecnie wiadomo, że konstrukcja taka jest niemożliwa). Metoda wyodrębniania pierwiastków sześciennych pojawiła się następnie w dziele Dziewięć rozdziałów o sztuce matematycznej 九章算术 , chińskim tekście matematycznym skompilowanym około II w. B.C.[6] Grecki matematyk Heron z Aleksandrii opracował metodę obliczania pierwiastków sześciennych w pierwszym wieku naszej ery. Jego formuła została ponownie wspomniana przez Eutokiosa w komentarzu do Archimedesa.[7] W 499 n.e Aryabhata opisał metodę znajdowania pierwiastków sześciennych z liczb wielocyfrowych w swoim dziele Aryabhatiya (rozdział 2.5)[8].
Zobacz też
[edytuj | edytuj kod]- pierwiastkowanie
- pierwiastek kwadratowy
- pierwiastek z jedynki
- podwojenie sześcianu
- pierwiastkowanie liczb zespolonych - Wzór de Moivre’a.
- algorytm obliczania pierwiastka n-tego stopnia
Inne:
- równanie sześcienne - praktyczny przykład liczenia pierwiastków sześciennych i związane z tym subtelności
Uwagi
[edytuj | edytuj kod]- ↑ Dowód tożsamości
Aby obliczyć prawą stronę tożsamości należy wyznaczyć wartość iloczynu nieskończonego
Przypisy
[edytuj | edytuj kod]- ↑ pierwiastek sześcienny, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2023-08-27] .
- ↑ Sierpiński 1968 ↓, s. 244.
- ↑ Trajdos 1993 ↓, s. 69.
- ↑ a b Trajdos 1993 ↓, s. 70.
- ↑ H.W.F. Saggs , Civilization Before Greece and Rome, Yale University Press, 1989, ISBN 978-0-300-05031-8 .
- ↑ John Crossley , Anthony W.-C. Lun , The Nine Chapters on the Mathematical Art: Companion and Commentary, Oxford University Press, 1999, ISBN 978-0-19-853936-0 .
- ↑ J. Gilbart Smyly , Heron's Formula for Cube Root, „Hermathena”, 42, 19, Trinity College Dublin, 1920, s. 64–67 .
- ↑ Aryabhatiya (marathi), Mohan Apte, Pune, India, Rajhans Publications, 2009, p. 62, ISBN 978-81-7434-480-9.
Bibliografia
[edytuj | edytuj kod]- Wacław Sierpiński, Arytmetyka teoretyczna, wyd. 4, Warszawa: Państwowe Wydawnictwo Naukowe, 1968 .
- T. Trajdos , Matematyka, cz. III, Warszawa: PWN, 1993, s. 69-73, ISBN 83-204-1547-0 .
Linki zewnętrzne
[edytuj | edytuj kod]- Computing the Cube Root, K. Turkowski, Apple Technical Report #KT-32, 1998. (ang.) Zawiera kod źródłowy w C.
- Pierwiastek sześcienny na PlanetMath.
- Eric W. Weisstein , Pierwiastek sześcienny, [w:] MathWorld, Wolfram Research (ang.).