100% FREE Updated: Apr 2026 Trigonometry and Complex Numbers Complex Numbers

Geometry of complex numbers

Comprehensive study notes on Geometry of complex numbers for CMI BS Hons preparation. This chapter covers key concepts, formulas, and examples needed for your exam.

Geometry of complex numbers

This chapter explores the geometric interpretation of complex numbers within the Argand plane, a foundational skill for advanced topics in complex analysis. Mastery of these concepts, including distance, locus, and transformations, is crucial for solving a wide array of examination problems requiring geometric reasoning.

Chapter Contents

|

| Topic |

|---|-------| | 1 | Distance in Argand plane | | 2 | Locus in complex plane | | 3 | Circle and line interpretation | | 4 | Simple transformations in complex plane |

We begin with Distance in Argand plane.

Part 1: Distance in Argand plane

Distance in Argand Plane

Overview

Distance in the Argand plane is encoded by the modulus of a complex number. Once a complex number is viewed as a point, the quantity ∣z1βˆ’z2∣|z_1-z_2| becomes ordinary Euclidean distance. In exam problems, this idea is used for geometry, loci, triangle inequalities, midpoint arguments, and minimum-distance interpretation. ---

Learning Objectives

❗ By the End of This Topic

After studying this topic, you will be able to:

  • Interpret ∣z∣|z| and ∣z1βˆ’z2∣|z_1-z_2| geometrically.

  • Compute distances between points represented by complex numbers.

  • Use modulus inequalities as geometric region conditions.

  • Apply the triangle inequality in Argand-plane problems.

  • Recognize midpoint and equidistance configurations.

---

Core Distance Formula

πŸ“– Distance from the origin

If

z=x+iy\qquad z=x+iy

then the distance of the point zz from the origin is

∣z∣=x2+y2\qquad |z|=\sqrt{x^2+y^2}

πŸ“ Distance between Two Complex Numbers

If z1z_1 and z2z_2 represent two points, then the distance between them is

∣z1βˆ’z2∣\qquad |z_1-z_2|

This is the most important distance formula in complex geometry. ---

Coordinate Form

πŸ“ Cartesian Distance

If

z1=x1+iy1,z2=x2+iy2\qquad z_1=x_1+iy_1,\qquad z_2=x_2+iy_2

then

∣z1βˆ’z2∣=(x1βˆ’x2)2+(y1βˆ’y2)2\qquad |z_1-z_2|=\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}

So the distance formula in the Argand plane is exactly the usual Euclidean distance formula. ---

Geometric Meaning of Standard Modulus Conditions

πŸ“ Distance-Based Loci
    • ∣zβˆ’a∣=r\qquad |z-a|=r
means distance from aa is rr
    • ∣zβˆ’a∣<r\qquad |z-a|<r
means inside the circle centered at aa
    • ∣zβˆ’a∣>∣zβˆ’b∣\qquad |z-a|>|z-b|
means points closer to bb than to aa are excluded, so this describes one side of a perpendicular-bisector boundary
    • ∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|
means equidistant from aa and bb
---

Midpoint in Complex Form

πŸ“ Midpoint

If z1z_1 and z2z_2 represent two points, then their midpoint is represented by

z1+z22\qquad \dfrac{z_1+z_2}{2}

This is useful in symmetry and perpendicular-bisector questions. ---

Triangle Inequality

πŸ“ Triangle Inequality

For any complex numbers z1,z2z_1,z_2,

∣z1+z2βˆ£β‰€βˆ£z1∣+∣z2∣\qquad |z_1+z_2|\le |z_1|+|z_2|

A very common geometric form is

∣zβˆ’aβˆ£β‰€βˆ£zβˆ’b∣+∣bβˆ’a∣\qquad |z-a|\le |z-b|+|b-a|

This is just the triangle inequality in geometric language.
πŸ“ Reverse Triangle Inequality

Also,

∣∣z1βˆ£βˆ’βˆ£z2βˆ£βˆ£β‰€βˆ£z1βˆ’z2∣\qquad \big||z_1|-|z_2|\big|\le |z_1-z_2|

This is useful in minimum-distance arguments. ::: ---

Minimal Distance Interpretation

❗ Closest-Point Thinking

If a locus is a circle, line, or ray, then minimum-distance questions become ordinary geometry questions.

Examples:

    • distance from a point to a circle

    • distance from a point to a line

    • smallest possible value of ∣zβˆ’a∣+∣zβˆ’b∣|z-a|+|z-b|

In many such questions, drawing the Argand picture is more efficient than algebra. ---

Minimal Worked Examples

Example 1 Find the distance between 2+3i2+3i and βˆ’1+i-1+i. ∣(2+3i)βˆ’(βˆ’1+i)∣=∣3+2i∣=32+22=13\qquad |(2+3i)-(-1+i)| = |3+2i| = \sqrt{3^2+2^2}=\sqrt{13} --- Example 2 Find the midpoint of the points represented by 1+i1+i and 5βˆ’3i5-3i. (1+i)+(5βˆ’3i)2=6βˆ’2i2=3βˆ’i\qquad \dfrac{(1+i)+(5-3i)}{2} = \dfrac{6-2i}{2}=3-i So the midpoint is 3βˆ’i\qquad 3-i. ---

Standard Patterns

πŸ“ High-Value Patterns

  • Distance from origin:

∣z∣\qquad |z|

  • Distance between two points:

∣z1βˆ’z2∣\qquad |z_1-z_2|

  • Midpoint:

z1+z22\qquad \dfrac{z_1+z_2}{2}

  • Equidistance:

∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|

  • Interior/exterior of circle:

∣zβˆ’a∣<r, ∣zβˆ’a∣>r\qquad |z-a|<r,\ |z-a|>r

---

Common Mistakes

⚠️ Avoid These Errors
    • ❌ Thinking ∣z1βˆ’z2∣=∣z1βˆ£βˆ’βˆ£z2∣|z_1-z_2|=|z_1|-|z_2|
