La potenciación con exponente racional viene de la necesidad de resolver una ecuación del tipo formula_19, de manera que formula_20, pero se ha de garantizar que dicha "x" sea un número real y esto sólo se puede garantizar para todo "n" si la base "a" es un número real positivo, por lo que existe un teorema que dice: