Freshmark
← Back to all writing

Peijian Education 2022 Labor Day Problem-Solving Workshop (May 1, Part I)

This article is the review notes for complex numbers in Peijian Education's 2022 May 1st question brushing class (5.1). It systematically sorts out the three forms of complex numbers, algebra, trigonometric, and exponent, as well as geometric applications (area, cocircle, similarity), and demonstrates in detail the combination of numbers and shapes, rotation skills, unit root summation, and argument principal value processing through 10 typical example questions.

review

Three forms of plural numbers

  1. Algebraic form: z=a+bi(a,bR),a=(z),b=(z)z=a+bi(a,b\in R),a=\Re(z),b=\Im(z)
  2. Trigonometric form: z=r(cosθ+isinθ),(r0)z=r(\cos\theta+i\sin\theta),(r\ge0) -arg(z)[0,2π)\arg(z)\in[0,2\pi) represents the main value of the argument, Arg(z)RArg(z)\in\R represents the argument
    • z1z2=r1r2[cos(θ1+θ2)+isin(θ1+θ2)z_1z_2=r_1r_2[\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)
    • z1z2=r1r2[cos(θ1θ2)+isin(θ1θ2)\frac{z_1}{z_2}=\frac{r_1}{r_2}[\cos(\theta_1-\theta_2)+i\sin(\theta_1-\theta_2)
    • zn=rn(cosnθ+isinnθ)z^n=r^n(\cos n\theta+i\sin n\theta)
    • zn=rn(cosθ+2kπn+isinθ+2kπn),k=0,1,2,...,n1\sqrt[n]{z}=\sqrt[n]{r}(\cos\frac{\theta+2k\pi}{n}+i\sin\frac{\theta+2k\pi}{n}),k=0,1,2,...,n-1
  3. Exponential form: eiθ=cosθ+isinθe^{i\theta}=\cos\theta+i\sin\theta

Application of plural numbers

  1. S=12Im(z1z2+z2z3+z3z1)S_\triangle=\frac{1}{2}|Im(\overline{z_1}z_2+\overline{z_2}z_3+\overline{z_3}z_1)|
  2. Necessary and sufficient conditions for four points to be a circle: z3z1z4z1:z3z2z4z2R\frac{z_3-z_1}{z_4-z_1}:\frac{z_3-z_2}{z_4-z_2}\in R
  3. z1z2z3,w1w2w3\triangle z_1z_2z_3,\triangle w_1w_2w_3 Similar necessary and sufficient conditions: z3z2z2z1=w3w2w2w1\frac{z_3-z_2}{z_2-z_1}=\frac{w_3-w_2}{w_2-w_1}

brush questions

Example 1

If zC,z21z\in C,|z-2|\le1, find the maximum and minimum values of z|z|, and the range of arg(z)\arg(z)

Solution: The point represented by zz in the complex plane is on a circle with center (2,0)(2,0) and radius 11.

Since there is z2z2z+2||z|-2|\le|z-2|\le|z|+|2|:

So 1z21,1z3-1\le|z|-2\le1,1\le|z|\le3

Combining numbers and shapes, arg(z)[0,π6][116π,2π)\arg(z)\in[0,\frac{\pi}{6}]\cup[\frac{11}{6}\pi,2\pi)

Example 2

The complex number zz satisfies arg(z+3)=65π\arg(z+3)=\frac{6}{5}\pi, find minz+6+z3i\min|z+6|+|z-3i|.

Solution: It is easy to know that the trajectory represented by arg(z+3)=65π\arg(z+3)=\frac{6}{5}\pi is y=12(x+3)(x<3)y=-\frac{1}{2}(x+3)(x\lt-3)

The obtained z+6+z3i|z+6|+|z-3i| is equivalent to the sum of the distances from the corresponding points of zz to (6,0),(0,3)(-6,0),(0,3) in the complex plane.

Obviously minz+6+z3i=62+32=35\min |z+6|+|z-3i|=\sqrt{6^2+3^2}=3\sqrt{5} (the shortest line segment between two points).

Example 3

Given z2i1|z-2i|\le1, find maxarg(z4i)\max\arg(z-4i) Apparently maxarg(z4i)=53π\max\arg(z-4i)=\frac{5}{3}\pi

Example 4

A line ll passes through the origin. The parabola CC has its vertex at the origin and its focus on the positive xx-axis. The reflections of A(1,0)A(-1,0) and B(0,8)B(0,8) across ll both lie on CC. Find the equations of ll and CC.

Let parabola C:y2=2px(p>0)C:y^2=2px(p\gt0) and straight line l:y=kxl:y=kx.

If you consider calculating the symmetry point coordinates and then bringing them into the parabola, the calculation will be extremely complicated.

We establish a complex plane and assume that OA,OB\vec{OA'},\vec{OB'}corresponds to the complex number x1+y1i,x2+y2ix_1+y_1i,x_2+y_2i.

Apparently OAOB,OA=1,OB=8\vec{OA'}\perp\vec{OB'},|OA'|=1,|OB'|=8

Therefore x2+y2i=8i(x1+y1)x_2+y_2i=8i(x_1+y_1), then {x2=8y1,y2=8x1\begin{cases} x_2=-8y_1,\\ y_2=8x_1 \end{cases}

Bringing A,BA',B' into the parabola:

y12=2px1(1)y22=2px2(2)x2=8y1(3)y2=8x1(4)(1)(2)(3)(4):y1y2=4p2(1)(4):y12=p4y2y1=p,y2=4px1=p2x12+y12=(p2)2+p2=1,p=255C:y2=455x\begin{gathered} y_1^2=2px_1 (1)\\ y_2^2=2px_2 (2)\\ x_2=-8y_1 (3)\\ y_2=8x_1 (4)\\ \frac{(1)(2)}{(3)(4)}:-y_1y_2=4p^2\\ (1)(4):y_1^2=\frac{p}{4}y_2\\ y_1=-p,y_2=4p\\ x_1=\frac{p}{2}\\ x_1^2+y_1^2=(\frac{p}{2})^2+p^2=1,p=\frac{2\sqrt{5}}{5}\\ C:y^2=\frac{4\sqrt{5}}{5}x\\ \end{gathered}

Find the equation of the straight line below:

x1=55,y1=2551k=y10x1(1)k=x1+1y1=p2+1p=1+52l:y=1+52x\begin{gathered} x_1=\frac{\sqrt{5}}{5},y_1=-\frac{2\sqrt{5}}{5}\\ -\frac{1}{k}=\frac{y_1-0}{x_1-(-1)}\\ k=\frac{x_1+1}{-y_1}=\frac{\frac{p}{2}+1}{p}=\frac{1+\sqrt{5}}{2}\\ l:y=\frac{1+\sqrt{5}}{2}x \end{gathered}

Example 5

If point A(3,0),BA(3,0),B is on ellipse x24+y2=1\frac{x^2}{4}+y^2=1, point A,B,CA,B,C and three points are arranged in a clockwise direction, and ABC\triangle ABC is an equilateral triangle, find the trajectory of point CC.

Assume C(x,y)C(x,y), then the geometric relationship [(x3)+yi](cos60+isin60)=(xB3)+yBi[(x-3)+yi](\cos60\degree+i\sin60\degree)=(x_B-3)+y_Bi

Then {xB=3+x3232y=x3y+32yB=3(x3)2+y2=3x+y332\begin{cases} x_B=3+\frac{x-3}{2}-\frac{\sqrt{3}}{2}y=\frac{x-\sqrt{3}y+3}{2}\\ y_B=\frac{\sqrt{3}(x-3)}{2}+\frac{y}{2}=\frac{\sqrt{3}x+y-3\sqrt{3}}{2} \end{cases}

Enter the elliptic equation: (x3y+32)2+4(3x+y332)2=4(\frac{x-\sqrt{3}y+3}{2})^2+4(\frac{\sqrt{3}x+y-3\sqrt{3}}{2})^2=4

Further simplify the coefficients:

(x3y+3)2+4(3x+y33)2=16(x-\sqrt{3}y+3)^2+4(\sqrt{3}x+y-3\sqrt{3})^2=16

Example 6

Assume x,yRx, y \in R, z1=23x+xiz_1 = 2 - \sqrt{3}x + xi, z2=3y1+(3y)iz_2 = \sqrt{3}y - 1 + (\sqrt{3} - y)i, known z1=z2|z_1| = |z_2|, argz1z2=π2\arg \frac{z_1}{z_2} = \frac{\pi}{2},

(1) Find (z1+z22)100\left( \frac{z_1 + z_2}{2} \right)^{100}

(2) Assume z=z1+z22z = \frac{z_1 + z_2}{2}, find the number of elements in the set A={xx=z2k+z2k,kZ}A = \left\{ x \mid x = z^{2k} + z^{-2k}, k \in \Z \right\}.

(1)

Because arg(z1z2)=π2,z1=z2\arg(\frac{z_1}{z_2})=\frac{\pi}{2},|z_1|=|z_2|

So z1=iz2z_1=iz_2

(23x)+xi=i[(3y1)+(3y)i](2-\sqrt{3}x)+xi=i[(\sqrt{3}y-1)+(\sqrt{3}-y)i]

This gives: {23x=y3,x=3y1\begin{cases} 2-\sqrt{3}x=y-\sqrt{3},\\ x=\sqrt{3}y-1 \end{cases}

Solving gives: {x=1+32y=1+32\begin{cases} x=\frac{1+\sqrt{3}}{2}\\ y=\frac{1+\sqrt{3}}{2} \end{cases}

Therefore: {z1=132+1+32iz2=1+32+312i\begin{cases} z_1=\frac{1-\sqrt{3}}{2}+\frac{1+\sqrt{3}}{2}i\\ z_2=\frac{1+\sqrt{3}}{2}+\frac{\sqrt{3}-1}{2}i \end{cases}

Hence: (z1+z22)100=(12+32i)100=(cos60+isin60)100=cos6000+isin6000=cos240+isin240=1232i\begin{gathered} \left( \frac{z_1 + z_2}{2} \right)^{100}\\ =(\frac{1}{2}+\frac{\sqrt{3}}{2}i)^{100}\\ =(\cos60\degree+i\sin60\degree)^{100}\\ =\cos6000\degree+i\sin6000\degree\\ =\cos240\degree+i\sin240\degree\\ =-\frac{1}{2}-\frac{\sqrt{3}}{2}i \end{gathered}

Consider (12+32i)3=1(\frac{1}{2}+\frac{\sqrt{3}}{2}i)^{3}=-1 for easier calculation.

(2)

x=z2k+z2k=(cos60+isin60)2k+(cos60+isin60)2k=2cos(120k)\begin{gathered} x=z^{2k}+z^{-2k}\\ =(\cos60\degree+i\sin60\degree)^{2k}+(\cos60\degree+i\sin60\degree)^{-2k}\\ =2\cos(120k)\degree \end{gathered} Considering kZk\in\Z, there are 2 possible x=2cos(120k)x=2\cos(120k). A=2|A|=2

Let ω=12+32i\omega=-\frac{1}{2}+\frac{\sqrt{3}}{2}i

There is z=wz=-\overline{w}

x=z2k+z2k=(ω)2k+(ω)2k=(ω)2k+(ω)2k=ωk+ωk\begin{gathered} x=z^{2k}+z^{-2k}\\ =(-\overline{\omega})^{2k}+(-\overline{\omega})^{-2k}\\ =(\overline{\omega})^{2k}+(\overline{\omega})^{-2k}\\ =\omega^k+\omega^{-k} \end{gathered}

Considering k=3m,3m+1,3m+2k=3m,3m+1,3m+2, we get that xx has two possible values.

Example 7

Assume complex numbers z=cosθ+isinθ(0<θ<π)z = \cos\theta + i\sin\theta(0 < \theta < \pi), w=1(z)41+z4w = \frac{1 - (\overline{z})^4}{1 + z^4}, and w=33|w| = \frac{\sqrt{3}}{3}, argw<π2\arg w < \frac{\pi}{2}, and find θ\theta.

w=(1cos4θ)+isin4θ(1+cos4θ)+isin4θ=2sin22θ+2sin2θcos2θi2cos22θ+2sin2θcos2θi=tan2θsin2θ+icos2θcos2θ+isin2θ=tan2θcos(π22θ)+isin(π22θ)cos2θ+isin2θ=tan2θ[cos(π24θ)+isin(π24θ)]\begin{gathered} w\\ =\frac{(1-\cos4\theta)+i\sin4\theta}{(1+\cos4\theta)+i\sin4\theta}\\ =\frac{2\sin^{2}2\theta+2\sin2\theta\cos2\theta i}{2\cos^{2}2\theta+2\sin2\theta\cos2\theta i}\\ =\tan2\theta\frac{\sin2\theta+i\cos2\theta}{\cos2\theta+i\sin2\theta}\\ =\tan2\theta\frac{\cos(\frac{\pi}{2}-2\theta)+i\sin(\frac{\pi}{2}-2\theta)}{\cos2\theta+i\sin2\theta}\\ =\tan2\theta[\cos(\frac{\pi}{2}-4\theta)+i\sin(\frac{\pi}{2}-4\theta)] \end{gathered}

Requirements: tan2θ=w=33,2θ=±16π+kπ|\tan2\theta|=|w|=\frac{\sqrt{3}}{3},2\theta=\pm\frac{1}{6}\pi+k\pi

Case 1

tan2θ=33\tan2\theta=\frac{\sqrt{3}}{3}θ=112π or 712π\theta=\frac{1}{12}\pi\text{ or }\frac{7}{12}\pi w=33(cosπ6+isinπ6),arg(w)=π3<π2w=\frac{\sqrt{3}}{3}(\cos\frac{\pi}{6}+i\sin\frac{\pi}{6}),\arg(w)=\frac{\pi}{3}\lt\frac{\pi}{2}

Situation 2

tan2θ=33\tan2\theta=-\frac{\sqrt{3}}{3}θ=512π or 1112π\theta=\frac{5}{12}\pi\text{ or }\frac{11}{12}\pi w=33(cos56π+isin56π)=33(cos11π6+isin11π6)arg(w)>π2w=-\frac{\sqrt{3}}{3}(\cos\frac{5}{6}\pi+i\sin\frac{5}{6}\pi)=\frac{\sqrt{3}}{3}(\cos\frac{11\pi}{6}+i\sin\frac{11\pi}{6})\\ \arg(w)\gt\frac{\pi}{2}

To sum up, θ=112π or 712π\theta=\frac{1}{12}\pi\text{ or }\frac{7}{12}\pi

Example 8

Proof: cosπ7cos2π7+cos3π7=12\cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7} = \frac{1}{2}

Construct an equation: z71=0z^7-1=0

By de Mauve's formula: zk=cos2kπ7+isin2kπ7,k=0,1,2,...,6z_k=\cos\frac{2k\pi}{7}+i\sin\frac{2k\pi}{7},k=0,1,2,...,6

According to Vedic theorem: z0+z1+z2+...+z6=0z_0+z_1+z_2+...+z_6=0

The real part is equal to 0:

1+cos27π+cos47π+cos67π+cos87π+cos107π+cos127π=12(cosπ7cos2π7+cos3π7)=0\begin{gathered} 1+\cos\frac{2}{7}\pi+\cos\frac{4}{7}\pi+\cos\frac{6}{7}\pi+\cos\frac{8}{7}\pi+\cos\frac{10}{7}\pi+\cos\frac{12}{7}\pi\\ =1-2(\cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7})=0 \end{gathered}

Q.E.D

If you consider using trigonometric identity transformation:

cosπ7cos2π7+cos3π7=cosπ7+cos3π7+cos5π7\begin{gathered} \cos\frac{\pi}{7} - \cos\frac{2\pi}{7} + \cos\frac{3\pi}{7}\\ =\cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7} \end{gathered}

For the sum of trigonometric functions of equal angles, the solution is: multiply by ** twice the sine of half the difference angle **

2sinπ7(cosπ7+cos3π7+cos5π7)=sin2π7+sin0+sin4π7sin2π7+sin6π7sin4π7=sinπ7\begin{gathered} 2\sin\frac{\pi}{7}(\cos\frac{\pi}{7}+\cos\frac{3\pi}{7}+\cos\frac{5\pi}{7})\\ =\sin\frac{2\pi}{7}+\sin0+\sin\frac{4\pi}{7}-\sin\frac{-2\pi}{7}+\sin\frac{6\pi}{7}-\sin\frac{4\pi}{7}\\ =\sin\frac{\pi}{7} \end{gathered}

Q.E.D

Example 9

Simplify sinx+sin3x+sin5x++sin(2n1)xcosx+cos3x+cos5x++cos(2n1)x\frac{\sin x + \sin 3x + \sin 5x + \cdots + \sin(2n-1)x}{\cos x + \cos 3x + \cos 5x + \cdots + \cos(2n-1)x}.

sinx+sin3x+sin5x++sin(2n1)xcosx+cos3x+cos5x++cos(2n1)x=2sinx[sinx+sin3x+sin5x++sin(2n1)x]2sinx[cosx+cos3x+cos5x++cos(2n1)x]=[(cos2xcos0)+(cos4xcos2x)+(cos6xcos4x)+...+(cos2nxcos(2n2)x](sin2xsin0)+(sin4xsin2x)+(sin6xsin4x)+...+(sin2nxsin(2n2)x)=1cos2nxsin2nx=2sin2nx2sinnxcosnx=tannx\begin{gathered} \frac{\sin x + \sin 3x + \sin 5x + \cdots + \sin(2n-1)x}{\cos x + \cos 3x + \cos 5x + \cdots + \cos(2n-1)x}\\ =\frac{2\sin x[\sin x + \sin 3x + \sin 5x + \cdots + \sin(2n-1)x]}{2\sin x[\cos x + \cos 3x + \cos 5x + \cdots + \cos(2n-1)x]}\\ =\frac{-[(\cos2x-\cos0)+(\cos4x-\cos2x)+(\cos6x-\cos4x)+...+(\cos2nx-\cos(2n-2)x]}{(\sin2x-\sin0)+(\sin4x-\sin2x)+(\sin6x-\sin4x)+...+(\sin2nx-\sin(2n-2)x)}\\ =\frac{1-\cos2nx}{\sin2nx}\\ =\frac{2\sin^2nx}{2\sin nx\cos nx}\\ =\tan{nx} \end{gathered}

How to consider complex numbers: let z=cosx+isinxz=\cos x+i\sin x

So there are: {cosnx=zn+zn2,sinnx=znzn2i\begin{cases} \cos nx=\frac{z^n+\overline{z}^n}{2},\\ \sin nx=\frac{z^n-\overline{z}^n}{2i} \end{cases}

So the numerator:

sinx+sin3x+sin5x++sin(2n1)x=12i[(z+z3+...+z2n1)(z+z3+...+z2n1)]=12i[z2n+1zz21z2n+1zz21]=12i[z2n+1zz2zzz2n+1zz2zz]=12i[(z2n1)+(z2n1)zz]=12i(znzn)2zz=(znzn2i)22izz=sin2nxsinx\begin{gathered} \sin x + \sin 3x + \sin 5x + \cdots + \sin(2n-1)x\\ =\frac{1}{2i}[(z+z^3+...+z^{2n-1})-(\overline{z}+\overline{z}^3+...+\overline{z}^{2n-1})]\\ =\frac{1}{2i}[\frac{z^{2n+1}-z}{z^2-1}-\frac{\overline{z}^{2n+1}-\overline{z}}{\overline{z}^2-1}]\\ =\frac{1}{2i}[\frac{z^{2n+1}-z}{z^2-z\overline{z}}-\frac{\overline{z}^{2n+1}-\overline{z}}{\overline{z}^2-z\overline{z}}]\\ =\frac{1}{2i}[\frac{(z^{2n}-1)+(\overline{z}^{2n}-1)}{z-\overline{z}}]\\ =\frac{1}{2i}\frac{(z^n-\overline{z}^n)^2}{z-\overline{z}}=(\frac{z^n-\overline{z}^n}{2i})^2\frac{2i}{z-\overline{z}}=\frac{\sin^2 nx}{\sin x} \end{gathered}

The same denominator:

cosx+cos3x+cos5x++cos(2n1)x=12[(z+z3+...+z2n1)+(z+z3+...+z2n1)]=12[(z2n1)(z2n1)zz]=12[(zn+zn)(znzn)zz]=(zn+zn2)(znzn2)(2izz)=sinnxcosnxsinx\begin{gathered} \cos x + \cos 3x + \cos 5x + \cdots + \cos(2n-1)x\\ =\frac{1}{2}[(z+z^3+...+z^{2n-1})+(\overline{z}+\overline{z}^3+...+\overline{z}^{2n-1})]\\ =\frac{1}{2}[\frac{(z^{2n}-1)-(\overline{z}^{2n}-1)}{z-\overline{z}}]\\ =\frac{1}{2}[\frac{(z^n+\overline{z}^n)(z^n-\overline{z}^n)}{z-\overline{z}}]\\ =(\frac{z^n+\overline{z}^n}{2})(\frac{z^n-\overline{z}^n}{2})(\frac{2i}{z-\overline{z}})=\frac{\sin nx\cos nx}{\sin x} \end{gathered}

Divide to get tannx\tan nx

Example 10

Familiar: tanα2=1cosαsinα=sinα1+cosα\tan\frac{\alpha}{2}=\frac{1-\cos\alpha}{\sin\alpha}=\frac{\sin\alpha}{1+\cos\alpha}

Use the sum ratio theorem:

1+sinαcosα1+sinα+cosα=tanα2\frac{1 + \sin\alpha - \cos\alpha}{1 + \sin\alpha + \cos\alpha} = \tan\frac{\alpha}{2}

1+2sinαcosα1+sinα+2cosα=tanα2\frac{1 + 2\sin\alpha - \cos\alpha}{1 + \sin\alpha + 2\cos\alpha} = \tan\frac{\alpha}{2}

3+2sinα3cosα2+3sinα+2cosα=tanα2\frac{\sqrt{3} + \sqrt{2}\sin\alpha - \sqrt{3}\cos\alpha}{\sqrt{2} + \sqrt{3}\sin\alpha + \sqrt{2}\cos\alpha} = \tan\frac{\alpha}{2}