I am writing an article to prove Euler identity :$e^{i\pi}+1=0$
Here the main part:
Consider the function :$ \mathbb{R} \rightarrow \mathbb{C}, f(x)=e^{ix}$
Differentiating twice,we get : $f''(x)=-f(x)$
So the function $f$ satisfies the linear 2nd order ODE : $y''+y=0$,which has general solution $y= a\cos x + b\sin x$,where $a$ and $b$ are complex constants
Is my reasoning correct ?
Edit:I will write the complete reasoning ( as recommended by a comment):
Now as we know that $f(x)=e^{ix} = a\cos x+ b\sin x$
Letting $x = 0$,we get $1 =a$,So $f(x) = \cos x + b\sin x$
Letting $x = \pi$,we get $f(\pi)=e^{i\pi}=-1+0$,and so $e^{i\pi}+1=0$,as required .
$\begingroup$
$\endgroup$
4
-
1$\begingroup$ That depends on your definition of the exponential function for complex arguments. $\endgroup$wasn't me– wasn't me2025-11-30 18:33:39 +00:00Commented 8 hours ago
-
1$\begingroup$ You are using different stages of theory, complex numbers, exponentials and rotations, differential equations and trigonometric functions. Each stage has a slightly different level of trivial facts. You would need to sort and present these facts and developments so as to keep a consistent level of sophistication. Or in other words, you need to be careful to avoid circular reasoning, otherwise what you cite as folklore or common knowledge might trivially include the claim you were originally concerned with. $\endgroup$Lutz Lehmann– Lutz Lehmann2025-11-30 18:34:13 +00:00Commented 8 hours ago
-
$\begingroup$ @Gonçalo,I completed my approach. $\endgroup$M.B– M.B2025-11-30 18:41:06 +00:00Commented 7 hours ago
-
$\begingroup$ Related: math.stackexchange.com/q/3510/1163258. $\endgroup$Gonçalo– Gonçalo2025-11-30 19:16:40 +00:00Commented 7 hours ago
Add a comment
|