Pierwiastkowanie


Pierwiastkowanie w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania Fragment wykresu funkcji y = x {\displaystyle y={\sqrt {x}}}

Pierwiastkowanie – operacja odwrotna względem potęgowania. Ponieważ może istnieć wiele liczb, które podniesione do pewnej potęgi dają daną liczbę (są to tzw. pierwiastki algebraiczne), to pierwiastkowanie nie może być w ogólności traktowane jako działanie. Jeśli jednak odpowiednio ograniczyć dziedzinę działania potęgowania, to potęgowanie staje się funkcją odwracalną (i ta funkcja odwrotna wyznacza tzw. pierwiastki arytmetyczne).

Pierwiastki można też zdefiniować dla liczb zespolonych; pierwiastki zespolone z jedynki odgrywają istotną rolę w matematyce wyższej. Duża część teorii Galois skupia się na wskazaniu, które z liczb algebraicznych można przedstawić za pomocą pierwiastków, co prowadzi do twierdzenia Abela-Ruffiniego mówiącego, iż ogólny wielomian stopnia piątego bądź wyższego nie może być rozwiązany za pomocą tzw. pierwiastników, tzn. wyrażeń połączonych działaniami dodawania, odejmowania, mnożenia i dzielenia oraz pierwiastków.

Pierwiastki pojawiają się np. w teorii szeregów, gdzie kryterium Cauchy’ego (pierwiastkowe) służy wyznaczaniu promienia zbieżności szeregu potęgowego.

Spis treści

Definicja | edytuj kod

Niech dana będzie dodatnia liczba całkowita n {\displaystyle n} nazywana stopniem. Pierwiastkiem z liczby x {\displaystyle x} stopnia n {\displaystyle n} nazywa się taką liczbę r , {\displaystyle r,} która podniesiona do n-tej potęgi jest równa x ; {\displaystyle x;} innymi słowy jest to dowolna liczba r {\displaystyle r} spełniająca równość

r n = x . {\displaystyle r^{n}=x.}

Innymi słowy, pierwiastek stopnia n {\displaystyle n} z liczby x {\displaystyle x} jest pierwiastkiem wielomianu r n x {\displaystyle r^{n}-x} zmiennej r . {\displaystyle r.}

Pierwiastek w powyższym sensie nazywa się często pierwiastkiem algebraicznym; każda dodatnia liczba rzeczywista ma jeden dodatni pierwiastek n-tego stopnia, nazywany często pierwiastkiem arytmetycznym. Pierwiastkiem n-tego stopnia z zera jest 0. {\displaystyle 0.} W ten sposób każdej nieujemnej liczbie rzeczywistej przypisana zostaje nieujemna liczba rzeczywista, co umożliwia określenie działania pierwiastkowania w zbiorze nieujemnych liczb rzeczywistych.

Dla nieparzystych n {\displaystyle n} każda ujemna liczba ma ujemny pierwiastek rzeczywisty n-tego stopnia (również nazywany pierwiastkiem arytmetycznym), choć nie jest to prawdą dla parzystych n . {\displaystyle n.}

Pierwiastek stopnia 2 nazywa się pierwiastkiem kwadratowym, zaś stopnia 3 – pierwiastkiem sześciennym; pierwiastki wyższych stopni identyfikuje się wyłącznie liczbowo, np. „pierwiastek czwartego stopnia”.

Pierwiastki zapisuje się zwykle za pomocą symbolu {\displaystyle {\sqrt {^{^{\;}}}}} (zob. wyżej), pierwiastkom stopnia drugiego, trzeciego, czwartego itd. z liczby x {\displaystyle x} odpowiadają kolejno symbole x , x 3 , x 4 {\displaystyle {\sqrt {x}},{\sqrt[{3}]{x}},{\sqrt[{4}]{x}}} itp. (zwyczajowo pomija się w zapisie stopień pierwiastka kwadratowego). Notacja ta nie budzi zastrzeżeń w stosunku do pierwiastków arytmetycznych, niemniej może prowadzić do sprzeczności w przypadku pierwiastków algebraicznych, dla których symbole te nie są jednoznaczne.

W analizie matematycznej pierwiastki traktuje się jako przypadki szczególne potęgowania o wykładniku ułamkowym, tzn.

x n = x 1 / n . {\displaystyle {\sqrt[{n}]{x}}=x^{1/n}.}

Przykłady i własności | edytuj kod

Liczba 2 jest pierwiastkiem czwartego stopnia z 16, gdyż 2 4 = 16. {\displaystyle 2^{4}=16.} Jest to jedyna dodatnia liczba rzeczywista o tej własności i to właśnie ona nazywana jest pierwiastkiem arytmetycznym; innym pierwiastkiem rzeczywistym tej liczby jest -2; istnieją także dwa nierzeczywiste pierwiastki tej liczby[a], które wraz z 2 oraz -2 są pierwiastkami algebraicznymi 4. stopnia z 16.

Przykładem pierwiastka z liczby ujemnej może być 2 5 = 1,148 698354 , {\displaystyle {\sqrt[{5}]{-2}}=-1{,}148698354\dots ,} lecz nie istnieje żaden rzeczywisty pierwiastek szóstego stopnia z jakiejkolwiek liczby ujemnej.

