Exponenciácia (mocnina) je aritmetická operácia nad číslami, ktorá predstavuje opakované násobenie podobne ako je násobenie opakovaným sčítaním. Zapisujeme ju pomocou horného indexu: x y {\displaystyle x^{y}} {\displaystyle x^{y}}. Keď zariadenie alebo písmo nepodporuje horný index, často sa používa znak ^ alebo **, takže 2^3 alebo 2**3 znamená 2 3 {\displaystyle 2^{3}} {\displaystyle 2^{3}}.

Základné pojmy

Číslo x {\displaystyle x}x sa nazýva základ a číslo y {\displaystyle y}y sa nazýva exponent. Napríklad v zápise 2 3 {\displaystyle 2^{3}} {\displaystyle 2^{3}} je 2 základ a 3 exponent.

Mocniny s celým nezáporným exponentom

Ak je exponent kladné celé číslo n, potom aⁿ znamená, že násobíme základ a sám so sebou n‑krát. Napríklad:

Na výpočet 2 3 {\displaystyle 2^{3}}{\displaystyle 2^{3}} vynásobíme číslo 2 trikrát: 2 3 = 2 2 2 {\displaystyle 2^{3}=2\cdot 2\cdot 2}{\displaystyle 2^{3}=2\cdot 2\cdot 2}. Výsledok je 2 2 2 = 8 {\displaystyle 2\cdot 2\cdot 2=8} {\displaystyle 2\cdot 2\cdot 2=8}.

Ďalšie príklady:

  • 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} pre každé číslo x

Ak je exponent rovný 2, hovoríme o druhých mocninách alebo štvorcoch – napríklad plocha štvorca so stranou a je a^{2} {\displaystyle a^{2}}. Preto x 2 {\displaystyle x^{2}}{\displaystyle x^{2}} je „štvorec“ čísla x {\displaystyle x} x.

Ak je exponent 3, hovoríme o kockách – objem kocky so stranou a je a^{3} {\displaystyle a^{3}}. Preto x 3 {\displaystyle x^{3}}{\displaystyle x^{3}} je „kocka“ čísla x {\displaystyle x} x.

Negatívne, nulové a odmocniny

Negatívne exponenty znamenajú inverznú hodnotu základu zvýšenú na kladnú mocninu:

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

Vo všeobecnosti platí, že pre celé n>0 je a^{-n} = 1 / a^{n} (ak a ≠ 0). Napríklad:

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}}}

Éxponent 0: pre všetky a ≠ 0 platí a^{0} = 1. Pozor: výraz 0^{0} je považovaný za nedefinovaný alebo neurčitý v rôznych matematických kontextoch (analyticky vs. kombinatoricky), preto je k nemu potrebné pristupovať opatrne.

Exponent vo forme zlomku určuje odmocninu: ak je exponent 1 2 {\displaystyle {\frac {1}{2}}}{\displaystyle {\frac {1}{2}}}, potom x 1 2 = x . {\displaystyle x^{\frac {1}{2}}={\sqrt {x}}. } {\displaystyle x^{\frac {1}{2}}={\sqrt {x}}.} Napríklad:

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

Pre všeobecný zlomkový exponent 1 n {\displaystyle {\frac {1}{n}}}{\displaystyle {\frac {1}{n}}} platí:

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

Pri zlomkových exponentoch je dôležité zvážiť oblasť definičnosti: pre párny index odmocniny (napr. druhá, štvrtá) a reálne výsledky musí byť základ a ≥ 0; pri nepárnom indexe (napr. tretia) je možné brať odmocninu aj z negatívnych čísel (v reálnych číslach).

Racionálne a iracionálne exponenty

Ak je exponent racionálne číslo p q {\displaystyle {\frac {p}{q}}} {\displaystyle {\frac {p}{q}}}, potom je výsledok q‑tou odmocninou základu zvýšenou na mocninu p:

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

Ak je exponent iracionálny, definujeme a^{x} často limitačným postupom z racionálnych približovaní alebo pomocou prirodzeného logaritmu (pre a>0): a^{x} = exp(x ln a). V terminológii limit:

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}}}

Pre praktické výpočty reálnych mocnín s kladným základom sa bežne používa vzťah:

  • a^{x} = e^{x \ln a} pre a>0 (kde e je Eulerovo číslo a ln prírodný logaritmus).

Vlastnosti a pravidlá pre mocniny

Pri manipulácii s mocninami sa používajú tieto základné pravidlá:

  • ( 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 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 r a s = a r + s {\displaystyle a^{r}\cdot {}a^{s}=a^{r+s}} {\displaystyle a^{r}\cdot {}a^{s}=a^{r+s}}
  • 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}
  • 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}
  • ( 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}}
  • a 0 = 1 {\displaystyle a^{0}=1} {\displaystyle a^{0}=1}

Pri používaní pravidiel treba dávať pozor na predpoklady (napr. delenie nulou, definičné obory pri odmocninách). Taktiež platí, že pre všeobecné reálne exponenty a záporné základy môže byť výsledok komplexný.

Exponentiácia matíc a ďalšie rozšírenia

Mocniny možno definovať aj pre matice, avšak iba pre štvorcové matice (pretože násobenie matíc je definované len pre vhodné rozmery a mocnina vyžaduje opakované násobenie tej istej matice). Napríklad pre jednotkovú maticu I platí:

I 2 = I I = I {\displaystyle I^{2}=I\cdot I=I}{\displaystyle I^{2}=I\cdot I=I}.

Pri maticiach je potrebné pamätať na to, že násobenie matíc nie je komutatívne (A·B ≠ B·A všeobecne), takže niektoré algebraické pravidlá o mocninách skalárov nie je možné priamo preniesť bez ďalších podmienok (napr. ak matice komutujú).

Ďalšie poznámky a tipy

  • Výpočet mocnín v praxi: pre veľké exponenty sa používajú opakované štvorcovanie (exponentiation by squaring) alebo logaritmické metódy.
  • Pre kladný základ a reálny exponent platí a^{x} = exp(x ln a), čo umožňuje definovať mocniny pre reálne aj iracionálne exponenty.
  • Pri práci s komplexnými číslami sa exponentiácia rozširuje cez exponenciálnu funkciu a Eulerovu formulu; mnohé intuitívne pravidlá pre reálne čísla sa tu môžu správať odlišne (napr. viacnásobné hodnoty komplexného logaritmu).
  • 0^{0} je v matematike predmetom diskusií: v niektorých kontextoch (napr. kombinatorika) sa prijíma 0^{0}=1, v analýze je ale považované za neurčité.

Ak máte záujem, môžem pridať viac príkladov výpočtov, riešenia úloh alebo vizuálne znázornenia (grafy funkcií y=a^{x}) a ukážky pre prácu s mocninami v programovaní (použitie ^ vs. **, funkcie knižníc atď.).