Logo
Published on

Extreme Arguments of a Complex Disk

Authors
  • avatar
    Name
    Vu Hung
    Twitter

Problem Statement

Consider the region R\mathcal{R} in the complex plane defined by z(23+2i)2|z - (2\sqrt{3} + 2i)| \leq 2.

  • Describe the region R\mathcal{R} geometrically (what shape? center? radius?).
  • Find the maximum and minimum values of arg(z)\arg(z) for zRz \in \mathcal{R}, where π<arg(z)π-\pi < \arg(z) \leq \pi.
  • Find the complex number zz associated with the maximum argument in part (b) in the form x+iyx + iy.

Hints

(a) The inequality zwr|z - w| \leq r represents a disk (filled circle) in the complex plane.

(b) Find arg(C)\arg(C) where C=23+2iC = 2\sqrt{3} + 2i is the center. The max/min arguments occur at tangent lines from the origin to the circle. Use the right triangle formed by the origin, center, and tangent point.

(c) The point with maximum argument lies on the ray from OO with angle argmax\arg_{\max} found in (b), at distance OC2r2\sqrt{|OC|^2 - r^2} from origin.


Solutions

(a) Geometric Description:

The region is a closed disk (circle plus interior) with:

  • Center: C=23+2iC = 2\sqrt{3} + 2i (which is (23,2)(2\sqrt{3}, 2) in Cartesian coordinates)
  • Radius: r=2r = 2

Distance from origin to center: OC=(23)2+22=12+4=4|OC| = \sqrt{(2\sqrt{3})^2 + 2^2} = \sqrt{12 + 4} = 4.

Since OC=4>r=2|OC| = 4 > r = 2, the origin lies outside the circle.

(b) Max and Min Arguments:

The argument of the center is:

arg(C)=arctan(223)=arctan(13)=π6\arg(C) = \arctan\left(\frac{2}{2\sqrt{3}}\right) = \arctan\left(\frac{1}{\sqrt{3}}\right) = \frac{\pi}{6}

The tangent lines from OO to the circle create a right triangle with:

  • Hypotenuse: OC=4|OC| = 4
  • Opposite side (radius): r=2r = 2

The angle θ\theta from OCOC to the tangent satisfies:

sinθ=rOC=24=12    θ=π6\sin \theta = \frac{r}{|OC|} = \frac{2}{4} = \frac{1}{2} \implies \theta = \frac{\pi}{6}

Therefore:

argmax=π6+π6=π3argmin=π6π6=0\begin{aligned} \arg_{\max} &= \frac{\pi}{6} + \frac{\pi}{6} = \frac{\pi}{3} \\ \arg_{\min} &= \frac{\pi}{6} - \frac{\pi}{6} = 0 \end{aligned}

(c) Complex Number for Max Argument:

The tangent point distance from origin:

OP=OC2r2=164=12=23|OP| = \sqrt{|OC|^2 - r^2} = \sqrt{16 - 4} = \sqrt{12} = 2\sqrt{3}

The point lies on the ray with argument π/3\pi/3:

z=23eiπ/3=23(cosπ3+isinπ3)=23(12+i32)=3+3i\begin{aligned} z &= 2\sqrt{3} \cdot e^{i\pi/3} = 2\sqrt{3}\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right) \\ &= 2\sqrt{3}\left(\frac{1}{2} + i\frac{\sqrt{3}}{2}\right) \\ &= \sqrt{3} + 3i \end{aligned}

Answer: z=3+3iz = \sqrt{3} + 3i. \blacksquare


Takeaways

  • Reconstruct the full proof from the hint and the solution outline, and justify every transformation explicitly.
  • Check edge cases and verify where each assumption is used in the argument.

Further Readings

If you found this proof interesting, be sure to check out these relevant HSC booklets to sharpen your reasoning skills:


Connect with me

If you're eager for more HSC Maths insights, be sure to check out my LinkedIn. For deeper dives and regular tips, join my Instagram. Let's tackle these challenging math problems together! You can also catch my daily math content on Website - Vu's Maths Hub.