Pierwiastek kwadratowy z liczby naturalnej jest albo liczbą naturalną, albo niewymierną[b]; przykładem liczby naturalnej, której pierwiastek jest niewymierny jest 2:

2 = 1,414 213562 {\displaystyle {\sqrt {2}}=1{,}414213562\dots }

Pierwiastki stopni całkowitych z liczb niewymiernych są niewymierne, bo liczba wymierna podniesiona do potęgi o dowolnym wykładniku całkowitym daje liczbę wymierną. Mimo wszystko wszystkie pierwiastki liczb całkowitych, a nawet liczb algebraicznych, są algebraiczne.

Jeżeli x , y {\displaystyle x,y} są nieujemnymi liczbami rzeczywistymi, zaś n , m {\displaystyle n,m} są dodatnimi liczbami całkowitymi, to:

  • x y n = x n y n , {\displaystyle {\sqrt[{n}]{xy}}={\sqrt[{n}]{x}}{\sqrt[{n}]{y}},}
  • x / y n = x n y n , {\displaystyle {\sqrt[{n}]{x/y}}={\frac {\sqrt[{n}]{x}}{\sqrt[{n}]{y}}},\quad {}} dla y 0 {\displaystyle y\neq 0}
  • x m n = ( x n ) m , {\displaystyle {\sqrt[{n}]{x^{m}}}=\left({\sqrt[{n}]{x}}\right)^{m},}
  • a n m = a m n . {\displaystyle {\sqrt[{m}]{\sqrt[{n}]{a}}}={\sqrt[{m\cdot n}]{a}}.}

Pierwiastek można również wyrazić w postaci szeregu:

1 + x t = n = 0 k = 0 n 1 ( 1 k t ) n ! t n x n , {\displaystyle {\sqrt[{t}]{1+x}}=\sum _{n=0}^{\infty }{\frac {\prod _{k=0}^{n-1}(1-kt)}{n!t^{n}}}x^{n},}

o ile | x | < 1. {\displaystyle |x|<1.} Wyrażenie to można wyprowadzić z szeregu dwumianowego.

Pierwiastek zespolony | edytuj kod

 Zobacz też: pierwiastek z jedynkiwzór de Moivre’a.

Dla dodatniej liczby całkowitej n {\displaystyle n} pierwiastkiem stopnia n {\displaystyle n} z liczby zespolonej x {\displaystyle x} nazywa się dowolną liczbę r {\displaystyle r} spełniającą równość

r n = x . {\displaystyle r^{n}=x.}

Każda niezerowa liczba zespolona (a więc i rzeczywista) x {\displaystyle x} ma n {\displaystyle n} różnych zespolonych pierwiastków n-tego stopnia; szczególnie istotne są szeroko stosowane w matematyce pierwiastki z jedynki.

Pierwiastki z liczby zespolonej z {\displaystyle z} można wyznaczyć korzystając ze wzoru de Moivre’a:

z k = | z | n ( cos ψ + 2 k π n + i sin ψ + 2 k π n ) , {\displaystyle z_{k}={\sqrt[{n}]{|z|}}\left(\cos {\tfrac {\psi +2k\pi }{n}}+i\sin {\tfrac {\psi +2k\pi }{n}}\right),}

dla k = 0 , 1 , 2 , , n 1 {\displaystyle k=0,1,2,\dots ,n-1} (powyższy symbol pierwiastka oznacza pierwiastek arytmetyczny).

Przykładowo dla liczby z = 4 {\displaystyle z=-4} jest | z | = 4 , {\displaystyle |z|=4,} a ponadto Arg z = π , , {\displaystyle \operatorname {Arg} \;z=\pi ,,} a więc w postaci biegunowej ma ona postać z = 4 ( cos π + i sin π ) . {\displaystyle z=4(\cos \pi +i\sin \pi ).}

Pierwiastkami drugiego stopnia z z {\displaystyle z} są:

z 0 = 2 ( cos π 2 + i sin π 2 ) = 2 i , {\displaystyle z_{0}=2\left(\cos {\tfrac {\pi }{2}}+i\sin {\tfrac {\pi }{2}}\right)=2i,} z 1 = 2 ( cos π 2 + i sin π 2 ) = 2 i . {\displaystyle z_{1}=2\left(\cos {\tfrac {-\pi }{2}}+i\sin {\tfrac {-\pi }{2}}\right)=-2i.}

Historia | edytuj kod

Początki symbolu pierwiastka √ są dość niejasne. Niektóre źródła[potrzebny przypis] podają, że symbol został wprowadzony przez Arabów, a po raz pierwszy został on użyty przez Abū al-Hasana ibn Alīego al-Qalasādīego (1421-1486) i został wyprowadzony z arabskiej litery ج, pierwszej litery słowa Jadhir (gdzie „dh” oznacza międzyzębową dźwięczną spółgłoskę szczelinową) oznaczającego „korzeń”. Wielu, w tym Leonhard Euler[1] sądziło, że pochodzi on od litery r, pierwszej litery łacińskiego słowa radix (również oznaczającego „korzeń”), które oznacza to samo działanie matematyczne.

