Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How would you go about finding all the solutions to $\cos(z)=0$, where $z\in \mathbb{C}$?

I have $$\cos(z)=0 \implies (e^{iz})^2=-1 \implies \text{Log}(e^{iz})=\text{Log}(e^{i\pi(1/2+2k)})\qquad\text{ where }k\in \mathbb{Z}$$

$$\implies ie^{-y}x=i\pi(1/2+2k)$$

$$\implies z= e^{y}\pi(1/2+2k)+iy \qquad\forall k\in \mathbb{Z}\;\text{ and }\;\forall y\in \mathbb{R}$$

Is this correct?

Thanks!

EDIT:

$e^{2iz}=e^{i\pi(1+2k)} \Rightarrow z=\pi/2+k\pi$ where $k\in \mathbb{Z}$

share|improve this question
    
In short, no. It turns out that the only complex zeroes are the same as the real zeroes. Plug in any value for your y that's not zero, and you'll get a non-zero cosine. –  mixedmath Oct 23 '11 at 16:28
1  
The roots of the cosine are all real. One way to establish this is to consider the real and imaginary parts of $\cos(x+iy)$ (hint: use the addition formula and the relation between trigonometric and hyperbolic functions.) –  J. M. Oct 23 '11 at 16:28

2 Answers 2

up vote 1 down vote accepted

No. The part where you seem to be assuming $\log\mathrm e^{\mathrm iz}=\mathrm i\mathrm e^{-y}x$ is wrong. Rather, (the principal value of) that logarithm is $\log\mathrm e^{\mathrm iz}=\mathrm iz$. (The natural logarithm is the inverse of the exponential function.)

You also got a factor of $2$ wrong in the arguments somewhere, presumably in trying to resolve the square. The possible arguments for numbers whose square is $-1$ are $\pi\left(\frac12+k\right)$, without the $2$.

Then by comparing real and imaginary parts you can conclude that $x=\pi\left(\frac12+k\right)$, $y=0$.

share|improve this answer
    
Yes, I realize now I messed up with my definition of log, I've fixed it with my edit, thanks! that's very helpful –  Freeman Oct 23 '11 at 16:38

Logarithms are treacherous. It is safer and easier to note that we are looking at the equation $e^{iz}=-e^{-iz}$. Let $z=a+ib$, where $a$ and $b$ are real. Then the norm of $e^{i(a+ib)}$ is $e^{-b}$, and the norm of $-e^{-iz}$ is $e^{b}$. If $b \ne 0$, the norms don't match.

So $z$ has to be real, and we are in familiar territory.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.