Euclidean Geometry - Homothety

A homothety, also known as a dilation, is an affine transformation of the plane, determined by a point \(P\) and a ratio \(k\neq 0\) that sends any point \(A\) to a point \(A'\) \((\)called the image of \(A)\) such that \(k\vec{AP}=\vec{A'P}.\)

• If \( |k| >1,\) this transformation is known as an expansion.
• If \(k=1,\) the homothety is the identity transformation.
• If \( |k| <1,\) this transformation is known as a contraction.

Homothety is a simple concept, with surprisingly sophisticated consequences. It is useful for proving collinearity, concurrency, determining ratios, and constructing points.

There are several ways to express a homothety. Switching between these different representations confer different benefits and can greatly simplify the problem, as will be observed later.

1) Geometric interpretation
A homothety is just an expansion or contraction. The facts which apply to those situations also apply here. Here are examples of

• \( H (A, 2) \) applied to a triangle \( ABC; \)
• \( H \big( T, \frac{1}{2} \big) \) applied to a circle \( \Gamma \), where \(T\) is a point on the circumference;
• \( H(P, -1) \) applied to the line \(XY\), where \(P\) does not lie on \(XY\).

{{NEEDS IMAGE}}

2) Euclidean geometry (simplified)

• In the case that the center of homothety is the origin, an expansion by \(k\) would bring the point \( (x,y) \) to \( (kx, ky) \). This is the simplest case and often makes calculations very direct.
• In the case that the center of homothety is the point \( (a, b), \) an expansion by \(k\) would bring the point \( (x,y) \) to \( \big(k(x-a) + a, k(y-b) + b \big) \). This expression is slightly more complicated, which is why setting \( (a,b) = (0,0) \) is often more helpful.

