A gyökvonás egy matematikai művelet, a hatványozás egyik megfordított (inverz) művelete (a másik a logaritmus). Mikor egy számból n-edik gyököt vonunk (), olyan számot keresünk, amelyet az n-edik hatványra emelve visszaadja az eredeti számot (ilyen szám nem mindig létezik). Matematikailag:

A négyzetgyök függvény
Duplán logaritmikus ábrázolásban a gyökök egyenesek lesznek

Az esetben négyzetgyökről, az esetben köbgyökről beszélünk.

JelölésSzerkesztés

A gyökvonást már az ókorban ismerték, így jutottak el az irracionális számokhoz.[1]

A gyökjel ( ) eredete elég bizonytalan, de a legtöbben, beleértve Leonhard Eulert[2] is, úgy gondolják, hogy a latin "radix" (gyökér) szó kezdőbetűjének, az r-nek az elnyújtásából származik. A középkorban még az r betű volt a gyök jele.[3] Ez a jel először nyomtatásban a felső vízszintes vonal nélkül jelent meg 1525-ben, Christoph Rudolff német matematikus által írt "Die Coss"-ban.[4] A jel mai formája a 16. században rögzült.[5]

Probléma adódik ennek a különleges karakternek az elektronikus ábrázolásával, mert nincs rajta közvetlenül a billentyűzeten (kivétel Mac OS rendszerben: [alt]-v). A gyökjel ábrázolásához speciális szoftverek (például LaTeX) adnak segítséget, Unicode szabványt használva például HTML-ben a gyökjel a „√“ –  – (azaz a: „√“) kóddal jeleníthető meg.

Írásmód és elnevezésSzerkesztés

Igazolható, hogy nemnegatív a számra az

 

egyenletnek pontosan egy nemnegatív megoldása van. Ezt a megoldását a következőképp jelöljük:

 

és úgy olvassuk ki:

a n-edik gyöke x”.

Ahol   gyökjel,   (gyök)kitevő, és   radikandus.[6]

Páratlan kitevő esetén az n-edik gyökvonás kiterjeszthető negatív számokra is. Pl. -8 harmadik (v. köb-) gyöke, azaz az a szám, melynek harmadik hatványa -8, egyértelműen létezik, mégpedig -2. Páros kitevő esetében viszont a gyökvonás nem végezhető el negatív számokra, mert nincs valós megoldás, hiszen minden valós szám négyzete, így páros hatványa is nemnegatív. Ez az egyik motivációja a komplex számok bevezetésének.

Definálható az   eset is, ahol is  .

Minden nullától különböző a komplex számra igaz, hogy létezik n darab különböző b szám, amelyre teljesül, hogy bn = a ,így a   nem használható egyértelműen.

Négyzetgyök és köbgyökSzerkesztés

Ha a gyökkitevő 2, akkor négyzetgyökvonásról, vagy egyszerűen gyökvonásról beszélünk, és a gyökkitevőt ilyenkor nem kell kiírni:

 
a   a  
4 2 121 11
9 3 144 12
16 4 169 13
25 5 196 14
36 6 225 15
49 7 256 16
64 8 289 17
81 9 324 18
100 10 361 19

A harmadik gyököt köbgyöknek is nevezik. Például:

 

Szóban: nyolc harmadik gyöke kettő; illetve: nyolc köbgyöke kettő.

Páros kitevőjű gyökvonás egyértelműségeSzerkesztés

Habár páros gyökkitevő esetén két szám is eleget tesz annak a feltételnek, hogy a kitevőre emelve a radikandust kapjuk, a   gyökjel a nemnegatív megoldást adja vissza.[7][8] Például az   egyenletnek két megoldása van:   és  . Azonban a   kifejeztés az a +2 értéket, és nem a −2 értéket jelöli. Általában, ha a kitevő páros, akkor

 

Negatív számok gyökeiSzerkesztés

A negatív számok gyökeinek kezelése nem egységes. Például

 

és a   az egyetlen valós szám, melynek harmadik hatványa  . Általában, a negatív számok páratlan kitevős hatványa szintén negatív.

  • A negatív számok gyökeit nem értelmezik. Például   sincs definiálva. Az   megoldása  .
  • A negatív számok páratlan kitevős gyökeit értelmezik. Az   páratlan számokra
 .

