# Tuji's account

In the beginning, we wanted to multiply number by itself many times. We produced a*a*...*a. Then we made a short hand a^{n} where n is a positive integer. After making a^{-1} to mean the inverse of a and a^{0} to be the unity 1, we found that a^{n} makes sense for all integers n. Then we made sense out of a^{1/m} for positive integer m (at least for positive a) by enforcing that (a^{1/m})^{m} = a. So far a^{x} is defined for positive real number a and rational number x.

Then all of a sudden people just know that they know what a^{x} is for all positive real number a and real number x. That was a huge leap. Then people went on to differentiate this mysterious object and do various things. I guess, when we learn something at a young age, we just internalise the concept with ease. When one becomes mellower with age and one forgets one's upbringing, one notices that one doesn't really know what real numbers are beside those rational ones. Completion just happened without one really noticing.

And then people wanted a^{x} for all complex number x and were alarmed that they were asked to swallow Euler's formula e^{iθ} = cos θ + i sin θ and what is e anyway?

# Tuji's reconstructed account

We define e^{x} to be the series 1 + (x/1!) + (x^{2}/2!) + (x^{3}/3!) + ..., which is convergent for all complex number x. One realises that the thing that one has been so familiar with is this unwieldy monstrosity. Then we define a^{x} to be e^{a log x} where log x is the inverse function of e^{x}.

First it is actually quite wieldy. If one differentiates the series term by term (which one can do due to absolute convergence), one gets back the same series! Another property is that e^{x + y} = e^{x} e^{y} which one can see by using the binomial formula.

The trigometric function cos x is defined to be (e^{ix} + e^{-ix})/2 while sin x is defined to be (e^{ix} - e^{-ix})/(2i) for all complex number x. Then the formula e^{iθ} = cos θ + i sin θ (for real number θ) follows directly from definition. Also cos^{2} x + sin^{2} x = 1 for all complex number x. This implies that e^{iθ} has modulus 1 for all real number θ. Does this still fit with the geometric picture? At this point the narrator decided to give up. He knows that the this definition of the trignometric functions agree with the geometric definition, but this comes after computing derivatives of sin and cos (from geometric definition) using the addition formulae of sin and cos and make the Taylor expansion. It's not obvious that e^{2πi} = 1 from the serie definition, is it?

Either Euler's formula is trivial and something else is non-trivial or Euler's formula is non-trivial.