Chapter V

Complex numbers

[85/69%]
Show
LaTeX
Problem 20.1

Compute the expressions:

?
(a)

(2+i)(3−i)+(2+3i)(3+4i)(2+i)(3-i)+(2+3 i)(3+4 i);

(b)

(2+i)(3+7i)−(1+2i)(5+3i)(2+i)(3+7 i)-(1+2 i)(5+3 i);

(c)

(4+i)(5+3i)−(3+i)(3−i)(4+i)(5+3 i)-(3+i)(3-i);

(d)

(5+i)(7−6i)3+i\frac{(5+i)(7-6 i)}{3+i};

(e)

(5+i)(3+5i)2i\frac{(5+i)(3+5 i)}{2 i};

(f)

(1+3i)(8−i)(2+i)2\frac{(1+3 i)(8-i)}{(2+i)^{2}};

(g)

(2+i)(4+i)1+i\frac{(2+i)(4+i)}{1+i};

(h)

(3−i)(1−4i)2−i\frac{(3-i)(1-4 i)}{2-i};

(i)

(2+i)3+(2−i)3(2+i)^{3}+(2-i)^{3};

(j)

(3+i)3−(3−i)3(3+i)^{3}-(3-i)^{3};

(k)

(1+i)5(1−i)3\frac{(1+i)^{5}}{(1-i)^{3}};

(l)

(−12+32i)3\left(-\frac{1}{2} + \frac{\sqrt{3}}{2} i\right)^{3};

(m)

(−12−32i)3\left(-\frac{1}{2} - \frac{\sqrt{3}}{2} i\right)^{3}.

Problem 20.2

Compute i77,i98,i−57,ini^{77}, i^{98}, i^{-57}, i^{n}, where nn is an integer.

?
Problem 20.3

Prove the equalities:

?
(a)

(1+i)8n=24n,n∈Z(1+i)^{8 n}=2^{4 n}, \quad n \in \mathbb {Z};

(b)

(1+i)4n=(−1)22n,n∈Z(1+i)^{4 n}=(-1) 2^{2 n}, \quad n \in \mathbb {Z}.

Problem 20.4

Solve the system of equations:

?
(a)

