Module 4.7 · Geometry
Homothety
A homothety is a scaling of the whole plane from a fixed center. It explains why tangent circles line up so neatly, why the centroid, circumcenter and orthocenter are collinear, and why chains of circles in an angle form geometric sequences. When a problem has parallel lines and similar figures that share a point, look for the homothety.
Definition and basic properties
Definition
Homothety
The homothety with center and ratio sends each point to the point on line with
If , is on the same side of as ; if , it's on the opposite side.
Everything follows from the vector formula. If and , then . So a homothety:
- sends every line to a parallel line,
- multiplies every length by and every area by ,
- preserves angles, and sends a circle with center and radius to the circle with center and radius .
Conversely, two triangles with corresponding sides parallel (and not congruent by a translation) are related by a homothety: the lines through corresponding vertices all pass through its center.
Homothety centers of two circles
Two centers of similitude
Two circles with different radii and centers are related by exactly two homotheties: one with ratio (the external center) and one with ratio (the internal center). Both centers lie on line and divide it in the ratio , externally and internally.
The common external tangents (when they exist) pass through the external center, and the common internal tangents pass through the internal center. If the circles are tangent, the point of tangency is one of the two centers.
Why. A homothety sending circle to circle must send to , so its center is on line with and . There's one solution for each sign of , and then . A common tangent line is sent to a parallel line tangent to circle ; for a tangent through the center , the image is itself, so every common tangent through works. Finally, if the circles touch at , then is on line with , so is a center.
Worked example: Locating the centers
Circles with radii and have centers apart. Find the distances from the smaller circle's center to the two homothety centers.
External: the center is beyond the small circle with , so and .
Internal: the center is between them with , so .
Homothety in the triangle
The medial triangle and the Euler line. The homothety with center at the centroid and ratio sends , , to the midpoints of the opposite sides (because is two-thirds of the way along each median). It sends triangle to its medial triangle.
The altitudes of the medial triangle are perpendicular to its sides, which are parallel to the sides of , and they pass through the midpoints of 's sides. So they are the perpendicular bisectors of : the orthocenter of the medial triangle is the circumcenter of . Since the homothety sends the orthocenter of to the orthocenter of the medial triangle,
So , , are collinear (the Euler line) with . In vectors with as the origin, . The same homothety sends the circumcircle (radius ) to the nine-point circle, with radius .
Tangent lines to the incircle. The line tangent to the incircle and parallel to (on the side toward ) cuts off a small triangle at , related to by a homothety at . (Notice that the incircle of is an excircle of the small triangle.) The quickest way to get the ratio is with perimeters. The small triangle's perimeter is : its third side splits into two tangent segments to the incircle, which match up with the rest of the tangent segments from , so the perimeter equals the two full tangent lengths from . So its ratio to is
Worked example: The small triangle at a vertex
In the -- triangle with , a line tangent to the incircle and parallel to cuts off a small triangle at . Find its perimeter and its base.
and , so the ratio is . The perimeter is and the base is .
Check with heights: the height from is and the incircle has diameter , so the small triangle's height is , which is of . ✓
Worked example: Circles in an angle
Circles and are both tangent to the two sides of a angle, and to each other. The smaller has radius . Find the radius of the larger.
A homothety at the vertex sends one circle to the next. If a circle has radius , its center is on the angle bisector at distance from . The circles are tangent, so the center distance is , giving . Every circle in the chain is times the previous one.
Common mistake
A homothety with negative ratio flips the figure through the center. When you set up , decide first whether the center is between the circles (internal) or outside them (external); the equations are different.
Tip
Whenever two circles are tangent, the tangency point is a homothety center. Lines through it hit the two circles at points in the fixed ratio of the radii, and tangent lines at corresponding points are parallel.
Practice
Circles with radii and have centers units apart. Their two common external tangent lines meet at . Find the distance from to the center of the larger circle.
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Triangle has , and . A line tangent to the incircle and parallel to meets at and at . Then in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
A sequence of circles lies inside an angle. Each circle is tangent to both sides of the angle, and each is tangent to the next. If has radius and has radius , the radius of is in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Triangle has sides , , . Three lines are drawn tangent to its incircle, each parallel to one side of the triangle. They cut off three small triangles at the corners of . The sum of the circumradii of the three small triangles is in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Triangle has , and , with circumcenter and orthocenter . Then in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Triangle has , and . Circle is tangent to sides and and externally tangent to the incircle, and lies between the incircle and vertex . The radius of is in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Circle has radius , and is a chord of length . Point is on with . Circle is tangent to at , lies on the same side of as the center of , and is internally tangent to at . Then in lowest terms. Find .
Enter a number. Fractions like 3/4 and sqrt(2) are OK.
Real contest practice
These are full past AIMEs. Each has geometry problems with tangent circles or parallel lines where a homothety shortens the work.