Ez a gyökvonás azonban nem teljesíti azokat a szabályszerűségeket, melyek pozitív radikandusok esetén használhatók. Például

 

Nem teljesül az   egyenlőség sem, hiszen a negatív számoknak nincs logaritmusuk.

Mivel a valós számok páros hatványa sosem negatív, azért a negatív számok páros kitevőjű gyöke nem lehet valós. Például, mivel nincs olyan   valós szám, hogy  , azért az   egyenletet sem lehet megoldani a valós számokon. Ez vezetett el a komplex számokhoz;[9] habár a komplex gyökvonás többértékű.

Egész számok gyökeiSzerkesztés

Hogyha   nemnegatív egész, és   pozitív egészt, akkor   egész vagy irracionális. Ez a prímtényezős felbontás egyértelműsége alapján bizonyítható.

Ha  , akkor   egész. Készíthető egy egyértelmű   prímtényezős felbontás, hogy   különböző prímek, és   pozitív kitevők. Ha minden   minden   esetén osztható  -val, akkor   egész.

Még azt kell belátni, hogy ha van  , hogy  , és   nem osztható a   kitevővel, akkor   irracionális. A bizonyítás menete hasonló, mint a négyzetgyök kettő irracionálisságának bizonyítása, ami lényegében az   speciális eset.

Tegyük fel indirekt, hogy   racionális! Akkor ezt felírhatjuk két relatív prímek egész szám,   és   hányadosaként:

 .

Hatványozással

 

innen

 .

A   prímtényező  -szor annyiszor fordul elő, mint  -ban, illetve  -ben. Ez egy  -val osztható szám, ami nulla is lehet. Az indirekt feltevés szerint  -ben   kitevője nem osztható  -val. Így az egyenlet bal oldalán a   prímtényező kitevője nem osztható  -val; de a jobb oldalán igen. Ez ellentmond az egyértelmű prímtényezős felbontásnak. Tehát   irracionális.

Kapcsolat a hatványozássalSzerkesztés

A gyököt a gyökkitevőre emelve visszakapjuk a radikandust, ha  , és   természetes szám:

 


A hatványozás szabályai alapján:

 

Emiatt az n kitevőjű gyökvonás értelmezhető 1/n-edik hatványként:[10]

 

AlapműveletekSzerkesztés

A gyökvonás műveletének elvégzésében segíthetnek a következő azonosságok:

 
 
 

ahol a és b pozitív,  

 

Ha a számot gyökös kifejezésből exponenciális kifejezéssé írjuk át, akkor a szabályok változatlanok maradnak (még törtkitevő esetén is), nevezetesen:

 
 
 

Például:

 
 

Ha összeadást, vagy kivonást akarunk végezni, akkor érdemes megjegyezni a következő szabályt:

 

Ha megértettük, hogyan egyszerűsítsünk gyökös kifejezéseket, akkor sokkal egyszerűbb elvégezni a kivonást és összeadást a kiemelés segítségével. Például:

 
 
 
 

Törtkitevős hatványok:

 

Negatív hatványok:

 

Közös radikandus:

 

Ezek a szabályok csak páratlan kitevőkre terjeszthetők ki negatív számokra, és komplex számokon csak halmazegyenlőségről lehet szó.

Műveletek irracionális számokkalSzerkesztés

Sokszor egyszerűbb az n-edik gyököt "megoldatlanul" hagyni (a gyökjel alatt). Ebben az alakban hagyva olyan átalakításokat végezhetünk rajta, amellyel egyszerűbb alakra tudjuk hozni a gyökös kifejezést.

  kifejezés megegyezik a   kifejezéssel, ha a gyökös kifejezést hatványként szeretnénk felírni.

Minden gyökös kifejezést fel lehet írni hatványkitevős alakban is. Az alapvető műveletek elvégzéséhez szükséges szabályokat azonosságoknak nevezzünk. Néhány alapvető azonosság:

  •  
    • Ez kombinálható a fentebb említett hatványkitevős alakkal:  
  •  
  •  
  •  
  •  
  •  

Az utolsó azonosságban bővítés segítségével a nevezőből el tudjuk tüntetni az irracionális kifejezéseket, az alábbi azonosságot felhasználva:

 

