Potenciación

La **potenciación** ye una operación matemática ente dos términos denominaos: base  y esponente . Escríbese  y lléese usualmente como « eleváu a » o tamién « eleváu a la ». Hai dellos númberos esponentes especiales como'l 2, que se llee *[[cuadráu (álxebra)|al cuadráu]]* o'l 3, que-y correspuende *[[cubu (aritmética)|al cubu]]*. Tien de notase que nel casu de la potenciación la base y l'esponente pueden pertenecer a conxuntos distintos, nun aniellu totalmente xeneral la base va ser un elementu del aniellu pero l'esponente va ser un númberu natural que nun tien por qué pertenecer al aniellu. Nun cuerpu l'esponente puede ser un númberu enteru.

## Definición

Llámase potencia a una espresión de la forma a^n, onde *a* ye la **base** y *n* ye'l **esponente**. La so definición varia según el conxuntu numbéricu al que perteneza l'esponente.

### Esponente enteru

Cuando l'esponente ye un númberu natural *n*, este indica les vegaes qu'apaez *a* multiplicando por sigo mesmu, siendo *a* un númberu cualesquier:

, \end{array}

|1}}

Esta definición puede aplicase, tantu a númberos reales o complexos, según a otres estructures alxebraiques más astractes, como pueden ser, por casu, matrices cuadraes.

#### Multiplicación de potencies d'igual base

El productu de dos potencies que tienen la mesma base ye igual a una potencia de dicha base que tien como esponente la suma de los esponentes, esto ye:

Exemplos:
: 9^3 \cdot 9^2 = 9^{3+2}= 9^5

#### Potencia d'una potencia

La potencia d'una potencia de base *a* ye igual a la potencia de base *a* y que'l so esponente ye'l productu de dambos esponentes (la mesma base y multiplíquense los esponentes):

Por cuenta de esto, la notación a^{b^c} acutar pa significar a^{(b^c)} yá que {(a^b)}^c puede escribise cenciellamente como a^{bc}\,.

#### Potencia d'un productu

La potencia d'un productu ye igual al productu de cada unu de los factores eleváu al mesmu esponente, esto ye:

----

Si la base *a* tien inversu aditivu, indicáu por aciu signu negativu *-a*, entós tiense la regla:

 = a^n\\
(-a)^n = & \underbrace{ \underbrace{ ((-a) \times (-a)) \times \cdots \times ((-a) \times (-a))}_{n-1 \text{ par por tanto ye } a^{n-1}} \times (-a) }_{n \text{ impar}}) = -(a^n), \end{array}|títulu=(-a)^n
=\;\;\;\;\; a^n si ***n*** ye par.
(-a)^n = -( a^n) si ***n*** ye impar.}}

Si la base *a* tien inversu multiplicativu *c*, ye dicir *c*·*a* = 1 o que c=\frac{1}{a}, entós esti se denota por  a^{-1}, y l'esponente puede ampliase a tolos númberos enteros:

;Observación:
: a^{-n} = ( a^{-1} )^n = \underbrace{ \frac{1}{a} \times \cdots \times \frac{1}{a}}_n = \frac{1}{\underbrace{a \times \cdots \times a}_n} = \frac{1}{a^n}.

#### División de potencies d'igual base

El cociente de dos potencies cola mesma base ye igual a una potencia de dicha base con un esponente igual a la diferencia del esponente del dividendu menos el del divisor, esto ye:

{\underbrace{\canciellu a \times \cdots \times \canciellu a}_n}=a^{m-n} & \text{Si } m>n\\
\frac{ \overbrace{ \canciellu a \times \cdots \times \canciellu a}^m }{\underbrace{ \canciellu a \times \cdots \times \canciellu a}_n}=1& \text{Si } m=n\\
\frac{ \overbrace{ \canciellu a \times \cdots \times \canciellu a}^m }{\underbrace{ \canciellu a \times \cdots \times \canciellu a}_m \times \underbrace{a \times \cdots \times a}_{n-m} }=\frac{1}{a^{n-m}}& \text{Si } m|títulu= \frac{a^m}{a^n} = a^{m - n} }}

Exemplu:

: \frac{9^5}{9^3} = 9^{5-3}= 9^2

##### Potencia d'esponente 0

Un númberu distintu de 0 eleváu al esponente 0 da como resultáu la unidá (1), yá que:
:1 = \frac {a^n} {a^n} = a^{n-n} = 
a^0\,

El casu particular de 0^0\, nun ta definíu y ye conocíu como una indetermín.

#### Potencia d'un cociente

La potencia d'un cociente ye igual al cociente de cada unu de los númberos eleváu al mesmu esponente.

_n = \frac{a \times \cdots \times a}{b \times \cdots \times b} = \frac{a^n}{b^n}| títulu= \left(\frac{a}{b}\right)^n = \frac{a^n}{b^n} }}

----

Si la base *a* = 0, entós *a* nun tien inversu multiplicativu a^{-1}, polo que namái se presenten esponentes de númberos naturales por  quedando asina prohibida la notación  como valor numbéricu:

