I How is Euler's Identity proven using differential equations?

  • I
  • Thread starter Thread starter ILoveParticlePhysics
  • Start date Start date
AI Thread Summary
Euler's Identity, expressed as e^πi = -1, can be proven using differential equations by defining the function f(x) = e^(ix) and g(x) = cos(x) + i sin(x). Both functions satisfy the same differential equation, f'(x) = i f(x) and g'(x) = i g(x), along with the initial condition f(0) = g(0) = 1. By the uniqueness of solutions to differential equations (Picard's theorem), f(x) and g(x) must be identical. Evaluating both functions at x = π confirms that f(π) = g(π), leading to the conclusion that e^πi = -1. This proof illustrates the relationship between complex exponentials and trigonometric functions.
ILoveParticlePhysics
Messages
9
Reaction score
4
How do we know that e^πi= -1 if all numbers here are basically undefined/irrational?
 
Mathematics news on Phys.org
Hey, I'm not irrational! :smile: Anyway, start from$$e^{iz} = \sum_{k=0}^{\infty} \frac{i^k z^k}{k!} $$and split this sum into odd and even terms. See if you can get it in terms of sines and coses.
 
Last edited by a moderator:
  • Haha
  • Like
Likes pinball1970 and PeroK
ILoveParticlePhysics said:
How do we know that e^πi= -1 if all numbers here are basically undefined/irrational?
Generalisations of the exponential function can usually be defined via the power series method above. That's how we can also define the exponential of a matrix.
 
In case you are more familiar with differential equations, there's a proof of the fact that ##e^{ix}=\cos{x}+i\sin{x}## that it's really nice. If we define
$$f(x)=e^{ix}, \qquad g(x)=\cos{x}+i\sin{x}$$
It is really easy to see that both satisfy the differential equation
$$f'(x) = i f(x), \qquad g'(x) = i g(x)$$
Furthermore, both satisfy the initial condition
$$f(0)=g(0)=1$$
Because ##f(0)=e^{0}=1##.
Then, since these two functions satisfy the same differential equation with the same initial condition, by the uniqueness of the solutions (Picard's theorem) they must be the same function. QED

Then just evaluate ##f(\pi)=g(\pi)## to obtain Euler's identity.
 
  • Like
  • Informative
Likes DrClaude, mfb and PeroK
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Is it possible to arrange six pencils such that each one touches the other five? If so, how? This is an adaption of a Martin Gardner puzzle only I changed it from cigarettes to pencils and left out the clues because PF folks don’t need clues. From the book “My Best Mathematical and Logic Puzzles”. Dover, 1994.
Back
Top