{(1+i)z1+(1−i)z2=1+i,(1−i)z1+(1+i)z2=1+3i;\begin{cases} (1+i) z_{1}+(1-i) z_{2}=1+i, \\ (1-i) z_{1}+(1+i) z_{2}=1+3 i ; \end{cases}

(b)

{iz1+(1+i)z2=2+2i,2iz1+(3+2i)z2=5+3i;\begin{cases} i z_{1}+(1+i) z_{2}=2+2 i, \\ 2 i z_{1}+(3+2 i) z_{2}=5+3 i ; \end{cases}

(c)

{(1−i)z1−3iz2=−i,2z1−(3+3i)z2=3−i;\begin{cases} (1-i) z_{1}-3 i z_{2}=-i, \\ 2 z_{1}-(3+3 i) z_{2}=3-i ; \end{cases}

(d)

{2z1−(2+i)z2=−i,(4−2i)z1−5z2=−1−2i;\begin{cases} 2 z_{1}-(2+i) z_{2}=-i, \\ (4-2 i) z_{1}-5 z_{2}=-1-2 i ; \end{cases}

(e)

{x+iy−2z=10,x−y+2iz=20,ix+3iy−(1+i)z=30.\begin{cases} x+i y-2 z=10, \\ x-y+2 i z=20, \\ i x+3 i y-(1+i) z=30. \end{cases}

Problem 20.5

Find the real numbers xx and yy satisfying the equation:

?
(a)

(2+i)x+(1+2i)y=1−4i(2+i) x+(1+2 i) y=1-4 i;

(b)

(3+2i)x+(1+3i)y=4−9i(3+2 i) x+(1+3 i) y=4-9 i.

Problem 20.6

Prove that:

?
(a)

a complex number zz is real if and only if zˉ=z\bar{z}=z;

(b)

a complex number zz is purely imaginary if and only if zˉ=−z\bar{z}=-z.

Problem 20.7

Prove that:

?
(a)

the product of two complex numbers is real if and only if one of them differs from the conjugate of the other by a real factor;

(b)

the sum and the product of two complex numbers are both real if and only if the given numbers are either conjugate or both real.

Problem 20.8

Find all complex numbers that are conjugate:

?
(a)

to their square;

(b)

to their cube.

Problem 20.9

Prove that if from given complex numbers z1,z2,…,znz_{1}, z_{2}, \ldots , z_{n}, by applying finitely many operations of addition, subtraction, multiplication and division, a number zz is obtained, then from the numbers zˉ1,zˉ2,…,zˉn\bar{z}_{1}, \bar{z}_{2}, \ldots , \bar{z}_{n}, by applying the same operations, the number zˉ\bar{z} is obtained.

?
Problem 20.10

Prove that the determinant

[z1zˉ1az2zˉ2bz3zˉ3c] \left[\begin{smallmatrix} z_{1} & \bar{z}_{1} & a \\ z_{2} & \bar{z}_{2} & b \\ z_{3} & \bar{z}_{3} & c \end{smallmatrix}\right]

where z1,z2,z3z_{1}, z_{2}, z_{3} are complex numbers and a,b,ca, b, c are real numbers, is a purely imaginary number.

?
Problem 20.11

Solve the equations:

?
(a)

z2=iz^{2}=i;

(b)

z2=3−4iz^{2}=3-4 i;

(c)

z2=5−12iz^{2}=5-12 i;

(d)

z2−(1+i)z+6+3i=0z^{2}-(1+i) z+6+3 i=0;

(e)

z2−5z+4+10i=0z^{2}-5 z+4+10 i=0;

(f)

z2+(2i−7)z+13−i=0z^{2}+(2 i-7) z+13-i=0.

Problem 21.1

Find the trigonometric form of the number:

?
(a)

5 ;

(b)

ii;

(c)

-2 ;

(d)

−3i-3 i;

(e)

1+i1+i;

(f)

1−i1-i;

(g)

1+i31+i \sqrt{3};

(h)

−1+i3-1+i \sqrt{3};

(i)

−1−i3-1-i \sqrt{3};

(j)

1−i31-i \sqrt{3};

(k)

3+i\sqrt{3}+i;

(l)

−3+i-\sqrt{3}+i;

(m)

−3−i-\sqrt{3}-i;

(n)

3−i\sqrt{3}-i;

(o)

1+i331+i \frac{\sqrt{3}}{3};

(p)

2+3+i2+\sqrt{3}+i;

(q)

1−(2+3)i1-(2+\sqrt{3}) i;

(r)

cos⁡α−isin⁡α\cos \alpha -i \sin \alpha;

(s)

sin⁡α+icos⁡α\sin \alpha +i \cos \alpha;

(t)

1+itg⁡α1−itg⁡α\frac{1+i \operatorname {tg} \alpha }{1-i \operatorname {tg} \alpha };

(u)

1+cos⁡φ+isin⁡φ,φ∈[−π,π];1+\cos \varphi +i \sin \varphi , \quad \varphi \in [-\pi , \pi ] ;

(v)

cos⁡φ+isin⁡φcos⁡ψ+isin⁡ψ\frac{\cos \varphi +i \sin \varphi }{\cos \psi +i \sin \psi }.

Problem 21.2

Compute the expressions:

?
(a)

(1+i)1000(1+i)^{1000};

(b)

(1+i3)150(1+i \sqrt{3})^{150};

(c)

(3+i)30(\sqrt{3}+i)^{30};

(d)

(1+32+i2)24\left(1+\frac{\sqrt{3}}{2}+\frac{i}{2}\right)^{24};

(e)

(2−3+i)12(2-\sqrt{3}+i)^{12};

(f)

(1−i31+i)12\left(\frac{1-i \sqrt{3}}{1+i}\right)^{12};

(g)

(3+i1−i)30\left(\frac{\sqrt{3}+i}{1-i}\right)^{30};

(h)

(−1+i3)15(1−i)20+(−1−i3)15(1+i)20\frac{(-1+i \sqrt{3})^{15}}{(1-i)^{20}}+\frac{(-1-i \sqrt{3})^{15}}{(1+i)^{20}}.

Problem 21.3

Solve the equations:

?
(a)

∣z∣+z=8+4i\left|z\right|+z=8+4 i;

(b)

∣z∣−z=8+12i\left|z\right|-z=8+12 i.

Problem 21.4

Prove the following properties of the modulus of complex numbers:

?
(a)

∣z1±z2∣⩽∣z1∣+∣z2∣\left|z_{1} \pm z_{2}\right| \leqslant \left|z_{1}\right|+\left|z_{2}\right|;

(b)

∣∣z1∣−∣z2∣∣⩽∣z1±z2∣\left|\left|z_{1}\right|-\left|z_{2}\right|\right| \leqslant \left|z_{1} \pm z_{2}\right|;

(c)

∣z1+z2∣=∣z1∣+∣z2∣\left|z_{1}+z_{2}\right|=\left|z_{1}\right|+\left|z_{2}\right| if and only if the vectors z1z_{1} and z2z_{2} have the same direction;

(d)

∣z1+z2∣=∣∣z1∣−∣z2∣∣\left|z_{1}+z_{2}\right|=\left|\left|z_{1}\right|-\left|z_{2}\right|\right| if and only if the vectors z1z_{1} and z2z_{2} have opposite directions.

Problem 21.5

Prove that:

?
(a)

if ∣z∣<1\left|z\right|<1, then ∣z2−z+i∣<3\left|z^{2}-z+i\right|<3;

(b)

if ∣z∣⩽2\left|z\right| \leqslant 2, then 1⩽∣z2−5∣⩽91 \leqslant \left|z^{2}-5\right| \leqslant 9;

(c)

if ∣z∣<1/2\left|z\right|<1 / 2, then ∣(1+i)z3+iz∣<3/4\left|(1+i) z^{3}+i z\right|<3 / 4.

Problem 21.6

Prove the inequality

∣z1−z2∣⩽∣∣z1∣−∣z2∣∣+min⁡{∣z1∣,∣z2∣}⋅∣arg⁡z1−arg⁡z2∣. \left|z_{1}-z_{2}\right| \leqslant \left|\left|z_{1}\right|-\left|z_{2}\right|\right|+\min \left\{ \left|z_{1}\right|,\left|z_{2}\right|\right\} \cdot \left|\arg z_{1}-\arg z_{2}\right|.

In which case does this inequality become an equality?

?
Problem 21.7

Prove that if u=z1z2u=\sqrt{z_{1} z_{2}}, then

∣z1∣+∣z2∣=∣z1+z22−z1z2∣+∣z1+z22+z1z2∣. \left|z_{1}\right|+\left|z_{2}\right|=\left|\frac{z_{1}+z_{2}}{2}-\sqrt{z_{1} z_{2}}\right|+\left|\frac{z_{1}+z_{2}}{2}+\sqrt{z_{1} z_{2}}\right|.
?
Problem 21.8

Prove De Moivre's formula

[r(cos⁡φ+isin⁡φ)]n=rn(cos⁡nφ+isin⁡nφ) [r(\cos \varphi +i \sin \varphi )]^{n}=r^{n}(\cos n \varphi +i \sin n \varphi )

for integers n≠0n \neq 0.

?
Problem 21.9

For n∈Zn \in \mathbb {Z} compute the expressions:

?
(a)

(1+i)n(1+i)^{n};

(b)

(1−i32)n\left(\frac{1-i \sqrt{3}}{2}\right)^{n};

(c)

(1−itg⁡α1+itg⁡α)n\left(\frac{1-i \operatorname {tg} \alpha }{1+i \operatorname {tg} \alpha }\right)^{n};

(d)

(1+cos⁡φ+isin⁡φ)n(1+\cos \varphi +i \sin \varphi )^{n}.

Problem 21.10

Prove that if z+z−1=2cos⁡φz+z^{-1}=2 \cos \varphi, then zn+z−n=2cos⁡nφz^{n}+z^{-n}=2 \cos n \varphi, where n∈Zn \in \mathbb {Z}.

?
Problem 21.11

Express as polynomials in sin⁡x\sin x and cos⁡x\cos x the functions:

?
(a)

sin⁡4x\sin 4 x;

(b)

cos⁡4x;\cos 4 x ;

(c)

sin⁡5x\sin 5 x;

(d)

cos⁡5x\cos 5 x.

Problem 21.12

Prove the equalities:

?
(a)

cos⁡nx=∑k=0[n/2](−1)k(n2k)cos⁡n−2kx⋅sin⁡2kx\cos n x=\sum_{k=0}^{[n / 2]}(-1)^{k}\binom {n}{2 k} \cos^{n-2 k} x \cdot \sin^{2 k} x;

(b)

sin⁡nx=∑k=0[(n−1)/2](−1)k(n2k+1)cos⁡n−2k−1x⋅sin⁡2k+1x\sin n x=\sum_{k=0}^{[(n-1) / 2]}(-1)^{k}\binom {n}{2 k+1} \cos^{n-2 k-1} x \cdot \sin^{2 k+1} x.

Problem 21.13

Express in terms of the first powers of the sine and cosine of arguments that are multiples of xx the functions:

?
(a)

sin⁡4x\sin^{4} x;

(b)

cos⁡4x\cos^{4} x;

(c)

sin⁡5x\sin^{5} x;

(d)

cos⁡5x\cos^{5} x.

Problem 21.14

Prove the equalities:

?
(a)

cos⁡2mx=122m−1[∑k=0m−1(2mk)cos⁡(2m−2k)x+12(2mm)]\cos^{2 m} x=\frac{1}{2^{2 m-1}}\left[\sum_{k=0}^{m-1}\binom {2 m}{k} \cos (2 m-2 k) x+\frac{1}{2}\binom {2 m}{m}\right];

(b)

cos⁡2m+1x=122m∑k=0m(2m+1k)cos⁡(2m+1−2k)x\cos^{2 m+1} x=\frac{1}{2^{2 m}} \sum_{k=0}^{m}\binom {2 m+1}{k} \cos (2 m+1-2 k) x;

(c)

sin⁡2mx=\sin^{2 m} x=

=(−1)m22m−1[∑k=0m−1(−1)k(2mk)cos⁡(2m−2k)x+(−1)m2(2mm)] =\frac{(-1)^{m}}{2^{2 m-1}}\left[\sum _{k=0}^{m-1}(-1)^{k}\binom {2 m}{k} \cos (2 m-2 k) x+\frac{(-1)^{m}}{2}\binom {2 m}{m}\right]
(d)

sin⁡2m+1x=(−1)22m∑k=0m(−1)k(2m+1k)sin⁡(2m+1−2k)x\sin^{2 m+1} x=\frac{(-1)}{2^{2 m}} \sum_{k=0}^{m}(-1)^{k}\binom {2 m+1}{k} \sin (2 m+1-2 k) x.

Problem 22.1

Prove that if a complex number zz is one of the roots of degree nn of a real number aa, then the conjugate number zˉ\bar{z} is also one of the roots of degree nn of aa.

?
Problem 22.2

Prove that if zn={z1,z2,…,zn}\sqrt[n]{z}=\left\{ z_{1}, z_{2}, \ldots , z_{n}\right\}, then zˉn={zˉ1,zˉ2,…,zˉn}\sqrt[n]{\bar{z}}=\left\{ \bar{z}_{1}, \bar{z}_{2}, \ldots , \bar{z}_{n}\right\}.

?
Problem 22.3

Which of the sets zn\sqrt[n]{z} contain at least one real number?

?
Problem 22.4

Let zz and ww be complex numbers. Prove the equalities 1:

Footnotes

  1. The set zAz A is by definition {za∣a∈A}\left\{ z a \mid a \in A\right\}. ↩

?
(a)

znwn=zwn\sqrt[n]{z^{n} w}=z \sqrt[n]{w};

(b)

−znwn=−zwn\sqrt[n]{-z^{n} w}=-z \sqrt[n]{w};

(c)

zwn=uwn\sqrt[n]{z w}=u \sqrt[n]{w}, where uu is one of the values of zn\sqrt[n]{z}.

Problem 22.5

Prove that the union of the sets zn\sqrt[n]{z} and −zn\sqrt[n]{-z} is the set z22n\sqrt[2 n]{z^{2}}.

?
Problem 22.6

Is the equality zsns=zn(s>1)\sqrt[n s]{z^{s}}=\sqrt[n]{z}(s>1) true?

?
Problem 22.7

Compute:

?
(a)

i6\sqrt[6]{i};

(b)

512(1−i3)10\sqrt[10]{512(1-i \sqrt{3})};

(c)

22(1−i)8\sqrt[8]{2 \sqrt{2}(1-i)};

(d)

13\sqrt[3]{1};

(e)

14\sqrt[4]{1};

(f)

16\sqrt[6]{1};

(g)

i3\sqrt[3]{i};

(h)

−44\sqrt[4]{-4};

(i)

646\sqrt[6]{64};

(j)

168\sqrt[8]{16};

(k)

−276\sqrt[6]{-27};

(l)

83i−84\sqrt[4]{8 \sqrt{3} i-8};

(m)

−72(1−i3)4\sqrt[4]{-72(1-i \sqrt{3})};

(n)

1+i3\sqrt[3]{1+i};

(o)

2−2i3\sqrt[3]{2-2 i};

(p)

−181+i34\sqrt[4]{-\frac{18}{1+i \sqrt{3}}};

(q)

7−2i1+i2+4+14i2+2i−(8−2i)4\sqrt[4]{\frac{7-2 i}{1+i \sqrt{2}}+\frac{4+14 i}{\sqrt{2}+2 i}-(8-2 i)};

(r)

1−5i1+i−51+2i2−i+23\sqrt[3]{\frac{1-5 i}{1+i}-5 \frac{1+2 i}{2-i}+2};

(s)

−2+23i2+i5−53+i25+5i4\sqrt[4]{\frac{-2+2 \sqrt{3} i}{2+i \sqrt{5}}-5 \frac{\sqrt{3}+i}{2 \sqrt{5}+5 i}}.

Problem 22.8

Find, by two methods, the roots of degree 5 of unity, and express in radicals:

?
(a)

cos⁡2π5\cos \frac{2 \pi }{5};

(b)

sin⁡2π5;\sin \frac{2 \pi }{5} ;

(c)

cos⁡4π5\cos \frac{4 \pi }{5};

(d)

sin⁡4π5\sin \frac{4 \pi }{5}.

Problem 22.9

Solve the equations:

?
(a)

(z+1)n+(z−1)n=0(z+1)^{n}+(z-1)^{n}=0;

(b)

(z+1)n−(z−1)n=0(z+1)^{n}-(z-1)^{n}=0;

(c)

(z+i)n+(z−i)n=0(z+i)^{n}+(z-i)^{n}=0.

Problem 22.10

Express in radicals the real and imaginary parts of the roots of unity of degrees 2,3,4,6,8,122,3,4,6,8,12.

?
Problem 22.11

Find the product of all roots of degree nn of unity.

?
Problem 22.12

Let εk=cos⁡2πkn+isin⁡2πkn(0⩽k<n)\varepsilon_{k}=\cos \frac{2 \pi k}{n}+i \sin \frac{2 \pi k}{n} \quad (0 \leqslant k<n). Prove that:

?
(a)

1n={ε0,ε1,…,εn−1}\sqrt[n]{1}=\left\{ \varepsilon_{0}, \varepsilon_{1}, \ldots , \varepsilon_{n-1}\right\};

(b)

εk=ε1k(0⩽k<n)\varepsilon_{k}=\varepsilon_{1}^{k}(0 \leqslant k<n);

(c)

εkεl={εk+l, if k+l<n,εk+l−n, if k+l⩾n(0⩽k<n,0⩽l<n)\varepsilon_{k} \varepsilon_{l}= \begin{cases} \varepsilon_{k+l}, & \text{ if } k+l<n, \\ \varepsilon_{k+l-n}, & \text{ if } k+l \geqslant n \end{cases} \quad (0 \leqslant k<n, 0 \leqslant l<n);

(d)

the set Un\mathrm{U}_{n} of roots of degree nn of unity is a cyclic group of order nn under multiplication;

(e)

every cyclic group of order nn is isomorphic to the group Un\mathbf{U}_{n}.

Problem 22.13

Prove that:

?
(a)

if the numbers rr and ss are coprime and αr=αs=1\alpha^{r}=\alpha^{s}=1, then α=1\alpha =1;

(b)

if dd is the greatest common divisor of the numbers rr and ss, then Ur∩Us=Ud\mathbf{U}_{r} \cap \mathbf{U}_{s}=\mathrm{U}_{d};

(c)

if the numbers rr and ss are coprime, then every root of unity of degree rsr s is uniquely represented as the product of a root of degree rr and a root of degree ss.

Problem 22.14

Prove that the following statements are equivalent:

?
(a)

ε\varepsilon is a primitive root of unity of degree nn;

(b)

the order of ε\varepsilon in the group Un\mathbf{U}_{n} equals nn;

(c)

ε\varepsilon is a generating element of the group Un\mathbf{U}_{n}.

Problem 22.15

Prove that if ε\varepsilon is a primitive root of degree nn of unity, then εˉ\bar{\varepsilon } is also a primitive root of degree nn of unity.

?
Problem 22.16

Prove that if the numbers rr and ss are coprime, then ε\varepsilon is a primitive root of degree rsr s of unity if and only if ε\varepsilon is the product of a primitive root of degree rr and a primitive root of degree ss.

?
Problem 22.17
?
(a)

Let zz be a primitive root of degree nn of 1. Compute

1+2z+3z2+…+nzn−1 1+2 z+3 z^{2}+\ldots +n z^{n-1}
(b)

Let zz be a primitive root of degree 2n2 n of 1. Compute

1+z+…+zn−1 1+z+\ldots +z^{n-1}
(c)

Let zz be a root of 1 with zn±zm±1=0z^{n} \pm z^{m} \pm 1=0. Find nn and mm.

Problem 22.18

Prove that:

?
(a)

the number of primitive roots of degree nn of unity equals φ(n)\varphi (n) (see 1.4);

(b)

if the numbers mm and nn are coprime, then φ(mn)=φ(m)φ(n)\varphi (m n)=\varphi (m) \varphi (n).

Problem 22.19

Prove that if zz is a primitive root of odd degree nn of unity, then −z-z is a primitive root of degree 2n2 n.

?
Problem 22.20

Denote by σ(n)\sigma (n) the sum of all primitive roots of degree nn of unity. Prove that:

?
(a)

σ(1)=1\sigma (1)=1;

(b)

if n>1n>1, then ∑d∣nσ(d)=0\sum_{d \mid n} \sigma (d)=0;

(c)

σ(p)=−1\sigma (p)=-1, if pp is a prime number;

(d)

σ(pk)=0\sigma \left(p^{k}\right)=0, if pp is a prime number, k>1k>1;

(e)

σ(rs)=σ(r)⋅σ(s)\sigma (r s)=\sigma (r) \cdot \sigma (s), if the numbers rr and ss are coprime;

(f)

the function σ(n)\sigma (n) coincides with the Möbius function μ(n)\mu (n).

Problem 22.21

Let dd be the (positive) greatest common divisor of the integer ss and the natural number nn, and let εi\varepsilon_{i} be a primitive root of degree nn of unity (i=1,2,…,φ(n))(i=1,2, \ldots , \varphi (n)). Prove the equality

∑i=1φ(n)εis=φ(n)φ(n/d)μ(nd) \sum _{i=1}^{\varphi (n)} \varepsilon _{i}^{s}=\frac{\varphi (n)}{\varphi (n / d)} \mu \left(\frac{n}{d}\right)
?
Problem 22.22

Is the number 2+i2−i\frac{2+i}{2-i} a root of some degree of unity?

?
Problem 22.23

Find the cyclotomic polynomials (circular division polynomials) Φn(x)\Phi_{n}(x) for nn equal to:

?
(a)

1 ;

(b)

2 ;

(c)

3 ;

(d)

4;

(e)

6 ;

(f)

12 ;

(g)

pp, where pp is a prime number;

(h)

pkp^{k}, where pp is a prime number, k>1k>1.

Problem 22.24

Prove the following properties of cyclotomic polynomials:

?
(a)

∏d∣nΦd(x)=xn−1\prod_{d \mid n} \Phi_{d}(x)=x^{n}-1;

(b)

Φ2n(x)=Φn(−x)(n\Phi_{2 n}(x)=\Phi_{n}(-x) \quad (n is an odd number greater than 1)1);

(c)

Φn(x)=∏d∣n(xd−1)μ(n/d)\Phi_{n}(x)=\prod_{d \mid n}\left(x^{d}-1\right)^{\mu (n / d)};

(d)

if kk is divisible by every prime divisor of nn, then

Φn(x)=Φk(xn/k); \Phi _{n}(x)=\Phi _{k}\left(x^{n / k}\right) ;
(e)

if nn is divisible by a prime number pp and is not divisible by p2p^{2}, then

Φn(x)=Φn/p(xp)(Φn/p(x))−1 \Phi _{n}(x)=\Phi _{n / p}\left(x^{p}\right)\left(\Phi _{n / p}(x)\right)^{-1}
Problem 22.25

Find the cyclotomic polynomials for nn equal to

?
(a)

1010;

(b)

1414;

(c)

1515;

(d)

3030;

(e)

3636;

(f)

100100;

(g)

216216;

(h)

288288;

(i)

10001000.

Problem 22.26

Prove that for every cyclotomic polynomial:

?
(a)

all coefficients are integers;

(b)

the leading coefficient equals 1;

(c)

the constant term equals −1-1 when n=1n=1 and equals 11 when n>1n>1.

Problem 22.27

Find the sum of the coefficients of the cyclotomic polynomial Φn(x)\Phi_{n}(x).

?
Problem 23.1

Compute the sums:

?
(a)

1−(n2)+(n4)−(n6)+…1-\binom {n}{2}+\binom {n}{4}-\binom {n}{6}+\ldots;

(b)

(n1)−(n3)+(n5)−(n7)+…\binom {n}{1}-\binom {n}{3}+\binom {n}{5}-\binom {n}{7}+\ldots;

(c)

1+(n4)+(n8)+…;1+\binom {n}{4}+\binom {n}{8}+\ldots ;

(d)

(n1)+(n5)+(n9)+…\binom {n}{1}+\binom {n}{5}+\binom {n}{9}+\ldots

(e)
Problem 23.2

Prove the equalities:

?
(a)

cos⁡x+cos⁡2x+…+cos⁡nx=sin⁡nx2cos⁡(n+1)x2sin⁡x2(x≠2kπ,k∈Z)\cos x+\cos 2 x+\ldots +\cos n x=\frac{\sin \frac{n x}{2} \cos \frac{(n+1) x}{2}}{\sin \frac{x}{2}} \quad (x \neq 2 k \pi , k \in \mathbb {Z});

(b)

sin⁡x+sin⁡2x+…+sin⁡nx=sin⁡nx2sin⁡(n+1)x2sin⁡x2(x≠2kπ,k∈Z)\sin x+\sin 2 x+\ldots +\sin n x=\frac{\sin \frac{n x}{2} \sin \frac{(n+1) x}{2}}{\sin \frac{x}{2}} \quad (x \neq 2 k \pi , k \in \mathbb {Z});

(c)

cos⁡πn+cos⁡3πn+cos⁡5πn+…+cos⁡(2n−1)πn=0;\cos \frac{\pi }{n}+\cos \frac{3 \pi }{n}+\cos \frac{5 \pi }{n}+\ldots +\cos \frac{(2 n-1) \pi }{n}=0 ;

(d)

sin⁡πn+sin⁡3πn+sin⁡5πn+…+sin⁡(2n−1)πn=0\sin \frac{\pi }{n}+\sin \frac{3 \pi }{n}+\sin \frac{5 \pi }{n}+\ldots +\sin \frac{(2 n-1) \pi }{n}=0;

(e)

1n∑k=0n−1(x+εky)n=xn+yn(ε0,ε1,…,εn−1\frac{1}{n} \sum_{k=0}^{n-1}\left(x+\varepsilon_{k} y\right)^{n}=x^{n}+y^{n} \quad \left(\varepsilon_{0}, \varepsilon_{1}, \ldots , \varepsilon_{n-1}\right. are the roots of degree nn of unity);

(f)

x2n+1−1=(x−1)∏k=1n(x2−2xcos⁡πk2n+1+1);x^{2 n+1}-1=(x-1) \prod_{k=1}^{n}\left(x^{2}-2 x \cos \frac{\pi k}{2 n+1}+1\right) ;

(g)

x2n−1=(x2−1)∏k=1n−1(x2−2xcos⁡πkn+1)x^{2 n}-1=\left(x^{2}-1\right) \prod_{k=1}^{n-1}\left(x^{2}-2 x \cos \frac{\pi k}{n}+1\right);

(h)

∏k=1n−1sin⁡πk2n=n2n−1\prod_{k=1}^{n-1} \sin \frac{\pi k}{2 n}=\frac{\sqrt{n}}{2^{n-1}};

(i)

∏k=1nsin⁡πk2n+1=2n+12n\prod_{k=1}^{n} \sin \frac{\pi k}{2 n+1}=\frac{\sqrt{2 n+1}}{2^{n}}.

Problem 23.3

Solve the equation cos⁡φ+(n1)cos⁡(φ+α)x+(n2)cos⁡(φ+2α)x2+…+(nn)cos⁡(φ+nα)xn=0\cos \varphi +\binom {n}{1} \cos (\varphi +\alpha ) x+\binom {n}{2} \cos (\varphi +2 \alpha ) x^{2}+\ldots +\binom {n}{n} \cos (\varphi +n \alpha ) x^{n}=0.

?
Problem 23.4

Prove that:

?
(a)

1+(n3)+(n6)+…=13(2n+2cos⁡πn3)1+\binom {n}{3}+\binom {n}{6}+\ldots =\frac{1}{3}\left(2^{n}+2 \cos \frac{\pi n}{3}\right);

(b)

(n1)+(n4)+(n7)+…=13(2n+2cos⁡(n−2)π4)\binom {n}{1}+\binom {n}{4}+\binom {n}{7}+\ldots =\frac{1}{3}\left(2^{n}+2 \cos \frac{(n-2) \pi }{4}\right);

(c)

(n2)+(n5)+(n8)+…=13(2n+2cos⁡(n−4)π3)\binom {n}{2}+\binom {n}{5}+\binom {n}{8}+\ldots =\frac{1}{3}\left(2^{n}+2 \cos \frac{(n-4) \pi }{3}\right);

(d)

2cos⁡mx=(2cos⁡x)m−m1(2cos⁡x)m−2+m(m−3)1⋅2(2cos⁡x)m−4+…2 \cos m x=(2 \cos x)^{m}-\frac{m}{1}(2 \cos x)^{m-2}+\frac{m(m-3)}{1 \cdot 2}(2 \cos x)^{m-4}+\ldots

…+(−1)km(m−k−1)…(m−2k+1)k!(2cos⁡x)m−2k+… \ldots +(-1)^{k} \frac{m(m-k-1) \ldots (m-2 k+1)}{k!}(2 \cos x)^{m-2 k}+\ldots
Problem 23.5

Find the sums:

?
(a)

cos⁡x+(n1)cos⁡2x+…+(nn)cos⁡(n+1)x\cos x+\binom {n}{1} \cos 2 x+\ldots +\binom {n}{n} \cos (n+1) x;

(b)

sin⁡x+(n1)sin⁡2x+…+(nn)sin⁡(n+1)x\sin x+\binom {n}{1} \sin 2 x+\ldots +\binom {n}{n} \sin (n+1) x;

(c)

sin⁡2x+sin⁡23x+…+sin⁡2(2n−1)x\sin^{2} x+\sin^{2} 3 x+\ldots +\sin^{2}(2 n-1) x;

(d)

cos⁡x+2cos⁡2x+3cos⁡3x+…+ncos⁡nx\cos x+2 \cos 2 x+3 \cos 3 x+\ldots +n \cos n x;

(e)

sin⁡x+2sin⁡2x+3sin⁡3x+…+nsin⁡nx\sin x+2 \sin 2 x+3 \sin 3 x+\ldots +n \sin n x.

Problem 23.6

Prove that:

?
(a)

cos⁡2x+cos⁡22x+…+cos⁡2nx=n2+cos⁡(n+1)xsin⁡nx2sin⁡x\cos^{2} x+\cos^{2} 2 x+\ldots +\cos^{2} n x=\frac{n}{2}+\frac{\cos (n+1) x \sin n x}{2 \sin x};

(b)

sin⁡2x+sin⁡22x+…+sin⁡2nx=n2−cos⁡(n+1)xsin⁡nx2sin⁡x\sin^{2} x+\sin^{2} 2 x+\ldots +\sin^{2} n x=\frac{n}{2}-\frac{\cos (n+1) x \sin n x}{2 \sin x}.

Problem 23.7

Prove that for an odd natural number mm

sin⁡mxsin⁡x=(−4)(m−1)/2∏1⩽j⩽(m−1)/2(sin⁡2x−sin⁡22πjm) \frac{\sin m x}{\sin x}=(-4)^{(m-1) / 2} \prod _{1 \leqslant j \leqslant (m-1) / 2}\left(\sin ^{2} x-\sin ^{2} \frac{2 \pi j}{m}\right)
?
Problem 24.1

Depict on the plane the points corresponding to the numbers 5,−2,−3i,±1±i35,-2,-3 i, \pm 1 \pm i \sqrt{3}.

?
Problem 24.2

Find the complex numbers corresponding to:

?
(a)

the vertices of a square centered at the origin, with sides of length 1, parallel to the coordinate axes;

(b)

the vertices of a regular triangle centered at the origin, with a side parallel to a coordinate axis, a vertex on the negative real half-axis, and circumradius equal to 1;

(c)

the vertices of a regular hexagon centered at the point 2+i32+i \sqrt{3}, with a side parallel to the abscissa axis, and circumradius equal to 2;

(d)

the vertices of a regular nn-gon centered at the origin, one of whose vertices is 1.

Problem 24.3

Indicate the geometric meaning of the expression ∣z1−z2∣\left|z_{1}-z_{2}\right|, where z1z_{1} and z2z_{2} are given complex numbers.

?
Problem 24.4

Indicate the geometric meaning of the number arg⁡z1−z2z2−z3\arg \frac{z_{1}-z_{2}}{z_{2}-z_{3}}, where z1,z2,z3z_{1}, z_{2}, z_{3} are distinct complex numbers.

?
Problem 24.5

How are the points on the plane arranged that correspond to:

?
(a)

the complex numbers z1,z2,z3z_{1}, z_{2}, z_{3}, for which

z1+z2+z3=0,∣z1∣=∣z2∣=∣z3∣≠0 z_{1}+z_{2}+z_{3}=0, \quad \left|z_{1}\right|=\left|z_{2}\right|=\left|z_{3}\right| \neq 0
(b)

the complex numbers z1,z2,z3,z4z_{1}, z_{2}, z_{3}, z_{4}, for which

z1+z2+z3+z4=0,∣z1∣=∣z2∣=∣z3∣=∣z4∣≠0 z_{1}+z_{2}+z_{3}+z_{4}=0, \quad \left|z_{1}\right|=\left|z_{2}\right|=\left|z_{3}\right|=\left|z_{4}\right| \neq 0
Problem 24.6

Depict on the plane the set of points corresponding to complex numbers zz satisfying the conditions:

?
(a)

∣z∣=1\left|z\right|=1;

(b)

arg⁡z=π/3;\arg z=\pi / 3 ;

(c)

∣z∣⩽2\left|z\right| \leqslant 2;

(d)

∣z−1−i∣<1\left|z-1-i\right|<1;

(e)

∣z+3+4i∣⩽5\left|z+3+4 i\right| \leqslant 5;

(f)

2<∣z∣<32<\left|z\right|<3;

(g)

1⩽∣z−2i∣<21 \leqslant \left|z-2 i\right|<2;

(h)

∣arg⁡z∣<π/6\left|\arg z\right|<\pi / 6;

(i)

∣Re⁡z∣⩽1\left|\operatorname {Re} z\right| \leqslant 1;

(j)

−1<Re⁡iz<0;-1<\operatorname {Re} i z<0 ; \quad

(k)

∣Im⁡z∣=1;\left|\operatorname {Im} z\right|=1 ; \quad

(l)

∣Re⁡z+Im⁡z∣<1;\left|\operatorname {Re} z+\operatorname {Im} z\right|<1 ;

(m)

∣z−1∣+∣z+1∣=3\left|z-1\right|+\left|z+1\right|=3;

(n)

∣z+2∣−∣z−2∣=3\left|z+2\right|-\left|z-2\right|=3;

(o)

∣z−2∣=Re⁡z+2\left|z-2\right|=\operatorname {Re} z+2;

(p)

α<arg⁡(z−z0)<β\alpha <\arg \left(z-z_{0}\right)<\beta, where −π<α<β⩽π-\pi <\alpha <\beta \leqslant \pi and z0z_{0} is a given complex number.

Problem 24.7

Prove the identity

∣z+w∣2+∣z−w∣2=2∣z∣2+2∣w∣2 \left|z+w\right|^{2}+\left|z-w\right|^{2}=2\left|z\right|^{2}+2\left|w\right|^{2}

and indicate its geometric meaning.

?
Problem 24.8

Let the complex numbers z1,z2,z3z_{1}, z_{2}, z_{3} correspond to the vertices A1,A2,A3A_{1}, A_{2}, A_{3} of a parallelogram. Find the number corresponding to the vertex A4A_{4} opposite A2A_{2}.

?
Problem 24.9

Find the complex numbers corresponding to the opposite vertices of a square, if two of its other opposite vertices correspond to the numbers zz and ww.

?
Problem 24.10

Find the complex numbers corresponding to the vertices of a regular nn-gon, if two of its adjacent vertices correspond to the numbers z0z_{0} and z1z_{1}.

?
Problem 24.11

Depict on the plane the set of points corresponding to the complex numbers z=1+ti1−tiz=\frac{1+t i}{1-t i}, where t∈Rt \in \mathbb {R}.

?
Problem 24.12

Prove that:

?
(a)

the points of the plane corresponding to the complex numbers z1,z2z_{1}, z_{2}, z3z_{3}, lie on one line if and only if there exist real numbers λ1,λ2,λ3\lambda_{1}, \lambda_{2}, \lambda_{3}, not all equal to zero, such that

λ1z1+λ2z2+λ3z3=0,λ1+λ2+λ3=0 \lambda _{1} z_{1}+\lambda _{2} z_{2}+\lambda _{3} z_{3}=0, \quad \lambda _{1}+\lambda _{2}+\lambda _{3}=0
(b)

the points of the plane corresponding to the distinct complex numbers z1,z2,z3z_{1}, z_{2}, z_{3}, lie on one line if and only if the number z1−z3z2−z3\frac{z_{1}-z_{3}}{z_{2}-z_{3}} is real;

(c)

the points of the plane corresponding to the distinct complex numbers z1,z2,z3,z4z_{1}, z_{2}, z_{3}, z_{4} and not lying on one line, lie on one circle if and only if their cross-ratio z1−z3z2−z3:z1−z4z2−z4\frac{z_{1}-z_{3}}{z_{2}-z_{3}}: \frac{z_{1}-z_{4}}{z_{2}-z_{4}} is a real number.

Problem 24.13

Depict on the plane the set of points corresponding to the complex numbers zz satisfying the equality ∣z−z1z−z2∣=λ\left|\frac{z-z_{1}}{z-z_{2}}\right|=\lambda, where z1,z2∈Cz_{1}, z_{2} \in \mathbb {C} and λ\lambda is a positive real number.

?
Problem 24.14

Find min⁡∣3+2i−z∣\min \left|3+2 i-z\right| for ∣z∣⩽1\left|z\right| \leqslant 1.

?
Problem 24.15

Find max⁡∣1+4i−z∣\max \left|1+4 i-z\right| for ∣z−10i+2∣⩽1\left|z-10 i+2\right| \leqslant 1.

?
Problem 24.16

Depict on the plane the set of points corresponding to the complex numbers zz satisfying the equality ∣z2−1∣=λ\left|z^{2}-1\right|=\lambda. For λ=1\lambda =1, write the equation of the resulting curve in polar coordinates.

?
Problem 24.17

The extended complex plane is the complex plane augmented with the point at infinity ∞\infty. Prove that if (z1,z2,z3)\left(z_{1}, z_{2}, z_{3}\right) and (w1,w2,w3)\left(w_{1}, w_{2}, w_{3}\right) are two triples of pairwise distinct points of the extended complex plane, then there exists a fractional-linear transformation

w=az+bcz+d,a,b,c,d∈C,ad−bc≠0 w=\frac{a z+b}{c z+d}, \quad a, b, c, d \in \mathbb {C}, \quad a d-b c \neq 0

taking the first triple to the second.

?
Problem 24.18

Prove that if in each of the two quadruples (z1,z2,z3\left(z_{1}, z_{2}, z_{3}\right., z4)\left.z_{4}\right) and (w1,w2,w3,w4)\left(w_{1}, w_{2}, w_{3}, w_{4}\right) of points of the extended complex plane all points are pairwise distinct, then a fractional-linear transformation taking one of these quadruples to the other exists if and only if their cross-ratios coincide:

z1−z3z2−z3:z1−z4z2−z4=w1−w3w2−w3:w1−w4w2−w4 \frac{z_{1}-z_{3}}{z_{2}-z_{3}}: \frac{z_{1}-z_{4}}{z_{2}-z_{4}}=\frac{w_{1}-w_{3}}{w_{2}-w_{3}}: \frac{w_{1}-w_{4}}{w_{2}-w_{4}}
?
Problem 24.19

Prove that under a fractional-linear transformation of the extended complex plane, lines and circles map to lines and circles.

?
Problem 24.20

Prove that the fractional-linear transformation

w=az+bcz+d,ad−bc=1 w=\frac{a z+b}{c z+d}, \quad a d-b c=1

maps the real line to itself if and only if the matrix (abcd)\left(\begin{array}{ll}a & b \\ c & d\end{array}\right) is proportional to a real matrix.

?
Problem 24.21

Determine the geometric meaning of the fractional-linear transformation w=1/zw=1 / z.

?
Problem 24.22

Determine the geometric meaning of the transformation of the complex plane given by the formula w=zn(n⩾2)w=z^{n} \quad (n \geqslant 2).

?
Problem 24.23

Prove that the Zhukovsky function w=12(z+1z)w=\frac{1}{2}\left(z+\frac{1}{z}\right) maps:

?
(a)

the circle ∣z∣=1\left|z\right|=1 onto the segment [−1,1][-1,1] of the real axis;

(b)

the circle ∣z∣=R,R≠1\left|z\right|=R, R \neq 1, onto an ellipse with foci −1,1-1,1;

(c)

the ray arg⁡z=φ\arg z=\varphi onto a branch of a hyperbola with foci −1,1-1,1.

Problem 24.24

Prove that every fractional-linear transformation mapping the open upper half-plane onto the interior of the unit disk centered at the origin has the form

w=az−bz−bˉ,∣a∣=1,Im⁡b>0 w=a \frac{z-b}{z-\bar{b}}, \quad \left|a\right|=1, \quad \operatorname {Im} b>0
?
Problem 24.25

Prove that every fractional-linear transformation mapping the unit disk centered at the origin onto itself has the form

w=az−b1−zbˉ,∣a∣=1,b<1 w=a \frac{z-b}{1-z \bar{b}}, \quad \left|a\right|=1, \quad b<1
?
Problem 24.26

For which complex numbers aa does the map z→z+az2z \rightarrow z+a z^{2} map the disk ∣z∣⩽1\left|z\right| \leqslant 1 bijectively onto itself?

?