3) Complex numbers
In the argand plane, if the center of homothety is represented by the complex number \( p \), then an expasion by \(k\) would bring the complex number \(z\) to \( z' = p + k ( z - p ) \).

4) Vectors
As stated above, if the center of homothety is represented by the vector \( \vec{P} \), then an expansion by \(k\) would bring the vector \( \vec{A} \) to \( \vec{A'} = \vec{P} + k \vec{ PA } \).

5) Abstract identification
Given familiarity with the applications of homothety, we can identify a homothetic transformation and apply the results.

Proof of the results can be viewed by clicking on the "Proof" button.

1. The points \(O, X, \) and \(X'\) form a straight line.
   

   Proof
   
   

   This follows directly from the geometric interpretation.

2. The slope of a line is preserved under homothety. Hence, parallel lines are preserved.
   

   Proof
   
   

   We will use the simplified Euclidean geometry approach, where we let the center be the origin.
   Suppose we have the points \(A = ( x_a, y_a) \) and \(B = ( x_b , y_b) \).
   Then, \( A' = ( k x_a, ky_a) \) and \( B ' = (kx_b, ky_b) \).
   We can verify that the slopes are equal:
   \[ (\text{Slope of } AB) = \frac{ y_b - y_a } { x_b - x_ a} = \frac{ k ( y_b - y_a ) } { k ( x_b - x_a) } = \frac{ k y_b - k y_a } { k x_b - k x_ a } = (\text{Slope of } A'B'). \] \(\)
   Note: The general case can easily be proven using vectors or complex numbers to keep the mathematics simple.
   \(\)
   Corollary: Since the slope of a line is preserved, if two lines are parallel, then their images are parallel to the original lines, and thus the images are parallel.

3. Angles are preserved, meaning that \( \angle ABC = \angle A'B'C' \).
   

   Proof
   
   

   Since the slopes of lines are preserved (2), the angle between \(AB\) and \(BC \) is equal to the angle between \( A'B' \) and \(B'C' \).

4. Every homothety has an inverse: \( H(O, k) ^ { -1 } = H \big( O , \frac{1}{k} \big) \).
   

   Proof
   
   

   This follows directly from the geometric interpretation.

5. The ratio of lengths satisfy \( \big|A'B'\big| = k |AB| \).
   

   Proof
   
   

   We will use the simplified Euclidean geometry approach, where we let the center be the origin.
   Suppose we have the points \(A = ( x_a, y_a) \) and \(B = ( x_b , y_b) \).
   Then, \( A' = ( k x_a, ky_a) \) and \( B ' = (kx_b, ky_b) \).
   Hence, the distances obey \[ \big| A'B'\big| = \sqrt{ ( k x_a - k x_b) ^2 + ( k y_a - k y_b)^2 } = |k| \sqrt{ ( x_a - x_b) ^2 + ( y_a - y_b)^2 } = |k| \times | AB |. \] \(\)
   Note: Using the interpretation of directed lengths, we have \( \big|A'B'\big| = k |AB | \).

6. The image is similar to the original object.
   

   Proof
   
   

   Since angles are preserved (3) and the ratio of lengths is a constant \(k\) (5), the image is similar.
   

7. The ratio of areas satisfy \( \big[A'B'C'\big] = k^2 [ABC] \).
   

   Proof
   
   

   Since the image is similar and the ratio of lengths is \(k\), the ratio of areas is \( k^2 \).
   \(\)
   Note: Using the interpretation of directed area, we have \( \big[A'B'C'\big] = k^2 [ABC] \). In particular, orientation is preserved.
   

8. \( H(O,1) \) is the identity transformation.
   

   Proof
   
   

   This follows directly from the geometric interpretation.

9. \( H(O,-1) \) is a reflection through the center, and is also a \( 180^ \circ \) rotation about the center.
   

   Proof
   
   

   This follows directly from the geometric interpretation.

10. \( H(O, k \neq 1) \) has 1 fixed point.
    

    Proof
    
    

    We will use the complex number interpretation. Suppose that \(z\) is a fixed point, meaning that \( z = z' = k( z - a) + a \). Then we have \( (k-1) ( z-a) = 0 \). Since \( k \neq 1 \), \( z = a \) is the only fixed point.
    

11. The set of lines that remain invariant under \( H(P, k \neq 1 ) \) are lines through the center \(P \).

    Proof
    
    

    We will use the vector interpretation with homothety \( H ( A, k ) \). Suppose that the line \( l = \vec{T} + t \vec{S} \) is preserved. Since slopes are preserved, this means that the point \(\vec{T} \) must be mapped onto this line, so there exists some \(t\) such that \( \vec{A} + k \vec{ AT} = \vec{T} + t \vec{S} \Rightarrow (k-1) \vec{AT} = t \vec{S} \). Hence, \(\vec{AT} \) is parallel to \(l\), meaning that \(A\) lies on the line.
    \(\)
    Conversely, given any line through the center of homothety, if follows from the geometric interpretation that the line is preserved.

12. A homothety is defined uniquely by where any 2 points are mapped to.
    

    Proof
    
    

    Geometric interpretation: Suppose that the points \(A, B\) are mapped to \( A', B' \). Then, since the center \(O\) lies on both \(AA'\) and \(BB'\), this can be determined by the intersection of the lines. After that, the scaling factor \(k\) can be determined by \( \frac{ \big|OA'\big| } { |OA| } \).
    \(\)
    Complex number interpretation: Suppose that the complex numbers \( z_1, z_2 \) are mapped to \( z_1 ', z_2 '\). Then, we need to find a complex number \(p\) and a real number \(k\) such that
    \[ \begin{cases} z_1' = p + k ( z_1 - p ) \\ z_2 ' = p + k (z_2 - p ). \end{cases} \] If this system has no solutions, then we do not have a homothety.
    If this system has a unique solution, then that uniquely defines the homothety.
    If this system has infinitely many solutios, then this must be the identity, which is unique.
    \(\)
    Note: We can solve this system to obtain \( p = \frac{ z_1 ' z_2 - z_1 z_2 ' } { z_1' + z_2 - z_1 - z_2' } \) and \(k = \frac{ z_2' - z_1' } { z_2 - z_ 1 } \).

13. Any 2 (non-congruent) circles have 2 centers of homothety. The positive scaling factor corresponds to the direct homothety, and the negative scaling factor corresponds to the indirect homothety.
    

    Proof
    
    

    We know that the centers of the circle must be mapped onto each other, and thus the scaling factor must satisfy \( |k| = \frac{ r_2} { r_1 } \). The center of homothety lies on the line containing these circles. For the negative ratio, the center of homothety will lie on the line segment between the 2 centers. For the positive ratio, the center of homothety will lie outside of the line segment between the 2 centers.

14. If \( k_1 k_2 \neq 1 \), then \( H (O_1, k_1) \circ H (O_2, k_2) \) is a homothety.
    

    Proof
    
    

    We will use the complex number interpretation: \[ H (z_1, k_1) \circ H (z_2, k_2) ( z ) = H (z_1, k_1) \big( z_2 + k_2 (z - z_2 ) \big) = z_1 + k_1 ( \big( z_2 + k_2 (z - z_2 ) \big) - z_1 . \] In order to make this a homothety, we must find \( H ( z_3, k_3 ) (z) = z_1 + k_1 \big( z_2 + k_2 (z - z_2 ) \big) - z_1 \).
    Equating coefficients of \(z\), we obtain \( k_3 = k_1 k_2 \).
    Equating the constant term, we obtain \( ( 1 - k_1 k_2 ) z_3 = z_1 + k_1 z_2 - k_1k_2 z_2 - k_1 z_1 \). Since \( k_1 k_2 \neq 1 \), we can set \( z_3 = \frac{ z_1 + k_1 z_2 - k_1k_2 z_2 - k_1 z_1 } { 1 - k_1 k_2 } \).
    \(\)
    Note: If we used the geometric interpretation, then this (and the following) result would not be immediately obvious.

15. If \( k_1 k_2 = 1 \), then \( H (O_1, k_1) \circ H (O_2, k_2) \) is a translation.
    

    Proof
    
    

    We will use the complex number interpretation. Since \( k_1k_2 = 1 \), the previous expression looks like \( \text{(constant)} + z \). Thus, this is a translation by the complex number \( z_1 + k_1 z_2 - k_1k_2 z_2 - k_1 z_1 \).

16. In general, it need not be true that \( H (O_1, k_1) \circ H (O_2, k_2) = H (O_2, k_2) \circ H (O_1, k_1) \). A specific case where this is true is \( O_ 1 = O_2 \).

    Proof
    
    

    We will use the complex number interpretation: \[\begin{align} H (O_1, k_1) \circ H (O_2, k_2) (z) &= z_1 + k_1 z_2 - k_1k_2 z_2 - k_1 z_1 + k_1k_2 z \\ H (O_2, k_2) \circ H (O_1, k_1) &= z_2 + k_2 z_1 - k_2k_1 z_1 - k_2 z_2 + k_1k_2 z. \end{align}\] The coefficient of \(z\) is equal to \( k_1 k_2 \). Comparing the constant terms, we have equality if and only if (after some simplification) \( (z_1-z_2) ( k_1 - 1) ( k_2 - 1) = 0 \). This correspeonds to 1) the 2 centers of homothety are identical, 2) the first homothety is the identity, 3) the second homothety is the identity,

17. If 3 non-congruent sets of points are pairwise homothetic, then the (direct) centers of homothety are collinear.

    Proof
    
    

    Suppose the homotheties are \( H ( O_i, k_i ) \) for \( i = 1, 2, 3 \).
    By (12), it follows that \( H ( O_1, k_1 ) \circ H ( O_2, k_2 ) = H ( O_3, k_3 ) \).
    The line \( O_1 O _ 2 \) is invariant under \( H ( O_2, k_2 ) \), and again under \( H ( O_1, k_1 ) \), and hence it is invariant under \( H ( O_3, k_3 )\).
    By (11), it follows that \( O_3 \) lies on the line \( O _ 1 O_2 \). Thus these 3 points are collinear.
    \(\)
    Hint: Find an invariant line.

1. Consider 2 non-intersecting, non-congruent circles.
   \(\hspace{5mm}\) Show that the external tangents intersect at the external center of homothety.
   \(\hspace{5mm}\) Show that the internal tangents intersect at the internal center of homothety.
   

   Proof
   
   

   Let the external tangents touch circles \( \Gamma_A , \Gamma_B \) at points \(A, B \) respectively.
   Consider the external homothety \( H \Big( O, \frac{ r_b}{r_a}\Big) \) applied to point \(A\).
   It has to be mapped to some point on \( \Gamma_B \).
   Consider the external tangent at \(A;\) it gets mapped to an external tangent on \( \Gamma_B \) that has the same slope.
   This restricts the image either to point \(B\), or the diametrically opposite point, which we will denote by \(C\).
   By considering the direction of the line segment, we can conclude that the image is \(B\).
   Hence, by (1), points \(O, A, B \) lie on a straight line.
   \(\)
   Note: The internal center of homothety lies on line \( AC \) (which is not the internal tangent).
   Note: The internal version of the problem follows using a similar argument.

2. Circles \( \Gamma_1 \) and \( \Gamma_2 \) are tangential at \(T\). Draw a line through \(T\) cutting the circles at \(A\) and \(B, \) respectively.
   Show that the tangent at \(A\) is parallel to the tangent at \(B\).

   Proof
   
   

3. Using a straightedge and compass, in triangle \(ABC\) inscribe a square whose edge lies on \(AB \).

   Proof
   
   

4. Any 2 non-congruent triangles whose pairs of sides are parallel to each other and are oriented similarly can be mapped by a homothety.
   Hint: First show that these triangles are similar. Then guess the center of homothety.
   Corollary: [Centroid] Draw the medians \(AD, BE, CF \) of triangle \(ABC\), where points \(D, E, F \) lie on the opposite sides.
   Show that the medians of a triangle are concurrent at \(G\).
   Show that \( AG:GD = 2 : 1 \).

   Proof
   
   

5. Consider 3 non-congruent circles.
   Show that the (possibly indirect) centers of homothety are collinear if and only if the scaling factors satisfy \( k_{ab} \times k_{bc} \times k_{ca} = 1\).
   Corollary: [Monge's theorem] Given 3 non-congruent, non-overlapping circles, the 3 intersection points of the external tangents taken pairwise are collinear.

   Proof
   
   

6. In circle \( \Gamma \), draw chord \(AB \). Circle \( \Gamma_1 \) is internally tangent to \( \Gamma \) at \(T\), and tangential to \( AB \) at \(C\). Let \(D\) be the midpoint of arc \(AB \) that does not contain \(T\).
   Show that \( TCD \) is a straight line.

   Proof
   
   

7. In a large circle \( \Gamma \), draw 2 smaller circles \( \Gamma_A\) and \(\Gamma_B \) that are internally tangent to \( \Gamma \) at points \(A\) and \(B, \) respectively. Draw an external tangent of \( \Gamma_A\) and \(\Gamma_B \) intersecting these circles at \(C\) and \(D,\) respectively.
   Show that \(AC\) and \(BD \) intersect on the circumference of \( \Gamma \), which we will denote by \(P\).
   Show that \(ABCD\) is a cyclic quadrilateral and that \(PC \times PA = PD \times PB \). In fact, \(P\) is the radical center of which 3 circles?
   

   Proof
   
   

8. Given 2 non-overlapping circles, let \(AB\) be the internal tangent with \(A\) on \( \Gamma_A \) and \(B\) on \( \Gamma_B \). Let \(O\) be the indirect center of homothety. Draw diameters \(AC\) and \(BD\).
   Show that \(COD \) is a straight line.
   

   Proof
   
   

9. Consider a semicircle with diameter \(AB\). A circle is internally tangent to the circumference at \(T\) and touches the diameter at \(C\).
   Calculate \( \angle BTC \).
   

   Proof
   
   

10. In a large circle \( \Gamma \), draw 2 smaller circles \( \Gamma_A\) and \(\Gamma_B \) that are internally tangent to \( \Gamma \) at points \(A\) and \(B \). Let the direct center of homothety of \( \Gamma_A\) and \(\Gamma_B \) be \(C\).
    Show that \(ABC \) is a straight line.
    Note: Does the indirect center of homothety lie on this line?

    Proof
    
    

11. \(ABCD\) is a quadrilateral. The line through \(A\) parallel to \(CD\) meets \(BD \) at \(E\), and the line through \(D\) parallel to \(AB \) meets \(AC \) at \(F\). Prove that \(EF\) is parallel to \(BC\).
    Hint: Let the homothety that maps \(BA\) to \(DF\) be \(H_1\), and the homothety that maps \( CD \) to \(AE \) be \( H_2 \). Show that \( H_1 \circ H_2 ( BC ) = EF \).
    

    Proof
    
    

12. Two circles are externally tangent at \(A\). Their common external tangents meet at \(X\), and the circles are homothetic via \( H (X, k) \). Take a point \(B\) on the circumference of the circle, not on the line \(AX\).
    Calculate \( \angle B A B ' \).

    Proof
    
    

13. In a large circle \( \Gamma \), there are 3 circles \(\Gamma_A, \Gamma_B, \Gamma_C \) that are internally tangent at points \(A, B, C\) respectively, where \(A, B, C \) lie on the circumference in that order. Suppose that \( \Gamma_A, \Gamma_B \) are externally tangent with tangent \( \ell_{AB}\) and \( \Gamma_2, \Gamma_3 \) are externally tangent with tangent \( \ell_{BC} \).
    Show that \( \ell_{AB} \) and \( \ell_{BC} \) intersect on \(\Gamma \) if and only if \( \Gamma_A, \Gamma_B, \Gamma_C \) share a common exterior tangent.
    

    Proof
    
    

14. In triangle \(ABC \), let the incircle be tangential to \( AC \) at \(D\). Let \( DE \) be the diameter of the incircle. Let \( BE \) intersect \( AC \) at \( F \).
    Show that \( AF = CD \).
    

    Proof
    
    

15. (IMO 1978) In isosceles triangle \(ABC\), \(AB = AC \). A circle is tangent internally to the circumcircle of \(ABC\), and also to sides \(AB\) and \(AC \) at \(P\) and \(Q, \) respectively.
    Show that the midpoint of segment \(PQ\) is the incenter of \(ABC \).

    Proof
    
    

\[ 3 \] \[ \pi \] \[ 2 \sqrt{3} \] \[4\] Depends on length AB

In a large circle of diameter 4, we draw two circles that are each internally tangent at A and B. We then draw the common interior tangent CD. If AC intersects the large circle at E and BD intersects the large circle at F, what is the distance EF?