Una cosa que notamos de inmediato a $b^n; n \in N$ es que el $b^nb^m = b^{n+m}$ (Esto es evidente, porque $b^n = \underbrace{b\cdot b\cdots b}_{n\text{ times}}$$b^m = \underbrace{b\cdot b\cdots b}_{m\text{ times}}$, lo $b^nb^m = \underbrace{b\cdot b\cdots b}_{n\text{ times}} \cdot \underbrace{b\cdot b\cdots b}_{m\text{ times}} = \underbrace{b\cdot b\cdots b}_{n+m\text{ times}} = b^{n+m}$).
Y que $(b^n)^m = \underbrace{b^n\cdot b^n\cdots b^n}_{m \text{ times}} = b^{n+n+...+n} = b^{n\cdot m}$.
Así que si queremos extender la definición de $b^n$, de modo que $n$ no es sólo un número natural, pero quizá $n = 0$ o $n < 0$ o $n \in \mathbb Z$ nos damos cuenta de que nos quieren definir, de manera que $b^0b^n = b^{0+n} = b^n$. Eso significa que debemos definir $b^0 = b^n/b^n = 1$. (Que realmente no han elección).
Nosotros también lo queremos así que si $0 < n < m$$b^{m-n}=b^mb^{-n}$$b^{-n} = \frac{b^{m-n}}{b^m}= \frac{b^{m-n}}{b^{(m-n)+n}} = \frac {b^{m-n}}{b^{m-n}b^n} = \frac 1 {b^n}$.
Por lo tanto debemos definir $b^{-n} = 1/b^n$. (Que realmente no tienen otra opción.)
Ahora también contamos $(b^n)^m = b^{nm}$ esto significa $ \sqrt[m]{b^{nm}} = b^n$. Esto realmente no es más que sorprendente. Después de todo $\sqrt[m]{b^{nm}} =\sqrt[m]{(b^{n})^m} = b^n$, después de todo.
Pero, ¿y si no estamos hablando de números enteros? Lo que si $\sqrt[m]{b^n} = \sqrt[m]{(b^{nm/m})}=\sqrt[m]{(b^{n/m})^m} = b^{n/m}$. ¿Hay que realizar algún sentido?
Bien, hace perfecto sentido si $m$ divide $n$ $n/m$ es un número entero.
Pero si $n/m$ .... no hemos definido lo $b^{n/m}$ significa que si $n/m$ no es un entero.
Pero, ¿por qué no definimos $b^{n/m}$ si $n/m$ no es un número entero? Si definimos $b^{n/m} = \sqrt[m]{b^n}$ que es una buena definición[@]. Y debido a nuestras reglas $(b^r)^n = b^{rn}$ que realmente no tienen otra opción. Nos debe definir de esa manera.
Por lo $a^{1/2} = \sqrt{a}$. Esto es porque si $a^{1/2} = x$$x^2 = (a^{1/2})^2 = a^{\frac 12 * 2} = a^1 = a$. Por lo $x = \sqrt{a}$.
[@] En realidad, tenemos que demostrar que si $r = m/n = p/q$ $\sqrt[n]{b^m} = \sqrt[q]{b^p}$ como resulta que es verdad. $m/n = p/q$ media $mq= np$ $\sqrt[n]{b^m} = \sqrt[q]{\sqrt[n]{b^m}^q}=\sqrt[nq]{b^{mq}} = \sqrt[nq]{b^{np}} = \sqrt[q]{\sqrt[n]{(b^p)^n}} = \sqrt[q]{b^p}$