In mathematics, Euler's identity is the following equation, which is true by definition:

<math>e^{i \pi} + 1 = 0 \,\!<math>

The equation appears in Leonhard Euler's Introduction, published in Lausanne in 1748. In this equation, e is the base of the natural logarithm, <math>i<math> is the imaginary unit (an imaginary number with the property i ² = -1), and <math> \pi <math> is Archimedes' constant pi (π, the ratio of the circumference of a circle to its diameter).

The identity is a special case of Euler's formula from complex analysis, which states that

<math>e^{ix} = \cos x + i \sin x \,\!<math>

for any real number <math>x<math>. If we set <math>x = \pi<math>, then

<math>e^{i \pi} = \cos \pi + i \sin \pi \,\!<math>

and since cos(π) = −1 and sin(π) = 0 by definition, we get

<math>e^{i \pi} = -1 \,\!<math>

Perceptions of the identity

Benjamin Pierce, after proving the formula in a lecture, said, "Gentlemen, that is surely true, it is absolutely paradoxical; we cannot understand it, and we don't know what it means. But we have proved it, and therefore we know it must be the truth."

It was called "the most remarkable formula in mathematics" by Richard Feynman. Feynman found this formula remarkable because it links some very fundamental mathematical constants:

• The number 0, the identity element for addition (for all a, a+0=0+a=a). See Group (mathematics).
• The number 1, the identity element for multiplication (for all a, a×1=1×a=a).
• The number <math>\pi <math> is fundamental in trigonometry, <math>\pi <math> is a constant in a world which is Euclidean, on small scales at least (otherwise, the ratio of the length of the circumference of circle to its diameter would not be a universal constant, i.e. the same for all circumferences).
• The number <math>e<math> is a fundamental in connections to the study of logarithms and in calculus (such as in describing growth behaviors, as the solution to the simplest growth equation <math>dy / dx = y<math> with initial condition <math>y(0) = 1<math> is <math>y = e^x<math>).
• The imaginary unit <math>i<math> (where i ² = −1) is a unit in the complex numbers. Introducing this unit yields all non-constant polynomial equations soluble in the field of complex numbers (see fundamental theorem of algebra).

Furthermore, all the most fundamental operators of arithmetic are also present: equality, addition, multiplication and exponentiation. All the fundamental assumptions of complex analysis are present, and the integers 0 and 1 are related to the field of complex numbers.

In addition, the result is remarkable to most students learning it for the first time because it is so highly counter-intuitive. Consider that

<math>e^{\pi} \approx 23.14069 \,\!<math> while <math>e^{i \pi} = -1 \,\!<math>

The simple insertion of i changes the result dramatically.

References

• Feynman, Richard P. The Feynman Lectures on Physics, vol. I - part 1. Inter European Editions, Amsterdam (1975)

External link

• Proof of Euler's Identity by Julius O. Smith III (http://ccrma-www.stanford.edu/~jos/mdft/Proof_Euler_s_Identity.html)
• Proof of Euler's Identity for a Layman by Ian Henderson (http://board.c8world.com/index.php?showtopic=2202)

ca:Identitat d'Euler de:Eulersche Identit�t es:Identidad de Euler fr:Identit� d'Euler nl:Formule van Euler ja:オイラーの等式 sl:Eulerjeva enačba zh:欧拉公式