Spiral similarity

A spiral similarity taking triangle ABC to triangle A'B'C'.

Spiral similarity is a plane transformation in mathematics composed of a rotation and a dilation. It is used widely in Euclidean geometry to facilitate the proofs of many theorems and other results in geometry, especially in mathematical competitions and Olympiads. Though the origin of this idea is not known, it was documented in 1967 by Coxeter in his book Geometry Revisited. and 1969 - using the term "dilative rotation" - in his book Introduction to Geometry.

The following theorem is important for the Euclidean plane:
Any two directly similar figures are related either by a translation or by a spiral similarity.
(Hint: Directly similar figures are similar and have the same orientation)

Definition

A spiral similarity [math]\displaystyle{ S }[/math] is composed of a rotation of the plane followed a dilation about a center [math]\displaystyle{ O }[/math] with coordinates [math]\displaystyle{ c }[/math] in the plane. Expressing the rotation by a linear transformation [math]\displaystyle{ T(x) }[/math] and the dilation as multiplying by a scale factor [math]\displaystyle{ d }[/math], a point [math]\displaystyle{ p }[/math] gets mapped to [math]\displaystyle{ S(p) = d(T(p-c))+c. }[/math]

On the complex plane, any spiral similarity can be expressed in the form [math]\displaystyle{ T(x) = x_0+\alpha(x-x_0) }[/math], where [math]\displaystyle{ \alpha }[/math] is a complex number. The magnitude [math]\displaystyle{ |\alpha| }[/math] is the dilation factor of the spiral similarity, and the argument [math]\displaystyle{ \text{arg}(\alpha) }[/math] is the angle of rotation.

Properties

Two circles

Spiral similarity

Let T be a spiral similarity mapping circle k to k' with k [math]\displaystyle{ \cap }[/math] k' = {C, D} and fixed point C.

Then for each point P [math]\displaystyle{ \in }[/math] k the points P, T(P)= P' and D are collinear.

Remark: This property is the basis for the construction of the center of a spiral similarity for two linesegments.

Proof:

[math]\displaystyle{ \angle CMP = \angle CM'P' }[/math], as rotation and dilation preserve angles.

