Academy
Formulas/maths/M4a Geometry/Rotation Theorem (Coni Method)

Rotation Theorem (Coni Method)

α is the angle through which the segment z₁z₂ must be rotated anticlockwise about z₁ to reach the segment z₁z₃. If the triangle z₁z₂z₃ is isoceles with |z₃−z₁| = |z₂−z₁|, the ratio simplifies to e^(iα). This is the single most powerful tool in complex geometry.
Derivation

The Coni method is not a separate theorem. It is a direct consequence of one fact about complex multiplication: multiplying by eiαe^{i\alpha} rotates a vector by α\alpha anticlockwise without changing its length.

The Core Fact

Let w=reiαw = re^{i\alpha}. Multiplying any complex number zz by ww:

wz=reiαzeiθ=rzei(θ+α)wz = re^{i\alpha} \cdot |z|e^{i\theta} = r|z|\, e^{i(\theta + \alpha)}

The result has modulus rzr|z| and argument θ+α\theta + \alpha. The angle increased by exactly α\alpha. The length scaled by rr.

When r=1r = 1, the multiplication eiαze^{i\alpha} \cdot z is a pure rotation — same length, angle increased by α\alpha.

Setting Up the Rotation

Let z1z_1, z2z_2, z3z_3 be three points in the complex plane. We want to describe the relationship: the segment z1z3z_1 z_3 is obtained by rotating segment z1z2z_1 z_2 about z1z_1 through angle α\alpha and scaling by factor kk.

First, translate so z1z_1 is at the origin. The vectors from z1z_1 are:

v2=z2z1,v3=z3z1\vec{v}_2 = z_2 - z_1, \qquad \vec{v}_3 = z_3 - z_1

The rotation-scaling that takes v2\vec{v}_2 to v3\vec{v}_3:

v3=keiαv2\vec{v}_3 = k e^{i\alpha} \cdot \vec{v}_2

where k=v3/v2k = |\vec{v}_3|/|\vec{v}_2| is the scaling factor and α\alpha is the rotation angle.

Substituting back:

z3z1=keiα(z2z1)z_3 - z_1 = k e^{i\alpha} (z_2 - z_1)

The Coni Formula

Dividing both sides by (z2z1)(z_2 - z_1):

z3z1z2z1=keiα=z3z1z2z1eiα\frac{z_3 - z_1}{z_2 - z_1} = k e^{i\alpha} = \frac{|z_3 - z_1|}{|z_2 - z_1|}\, e^{i\alpha}

This single equation carries two pieces of information simultaneously:

  • Its modulus gives k=z3z1/z2z1k = |z_3 - z_1|/|z_2 - z_1| — the ratio of the segment lengths.
  • Its argument gives α\alpha — the angle from z1z2z_1 z_2 to z1z3z_1 z_3, measured anticlockwise.

The Isoceles Case

When the triangle z1z2z3z_1 z_2 z_3 is isoceles with z3z1=z2z1|z_3 - z_1| = |z_2 - z_1|, the modulus of the ratio is 1, and the formula simplifies to:

z3z1z2z1=eiα\frac{z_3 - z_1}{z_2 - z_1} = e^{i\alpha}

This is the form most JEE problems use. Given z1z_1, z2z_2, and the angle α\alpha, the third vertex z3z_3 of an isoceles (or equilateral when α=±π/3\alpha = \pm\pi/3) triangle is:

z3=z1+(z2z1)eiαz_3 = z_1 + (z_2 - z_1)\,e^{i\alpha}

Why the Formula Is Written as a Ratio

The ratio (z3z1)/(z2z1)(z_3 - z_1)/(z_2 - z_1) might seem like an unusual object. But it is natural: it is the complex number that, when multiplied by the vector z1z2z_1 z_2, produces the vector z1z3z_1 z_3. Its argument is the angle between the two segments; its modulus is the ratio of their lengths. One complex number encodes both the geometry of angle and the geometry of distance at once.