:0^1=0

:0^n= \underbrace{0 \times \cdots \times 0}_n = 0.

### Esponente racional

La potenciación con esponente racional vien de la necesidá de resolver una ecuación del tipu  x^n= a , de manera que  x = \sqrt[n]{a} , pero haber de garantizar que dicha *x* sía un númberu real y esto namái puede garantizase pa tou *n* si la base *a* ye un númberu real positivu, polo qu'esiste un teorema que diz:

Pa notar la raíz defínese l'usu de fracciones nel esponente:

 = \sqrt[n]{a} 
|3}}

;Observación:

:\left( a^{\frac{1}{n}} \right)^n = a^{\frac{1}{n} \cdot n } = a^1 = a.

Polo xeneral pa les fracciones defínese que:

 & = \sqrt[m]{a^n} \\
a^{-\frac{n}{m}} & = \frac{1}{ a^{\frac{n}{m}} }
\end{array}
|4}}

;Rellación:
=a^{\frac{n_2}{m_2}} \Leftrightarrow  \left( a^{\frac{n_1}{m_1}}\right)^{m_1 \cdot m_2}=\left( a^{\frac{n_2}{m_2}}\right)^{m_1 \cdot m_2} \Leftrightarrow  a^{n_1 \cdot m_2}= a^{m_1 \cdot n_2} .
|títulu=a^{\frac{n_1}{m_1}}=a^{\frac{n_2}{m_2}} \Leftrightarrow  \frac{n_1}{m_1} = \frac{n_2}{m_2} }}

#### Propiedaes

: a^{\frac{n_1}{m_1}} \cdot a^{\frac{n_2}{m_2}} = a^{\frac{n_1}{m_1}+\frac{n_2}{m_2}} ,

: \left( a^{\frac{n_1}{m_1}} \right)^{\frac{n_2}{m_2}} = a^{\frac{n_1}{m_1} \cdot \frac{n_2}{m_2}} ,

: ( a \cdot b )^{\frac{n}{m}} = a^{\frac{n}{m}} \cdot b^{\frac{n}{m}} .

### Esponente real

La potenciación puede estendese a esponentes reales usando socesiones racionales; esto recuéyese nel siguiente teorema:

Nótese que los socesivos aproximamientos de *a**b* tienen como esponente númberos racionales, colo que por que la definición sía consistente, esíxese que *a* sía un númberu real positivu.

Análogamente, puede estendese la potenciación a funciones, usando la función esponencial, y la so inversa, la función llogaritmu natural, nun procesu que se denomina exponenciación. Asina, defínese

: f(x)^{g(x)} = y^{g(x) \ln f(x)} .

Otramiente, esta ye totalmente consistente si'l conxuntu imaxe de f(*x*) ye'l conxuntu de los númberos reales positivos **R**+, o dalgún subconxuntu d'este, siendo los valores de la función esponente *g*(*x*) númberos reales cualesquier, por cuenta de que'l llogaritmu natural nun ta definíu pa númberos negativos.

#### Propiedaes

: a^b \cdot a^c = a^{b+c} ,

: \left( a^b \right)^c = a^{b \cdot c} ,

: ( a \cdot b )^c = a^c \cdot b^c .

### Esponente complexu

Puede estendese a esponentes complexos usando funciones analítiques o holomorfas, asina a^b= \mbox{det-exp}( b\cdot \mbox{det-log } a) onde **det-exp** ye la determinación de la esponencial y **det-log** la determinación del llogaritmu.

## Resultaos de potenciación

### Propiedaes que ''non'' cumple la potenciación

Nun ye distributiva con al respective de la adición y sustracción (vease productos notables), esto ye, nun puede distribuyise cuando dientro del paréntesis ye suma o resta:
:(a + b)^m \ \neq\ a^m + b^m 
:(a - b)^m \ \neq\ a^m - b^m 

Nun cumple la propiedá conmutativa:
:a^b \ \neq\ b^a 

Tampoco cumple la propiedá asociativa:
:a^{b^c}=a^{(b^c)}\ne (a^b)^c=a^{(b\cdot c)}=a^{b c}

### Potencia de base 10

Pa les potencies con base 10 y esponente enteru, l'efectu va ser mover la coma decimal tantes posiciones como indique l'esponente, escontra la esquierda si l'esponente ye negativu, o escontra la derecha si l'esponente ye positivu.

Exemplos:
: 
 \begin{array}{lcl}
 10^{-6} & = & 0,000001\\
 10^{-5} & = & 0,00001 \\
 10^{-4} & = & 0,0001 \\
 10^{-3} & = & 0,001 \\
 10^{-2} & = & 0,01 \\
 10^{-1} & = & 0,1
 \end{array}


: 
 \begin{array}{lcr}
 10^0 & = & 1 \\
 10^1 & = & 10 \\
 10^2 & = & 100 \\
 10^3 & = & 1.000 \\
 10^4 & = & 10.000 \\
 10^5 & = & 100.000 \\
 10^6 & = & 1.000.000
 \end{array}