[math]\displaystyle{ \angle P'DC + \angle CDP = 180^{\circ} }[/math], as if the radius [math]\displaystyle{ \overline{MD} }[/math] intersects the chord [math]\displaystyle{ \overline{CP} }[/math] , then [math]\displaystyle{ \overline{M'D} }[/math] doesn't meet [math]\displaystyle{ \overline{CP'} }[/math] , and if [math]\displaystyle{ \overline{MD} }[/math] doesn't intersect [math]\displaystyle{ \overline{CP} }[/math], then [math]\displaystyle{ \overline{M'D} }[/math] intersects [math]\displaystyle{ \overline{CP'} }[/math], so one of these angles is ß and the other is 180°-ß.

So P, P' and D are collinear.

Center of a spiral similarity for two line segments

Through a dilation of a line, rotation, and translation, any line segment can be mapped into any other through the series of plane transformations. We can find the center of the spiral similarity through the following construction:

• Draw lines [math]\displaystyle{ \overline{AC} }[/math] and [math]\displaystyle{ \overline{BD} }[/math], and let [math]\displaystyle{ P }[/math] be the intersection of the two lines.
• Draw the circumcircles of triangles [math]\displaystyle{ \triangle PAB }[/math] and [math]\displaystyle{ \triangle PCD }[/math].
• The circumcircles intersect at a second point [math]\displaystyle{ X \neq P }[/math]. Then [math]\displaystyle{ X }[/math] is the spiral center mapping [math]\displaystyle{ \overline{AB} }[/math] to [math]\displaystyle{ \overline{CD}. }[/math]

Proof: Note that [math]\displaystyle{ ABPX }[/math] and [math]\displaystyle{ XPCD }[/math] are cyclic quadrilaterals. Thus, [math]\displaystyle{ \angle XAB = 180^{\circ} - \angle BPX = \angle XPD = \angle XCD }[/math]. Similarly, [math]\displaystyle{ \angle ABX = \angle APX = 180^{\circ} - \angle XPC = \angle XDC }[/math]. Therefore, by AA similarity, triangles [math]\displaystyle{ XAB }[/math] and [math]\displaystyle{ XCD }[/math] are similar. Thus, [math]\displaystyle{ \angle AXB = \angle CXD, }[/math] so a rotation angle mapping [math]\displaystyle{ A }[/math] to [math]\displaystyle{ B }[/math] also maps [math]\displaystyle{ C }[/math] to [math]\displaystyle{ D }[/math]. The dilation factor is then just the ratio of side lengths [math]\displaystyle{ \overline{CD} }[/math] to [math]\displaystyle{ \overline{AB} }[/math].

Solution with complex numbers

If we express [math]\displaystyle{ A, B, C, }[/math] and [math]\displaystyle{ D }[/math] as points on the complex plane with corresponding complex numbers [math]\displaystyle{ a, b, c, }[/math] and [math]\displaystyle{ d }[/math], we can solve for the expression of the spiral similarity which takes [math]\displaystyle{ A }[/math] to [math]\displaystyle{ C }[/math] and [math]\displaystyle{ B }[/math] to [math]\displaystyle{ D }[/math]. Note that [math]\displaystyle{ T(a) = x_0+\alpha(a-x_0) }[/math] and [math]\displaystyle{ T(b) = x_0+\alpha(b-x_0) }[/math], so [math]\displaystyle{ \frac{T(b)-T(a)}{b-a} = \alpha }[/math]. Since [math]\displaystyle{ T(a) = c }[/math] and [math]\displaystyle{ T(b) = d }[/math], we plug in to obtain [math]\displaystyle{ \alpha = \frac{d-c}{b-a} }[/math], from which we obtain [math]\displaystyle{ x_0 = \frac{ad-bc}{a+d-b-c} }[/math].

Pairs of spiral similarities

For any points [math]\displaystyle{ A, B, C, }[/math] and [math]\displaystyle{ D }[/math], the center of the spiral similarity taking [math]\displaystyle{ \overline{AB} }[/math] to [math]\displaystyle{ \overline{CD} }[/math] is also the center of a spiral similarity taking [math]\displaystyle{ \overline{AC} }[/math] to [math]\displaystyle{ \overline{BD} }[/math].

This can be seen through the above construction. If we let [math]\displaystyle{ X }[/math] be the center of spiral similarity taking [math]\displaystyle{ \overline{AB} }[/math] to [math]\displaystyle{ \overline{CD} }[/math], then [math]\displaystyle{ \triangle XAB \sim \triangle XCD }[/math]. Therefore, [math]\displaystyle{ \angle AXC = \angle AXB + \angle BXC = \angle CXD + \angle BXC = \angle BXD }[/math]. Also, [math]\displaystyle{ \frac{AX}{BX} = \frac{CX}{DX} }[/math] implies that [math]\displaystyle{ \frac{AX}{CX} = \frac{BX}{DX} }[/math]. So, by SAS similarity, we see that [math]\displaystyle{ \triangle AXC \sim \triangle BXD }[/math]. Thus [math]\displaystyle{ X }[/math] is also the center of the spiral similarity which takes [math]\displaystyle{ \overline{AC} }[/math] to [math]\displaystyle{ \overline{BD} }[/math].

Corollaries

Proof of Miquel's Quadrilateral Theorem

Spiral similarity can be used to prove Miquel's Quadrilateral Theorem: given four noncollinear points [math]\displaystyle{ A,B,C, }[/math] and [math]\displaystyle{ D }[/math], the circumcircles of the four triangles [math]\displaystyle{ \triangle PAB, \triangle PDC, \triangle QAD, }[/math] and [math]\displaystyle{ \triangle QBC }[/math] intersect at one point, where [math]\displaystyle{ P }[/math] is the intersection of [math]\displaystyle{ AD }[/math] and [math]\displaystyle{ BC }[/math] and [math]\displaystyle{ Q }[/math] is the intersection of [math]\displaystyle{ AB }[/math] and [math]\displaystyle{ CD }[/math] (see diagram).

Let [math]\displaystyle{ M }[/math] be the center of the spiral similarity which takes [math]\displaystyle{ AB }[/math] to [math]\displaystyle{ DC }[/math]. By the above construction, the circumcircles of [math]\displaystyle{ \triangle PAB }[/math] and [math]\displaystyle{ \triangle PDC }[/math] intersect at [math]\displaystyle{ M }[/math] and [math]\displaystyle{ P }[/math]. Since [math]\displaystyle{ M }[/math] is also the center of the spiral similarity taking [math]\displaystyle{ DA }[/math] to [math]\displaystyle{ BC }[/math], by similar reasoning the circumcircles of [math]\displaystyle{ \triangle QAD }[/math] and [math]\displaystyle{ \triangle QBC }[/math] meet at [math]\displaystyle{ Q }[/math] and [math]\displaystyle{ M }[/math]. Thus, all four circles intersect at [math]\displaystyle{ M }[/math].

Example problem

Here is an example problem on the 2018 Japan MO Finals which can be solved using spiral similarity:

Given a scalene triangle [math]\displaystyle{ ABC }[/math], let [math]\displaystyle{ D }[/math] and [math]\displaystyle{ E }[/math] be points on segments [math]\displaystyle{ AB }[/math] and [math]\displaystyle{ AC }[/math], respectively, so that [math]\displaystyle{ CA = CD, BA = BE }[/math]. Let [math]\displaystyle{ \omega }[/math] be the circumcircle of triangle [math]\displaystyle{ ADE }[/math] and [math]\displaystyle{ P }[/math] the reflection of [math]\displaystyle{ A }[/math] across [math]\displaystyle{ BC }[/math]. Lines [math]\displaystyle{ PD }[/math] and [math]\displaystyle{ PE }[/math] meet [math]\displaystyle{ \omega }[/math] again at [math]\displaystyle{ X }[/math] and [math]\displaystyle{ Y }[/math], respectively. Prove that [math]\displaystyle{ BX }[/math] and [math]\displaystyle{ CY }[/math] intersect on [math]\displaystyle{ \omega }[/math].

Proof: We first prove the following claims:

Claim 1: Quadrilateral [math]\displaystyle{ PBEC }[/math] is cyclic.

Proof: Since [math]\displaystyle{ \triangle BAE }[/math] is isosceles, we note that [math]\displaystyle{ \angle BPC = \angle BAC = 180^{\circ} - \angle BEC, }[/math] thus proving that quadrilateral [math]\displaystyle{ PBEC }[/math] is cyclic, as desired. By symmetry, we can prove that quadrilateral [math]\displaystyle{ PBDC }[/math] is cyclic.

Claim 2: [math]\displaystyle{ \triangle AXY \sim \triangle ABC. }[/math]

Proof: We have that [math]\displaystyle{ \angle AXY = 180^{\circ} - \angle AEY = \angle YEC = \angle PEC = \angle PBC = \angle ABC. }[/math] By similar reasoning, [math]\displaystyle{ \angle AYX = \angle ACB, }[/math] so by AA similarity, [math]\displaystyle{ \triangle AXY \sim \triangle ABC, }[/math] as desired.

We now note that [math]\displaystyle{ A }[/math] is the spiral center that maps [math]\displaystyle{ XY }[/math] to [math]\displaystyle{ BC }[/math]. Let [math]\displaystyle{ F }[/math] be the intersection of [math]\displaystyle{ BX }[/math] and [math]\displaystyle{ CY }[/math]. By the spiral similarity construction above, the spiral center must be the intersection of the circumcircles of [math]\displaystyle{ \triangle FXY }[/math] and [math]\displaystyle{ \triangle FBC }[/math]. However, this point is [math]\displaystyle{ A }[/math], so thus points [math]\displaystyle{ A, F, X, Y }[/math] must be concyclic. Hence, [math]\displaystyle{ F }[/math] must lie on [math]\displaystyle{ \omega }[/math], as desired.