Sunday, 24 March 2013

Proof for complex numbers and square root



Use the polar form of complex numbers to show that every complex number z0 has two square roots.



I know the polar form is z=r(cos(α)+isin(α)). I'm just not sure how to do this one.


Answer




De Moivre's formula is (cosθ+isinθ)n=cos(nθ)+isin(nθ) for any integer n. Therefore, if w=s(cosθ+isinθ) is a non-zero complex number such that w2=z, then



s2(cos(2θ)+isin(2θ))=r(cosα+isinα).



Therefore s2=r, so s=±r, but s>0, so s=r.



Furthermore, cos(2θ)=cosα, so 2θ=α+2kπ where kZ, or 2θ=α+2lπ where lZ.



Likewise, sin(2θ)=sinα, so 2θ=α+2mπ where mZ, or 2θ=πα+2nπ where nZ.




The only possibility for 2θ that will give both cos(2θ)=cosα and sin(2θ)=sinα is 2θ=α+2kπ for some kZ. Therefore θ=α2+kπ where there are no restrictions on k, other than being an integer. So the complete set of solutions to w2=z is



{r(cos(α2+kπ)+isin(α2+kπ))kZ}.



However, as cos and sin are 2π-periodic, there are many different values of k which gives the same complex number. If k is even, then k=2t for some tZ, so



r(cos(α2+kπ)+isin(α2+kπ))=r(cos(α2+2tπ)+isin(α2+2tπ))=r(cos(α2)+isin(α2)).




If k is odd, then k=2t+1 for some tZ, so



r(cos(α2+kπ)+isin(α2+kπ))=r(cos(α2+(2t+1)π)+isin(α2+(2t+1)π))=r(cos(α2+π+2tπ)+isin(α2+π2tπ))=r(cos(α2+π)+isin(α2+π)).



Using the fact that cos(β+π)=cosβ and sin(β+π)=sinβ we can simplify this further:




r(cos(α2+π)+isin(α2+π))=r(cos(α2)+isin(α2)).



Therefore, the two solutions to w2=z are ±r(cos(α2)+isin(α2)); note that these are distinct, so there are actually two different solutions.






In general, if you were trying to solve wn=z with z0, you could use the same method as above. When it came to determine which k gave different complex numbers, you'd consider k modulo n, i.e. write k=nt+j where j=0,1,,n1. You'd then find n distinct solutions corresponding to the different values of j. Usually, you would have to stop here, as there won't be a corresponding trigonometric formula to simplify the complex numbers (as there was above for the phase shift π).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...