Proof of Complex Numbers Re^{jθ}: R(cosθ + jsinθ)

Click For Summary

Discussion Overview

The discussion revolves around the proof of the equation \( Re^{j\theta} = R(\cos\theta + j\sin\theta) \), exploring various methods of proof including Taylor series, calculus, and definitions in complex analysis. Participants share their approaches and reasoning regarding this relationship in the context of complex numbers.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants inquire about the proof of the equation, suggesting that it may be defined rather than proven.
  • Others propose using Taylor series to derive the relationship, noting the need to prove convergence for imaginary numbers.
  • One participant suggests using calculus and differentiation to explore the properties of the function related to the equation.
  • Another participant presents a method involving the differentiation of a ratio of functions, leading to a discussion about the implications of a derivative being zero.
  • Some participants express confusion about the implications of their calculations and the meaning of certain expressions.
  • A later reply discusses the relationship between the functions defined in terms of even and odd parts, leading to differential equations that could relate to the original equation.
  • Several participants acknowledge mistakes in their reasoning or calculations, indicating a learning process throughout the discussion.

Areas of Agreement / Disagreement

There is no clear consensus on a single method of proof, as participants propose multiple approaches and express varying levels of understanding. Some participants agree that Taylor series provide an elegant proof, while others emphasize different methods.

Contextual Notes

Participants mention limitations in their understanding of Taylor series and calculus, which may affect their contributions. There are also unresolved questions about the definitions and interpretations of certain terms used in the discussion.

Who May Find This Useful

This discussion may be useful for those interested in complex analysis, mathematical proofs, and the properties of complex numbers, particularly in the context of Euler's formula and related concepts.

lazypast
Messages
83
Reaction score
0
[tex]Re^{j \theta} = R{(cos \theta + jsin\theta )}[/tex]

can anyone show me this proof or show me a link please
 
Last edited:
Physics news on Phys.org
What do you know about Taylor series ?

Daniel.
 
I haven't come across this Taylor series much, using this I take it the proof is harder that i suspected
 
lazypast said:
I haven't come across this Taylor series much, using this I take it the proof is harder that i suspected
You can also prove this result using calculus. If you have met differentiation, try taking the derivative of f(x) as see where it takes you,

[tex]f(x):=\frac{R\cos(x)+iR\sin(x)}{Re^{ix}}\hspace{1cm}x\in\Re\;\;\; , \;\;\; R\neq0[/tex]
 
Last edited:
Although my consistency with things this level arent good here goes

