The beauty of Euler's identity not in the simplicity of its proof, but the implications it has for mathematics. It shows the five most fundamental mathematical constants, and their associated mathematical fields, are closely interconnected
- e, Euler's number, the irrational transcendental number that is the unique result of being the same value as the first derivative wrt x of itself to the power x, and the basis of exponential functions that appear in number theory and calculus
- i, the imaginary number, defined as the square root of -1, the entire basis of complex analysis
- pi, the irrational ratio of any circle's circumference to its diameter, the basis of geometry and trigonometry
- 1, the identity element for multiplication
- 0, the identity element for addition
This is a highly non-trivial result. There is no obvious reason for why such seemingly unrelated ideas should be connected at all, let alone connected with such simplicity. Geometry describes what we see around the world, we can
see circles with circumferences and diameters and easily
observe their ratios to be constant. But
i is not something we
see, we can never observe imaginary numbers, it is simply something we have invented, as is the notion of addition and multiplication and
e is just some quirk that emerges out of the system that we have built.
Surely geometry must be the fundamental basis of all mathematics, from which everything else is built?
Euler's identity shows that geometry is
not the fundamental basis of mathematics, it is simply one part of some wider, deeper reality that is closely connected to entirely abstract concepts. It shows that these abstract concepts are
not things we have invented out of practical necessity, they are fundamental truths that we have discovered. We may have invented the letters to denote them, but they represent
ideas that exist outside ourselves.
Before I came across this equation, I thought mathematics was just a tool that we had invented and that we used to solve problems and do useful work. It was an incredibly useful tool, certainly, but nothing more profound than that.
This equation shows that mathematics is a fundamental description of reality. And not just the reality that we observe,
all possible realities. We observe the parallel postulate to be true in our reality, but with mathematics we can construct realities where the parallel postulate is not true - and explore this world mathematically even though we can never even conceive of it. And we know, that even in that alternate reality, then this will be true: