statement theorem
Euler's formula
Statement
For every complex number , Here is the complex exponential function, and and are given by their power series.
Remarks
The main case is a real number . Then and are the real and imaginary parts of , and . For , the formula gives Euler's identity. A proof compares the power series: the even terms of give and the odd terms give .
Explanations
L1 human
As the real number grows, the point moves around the unit circle at constant speed. Its coordinates are and , as in trigonometry. The formula links the exponential function with the trigonometric functions.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Complex numbers object
- Euler's formula statement
What depends on this
25 nodes use this node, directly or through other nodes.
- exp z = 1 iff z is an integer multiple of 2πi 013AHC4DRT
- Arguments add under multiplication 01W6RKJP01
- Characteristic function of a sum of independent random variables 02JGYG0T7M
- The complex exponential is 2πi-periodic 02P2PYH3X3
- de Moivre's formula 03MTBVG3VE
- The nth roots of unity 057BH3JC9S
- De Moivre–Laplace theorem 065X9S8CM3
- Euler's identity 09285XX7AE
- Solutions for complex conjugate roots 0BEZX8F2XW
- Polar form 0BRXFNQ5JV
- exp(2 pi i/n) is a primitive root of unity 0CF0XGYHNJ
- Number of nth roots of unity 0E021GF2B8
- Central limit theorem 0EPZC4Z1FC
- Lévy's continuity theorem 0FPWF7TTMB
- Underdamped 0JJ6GDDE7Z
- Quadratic formula 0KYZXYDGQZ
- Characteristic function 0MYDNRT7PP
- Characteristic function of the normal distribution 0NS0TDA4E2
- Sum of independent normal random variables 0NXGPJWNFN
- Damped harmonic oscillator 0RNXVVTJTJ
- Pendulum equation 0SHPXM2HWH
- The characteristic function determines the distribution 0T8BYAFEXX
- Forced oscillation and resonance 0X4NT20S3G
- Harmonic oscillator 0YG0ZJPTWG
- Existence of nth roots of complex numbers 0YM6P6C206
Sources
- Web https://en.wikipedia.org/wiki/Euler%27s_formula, lead section
What links here
Used by
- exp z = 1 iff z is an integer multiple of 2πi 013AHC4DRT
- The complex exponential is 2πi-periodic 02P2PYH3X3
- de Moivre's formula 03MTBVG3VE
- Euler's identity 09285XX7AE
- Solutions for complex conjugate roots 0BEZX8F2XW
- Polar form 0BRXFNQ5JV
- Characteristic function 0MYDNRT7PP