Thinking about Euler's identity in the context of Fermat's Last Theorem raises some questions which I think need to be answered:
- Pi, Sine, and Cosine are based on Euclid's plane geometry. What validity can it have for number theory which is independent of Euclidean or non-Euclidean geometry?
- How is it possible for a number to be put to the power of an imaginary number? How can this construction possibly have any meaning?
One of the goals of this blog is to provide a complete set of proofs for each of the propositions that I present or to state those propositions as postulates. Implicit in the use of sine, cosine, and pi is a set of assumptions that are often not thought about:
- How can we be sure that all right triangles regardless of their size have the same ratio between their sides so that for a given angle, there is one and only one sine or cosine value? (See here for the answer)
- How can we be sure that pi is really constant? It may be obvious but where's the proof? How can we be sure that for all circles, the ratio of circumference-to-diameter is the same? (See here for the answer)
In understanding Roots of Unity and Cyclotomic Integers, I think it is worthwhile to review the achievements of DeMoivre, Taylor, and Maclaurin.
I think it is important and valuable to understand all of these details before exploring Kummer's proof.