TITLE: Proof real to the power of real
QUESTION [3 upvotes]: Let a be a real number and p a non zero real number. Then $a^p$ is also a real number. What definitions, propositions and etc are required to prove this?

REPLY [9 votes]: The answer to your question depends on where you want to begin. If you accept the real numbers and elementary calculus as given one approach is to define $e^x$ using appropriate tools - perhaps the power series. Then define the natural logarithm and, finally, 
$$
a^p = \exp(p \ln a) .
$$
If you don't want to use the power series you can start by defining the natural logarithm as an integral, then the exponential function as its inverse.
This works for $a > 0$. For negative $a$ things get more complicated. The same final formula works, but the logarithm is not well defined. You need complex analysis to understand the way in which it is multivalued.
{"set_name": "stack_exchange", "score": 3, "question_id": 3264769}