PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] argument of product and quotient (Theorem)

Using the distributive law, we perform the multiplication $$(\cos\varphi_1+i\sin\varphi_1)(\cos\varphi_2+i\sin\varphi_2) = (\cos\varphi_1\cos\varphi_2-\sin\varphi_1\sin\varphi_2)+i(\sin\varphi_1\cos\varphi_2+\cos\varphi_1\sin\varphi_2).$$ Using the addition formulas of cosine and sine we still obtain the formula

$\displaystyle (\cos\varphi_1+i\sin\varphi_1)(\cos\varphi_2+i\sin\varphi_2) = \cos(\varphi_1+\varphi_2)+i\sin(\varphi_1+\varphi_2).$ (1)

The inverse number of $\cos\varphi_2+i\sin\varphi_2$ is calculated as follows: $$\frac{1}{\cos\varphi_2+i\sin\varphi_2} = \frac{\cos\varphi_2-i\sin\varphi_2}{(\cos\varphi_2-i\sin\varphi_2)(\cos\varphi_2+i\sin\varphi_2)} = \frac{\cos\varphi_2-i\sin\varphi_2}{\cos^2\varphi_2+\sin^2\varphi_2}$$ This equals $\cos\varphi_2-i\sin\varphi_2$ , and since the cosine is an even and the sine an odd function, we have
$\displaystyle \frac{1}{\cos\varphi_2+i\sin\varphi_2} = \cos(-\varphi_2)+i\sin(-\varphi_2).$ (2)

The equations (1) and (2) imply $$\frac{\cos\varphi_1+i\sin\varphi_1}{\cos\varphi_2+i\sin\varphi_2} = (\cos\varphi_1+i\sin\varphi_1)(\cos(-\varphi_2)+i\sin(-\varphi_2))= \cos(\varphi_1+(-\varphi_2))+i\sin(\varphi_1+(-\varphi_2)),$$ i.e.
$\displaystyle \frac{\cos\varphi_1+i\sin\varphi_1}{\cos\varphi_2+i\sin\varphi_2} = \cos(\varphi_1-\varphi_2)+i\sin(\varphi_1-\varphi_2).$ (3)

According to the formulae (1) and (3), for the complex numbers $$z_1 = r_1(\cos\varphi_1+i\sin\varphi_1)\;\;\mbox{and}\;\;z_2 = r_2(\cos\varphi_2+i\sin\varphi_2)$$ we have $$z_1z_2 = r_1r_2(\cos(\varphi_1+\varphi_2)+i\sin(\varphi_1+\varphi_2)),$$ $$\frac{z_1}{z_2} \;=\; \frac{r_1}{r_2}(\cos(\varphi_1-\varphi_2)+i\sin(\varphi_1-\varphi_2)).$$ Thus we have the

Theorem. The modulus of the product of two complex numbers equals the product of the moduli of the factors and the argument equals the sum of the arguments of the factors. The modulus of the quotient of two complex numbers equals the quotient of the moduli of the dividend and the divisor and the argument equals the difference of the arguments of the dividend and the divisor.

Remark. The equation (1) may be by induction generalised for more than two factors of the left hand side; then the special case where all factors are equal gives de Moivre identity.

Example. Since $$(2\!+\!i)(3\!+\!i) = 5\!+\!5i \;=\; 5e^{\frac{\pi}{4}},$$ one has $$\arctan\frac{1}{2}+\arctan\frac{1}{3} \;=\; \frac{\pi}{4}.$$




"argument of product and quotient" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: argument, polar coordinates, modulus of complex number, complex, equality of complex numbers

Other names:  product and quotient of complex numbers
Keywords:  multiplication, division

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: de Moivre identity, induction, difference, divisor, dividend, quotient, sum, argument, product, modulus, theorem, complex numbers, imply, equations, odd function, sine, cosine, inverse number, addition formulas, multiplication, distributive law
There is 1 reference to this entry.

This is version 5 of argument of product and quotient, born on 2008-01-23, modified 2009-06-09.
Object id is 10208, canonical name is ArgumentOfProductAndQuotient.
Accessed 1338 times total.

Classification:
AMS MSC26A09 (Real functions :: Functions of one variable :: Elementary functions)
 30-00 (Functions of a complex variable :: General reference works )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)