βœ… In general this is false
    • ❌ Forgetting that modulus is distance, not coordinate difference
    • ❌ Missing geometric simplification in minimum-distance problems
    • ❌ Confusing midpoint z1+z22\dfrac{z_1+z_2}{2} with distance ∣z1βˆ’z2∣2\dfrac{|z_1-z_2|}{2}
---

CMI Strategy

πŸ’‘ How to Attack These Questions

  • Convert the complex numbers into points immediately.

  • Use ∣z1βˆ’z2∣|z_1-z_2| as distance without hesitation.

  • If a modulus equation appears, ask what geometric locus it describes.

  • In optimization questions, prefer a picture before algebra.

  • Use triangle inequality only when it genuinely gives a sharp estimate.

---

Practice Questions

:::question type="MCQ" question="The distance between the points represented by 1+i1+i and 4+5i4+5i is" options=["55","13\sqrt{13}","77","17\sqrt{17}"] answer="A" hint="Use ∣z1βˆ’z2∣|z_1-z_2|." solution="The distance is ∣(4+5i)βˆ’(1+i)∣=∣3+4i∣=32+42=5\qquad |(4+5i)-(1+i)|=|3+4i|=\sqrt{3^2+4^2}=5 So the correct option is A\boxed{A}." ::: :::question type="NAT" question="If z=3βˆ’4iz=3-4i, then the distance of zz from the origin is" answer="5" hint="Use modulus." solution="The distance from the origin is ∣z∣=∣3βˆ’4i∣=32+(βˆ’4)2=9+16=5\qquad |z|=|3-4i|=\sqrt{3^2+(-4)^2}=\sqrt{9+16}=5 Hence the answer is 5\boxed{5}." ::: :::question type="MSQ" question="Which of the following are true?" options=["∣z∣|z| is the distance from the origin","∣z1βˆ’z2∣|z_1-z_2| is the distance between z1z_1 and z2z_2","z1+z22\dfrac{z_1+z_2}{2} represents the midpoint","∣z1βˆ’z2∣=∣z1βˆ£βˆ’βˆ£z2∣|z_1-z_2|=|z_1|-|z_2| always"] answer="A,B,C" hint="Only one statement is false." solution="1. True.
  • True.
  • True.
  • False in general.
  • Hence the correct answer is A,B,C\boxed{A,B,C}." ::: :::question type="SUB" question="Find the locus of points zz satisfying ∣zβˆ’(1+i)∣=∣zβˆ’(3βˆ’i)∣|z-(1+i)|=|z-(3-i)| and interpret it geometrically." answer="Perpendicular bisector of the segment joining (1,1)(1,1) and (3,βˆ’1)(3,-1); equation xβˆ’y=2x-y=2" hint="Use equidistance from two fixed points." solution="Let z=x+iyz=x+iy. Then ∣zβˆ’(1+i)∣=∣zβˆ’(3βˆ’i)∣\qquad |z-(1+i)|=|z-(3-i)| means the point (x,y)(x,y) is equidistant from (1,1)(1,1) and (3,βˆ’1)(3,-1). So the locus is the perpendicular bisector of the segment joining these points. Midpoint: (2,0)\qquad (2,0) Slope of the segment: βˆ’1βˆ’13βˆ’1=βˆ’1\qquad \dfrac{-1-1}{3-1}=-1 So the perpendicular bisector has slope 11. Equation through (2,0)(2,0): y=xβˆ’2\qquad y=x-2 Hence the Cartesian equation is xβˆ’y=2\qquad x-y=2 So the locus is the perpendicular bisector of the segment joining the two fixed points, with equation xβˆ’y=2\boxed{x-y=2}." ::: ---

    Summary

    ❗ Key Takeaways for CMI

    • In the Argand plane, modulus means distance.

    • The distance between two points is ∣z1βˆ’z2∣|z_1-z_2|.

    • Modulus inequalities often describe circles or half-plane type regions.

    • The midpoint of two complex numbers is their average.

    • Most geometry-of-modulus questions become easy once you sketch the picture.

    ---

    πŸ’‘ Next Up

    Proceeding to Locus in complex plane.

    ---

    Part 2: Locus in complex plane

    Locus in Complex Plane

    Overview

    In the complex plane, a complex number z=x+iyz=x+iy is treated as a point (x,y)(x,y). A locus problem asks for the set of all points satisfying a given condition. In CMI-style questions, the real task is to convert the condition into a geometric meaning: distance, angle, perpendicular bisector, circle, line, or ray. ---

    Learning Objectives

    ❗ By the End of This Topic

    After studying this topic, you will be able to:

    • interpret ∣zβˆ’a∣|z-a| geometrically as a distance,

    • convert algebraic conditions on zz into standard geometric loci,

    • recognize lines, circles, perpendicular bisectors, and Apollonius-type loci,

    • use argument conditions such as arg⁑(zβˆ’a)\arg(z-a) and arg⁑ ⁣(zβˆ’azβˆ’b)\arg\!\left(\dfrac{z-a}{z-b}\right),

    • solve medium to hard locus questions cleanly.

    ---

    Core Idea

    πŸ“– Complex Number as a Point

    If
    z=x+iy\qquad z = x+iy

    then zz corresponds to the point (x,y)(x,y) in the Argand plane.

    The modulus
    ∣z∣=x2+y2\qquad |z|=\sqrt{x^2+y^2}
    represents the distance of the point zz from the origin.

    πŸ“ Distance Between Two Complex Points

    If a,b∈Ca,b\in\mathbb{C}, then

    ∣zβˆ’a∣\qquad |z-a|

    is the distance between the points representing zz and aa.

    This is the most important fact in locus problems. ---

    Standard Loci from Modulus

    πŸ“ Circle and Line from Modulus

    • ∣zβˆ’a∣=r\qquad |z-a|=r


    is the circle with centre aa and radius rr.

    • ∣zβˆ’a∣<r\qquad |z-a|<r


    is the interior of that circle.

    • ∣zβˆ’a∣>∣zβˆ’b∣\qquad |z-a|>|z-b|


    means the point zz is farther from bb than from aa.

    • ∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|


    is the perpendicular bisector of the segment joining aa and bb.

    ---

    Ratio of Distances

    πŸ“ Apollonius-Type Locus

    The locus

    ∣zβˆ’azβˆ’b∣=k\qquad \left|\frac{z-a}{z-b}\right| = k

    means

    ∣zβˆ’a∣=kβ€‰βˆ£zβˆ’b∣\qquad |z-a| = k\,|z-b|

    This is:

      • a line if k=1k=1,

      • a circle if kβ‰ 1k\ne 1.

    ❗ Special Case k=1k=1

    If
    ∣zβˆ’azβˆ’b∣=1\qquad \left|\frac{z-a}{z-b}\right|=1

    then
    ∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|

    so the locus is the perpendicular bisector of the segment joining aa and bb.

    ---

    Argument-Based Loci

    πŸ“ Argument Conditions

    • arg⁑(zβˆ’a)=ΞΈ\qquad \arg(z-a)=\theta


    represents a ray starting at the point aa.

    • arg⁑ ⁣(zβˆ’azβˆ’b)=ΞΈ\qquad \arg\!\left(\frac{z-a}{z-b}\right)=\theta


    means the angle subtended by the segment abab at the point zz is ΞΈ\theta.

    This often gives an arc or part of a circle.

    ---

    Coordinate Method

    πŸ’‘ When to Switch to x+iyx+iy

    If the geometric meaning is not immediate, write
    z=x+iy\qquad z=x+iy
    and simplify using

    ∣zβˆ’a∣2=(zβˆ’a)(zβ€Ύβˆ’aβ€Ύ)\qquad |z-a|^2 = (z-a)(\overline{z}-\overline{a})

    or directly in coordinates.

    This is especially useful for obtaining Cartesian equations of circles and lines. ---

    Minimal Worked Examples

    Example 1 Find the locus of ∣zβˆ’(2+i)∣=3\qquad |z-(2+i)|=3 This is the circle with centre (2,1)(2,1) and radius 33. --- Example 2 Find the locus of ∣zβˆ’1∣=∣z+1∣\qquad |z-1|=|z+1| Let z=x+iyz=x+iy. Then ∣(xβˆ’1)+iy∣=∣(x+1)+iy∣\qquad |(x-1)+iy| = |(x+1)+iy| Squaring, (xβˆ’1)2+y2=(x+1)2+y2\qquad (x-1)^2+y^2 = (x+1)^2+y^2 So x=0\qquad x=0 Hence the locus is the imaginary axis, which is the perpendicular bisector of the segment joining 11 and βˆ’1-1. ---

    Common Patterns

    πŸ“ Patterns to Recognize

    • fixed distance from a point,

    • equal distances from two points,

    • constant ratio of distances,

    • fixed argument from a point,

    • angle subtended by two fixed points.

    ---

    Common Mistakes

    ⚠️ Avoid These Errors
      • ❌ treating ∣zβˆ’a∣|z-a| as an algebraic absolute value only,
    βœ… it is a geometric distance
      • ❌ forgetting excluded points such as z=bz=b in zβˆ’azβˆ’b\dfrac{z-a}{z-b},
    βœ… always note domain restrictions
      • ❌ assuming every argument condition gives a full line,
    βœ… many argument conditions give a ray or arc
      • ❌ squaring modulus equations carelessly,
    βœ… expand both sides carefully
    ---

    CMI Strategy

    πŸ’‘ How to Solve Fast

    • First look for a direct geometric interpretation.

    • If there is a quotient, separate modulus and argument.

    • Use perpendicular bisector and Apollonius circle ideas early.

    • Switch to coordinates only when the geometry is not immediate.

    • State the final locus geometrically, not only algebraically.

    ---

    Practice Questions

    :::question type="MCQ" question="The locus of points satisfying ∣zβˆ’2i∣=3|z-2i|=3 is" options=["a line","a circle of centre (0,2)(0,2) and radius 33","a circle of centre (2,0)(2,0) and radius 33","a ray"] answer="B" hint="Read ∣zβˆ’a∣=r|z-a|=r as a distance condition." solution="The condition ∣zβˆ’2i∣=3|z-2i|=3 means the distance of zz from the point 2i=(0,2)2i=(0,2) is 33. Hence the locus is a circle with centre (0,2)(0,2) and radius 33. Therefore the correct option is B\boxed{B}." ::: :::question type="NAT" question="If the locus of z=x+iyz=x+iy is given by ∣zβˆ’1∣=∣z+1∣|z-1|=|z+1|, find the value of xx." answer="0" hint="The point is equidistant from 11 and βˆ’1-1." solution="The condition ∣zβˆ’1∣=∣z+1∣|z-1|=|z+1| means the point zz is equidistant from the points 11 and βˆ’1-1. Hence it lies on the perpendicular bisector of the segment joining them, which is the imaginary axis. Therefore x=0\boxed{x=0}." ::: :::question type="MSQ" question="Which of the following statements are true?" options=["∣zβˆ’a∣=r|z-a|=r represents a circle","∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| represents the perpendicular bisector of the segment joining aa and bb","∣zβˆ’azβˆ’b∣=1\left|\dfrac{z-a}{z-b}\right|=1 represents the set of points equidistant from aa and bb","arg⁑(zβˆ’a)=ΞΈ\arg(z-a)=\theta always represents a full line"] answer="A,B,C" hint="Check the geometric meaning of modulus and argument." solution="1. True. Fixed distance from a point gives a circle.
  • True. Equal distance from two fixed points gives the perpendicular bisector.
  • True, because it is equivalent to ∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b|.
  • False. arg⁑(zβˆ’a)=ΞΈ\arg(z-a)=\theta usually gives a ray, not a full line.
  • Hence the correct answer is A,B,C\boxed{A,B,C}." ::: :::question type="SUB" question="Find the locus of points zz satisfying ∣zβˆ’1∣=∣zβˆ’i∣|z-1|=|z-i|." answer="The perpendicular bisector of the segment joining (1,0)(1,0) and (0,1)(0,1), namely x=yx=y" hint="Equidistance from two fixed points gives a perpendicular bisector." solution="Let z=x+iyz=x+iy. The condition is ∣zβˆ’1∣=∣zβˆ’i∣\qquad |z-1|=|z-i| So ∣(xβˆ’1)+iy∣=∣x+i(yβˆ’1)∣\qquad |(x-1)+iy| = |x+i(y-1)| Squaring both sides gives (xβˆ’1)2+y2=x2+(yβˆ’1)2\qquad (x-1)^2+y^2 = x^2+(y-1)^2 Expanding, x2βˆ’2x+1+y2=x2+y2βˆ’2y+1\qquad x^2-2x+1+y^2 = x^2+y^2-2y+1 Hence βˆ’2x=βˆ’2y\qquad -2x = -2y So x=y\qquad x=y Therefore the locus is the line x=y\boxed{x=y}, which is the perpendicular bisector of the segment joining (1,0)(1,0) and (0,1)(0,1)." ::: ---

    Summary

    ❗ Key Takeaways for CMI

    • ∣zβˆ’a∣|z-a| is a distance.

    • Fixed distance gives a circle.

    • Equal distances give a perpendicular bisector.

    • A constant ratio of distances gives a line or circle.

    • Argument conditions describe directions and subtended angles.

    • In complex locus problems, geometry should come before algebra whenever possible.

    ---

    πŸ’‘ Next Up

    Proceeding to Circle and line interpretation.

    ---

    Part 3: Circle and line interpretation

    Circle and Line Interpretation

    Overview

    In the geometry of complex numbers, equations in zz often represent familiar geometric objects in the Argand plane. The most important skill is to translate an algebraic condition such as ∣zβˆ’a∣=r|z-a|=r or ∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| into a geometric picture. In exam problems, this topic is less about raw calculation and more about correct interpretation. ---

    Learning Objectives

    ❗ By the End of This Topic

    After studying this topic, you will be able to:

    • Interpret modulus conditions geometrically in the Argand plane.

    • Recognize equations representing circles, lines, and perpendicular bisectors.

    • Use real-part and imaginary-part conditions to identify straight lines.

    • Understand constant-angle loci in complex form.

    • Move between algebraic and geometric descriptions of loci.

    ---

    Basic Setup

    πŸ“– Argand Plane Representation

    A complex number

    z=x+iy\qquad z = x+iy

    is represented by the point (x,y)(x,y) in the Argand plane.

    So:

      • Re⁑(z)=x\operatorname{Re}(z)=x

      • Im⁑(z)=y\operatorname{Im}(z)=y

      • ∣z∣=x2+y2|z|=\sqrt{x^2+y^2}

    ---

    Circle Interpretation

    πŸ“ Standard Circle Form

    If aa is a fixed complex number and r>0r>0, then

    ∣zβˆ’a∣=r\qquad |z-a|=r

    represents the circle with:

      • center aa

      • radius rr

    This is the most important circle interpretation in complex geometry. Reason: ∣zβˆ’a∣|z-a| is the distance between the point zz and the fixed point aa. ---

    Interior and Exterior of a Circle

    πŸ“ Inside and Outside
      • ∣zβˆ’a∣<r\qquad |z-a|<r gives the interior of the circle
      • ∣zβˆ’aβˆ£β‰€r\qquad |z-a|\le r gives the closed disc
      • ∣zβˆ’a∣>r\qquad |z-a|>r gives the exterior of the circle
    ---

    Line Interpretation from Equal Distances

    πŸ“ Perpendicular Bisector

    If aa and bb are fixed complex numbers, then

    ∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|

    represents the set of points equidistant from aa and bb.

    Geometrically, this is the perpendicular bisector of the segment joining aa and bb.

    This is one of the most tested locus forms. ---

    Horizontal and Vertical Lines

    πŸ“ Real and Imaginary Part Conditions
      • Re⁑(z)=k\qquad \operatorname{Re}(z)=k represents the vertical line x=kx=k
      • Im⁑(z)=k\qquad \operatorname{Im}(z)=k represents the horizontal line y=ky=k
    More generally:
    • Re⁑(az+b)=c\qquad \operatorname{Re}(az+b)=c
    • Im⁑(az+b)=c\qquad \operatorname{Im}(az+b)=c
    represent straight lines, provided a≠0a\ne0. ::: ---

    Rays and Directed Angle Conditions

    πŸ“ Argument Conditions

    If aa is fixed and ΞΈ\theta is fixed, then

    arg⁑(zβˆ’a)=ΞΈ\qquad \arg(z-a)=\theta

    represents a ray starting from the point aa and making angle ΞΈ\theta with the positive real axis.

    This is not a full line; it is a half-line. ---

    Constant Angle and Circle Arc

    πŸ“ Fixed-Angle Locus

    If aa and bb are fixed complex numbers, then

    arg⁑ ⁣(zβˆ’azβˆ’b)=Ξ±\qquad \arg\!\left(\dfrac{z-a}{z-b}\right)=\alpha

    means that the angle between the segments joining zz to aa and zz to bb is constant.

    So the locus is an arc of a circle through the points aa and bb.

    This is the complex-number version of the fixed-angle locus in geometry. ---

    General Circle Equation in Complex Form

    πŸ“ Expanded Circle Form

    A circle can also be written as

    zzβ€Ύ+Ξ±β€Ύz+Ξ±zβ€Ύ+Ξ²=0\qquad z\overline{z} + \overline{\alpha}z + \alpha\overline{z} + \beta = 0

    where Ξ²\beta is real.

    This is the complex analogue of the usual coordinate equation of a circle.

    In most exam problems, however, the form ∣zβˆ’a∣=r|z-a|=r is much easier and more useful. ---

    Minimal Worked Examples

    Example 1 Interpret ∣zβˆ’(2βˆ’i)∣=3\qquad |z-(2-i)|=3 This is the circle with center 2βˆ’i\qquad 2-i and radius 3\qquad 3 --- Example 2 Interpret ∣zβˆ’1∣=∣z+1∣\qquad |z-1|=|z+1| The fixed points are 11 and βˆ’1-1 on the real axis. So the locus is the perpendicular bisector of the segment joining them, namely the imaginary axis. Thus the locus is Re⁑(z)=0\qquad \operatorname{Re}(z)=0 ---

    Standard Patterns

    πŸ“ High-Value Patterns

    • ∣zβˆ’a∣=r\qquad |z-a|=r

    gives a circle

    • ∣zβˆ’a∣=∣zβˆ’b∣\qquad |z-a|=|z-b|

    gives a perpendicular bisector

    • Re⁑(z)=k\qquad \operatorname{Re}(z)=k

    gives a vertical line

    • Im⁑(z)=k\qquad \operatorname{Im}(z)=k

    gives a horizontal line

    • arg⁑(zβˆ’a)=ΞΈ\qquad \arg(z-a)=\theta

    gives a ray

    • arg⁑ ⁣(zβˆ’azβˆ’b)=Ξ±\qquad \arg\!\left(\dfrac{z-a}{z-b}\right)=\alpha

    gives an arc of a circle

    ---

    Common Mistakes

    ⚠️ Avoid These Errors
      • ❌ Treating arg⁑(zβˆ’a)=ΞΈ\arg(z-a)=\theta as a full line
    βœ… It is a ray from the point aa
      • ❌ Forgetting that ∣zβˆ’a∣|z-a| means distance from aa
    βœ… Always locate the center first
      • ❌ Confusing ∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| with a circle
    βœ… It is a line: the perpendicular bisector
      • ❌ Missing the geometric meaning of zβˆ’azβˆ’b\dfrac{z-a}{z-b}
    βœ… It encodes relative distance and angle
    ---

    CMI Strategy

    πŸ’‘ How to Attack These Questions

    • First rewrite the condition in plain geometry language.

    • Ask what fixed points are involved.

    • Identify whether the condition fixes a distance, equality of distances, or an angle.

    • Use the simplest standard picture: circle, line, ray, or arc.

    • Only move to coordinate algebra if geometry alone is not enough.

    ---

    Practice Questions

    :::question type="MCQ" question="The locus of zz satisfying ∣zβˆ’(1+2i)∣=4|z-(1+2i)|=4 is" options=["a line","a circle","a parabola","a ray"] answer="B" hint="Interpret modulus as distance." solution="∣zβˆ’(1+2i)∣|z-(1+2i)| is the distance of the point zz from the fixed point 1+2i1+2i. So the locus is the circle centered at 1+2i1+2i with radius 44. Hence the correct option is B\boxed{B}." ::: :::question type="NAT" question="The locus ∣zβˆ’2∣=∣z+2∣|z-2|=|z+2| is the line Re⁑(z)=β€Ύ\operatorname{Re}(z)=\underline{\qquad}." answer="0" hint="Think perpendicular bisector." solution="The points 22 and βˆ’2-2 lie on the real axis. The set of points equidistant from them is the perpendicular bisector of the segment joining them, namely the imaginary axis. So the equation is Re⁑(z)=0\operatorname{Re}(z)=0. Hence the answer is 0\boxed{0}." ::: :::question type="MSQ" question="Which of the following statements are true?" options=["∣zβˆ’a∣=r|z-a|=r represents a circle","∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| represents a perpendicular bisector","Im⁑(z)=k\operatorname{Im}(z)=k is a vertical line","arg⁑(zβˆ’a)=ΞΈ\arg(z-a)=\theta represents a ray"] answer="A,B,D" hint="Interpret each condition geometrically." solution="1. True.
  • True.
  • False, because Im⁑(z)=k\operatorname{Im}(z)=k is a horizontal line.
  • True.
  • Hence the correct answer is A,B,D\boxed{A,B,D}." ::: :::question type="SUB" question="Interpret geometrically the locus ∣zβˆ’(1+i)∣=∣zβˆ’(3βˆ’i)∣|z-(1+i)|=|z-(3-i)| and find its Cartesian equation." answer="Perpendicular bisector of the segment joining (1,1)(1,1) and (3,βˆ’1)(3,-1); equation xβˆ’y=1x-y=1" hint="Square the distances or use midpoint-slope geometry." solution="The fixed points are (1,1)(1,1) and (3,βˆ’1)(3,-1). The locus of points equidistant from them is the perpendicular bisector of the segment joining them. Midpoint: (1+32,1+(βˆ’1)2)=(2,0)\qquad \left(\dfrac{1+3}{2},\dfrac{1+(-1)}{2}\right)=(2,0) Slope of the segment: βˆ’1βˆ’13βˆ’1=βˆ’1\qquad \dfrac{-1-1}{3-1}=-1 So the perpendicular bisector has slope 11. Equation through (2,0)(2,0): y=xβˆ’2\qquad y=x-2 So the Cartesian form is xβˆ’y=2\qquad x-y=2 Therefore the locus is the perpendicular bisector of the segment joining the two fixed points, and its equation is xβˆ’y=2\boxed{x-y=2}." ::: ---

    Summary

    ❗ Key Takeaways for CMI

    • ∣zβˆ’a∣=r|z-a|=r is the standard circle interpretation.

    • ∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| is the perpendicular bisector of two fixed points.

    • Real-part and imaginary-part equations give lines.

    • Argument conditions usually describe rays or circular arcs.

    • Most problems are solved by translating algebra into geometry first.

    ---

    πŸ’‘ Next Up

    Proceeding to Simple transformations in complex plane.

    ---

    Part 4: Simple transformations in complex plane

    Simple Transformations in Complex Plane

    Overview

    Complex numbers give a very efficient language for planar transformations. Multiplication by a complex number rotates and scales, while addition translates. In CMI-style problems, the key is to read expressions such as z+az+a, Ξ»z\lambda z, and eiΞΈze^{i\theta}z geometrically rather than algebraically. ---

    Learning Objectives

    ❗ By the End of This Topic

    After studying this topic, you will be able to:

    • interpret addition as translation,

    • interpret multiplication by a real number as scaling,

    • interpret multiplication by ii and eiΞΈe^{i\theta} as rotation,

    • combine translation, scaling, and rotation in one expression,

    • track images of points and simple loci under transformations.

    ---

    Core Transformations

    πŸ“ Translation

    The map
    z↦z+a\qquad z \mapsto z+a

    translates every point by the vector represented by aa.

    If a=u+iva=u+iv, then each point moves by (u,v)(u,v). ---
    πŸ“ Scaling

    The map
    z↦λz\qquad z \mapsto \lambda z

    with real λ\lambda scales distances from the origin by the factor ∣λ∣|\lambda|.

      • if Ξ»>0\lambda>0, the direction is preserved,

      • if Ξ»<0\lambda<0, there is also a half-turn.

    ---
    πŸ“ Rotation About the Origin

    The map
    z↦eiΞΈz\qquad z \mapsto e^{i\theta}z

    rotates the plane about the origin through angle ΞΈ\theta.

    In particular,
    z↦iz\qquad z \mapsto iz

    is rotation by 90∘90^\circ anticlockwise.

    ---

    Polar Form View

    ❗ Why Multiplication Works Geometrically

    If
    z=r(cos⁑ϕ+isin⁑ϕ)\qquad z = r(\cos\phi + i\sin\phi)

    then

    eiΞΈz=r(cos⁑(Ο•+ΞΈ)+isin⁑(Ο•+ΞΈ))\qquad e^{i\theta}z = r(\cos(\phi+\theta)+i\sin(\phi+\theta))

    So multiplication by eiΞΈe^{i\theta} adds ΞΈ\theta to the argument and keeps the modulus unchanged.

    ---

    Combined Transformations

    πŸ“ Scaling and Rotation Together

    The map
    z↦w=Ξ±z\qquad z \mapsto w=\alpha z

    where Ξ±β‰ 0\alpha \ne 0:

      • multiplies distances by ∣α∣|\alpha|,

      • rotates angles by arg⁑(Ξ±)\arg(\alpha).

    So if Ξ±=reiΞΈ\qquad \alpha = re^{i\theta} then the map is:
  • scaling by rr,
  • rotation by ΞΈ\theta.
  • ::: ---

    Rotation About Another Point

    πŸ“ Rotation About aa

    To rotate a point zz about the point aa through angle ΞΈ\theta, use

    wβˆ’a=eiΞΈ(zβˆ’a)\qquad w-a = e^{i\theta}(z-a)

    or equivalently,

    w=a+eiΞΈ(zβˆ’a)\qquad w = a + e^{i\theta}(z-a)

    This is one of the most important formulas in geometry-of-complex-numbers problems. ---

    Reflection Notes

    ❗ Simple Reflection Facts

    At this level, the most common reflections are:

      • reflection in the real axis:

    z↦zβ€Ύ\qquad z \mapsto \overline{z}

      • reflection in the imaginary axis:

    zβ†¦βˆ’zβ€Ύ\qquad z \mapsto -\overline{z}

    These are useful, but translation, rotation, and scaling appear much more often in elementary problems. ---

    Minimal Worked Examples

    Example 1 Describe the transformation z↦z+(2βˆ’3i)\qquad z \mapsto z+(2-3i) This is translation by the vector (2,βˆ’3)(2,-3). --- Example 2 Describe the transformation z↦iz\qquad z \mapsto iz Since i=eiΟ€/2\qquad i = e^{i\pi/2}, this is rotation by 90∘90^\circ anticlockwise about the origin. --- Example 3 Describe the transformation z↦(1+i)z\qquad z \mapsto (1+i)z Now ∣1+i∣=2\qquad |1+i|=\sqrt{2} and arg⁑(1+i)=Ο€4\qquad \arg(1+i)=\dfrac{\pi}{4} So the map is:
    • scaling by factor 2\sqrt{2},
      • rotation by 45∘45^\circ anticlockwise about the origin.
      ---

      Images of Sets

      πŸ’‘ How to Track a Locus

      To find the image of a set under a transformation:

      • understand what the transformation does geometrically,

      • transform the centre, radius, direction, or endpoints,

      • write the new geometric object directly.

      For example:
      • translation sends circles to circles,
      • rotation sends lines and circles to lines and circles,
      • scaling changes radius and distance from the origin.
      ::: ---

      Common Patterns

      πŸ“ Patterns to Recognize

      • translation by a fixed complex number,

      • multiplication by ii,

      • multiplication by reiΞΈre^{i\theta},

      • rotation about a point,

      • image of a circle or line under a simple transformation.

      ---

      Common Mistakes

      ⚠️ Avoid These Errors
        • ❌ thinking z↦izz\mapsto iz changes modulus,
      βœ… it only rotates
        • ❌ forgetting that multiplication acts about the origin,
      βœ… use wβˆ’a=eiΞΈ(zβˆ’a)w-a=e^{i\theta}(z-a) for rotation about another point
        • ❌ ignoring the modulus of the multiplier,
      βœ… ∣α∣|\alpha| gives scaling factor
        • ❌ confusing translation with multiplication,
      βœ… addition translates, multiplication rotates/scales
      ---

      CMI Strategy

      πŸ’‘ How to Solve Fast

      • First rewrite the multiplier in polar form if needed.

      • Separate translation from multiplication.

      • Decide whether the map is acting about the origin or another point.

      • Describe the transformation geometrically before doing algebra.

      • Only then compute images of specific points or loci.

      ---

      Practice Questions

      :::question type="MCQ" question="The transformation z↦izz\mapsto iz represents" options=["translation by ii","rotation by 90∘90^\circ anticlockwise about the origin","reflection in the real axis","scaling by factor 22"] answer="B" hint="Write i=eiΟ€/2i=e^{i\pi/2}." solution="Since i=eiΟ€/2i=e^{i\pi/2}, multiplication by ii rotates every point by 90∘90^\circ anticlockwise about the origin. Hence the correct option is B\boxed{B}." ::: :::question type="NAT" question="Under the map z↦z+(3βˆ’2i)z\mapsto z+(3-2i), the origin moves to which point? Enter the answer in the form a+bia+bi." answer="3-2i" hint="Add the translation vector to 00." solution="The image of the origin is 0+(3βˆ’2i)=3βˆ’2i\qquad 0+(3-2i)=3-2i Hence the answer is 3βˆ’2i\boxed{3-2i}." ::: :::question type="MSQ" question="Which of the following statements are true?" options=["z↦z+az\mapsto z+a is a translation","z↦eiΞΈzz\mapsto e^{i\theta}z is a rotation about the origin","z↦λzz\mapsto \lambda z with real Ξ»>0\lambda>0 is a scaling about the origin","z↦zβ€Ύz\mapsto \overline{z} is reflection in the real axis"] answer="A,B,C,D" hint="Interpret each map geometrically." solution="1. True. Addition by a fixed complex number translates every point.
    • True. Multiplication by eiΞΈe^{i\theta} rotates about the origin.
    • True. Positive real multiplication scales distances from the origin.
    • True. Complex conjugation reflects in the real axis.
    • Hence the correct answer is A,B,C,D\boxed{A,B,C,D}." ::: :::question type="SUB" question="Describe the transformation z↦(1+i)zz\mapsto (1+i)z geometrically." answer="Rotation by 45∘45^\circ anticlockwise about the origin followed by scaling by factor 2\sqrt{2}" hint="Write 1+i1+i in polar form." solution="We write 1+i=2(cos⁑π4+isin⁑π4)=2 eiΟ€/4\qquad 1+i = \sqrt{2}\left(\cos\frac{\pi}{4}+i\sin\frac{\pi}{4}\right)=\sqrt{2}\,e^{i\pi/4} Hence the map z↦(1+i)z\qquad z \mapsto (1+i)z multiplies each modulus by 2\sqrt{2} and increases each argument by Ο€4\dfrac{\pi}{4}. Therefore it is a rotation by 45∘45^\circ anticlockwise about the origin together with scaling by factor 2\boxed{\sqrt{2}}." ::: ---

      Summary

      ❗ Key Takeaways for CMI

      • Addition translates.

      • Multiplication by a positive real scales.

      • Multiplication by eiΞΈe^{i\theta} rotates about the origin.

      • Multiplication by a general nonzero complex number combines scaling and rotation.

      • Rotation about another point uses w=a+eiΞΈ(zβˆ’a)w=a+e^{i\theta}(z-a).

      • Geometry should be read directly from the complex expression.

      ---

      Chapter Summary

      ❗ Geometry of complex numbers β€” Key Points

      The geometric interpretation of ∣z1βˆ’z2∣|z_1 - z_2| as the distance between points z1z_1 and z2z_2 is fundamental for defining loci in the Argand plane.
      Standard loci, including circles (∣zβˆ’c∣=r|z-c|=r or zzΛ‰+Ξ±z+Ξ±Λ‰zΛ‰+k=0z\bar{z} + \alpha z + \bar{\alpha}\bar{z} + k = 0), lines (∣zβˆ’a∣=∣zβˆ’b∣|z-a|=|z-b| or Re⁑(Ξ±z)=k\operatorname{Re}(\alpha z) = k), rays (arg⁑(zβˆ’a)=ΞΈ\operatorname{arg}(z-a)=\theta), and arcs (arg⁑(zβˆ’azβˆ’b)=ΞΈ\operatorname{arg}\left(\frac{z-a}{z-b}\right)=\theta), are critical for problem-solving.
      Complex number operations have clear geometric meanings: addition as vector addition, and multiplication by reiΞΈre^{i\theta} as rotation by ΞΈ\theta and scaling by rr.
      Simple transformations such as translation (z↦z+cz \mapsto z+c), rotation (z↦zeiΞΈz \mapsto ze^{i\theta}), reflection (z↦zΛ‰z \mapsto \bar{z}), and inversion (z↦1/zz \mapsto 1/z) can be effectively analyzed using complex numbers.
      Geometric conditions like collinearity, perpendicularity, and properties of triangles and quadrilaterals can be elegantly expressed and proven using complex number identities.
      The triangle inequality, ∣z1+z2βˆ£β‰€βˆ£z1∣+∣z2∣|z_1 + z_2| \le |z_1| + |z_2| and its variations, provides powerful tools for bounding distances and magnitudes in geometric contexts.

      ---

      Chapter Review Questions

      :::question type="MCQ" question="What is the locus of zz if ∣zβˆ’1∣+∣z+1∣=4|z-1| + |z+1| = 4?" options=["A circle centered at the origin", "An ellipse with foci at (1,0)(1,0) and (βˆ’1,0)(-1,0)", "A hyperbola", "A line segment"] answer="An ellipse with foci at (1,0)(1,0) and (βˆ’1,0)(-1,0)" hint="Recall the definition of an ellipse based on distances from foci." solution="The equation ∣zβˆ’1∣+∣z+1∣=4|z-1| + |z+1| = 4 represents the set of all points zz such that the sum of its distances from two fixed points 11 and βˆ’1-1 is constant and equal to 44. This is the definition of an ellipse with foci at F1=1F_1 = 1 (i.e., (1,0)(1,0)) and F2=βˆ’1F_2 = -1 (i.e., (βˆ’1,0)(-1,0)). The constant sum of distances is 2a=42a = 4, so a=2a=2. The distance between foci is 2c=∣1βˆ’(βˆ’1)∣=22c = |1 - (-1)| = 2, so c=1c=1."
      :::

      :::question type="NAT" question="Let zz be a complex number such that ∣zβˆ’3∣=1|z-3|=1. If w=1zw = \frac{1}{z}, what is the maximum value of ∣w∣|w|?" answer="0.5" hint="Interpret ∣zβˆ’3∣=1|z-3|=1 geometrically and relate it to ∣w∣|w|. To maximize ∣w∣|w|, minimize ∣z∣|z|." solution="The equation ∣zβˆ’3∣=1|z-3|=1 represents a circle centered at C=(3,0)C=(3,0) with radius R=1R=1. We want to find the maximum value of ∣w∣=∣1z∣=1∣z∣|w| = \left|\frac{1}{z}\right| = \frac{1}{|z|}. This maximum occurs when ∣z∣|z| is minimized. The minimum value of ∣z∣|z| for points on the circle is the distance from the origin to the closest point on the circle. This point is z=3βˆ’1=2z = 3-1 = 2. So, min⁑∣z∣=2\min|z|=2. Thus, the maximum value of ∣w∣|w| is 1min⁑∣z∣=12=0.5\frac{1}{\min|z|} = \frac{1}{2} = 0.5."
      :::

      :::question type="MCQ" question="If z1,z2,z3z_1, z_2, z_3 are the vertices of an equilateral triangle in the Argand plane, which of the following relations holds true?" options=["z12+z22+z32=z1z2+z2z3+z3z1z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1", "z1+z2+z3=0z_1 + z_2 + z_3 = 0", "∣z1βˆ’z2∣2=∣z2βˆ’z3∣2+∣z3βˆ’z1∣2|z_1-z_2|^2 = |z_2-z_3|^2 + |z_3-z_1|^2", "z1z2z3=1z_1z_2z_3 = 1"] answer="z12+z22+z32=z1z2+z2z3+z3z1z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1" hint="Consider the conditions for an equilateral triangle involving cube roots of unity, or the rotational properties of its sides." solution="For an equilateral triangle, the condition (z1+Ο‰z2+Ο‰2z3)(z1+Ο‰2z2+Ο‰z3)=0(z_1 + \omega z_2 + \omega^2 z_3)(z_1 + \omega^2 z_2 + \omega z_3) = 0 holds, where Ο‰=ei2Ο€/3\omega = e^{i2\pi/3} is a primitive cube root of unity. Expanding this product, and using the properties Ο‰3=1\omega^3=1 and 1+Ο‰+Ο‰2=01+\omega+\omega^2=0 (which implies Ο‰+Ο‰2=βˆ’1\omega+\omega^2=-1), we get:
      z12+z22+z32+(Ο‰2+Ο‰)z1z2+(Ο‰2+Ο‰)z2z3+(Ο‰2+Ο‰)z3z1=0z_1^2 + z_2^2 + z_3^2 + (\omega^2+\omega)z_1z_2 + (\omega^2+\omega)z_2z_3 + (\omega^2+\omega)z_3z_1 = 0
      z12+z22+z32βˆ’z1z2βˆ’z2z3βˆ’z3z1=0z_1^2 + z_2^2 + z_3^2 - z_1z_2 - z_2z_3 - z_3z_1 = 0
      Therefore, z12+z22+z32=z1z2+z2z3+z3z1z_1^2 + z_2^2 + z_3^2 = z_1z_2 + z_2z_3 + z_3z_1."
      :::

      :::question type="NAT" question="A square in the Argand plane has vertices at 0,1,1+i,i0, 1, 1+i, i. If this square is transformed by the mapping w=(1+i)zw = (1+i)z, what is the area of the transformed region?" answer="2" hint="Consider how scaling and rotation by a complex number affect the area of a geometric figure." solution="The original square has side length 11 and an area of 12=11^2 = 1. The transformation w=(1+i)zw = (1+i)z involves multiplication by the complex number k=1+ik = 1+i. This transformation scales the lengths of all figures by a factor of ∣k∣|k| and rotates them by arg⁑(k)\operatorname{arg}(k). The area of the transformed region is scaled by a factor of ∣k∣2|k|^2.
      Here, ∣k∣=∣1+i∣=12+12=2|k| = |1+i| = \sqrt{1^2+1^2} = \sqrt{2}.
      Therefore, the area scaling factor is ∣k∣2=(2)2=2|k|^2 = (\sqrt{2})^2 = 2.
      The area of the transformed region is 2Γ—(originalΒ area)=2Γ—1=22 \times (\text{original area}) = 2 \times 1 = 2."
      :::

      ---

      What's Next?

      πŸ’‘ Continue Your CMI Journey

      Building on the geometric intuition developed here, the next chapters will delve deeper into the algebraic properties of complex numbers, specifically exploring roots of unity and complex polynomials, where geometric symmetry plays a crucial role. Furthermore, the interplay between complex numbers and trigonometry will become more apparent as we utilize Euler's formula and De Moivre's theorem to simplify trigonometric identities and solve equations. A strong grasp of the Argand plane is also foundational for understanding complex functions and transformations, which are explored in advanced topics.

    🎯 Key Points to Remember

    • βœ“ Master the core concepts in Geometry of complex numbers before moving to advanced topics
    • βœ“ Practice with previous year questions to understand exam patterns
    • βœ“ Review short notes regularly for quick revision before exams

    Related Topics in Trigonometry and Complex Numbers

    More Resources

    Why Choose MastersUp?

    🎯

    AI-Powered Plans

    Personalized study schedules based on your exam date and learning pace

    πŸ“š

    15,000+ Questions

    Verified questions with detailed solutions from past papers

    πŸ“Š

    Smart Analytics

    Track your progress with subject-wise performance insights

    πŸ”–

    Bookmark & Revise

    Save important questions for quick revision before exams

    Start Your Free Preparation β†’

    No credit card required β€’ Free forever for basic features