## Representación gráfica

La representación gráfica d'una función potencia *f*(*x*) = *x**n* con esponente natural *n* par tien una simetría similar a la d'una parábola. El so vértiz asitiar nel puntu (0, 0) y la curva ye decreciente nel segundu cuadrante y creciente nel primeru.

La representación gráfica d'una función potencia *f*(*x*) = *x**n* con esponente natural *n* impar ye una curva con dos rames xuníes nel puntu (0, 0), que tien simetría rotacional alredor d'este. El puntu d'inflexón precisamente atópase nel puntu (0, 0), la curva ye siempres creciente y ocupa el tercer y primer cuadrante.

Estes curves son continues y derivables en tol so dominiu de definición.





## Llendes

### Indetermín 0⁰

El casu especial 0^0\,considérase indefiníu y *dependiendo del contestu* pueden ser asignaos distintos valores dependiendo de les propiedaes específiques que quieran caltenese.

Por casu, puede argumentase que 0^0\,ye l'igual al valor de la llende :\lim_{x\to
0^+} x^0
y como x^0=1 pa x \ne 0, dichu valor podría ser igual a 1.
Sicasí tamién puede considerase dicha espresión como'l valor de la llende :\lim_{x\to
0^+} 0^x
y como 0^x=0 pa x \ne 0, dichu valor podría ser igual a 0.
Esto ilustra que la forma 0^0\, puede corresponder a distintos valores y por ello considérase indefinida.

L'alderique sobre'l valor de la forma 0^0\, tien casi dos sieglos d'antigüedá. Mientres los primeros díes del analís matemáticu en que'l fundamentu formal del cálculu nun s'estableciera, yera común aceptar que 0^0\,=1. Sicasí, en 1821 cuando Cauchy publica'l *[[Cours d'Analyse de l'École Royale Polytechnique]]* estableciendo'l primer tratamientu rigorosu del analís, dicha forma apaez nuna tabla de formes indefiníes xunto a otres como 0/0.
Nos años 1830, Libri publicó un argumentu p'asignar 1 como valor de 0^0\, y Möbius sofitar afirmando equivocadamente que :\lim_{t
\to 0^+} f(t)^{g(t)} = 1\, siempres que \lim_{t \to 0^+} f(t) = \lim_{t \to 0^+} g(t) = 0.
Sicasí una comentarista que robló a cencielles como «S» apurrió un contraejemplo
:f(t)^{g(t)}={(y^{-1/t})}^t
que la so llende cuando t\to0^+ ye 1/y, lo cual aseló l'alderique cola aparente conclusión del incidente que 0^0\, tendría de permanecer indefinida. Pueden atopase más detalles en Knuth (1992).

Na actualidá, suel considerase la forma 0^0\, como indefinida y nun se-y asigna valor si nun se tien un contestu nel cual el valor asignáu tenga sentíu.

Pa calcular llendes que'l so valor aparente ye 0^0\, suel usase la regla de l'Hôpital.

## Xeneralizaciones

### Estensión a estructures astractes

La definición de potenciación puede estendese a esponentes reales, complexos o inclusive matriciales. Dau un aniellu \scriptstyle (\mathbb{A},+,\cdot) la operación de potenciación defínese como:
: 
 \begin{array}{rccl}
 \mathrm{Pot}: & \mathbb{A} \times \mathbb{N} & \longrightarrow & \mathbb{A}\\
 & (x,n) & \longrightarrow & y = \mathrm{Pot}(x,n) = x^n
 \end{array}


Esto difier de la exponenciación que ye definible sobre un cuerpu que contenga a los racionales o ciertes álxebres sobre los reales o complexos:
: 
 \begin{array}{rccl}
 \mathrm{Exp}: & \mathbb{A} & \longrightarrow & \mathbb{A} \\
 & x & \longrightarrow & y = \mathrm{Exp}(x) = y^x
 \end{array}


: 
 \mathrm{Exp}(x) =
 \sum_{k=0}^\infty \frac{x^k}{k!}


Obviamente la exponenciación namái puede definise sobre un conxuntu nel que sía posible definir la potenciación, anque un aniellu va almitir siempres la operación de potenciación (con esponente natural) anque nun almita la exponenciación.

### Potencia de númberos complexos

Pa cualesquier de los númberos reales a,b,c,d \, tiense la identidá:
:\left(a\,y^{i\,b}\right)^{\left(c\,y^{i\,d}\right)}=a^{c\,\cos d}\,y^{i\,\left( c\,\log a\,\sin d+b\,c\,\cos d\right)-b\,c\,\sin d}

## Ver tamién
* Productos notables
* raíz cuadrada
* Radicación
* Fórmula de De Moivre (pa potencies de númberos complexos)
* Potencia de dos
* Serie de potencies

### Bibliografía
* 

## Referencies

## Enllaces esternos
* Artículu sobre potenciación n'Enciclopedia universal n'español