Nieużywany w języku polskim termin surd, traktowany niekiedy jako nazwa symbolu √[2], pochodzi z czasów al-Khwārizmīego (ok. 825), który liczby wymierne i niewymierne nazywał odpowiednio „słyszalnymi” i „niesłyszalnymi”. W związku z tym arabskie assam („głuchy, głupi”) oznaczające liczbę niewymierną było później tłumaczone na łacinę jako surdus („głuchoniemy”). Gerard z Cremony (ok. 1150), Fibonacci (1202), a potem Robert Recorde (1551) używali tego terminu w odniesieniu do nierozwiązanych pierwiastków niewymiernych[3].

Symbolu √ użyto po raz pierwszy w druku bez vinculum (poziomej kreski nad liczbami wewnątrz symbolu pierwiastka) w 1525 roku w Die Coss autorstwa niemieckiego matematyka Christoffa Rudolffa. Vinculum zostało po raz pierwszy użyte przez Kartezjusza w Geometrii (1637) do oznaczania całych wyrażeń algebraicznych podlegających pierwiastkowaniu[2].

Stosowana przez Kartezjusza notacja dla pierwiastków stopnia wyższego niż dwa nie przyjęła się (np. x 3 {\displaystyle {\sqrt[{3}]{x}}} Kartezjusz zapisywał jako C . x {\displaystyle {\sqrt {C.x}}} [c])[2]. Współczesną notację stopnia pierwiastka zaproponował Albert Girard w pracy z 1629 roku; utrwaliła się ona w pierwszej połowie XVIII w.[4]

Typografia | edytuj kod

Niżej przedstawiono kody znaków symboli pierwiastka. W notacji angielskiej znak pierwiastka występuje bez wiążącej kreski górnej[5].

W LaTeX-u:

  • pierwiastek x {\displaystyle {\sqrt {x}}} zapisywany jest jako \sqrt x;
  • pierwiastek x k {\displaystyle {\sqrt[{k}]{x}}} zapisywany jest jako \sqrt[k] x.

Zobacz też | edytuj kod

Uwagi | edytuj kod

  1. Są nimi 2 i {\displaystyle 2i} oraz 2 i , {\displaystyle -2i,} zob. sekcję Pierwiastek zespolony.
  2. Dowód nie wprost. Niech dla pewnej liczby naturalnej n {\displaystyle n} jej pierwiastek n {\displaystyle {\sqrt {n}}} będzie niecałkowitą liczbą wymierną; wówczas 0 < q = n n < 1 {\displaystyle 0<q={\sqrt {n}}-\lfloor {\sqrt {n}}\rfloor <1} i istnieją takie liczby naturalne, które mnożone przez q {\displaystyle q} dają liczby naturalne. Najmniejsza z nich (istnieje na mocy zasady dobrego uporządkowania) będzie oznaczana literą k ; {\displaystyle k;} niech ponadto l = k q , {\displaystyle l=kq,} która jest mniejszą od k . {\displaystyle k.} Wtedy l q = k q 2 = k n 2 k n n + k n 2 = k n 2 k n 2 + k n 2 2 k q n {\displaystyle lq=kq^{2}=kn-2k{\sqrt {n}}\lfloor {\sqrt {n}}\rfloor +k\lfloor {\sqrt {n}}\rfloor ^{2}=kn-2k\lfloor {\sqrt {n}}\rfloor ^{2}+k\lfloor {\sqrt {n}}\rfloor ^{2}-2kq\lfloor {\sqrt {n}}\rfloor } jest liczbą całkowitą, gdyż wyrazy sumy są iloczynami liczb całkowitych, w ten sposób l {\displaystyle l} przeczy minimalności k , {\displaystyle k,} co kończy dowód.
  3. C {\displaystyle C} od łac. cube, sześcian; zob. Definicja.
  4. Nazwy polskie zaczerpnięte lub utworzone na podstawie Robert Bringhurst, Elementarz stylu w typografii (Załącznik A), Design Plus, Kraków 2007.

Przypisy | edytuj kod

  1. Leonhard Euler: Institutiones calculi differentialis. 1755. (łac.)
  2. a b c Kartezjusz: Geometria. Piotr Błaszczyk, Kazimierz Mrówka (tłum., komentarz). Kraków: TAiWPN UNIWERSITAS, 2015, s. 12, 15, 166, 299. ISBN 978-83-242-2759-4.
  3. Earliest Known Uses of Some of the Words of Mathematics. Mathematics Pages by Jeff Miller. [dostęp 2008-11-30].
  4. A.P. Juszkiewicz: Historia matematyki. Matematyka XVII stulecia. T. 2. 1976, s. 46. (pol.)
  5. Oxford Advanced Learner’s Dictionary of Current English. T. 2: L-Z. Warszawa: Oxford Uniwersity Press/PWN, 1988, s. 737. ISBN 83-01-02448-8.
Kontrola autorytatywna (rodzaj funkcji matematycznej):
Na podstawie artykułu: "Pierwiastkowanie" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy