A hatványozás (más néven exponenciálás) a számokkal végzett alapvető aritmetikai művelet: ismételt szorzás, ahogy a szorzás is ismételt összeadás. A hatványokat általában felső indexszel (kitevőként) jelöljük. Ez így néz ki: x y {\displaystyle x^{y}} {\displaystyle x^{y}}. Amikor olyan eszközökön írunk, amelyek nem támogatják a felső indexet, gyakori jelölés a ^ vagy a **, tehát 2^3 vagy 2**3 jelenti azt, hogy 2 3 {\displaystyle 2^{3}} {\displaystyle 2^{3}}.

Alapfogalmak

A x {\displaystyle x}x számot bázisnak, az y {\displaystyle y}y számot pedig exponensnek nevezzük. Például a 2 3 {\displaystyle 2^{3}}-ban {\displaystyle 2^{3}} a 2 a bázis, a 3 pedig az exponens.

A 2 3 {\displaystyle 2^{3}}{\displaystyle 2^{3}} kiszámításához a 2-est háromszor szorozzuk össze önmagával: 2 3 = 2 ⋅ 2 ⋅ 2 {\displaystyle 2^{3}=2\cdot 2\cdot 2}{\displaystyle 2^{3}=2\cdot 2\cdot 2} és az eredmény 8: 2 ⋅ 2 ⋅ 2 = 8 {\displaystyle 2\cdot 2\cdot 2=8}{\displaystyle 2\cdot 2\cdot 2=8}.

Példák

  • 5 3 = 5 ⋅ 5 ⋅ 5 = 125 {\displaystyle 5^{3}=5\cdot {}5\cdot {}5=125} {\displaystyle 5^{3}=5\cdot {}5\cdot {}5=125}
  • x 2 = x ⋅ x {\displaystyle x^{2}=x\cdot {}x} {\displaystyle x^{2}=x\cdot {}x}
  • 1 x = 1 {\displaystyle 1^{x}=1}{\displaystyle 1^{x}=1} minden x számhoz

Speciális hatványok és értelmezésük

Ha az exponens 2, a hatványt négyzetnek nevezzük; a síkbeli négyzet területét gyakran a^{2} segítségével számoljuk. {\displaystyle a^{2}}

x 2 {\displaystyle x^{2}}{\displaystyle x^{2}} az x négyzete.

Ha az exponens 3, a hatvány a kocka térfogatával kapcsolatos: a kocka élének térfogata kocka térfogatát adja az a^{3} kifejezés. {\displaystyle a^{3}}

x 3 {\displaystyle x^{3}}{\displaystyle x^{3}} az x kockája.

Negatív egész kitevők: ha az exponens -1, akkor a hatvány a bázis inverzét adja:

x - 1 = 1 x {\displaystyle x^{-1}={\frac {1}{x}}} {\displaystyle x^{-1}={\frac {1}{x}}}

Általánosan, ha az exponens egész szám és kisebb, mint 0, akkor az eredmény a bázis reciprokának pozitív kitevőre emelése:

2 - 3 = ( 1 2 ) 3 = 1 8 {\displaystyle 2^{-3}=\left({\frac {1}{2}}\right)^{3}={\frac {1}{8}}} {\displaystyle 2^{-3}=\left({\frac {1}{2}}\right)^{3}={\frac {1}{8}}}

Tört kitevők: ha az exponens 1 2 {\displaystyle {\frac {1}{2}}}{\displaystyle {\frac {1}{2}}}, akkor az eredmény a bázis négyzetgyöke: x 1 2 = x . {\displaystyle x^{\frac {1}{2}}={\sqrt {x}}. } {\displaystyle x^{\frac {1}{2}}={\sqrt {x}}.} Példa:

4 1 2 = 4 = 2 {\displaystyle 4^{\frac {1}{2}}={\sqrt {4}}=2} {\displaystyle 4^{\frac {1}{2}}={\sqrt {4}}=2}

Általában, ha az exponens 1 n {\displaystyle {\frac {1}{n}}}{\displaystyle {\frac {1}{n}}}, akkor az eredmény az n-edik gyök:

a 1 n = a n {\displaystyle a^{\frac {1}{n}}={\sqrt[{n}]{a}}} {\displaystyle a^{\frac {1}{n}}={\sqrt[{n}]{a}}}

Ha az exponens racionális szám p q ({\displaystyle {\frac {p}{q}}}), akkor az eredmény a bázis q-edik gyökének p-edik hatványa:

a p q = a p q {\displaystyle a^{\frac {p}{q}}={\sqrt[{q}]{a^{p}}}} {\displaystyle a^{\frac {p}{q}}={\sqrt[{q}]{a^{p}}}}

Megjegyzések a valós hatványokról: a valós számok körében a kifejezés a^{r} általában csak akkor értelmezett egyszerűen, ha a > 0 (például tört vagy irracionális kitevők esetén). Ha a = 0, akkor 0^{x} = 0 minden pozitív x-re, de 0^{0} értelmezése nem egységes (általában elkerülik vagy definiálják speciális kontextusban). Ha a < 0 és a kitevő racionális szám törte q páros nevezővel, akkor a valós gyök nem létezik (komplex számokra kiterjeszthető).

