Gyökvonás

A Wikipédiából, a szabad enciklopédiából
A négyzetgyök függvény
Duplán logaritmikus ábrázolásban a gyökök egyenesek lesznek

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:

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

Jelölés[szerkeszté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és[szerkeszté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ök[szerkeszté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ége[szerkeszté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ökei[szerkeszté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ökei[szerkesztés]

Hogyha nemnegatív egész, és pozitív egész, 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ással[szerkeszté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űveletek[szerkeszté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ámokkal[szerkeszté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 sorok[szerkesztés]

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

ahol .

Határértékek[szerkeszté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ények[szerkesztés]

Az

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

Összes gyök megkeresése[szerkeszté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ása[szerkeszté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ökei[szerkeszté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ócikkek[szerkesztés]

Jegyzetek[szerkeszté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ás[szerkeszté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 és a szerzői jogokat 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 és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.