[tex]f(x)= \frac {Rcosx + jRsinx} {Re^{jx}}<br /> <br /> = \frac {ln(Rcosx) + ln(jRsinx)} {ln(Re^{jx}}<br /> <br /> = \frac {-Rsinx} {Rcosx} + \frac {jRcosx} {jRsinx} /j<br /> <br /> = \frac {jcotx - tanx} {j}[/tex]
 
I'm afraid your technique is not quite correct. Have you met thehttps://www.physicsforums.com/showpost.php?p=1140219&postcount=4"yet? Also, I have noticed that you are using [itex]j[/itex] in your questions; I am assuming here you mean the imaginary unit [itex]i=\sqrt{-1}[/itex]. It may also perhaps be desirable to remove the [itex]R[/itex] term for the moment to remove the condition that R be non zero. Thus, we have;

[tex]f(x):=\frac{\cos(x)+i\sin(x)}{e^{ix}}\hspace{1cm} x\in\Re[/tex]
 
Last edited by a moderator:
[tex] <br /> f(x) =\frac {e^{ix}(icosx-sinx) - ie^{ix}(cosx + isinx)} {(e^{ix})^2}<br /> <br /> f(x) =\frac {ie^{ix}cosx - e^{ix}sinx - ie^{ix}cosx - i^2e^{ix}sinx} {(e^{ix})^2}<br /> <br /> f(x) =\frac {e^{ix}sinx + e^{ix}sinx} {(e^{ix})^2}<br /> <br /> f(x) =\frac {2sinx} {e^{ix}}[/tex]
 
Last edited:
Your getting closer, I'll show you;

[tex]\frac{d}{dx}\left (\frac{u}{v}\right)=\frac{v\frac{du}{dx}-u\frac{dv}{dx}}{v^2}[/tex]

So in this case [itex]u=\cos(x) + i\sin(x)[/itex] and [itex]v=e^{ix}[/itex], thus;

[tex]\frac{du}{dx} = -\sin(x) + i\cos(x)\hspace{2cm}\frac{dv}{dx} = i\cdot e^{ix}[/tex]

Thus we obtain;

[tex]f'(x) = \frac{e^{ix}\cdot (-\sin(x) + i\cos(x)) - (\cos(x) + i\sin(x))\cdot i\cdot e^{ix}}{(e^{ix})^2}[/tex]

[tex]=\frac{-e^{ix}\cdot\sin(x) + e^{ix}\cdot i\cos(x) - e^{ix}\cdot i \cdot\cos(x) - e^{ix}\cdot i^2\cdot\sin(x)}{(e^{ix})^2}[/tex]

Noting that the two consine terms cancel and that [itex]i^2=(\sqrt{-1})^2 = -1[/itex] ;

[tex]f'(x) = \frac{-e^{ix}\cdot\sin(x) + e^{ix}\cdot\sin(x)}{(e^{ix})^2}[/tex]

[tex]= \frac{-\sin(x)+\sin(x)}{e^{ix}} = \frac{0}{e^{ix}} = 0[/tex]

What can we say about a function if it has a derivative of zero everywhere in its domain?
 
I see now, silly mistakes by me.
When a derivative is zero then the things differentiated must have been a constant
 
  • #10
lazypast said:
[tex]Re^{j \theta} = R{(cos \theta + jsin\theta )}[/tex]

can anyone show me this proof or show me a link please
From a book i have read in complex analysis, and from what i understand about the subject, I believe that we just define this equation. I mean, we define that [tex]e^{a+j \theta} = e^a{(cos \theta + jsin\theta )}[/tex] . It's simply the definition for complex exponents. You can also reach this equation by using the Taylor series of e^x=1+x+(x^2)/2!+... , using x=ja but it's not any real proof unless you prove that the series converges for any imaginary number ja. Also, how can you check the above equation while the left part of it cannot be interpreted in a certain way?? So, i see it as a definition and not as an equation that you can prove.
 
Last edited:
  • #12
How about this?

Write [tex]e^{j\theta}=E(\theta)+jO(\theta)[/tex],
where [tex]E(\theta)=\frac{1}{2} (e^{j\theta}+e^{-j\theta})[/tex]
and [tex]O(\theta)=\frac{1}{2j} (e^{j\theta}-e^{-j\theta})[/tex],
where the right-hand side is simply the sum of the even and odd parts of the left-hand side. [tex]j\neq 0[/tex] has no particular meaning right now, except that it is constant (independent of [tex]\theta[/tex]).

Then [tex] \begin{align*}<br /> \frac{d}{d\theta} e^{j\theta} &= \frac{1}{2}\left( j (e^{j\theta}-e^{-j\theta} \right)+<br /> j\frac{1}{2j}\left( j (e^{j\theta}+e^{-j\theta} \right)\\<br /> je^{j\theta} &= j^2O(\theta)+jE(\theta)<br /> \end{align*}[/tex]
where we have noted that
[tex]\frac{d}{d\theta}E(\theta)=j^2O(\theta)[/tex] and [tex]\frac{d}{d\theta}O(\theta)=E(\theta)[/tex]... a coupled set of differential equations.

Continuing on, we find [tex]\frac{d^2}{d\theta^2}E(\theta)=j^2(E(\theta))[/tex] and [tex]\frac{d^2}{d\theta^2}O(\theta)=(j^2O(\theta))[/tex]... two differential equations... or simply, two questions: what functions are proportional to their second derivatives? Let's now formally require that [tex]j^2=-1[/tex]. So, now our question is: what functions are equal to minus their second derivatives? (With constants of integration, you'll need to consider the initial conditions to completely determine the functions E and O.)

I'll stop here... but you should be able to finish this off.
 
Last edited:
  • #13
We want to show,

[tex]e^{ix} = \cos x + i \sin x[/tex]

Taylor expanding yields:

[tex]\sin x = x -\frac{x^3}{3!}+\frac{x^5}{5!} - \ldots[/tex]
[tex]\cos x = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} + \ldots[/tex]

[tex]e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!} + \ldots[/tex]

Finish this off. Remember [itex](i)^2 = -1[/itex]

ex) [tex](ix)^5 = i^2 i^2 i x^5 = (-1)(-1)i x^5 = ix^5[/tex]
 
Last edited:
  • #14
lazypast said:
I see now, silly mistakes by me.
When a derivative is zero then the things differentiated must have been a constant

Indeed, that is correct. So, try taking our function, let [itex]x=0[/itex] and see where this takes you.

Of course Euler's formula can be derived using Taylor's series (as dextercioby and Frogpad said), you could also prove this using differentials; I was showing this method simply because you said that you hadn't met Taylor series before, but all proofs are equally valid,although I myself find the Taylor series most elegant.
 
  • #15
well my original question has been answered now so thank you all.
as for that last this hootenanny do you mean e^ix= or f(x)=

f(x)=(1+0)/1=1 and e^ix: 1=1+0
but i don't understand what either of these prove
 
  • #16
lazypast said:
well my original question has been answered now so thank you all.
as for that last this hootenanny do you mean e^ix= or f(x)=

f(x)=(1+0)/1=1 and e^ix: 1=1+0
but i don't understand what either of these prove

We have;

[tex]f(x):=\frac{\cos(x)+i\sin(x)}{e^{ix}}[/tex]

Since we know that f(x) is a constant function it has the same value everywhere in its domain. Therefore, we can say that;

[tex]f(x) = f(0) \;\;\; \forall \;\;\;x \Rightarrow \frac{\cos(x)+i\sin(x)}{e^{ix}} = \frac{\cos(0)+i\sin(0)}{e^{i0}} = \frac{1}{1}[/tex]

[tex]\therefore \frac{\cos(x)+i\sin(x)}{e^{ix}} = 1 \Leftrightarrow \cos(x)+i\sin(x) = e^{ix}[/tex]

[tex]\Rightarrow R(\cos(x)+i\sin(x)) = R\cdot e^{ix}\hspace{1cm}\text{Q.E.D.}[/tex]

Hope this was helpful.
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
6K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 2 ·
Replies
2
Views
9K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K