(két szám összegének és különbségének szorzata).

Végtelen sorokSzerkesztés

A gyök előállítható végtelen sorként is:

 

ahol  .

HatárértékekSzerkesztés

Teljesülnek a következő határértékek:

  •   ha  
  •  

Következnek az   egyenlőtlenségből, ami a binomiális tétel következménye.

  •  , ahol   rögzített természetes szám
  • *  , ami   exponenciális ábrázolásából következik.

GyökfüggvényekSzerkesztés

Az

  alakú függvények gyökfüggvények. A hatványfüggvények speciális esete.

Összes gyök megkereséseSzerkesztés

A gyökök meghatározhatók írásbeli gyökvonással. Ez hasonlít az írásbeli osztásra, és a binomiális képleteken alapul. Ma már kevés gyakorlati jelentősége van.

A hatványozáshoz hasonlóan visszavezethető az exponenciális és a logaritmusfüggvényre:

 

Bármely szám összes gyöke, legyen az a szám természetes vagy komplex, egyszerűen megadható egy algoritmus segítségével. A számot átírva az ae alakba (lásd: Euler-formula), az összes n-edik gyök megkapható a következőből:

 

ahol  , és   jelenti a n-edik gyökét.

Numerikus számításokkal is megkaphatóak a gyökök közelítő értékei. Ide tartozik például az intervallumfelezés.

A Newton-módszerrel az   függvény gyökeit kereshetjük:

  • Válasszunk egy   kiindulási értéket
  • Az iterációhoz ezt a képletet használhatjuk:
 

Az eljárás alkalmas komplex gyökök megtalálására, ám ekkor a kezdőértéknek nem valós komplex számnak kell lennie.

Az   speciális esetben a Héron-módszer adódik.

Például: az   gyököt szeretnénk közelíteni. Ekkor az eljárásban   és  , a közelítéshez használt képlet  .

Ha a kiindulási érték  , akkor:

Kezdőérték: 2,000000000000
1. lépés: 1,500000000000
2. lépés: 1,296296296296
3. lépés: 1,260932224741
4. lépés: 1,259921860565
5. lépés: 1,259921049895
6. lépés: 1,259921049894

A számolóművészek módszere becslésen, a nagyságrendek ismeretén és az elemi számelméleten alapul. Ehhez szükséges, hogy tudjuk, teljes hatványról van szó. Például köbgyök számításához ismerni kell a köbszámok nagyságrendjeit és az utolsó számjegyet:


1 1
8 2
27 3
64 4
125 5
216 6
343 7
512 8
729 9
1.000 10
1 000 10
8 000 20
27 000 30
64 000 40
125 000 50
216 000 60
343 000 70
512 000 80
729 000 90
1 000 000 100

Például 103 823 köbgyöke: A radikandus 64 000 és 125 000 közé esik, így a köbgyök tízeseinek száma 4. A radikandus utolsó számjegye 3, így a köbgyök utolsó jegye 7. Tehát a köbgyök 47.

A 12 167 köbgyöke: A radikandus 8000 és 27 000 közé esik, így a gyök tízeseinek helyén 2 áll. A szám utolsó jegye 7, ezzel a gyök utolsó jegye 3. Tehát a gyök 23.

Nagyobb hatványokra is működik, de csak addig, ameddig a gyök egész. Például megtalálható 880 794 982 218 444 893 023 439 794 626 120 190 780 624 990 275 329 063 400 179 824 681 489 784 873 773 249 25. gyöke (ami 1729) is ezzel a módszerrel.

Polinomok megoldásaSzerkesztés

A legfeljebb negyedfokú polinomok gyökei felírhatók általános képlettel, melyben csak az alapműveletek és gyökös kifejezések szerepelnek, de az Abel–Ruffini-tétel szerint ez nem igaz általánosan. Például a következő egyenlet megoldása

 

nem adható meg gyökös kifejezéssel.

Az n-edfokú egyenletek megoldásához használható a gyökkereső algoritmus.

Komplex számok gyökeiSzerkesztés

 
Komplex ötödik gyökök 1 + i√3 = 2 · eπ · i/3.
 
Az   egyenlet megoldásai a komplex  -síkon (piros, zöld, kék rács). A piros rács a   függvényt ábrázolja. A nagy színes  -háromszög és  -képei a tájékozódást segítik

A komplex számok   teste definiálható az   testbővítéssel, ahol   az   egyenlet egyik gyöke.

A komplex számok felfoghatók   síkként, amit a valós számok kitüntetett   egyenese két félsíkra oszt. Ezen a síkon az   számot a felső, a   számot az alsó félsíkra helyezzük. A   nulla pontot a   függvény a valós növekvő   pozitív forgásirányban futja be, így  . Ezekkel a meghatározásokkal a komplex számok gyökei is egyértelműen kifejezhetők valós és képzetes részük segítségével, és főérték is megadható. Ekkor azonban a pozitív valós számokon érvényes alapműveletes számítások fenntartással kezelhetők a komplex számok körében, ugyanis lehet, hogy a két oldalon különböző gyökök jönnek ki.

Egy   komplex szám n-edik gyökeinek nevezzük a   egyenlet megoldásait.

Ha az   valós számot az   exponenciális alakban adjuk meg, akkor a komplex gyökök számíthatók úgy, mint

 

Ha   akkor egy origó középpontú egységsugarú kört n részre osztva kapjuk meg az egyenlet megoldásait, és ezeket n-edik egységgyököknek nevezzük, melyek az n-edik körosztási egyenlet megoldásai. A körosztási elnevezést megmagyarázza a komplex számsíkon kirajzolódó alakzat: az n-edik egységgyökök az origó közepű egységsugarú kört egyenlő részekre osztják, ezzel szabályos sokszöget határozva meg.

Eltérően a valós számoktól, nem adódik egyszerű kritérium arra, hogy kiválasszunk egyetlen gyököt. Ebben segíthet a komplex logaritmusfüggvénynek az az ága, ami a pozitív valós számokhoz azok pozitív gyökét rendeli:

 

ahol is a nulla és a negatív valós számok logaritmusa nem értelmezett. Más logaritmuságat választva esetleg más gyökök adódnak, illetve a komplex számsík a nullából kiinduló más folytonos görbével is felvágható. A kitüntetett érték a főérték, a többi mellékérték.

A szokásos ág is kiterjeszthető a negatív félegyenesre, ám ezzel a folytonosság elvész. Ekkor azonban   lesz a főérték, és   mellékérték marad. Ez elkerülhető egy alternatív definícióval, hogy az   argumentumnak modulo   a legkisebb abszolútértékű maradékot kell adnia. Ez az összes valós radikandusra a megszokott értéket adja. Például :  .

A kiválasztott gyökök argumentumértéke nem nagyobb, mint  , és még a gyökökre vonatkozó alapműveletes szabályok is megmaradnak sok kitevőnél.

Kapcsolódó szócikkekSzerkesztés

JegyzetekSzerkesztés

  1. Rapp Tamás: 5. tétel. Gyökvonás, gyökfüggvények és tulajdonságaik
  2. Leonhard Euler. Institutiones calculi differentialis (Latin nyelven) (1755) 
  3. Rapp Tamás: 5. tétel. Gyökvonás, gyökfüggvények és tulajdonságaik
  4. Earliest Known Uses of Some of the Words of Mathematics – RADIX, ROOT, UNKNOWN, SQUARE ROOT
  5. Rapp Tamás: 5. tétel. Gyökvonás, gyökfüggvények és tulajdonságaik
  6. Lothar Kusch: Mathematik. Band 1: Arithmetik. Algebra, Reihenlehre, Nomographie. W. Girardet, Essen 1975, ISBN 3-7736-2755-6, S. 162 f.
  7. DIN 1302:1999 Allgemeine mathematische Zeichen und Begriffe
  8. EN ISO 80000-2:2020 Größen und Einheiten – Teil 2: Mathematik
  9. T. Arens, F. Hettlich et al.: Mathematik. 2008, S. 122.
  10. T. Arens, F. Hettlich et al.: Mathematik. 2008, S. 46–47.

FordításSzerkesztés

  • Ez a szócikk részben vagy egészben a nth root című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
  • Ez a szócikk részben vagy egészben a Wurzel (Mathematik) című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.