Background. Let $x$ denote an arbitrary real number. Then $x^n$ can be defined for each $n \in \mathbb{N}$ as follows:
$$x^n = \underbrace{x \times \cdots \times x}_n$$
If $x$ is furthermore non-zero, then we can extend the above definition by declaring that $x^k$ makes sense for each $k \in \mathbb{Z},$ by defining:
$$x^{-n} = \underbrace{(1/x) \times \cdots \times (1/x)}_n$$
for all positive integers $n$.
If $x$ is furthermore positive, we can go one step further and declare that $x^y$ makes sense for each $y \in \mathbb{R},$ by defining that
$$x^y = e^{y \log x}$$
for all non-integral real numbers $y$.
The result. The outcome of all this is rather pretty. We observe that all the usual exponential laws hold, and we get some nice closure results, too. In particular:
- if $n \in \mathbb{N}$ and $x$ is real, then $x^n$ is real.
- if $n \in \mathbb{Z}$ and $x$ is real non-zero, then $x^n$ is real-nonzero.
- if $y \in \mathbb{R}$ and $x$ is positive, then $x^y$ is positive.
The fourth step. However, in high school we go one step further. For example, we learn that $(-1)^{1/3}$ is well-defined, and equals the unique real $x \in \mathbb{R}$ such that $x^3 = -1$. So too is $(-1)^{2/3},$ which equals $((-1)^2)^{1/3}$, or equivalently $((-1)^{1/3})^2.$
Unfortunately, once we make this fourth step, the theory suddenly becomes more complicated, because the usual exponential laws don't all hold. For example, $$-1 = (-1)^{2/2} = (-1)^{(1/2) \cdot 2} \neq ((-1)^{1/2})^{2} = \mathrm{undef}.$$
Question. Is this fourth and final step we learn in high school actually useful? More precisely, do expressions like $(-1)^{2/3}$ show up naturally in pure or applied math? If so, where?
If so, I'd like to see specific examples.