Irracionális kitevők: egy a alapot irracionális x-edik hatványra úgy definiálunk, hogy racionális számokból álló sorozatot választunk, amelynek határa x, és az a^{x} értékét a határként vesszük:

x = lim n → ∞ x n {\displaystyle x=\lim _{n\to \infty }x_{n}} {\displaystyle x=\lim _{n\to \infty }x_{n}}

a x = lim n → ∞ a x n {\displaystyle a^{x}=\lim _{n\to \infty }a^{x_{n}}} {\displaystyle a^{x}=\lim _{n\to \infty }a^{x_{n}}}

Ez a definíció jól működik, ha a > 0. A matematikában gyakran használjuk az exponenciális és logaritmusfüggvényeket az ilyen kiterjesztések kezelésekor.

Alapvető hatványszabályok

Az alábbiakban a legfontosabb, általánosan használt szabályok röviden:

  • ( a ⋅ b ) n = a n ⋅ b n {\displaystyle \left(a\cdot b\right)^{n}=a^{n}\cdot {}b^{n}}} {\displaystyle \left(a\cdot b\right)^{n}=a^{n}\cdot {}b^{n}} — a szorzat kitevője külön-külön a tényezőkre osztható.
  • ( a b ) n = a n b n , b ≠ 0 {\displaystyle \left({\frac {a}{b}}\right)^{n}={\frac {a^{n}}{b^{n}}},\quad b\neq 0} {\displaystyle \left({\frac {a}{b}}\right)^{n}={\frac {a^{n}}{b^{n}}},\quad b\neq 0} — a hányados hatványozása.
  • a r ⋅ a s = a r + s {\displaystyle a^{r}\cdot {}a^{s}=a^{r+s}}} {\displaystyle a^{r}\cdot {}a^{s}=a^{r+s}} — azonos bázisú hatványok szorzása.
  • a r a s = a r - s , a ≠ 0 {\displaystyle {\frac {a^{r}}{a^{s}}}=a^{r-s},\quad a\neq 0} {\displaystyle {\frac {a^{r}}{a^{s}}}=a^{r-s},\quad a\neq 0} — azonos alapú hatványok hányadosa.
  • a - n = 1 a n , a ≠ 0 {\displaystyle a^{-n}={\frac {1}{a^{n}}},\quad a\neq 0} {\displaystyle a^{-n}={\frac {1}{a^{n}}},\quad a\neq 0} — negatív kitevők.
  • ( a r ) s = a r ⋅ s {\displaystyle \left(a^{r}\right)^{s}=a^{r\cdot s}} {\displaystyle \left(a^{r}\right)^{s}=a^{r\cdot s}} — hatvány hatványa.
  • a 0 = 1 {\displaystyle a^{0}=1} {\displaystyle a^{0}=1} — bármely nem nulla szám nulladik hatványa 1 (megjegyzés: 0^{0} vita tárgya; általában nem definiált).

Rövid indoklások: a szabályok mind a műveletek ismétlésén vagy az inverz, illetve műveleti tulajdonságokon alapulnak (például a szorzás asszociativitása és kommutativitása, valamint a logaritmikus és exponenciális összefüggések alapján megadhatók formális bizonyítások).

Mátrixok kitevőre emelése

Mátrixok esetén is értelmezett a hatványozás, de csak akkor, ha a mátrix négyzetes (téglalap alak helyett n×n). Az egész kitevőknél a hatványozás a mátrixok szorzásának ismétlése. Például az egységmátrixra igaz, hogy I 2 = I ⋅ I = I {\displaystyle I^{2}=I\cdot I=I} {\displaystyle I^{2}=I\cdot I=I}. Negatív egész kitevőkhez a mátrixnak invertálhatónak kell lennie; frakcionális vagy irracionális kitevőket általában spektrális (például diagonlizáció vagy Jordan-forma) módszerekkel, vagy mátrix-exponenciál szal határozzuk meg.

Alkalmazások és megjegyzések

  • Hatványok megjelennek sok területen: geometriában (terület, térfogat), fizikában és biológiában (exponenciális növekedés és bomlás), pénzügyekben (kamatképzés), informatikában (algoritmusok komplexitása), mérési egységek átváltásánál (tizedes kitevők).
  • Fontos a kitevők és alapok tartományának figyelembe vétele: valós számoknál pl. a^{1/2} csak a≥0 esetén értelmezett valós gyökként; negatív alapok és racionális kitevők esetén ügyelni kell a nevező paritására.
  • Az exponenciális függvény (a^{x} különösen a = e esetén) és a logaritmusok mély kapcsolatban állnak a hatványozással és lehetővé teszik a kiterjesztést és számításokat irracionális kitevőkre is.

Ez a bevezető áttekintést ad a hatványozás legfontosabb fogalmairól, szabályairól és néhány gyakorlati alkalmazásról. Ha szeretnéd, bemutathatok részletesebb bizonyításokat a fenti szabályokhoz, vagy további feladatokat és megoldásokat is adok.