Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Definitions from Polar form

All definitions from Polar form.

Back to Polar form

Argument

For z≠0z\ne0, an argument of zz is a real number θ\theta satisfying

cos⁡θ=Re⁡(z)∣z∣,sin⁡θ=Im⁡(z)∣z∣.\cos\theta=\frac{\operatorname{Re}(z)}{|z|}, \qquad \sin\theta=\frac{\operatorname{Im}(z)}{|z|}.

Arguments are determined up to addition of 2πk2\pi k, where k∈Zk\in\mathbb Z. The principal argument Arg⁡(z)\operatorname{Arg}(z) is the unique argument in

−π<Arg⁡(z)≤π.-\pi<\operatorname{Arg}(z)\le\pi.

Choose the argument from the point's quadrant, not from tan⁡θ\tan\theta alone: tangent has period π\pi, so it cannot distinguish opposite quadrants.

The principal argument is one conventional choice; every argument remains valid. The number z=0z=0 has no argument, because the origin does not determine a direction.

Polar form

For z≠0z\ne0, the polar form of zz is

z=r(cos⁡θ+isin⁡θ)=reiθ,r=∣z∣>0,z=r(\cos\theta+i\sin\theta)=re^{i\theta}, \qquad r=|z|>0,

where θ\theta is an argument of zz. The expressions a+bia+bi and reiθre^{i\theta} are two writings of the same complex number.

Euler's formula,

eiθ=cos⁡θ+isin⁡θ,e^{i\theta}=\cos\theta+i\sin\theta,

identifies the two expressions in the statement. Replacing θ\theta by θ+2πk\theta+2\pi k leaves zz unchanged.

Euler's formula is taken as given here rather than derived. The Taylor series of the exponential, sine and cosine are the usual route to a proof.

Multiplication by eiθe^{i\theta} rotates a point through angle θ\theta without changing its modulus; multiplication by reiθre^{i\theta} also scales it by rr. In coordinates, for z=x+iyz=x+iy,

(Re⁡(eiθz)Im⁡(eiθz))=(cos⁡θ−sin⁡θsin⁡θcos⁡θ)(xy)\begin{pmatrix} \operatorname{Re}(e^{i\theta}z)\\ \operatorname{Im}(e^{i\theta}z) \end{pmatrix} = \begin{pmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{pmatrix} \begin{pmatrix}x\\y\end{pmatrix}

An nth root of a complex number

For a complex number z0z_0 and a positive integer nn, an nnth root is a complex number zz satisfying

zn=z0.z^n=z_0.

On this page