Homothetic center

Last updated

Figure 1: The point O is an external homothetic center for the two triangles. The size of each figure is proportional to its distance from the homothetic center. Homothetic transformation.svg
Figure 1: The point O is an external homothetic center for the two triangles. The size of each figure is proportional to its distance from the homothetic center.

In geometry, a homothetic center (also called a center of similarity or a center of similitude) is a point from which at least two geometrically similar figures can be seen as a dilation or contraction of one another. If the center is external, the two figures are directly similar to one another; their angles have the same rotational sense. If the center is internal, the two figures are scaled mirror images of one another; their angles have the opposite sense.

Contents

Figure 2: Two geometric figures related by an external homothetic center S. The angles at corresponding points are the same and have the same sense; for example, the angles ABC and A'B'C' are both clockwise and equal in magnitude. Geom podobnost stejnolehlest.svg
Figure 2: Two geometric figures related by an external homothetic center S. The angles at corresponding points are the same and have the same sense; for example, the angles ABC and A'B'C' are both clockwise and equal in magnitude.

General polygons

The external (above) and internal (below) homothetic centers of the two circles (red) are shown as black points. Kreise streckzentrum.svg
The external (above) and internal (below) homothetic centers of the two circles (red) are shown as black points.

If two geometric figures possess a homothetic center, they are similar to one another; in other words they must have the same angles at corresponding points and differ only in their relative scaling. The homothetic center and the two figures need not lie in the same plane; they can be related by a projection from the homothetic center.

Homothetic centers may be external or internal. If the center is internal, the two geometric figures are scaled mirror images of one another; in technical language, they have opposite chirality. A clockwise angle in one figure would correspond to a counterclockwise angle in the other. Conversely, if the center is external, the two figures are directly similar to one another; their angles have the same sense.

Circles

Circles are geometrically similar to one another and mirror symmetric. Hence, a pair of circles has both types of homothetic centers, internal and external, unless the centers are equal or the radii are equal; these exceptional cases are treated after general position. These two homothetic centers lie on the line joining the centers of the two given circles, which is called the line of centers (Figure 3). Circles with radius zero can also be included (see exceptional cases), and negative radius can also be used, switching external and internal.

Computing homothetic centers

Figure 3: Two circles have both types of homothetic centers, internal (I) and external (E). The radii of the circles (r1 and r2) are proportional to the distance (d) from each homothetic center. The points A1 and A2 are homologous, as are the points B1 and B2. Circles homothetic centers.svg
Figure 3: Two circles have both types of homothetic centers, internal (I) and external (E). The radii of the circles (r1 and r2) are proportional to the distance (d) from each homothetic center. The points A1 and A2 are homologous, as are the points B1 and B2.

For a given pair of circles, the internal and external homothetic centers may be found in various ways. In analytic geometry, the internal homothetic center is the weighted average of the centers of the circles, weighted by the opposite circle's radius – distance from center of circle to inner center is proportional to that radius, so weighting is proportional to the opposite radius. Denoting the centers of the circles and by and and their radii by and and denoting the center by this is:

The external center can be computed by the same equation, but considering one of the radii as negative; either one yields the same equation, which is:

More generally, taking both radii with the same sign (both positive or both negative) yields the inner center, while taking the radii with opposite signs (one positive and the other negative) yields the outer center. Note that the equation for the inner center is valid for any values (unless both radii zero or one is the negative of the other), but the equation for the external center requires that the radii be different, otherwise it involves division by zero.

In synthetic geometry, two parallel diameters are drawn, one for each circle; these make the same angle α with the line of centers. The lines A1A2 and B1B2 drawn through corresponding endpoints of those radii, which are homologous points, intersect each other and the line of centers at the external homothetic center. Conversely, the lines A1B2 and B1A2 drawn through one endpoint and the opposite endpoint of its counterpart intersects each other and the line of centers at the internal homothetic center.

As a limiting case of this construction, a line tangent to both circles (a bitangent line) passes through one of the homothetic centers, as it forms right angles with both the corresponding diameters, which are thus parallel; see tangent lines to two circles for details. If the circles fall on opposite sides of the line, it passes through the internal homothetic center, as in A2B1 in the figure above. Conversely, if the circles fall on the same side of the line, it passes through the external homothetic center (not pictured).

Special cases

If the circles have the same radius (but different centers), they have no external homothetic center in the affine plane: in analytic geometry this results in division by zero, while in synthetic geometry the lines and are parallel to the line of centers (both for secant lines and the bitangent lines) and thus have no intersection. An external center can be defined in the projective plane to be the point at infinity corresponding to the slope of this line. This is also the limit of the external center if the centers of the circles are fixed and the radii are varied until they are equal.

If the circles have the same center but different radii, both the external and internal coincide with the common center of the circles. This can be seen from the analytic formula, and is also the limit of the two homothetic centers as the centers of the two circles are varied until they coincide, holding the radii equal. There is no line of centers, however, and the synthetic construction fails as the two parallel lines coincide.

If one radius is zero but the other is non-zero (a point and a circle), both the external and internal center coincide with the point (center of the radius zero circle).

If the two circles are identical (same center, same radius), the internal center is their common center, but there is no well-defined external center – properly, the function from the parameter space of two circles in the plane to the external center has a non-removable discontinuity on the locus of identical circles. In the limit of two circles with the same radius but distinct centers moving to having the same center, the external center is the point at infinity corresponding to the slope of the line of centers, which can be anything, so no limit exists for all possible pairs of such circles.

Conversely, if both radii are zero (two points) but the points are distinct, the external center can be defined as the point at infinity corresponding to the slope of the line of centers, but there is no well-defined internal center.

Homologous and antihomologous points

Figure 4: Lines through corresponding antihomologous points intersect on the radical axis of the two given circles (green and blue). The points Q and P' are antihomologous, as are S and R'. These four points lie on a circle that intersects the two given circles; the lines through the intersection points of the new circle with the two given circles must intersect at the radical center G of the three circles, which lies on the radical axis of the two given circles. Two circles anti-homologous points radical axis.svg
Figure 4: Lines through corresponding antihomologous points intersect on the radical axis of the two given circles (green and blue). The points Q and P are antihomologous, as are S and R. These four points lie on a circle that intersects the two given circles; the lines through the intersection points of the new circle with the two given circles must intersect at the radical center G of the three circles, which lies on the radical axis of the two given circles.

In general, a line passing through a homothetic center intersects each of its circles in two places. Of these four points, two are said to be homologous if radii drawn to them make the same angle with the line connecting the centers; for example, the points Q and Q in Figure 4. Points which are collinear with respect to the homothetic center but are not homologous are said to be antihomologous; [1] for example, points Q and P in Figure 4.

Pairs of antihomologous points lie on a circle

When two rays from the same homothetic center intersect the circles, each set of antihomologous points lie on a circle.

Consider triangles EQS and EQS (Figure 4).
They are similar because both share angle ∠QES=∠QES and since E is the homothetic center. From that similarity follows that ∠ESQ=∠ESQ. Because of the inscribed angle theorem ∠EPR=∠ESQ. ∠QSR=180°-α since it is supplementary to ∠ESQ. In the quadrilateral QSRP ∠QSR+∠QPR=180°-α+α=180° which means it can be inscribed in a circle. From the secant theorem follows that EQ·EP=ES·ER.

In the same way it can be shown that PRSQ can be inscribed in circle and EP·EQ=ER·ES.

The proof is similar for the internal homothetic center I.
PIR~PIR then ∠RPI=∠IPR. ∠RSQ=∠PPR (inscribed angle theorem). Segment RQ is seen in the same angle from P and S which means R, P, S and Q lie on a circle. Then from intersecting chords theorem IP·IQ=IR·IS. Similarly QSPR can be inscribed in a circle and IQ·IP=IS·IR.

Relation with the radical axis

Two circles have a radical axis, which is the line of points from which tangents to both circles have equal length. More generally, every point on the radical axis has the property that its powers relative to the circles are equal. The radical axis is always perpendicular to the line of centers, and if two circles intersect, their radical axis is the line joining their points of intersection. For three circles, three radical axes can be defined, one for each pair of circles (C1/C2, C1/C3, and C2/C3); remarkably, these three radical axes intersect at a single point, the radical center. Tangents drawn from the radical center to the three circles would all have equal length.

Any two pairs of antihomologous points can be used to find a point on the radical axis. Consider the two rays emanating from the external homothetic center E in Figure 4. These rays intersect the two given circles (green and blue in Figure 4) in two pairs of antihomologous points, Q and P for the first ray, and S and R for the second ray. These four points lie on a single circle, that intersects both given circles. By definition, the line QS is the radical axis of the new circle with the green given circle, whereas the line PR is the radical axis of the new circle with the blue given circle. These two lines intersect at the point G, which is the radical center of the new circle and the two given circles. Therefore, the point G also lies on the radical axis of the two given circles.

Tangent circles and antihomologous points

For each pair of antihomologous points of two circles exists a third circle which is tangent to the given ones and touches them at the antihomologous points.
The opposite is also true — every circle which is tangent to two other circles touches them at a pair of antihomologous points.

Figure 5: Every circle which is tangent to two given circles touches them at a pair of antihomologous points Two circles tangent homothetic center.svg
Figure 5: Every circle which is tangent to two given circles touches them at a pair of antihomologous points

Let our two circles have centers O1 and O2 (Figure 5). E is their external homothetic center. We construct an arbitrary ray from E which intersects the two circles in P, Q, P and Q. Extend O1Q and O2P until they intersect in T1. It is easily proven that triangles O1PQ and O2PQ are similar because of the homothety. They are also isosceles because O1P=O1Q (radius), therefore ∠O1PQ=∠O1QP=∠O2PQ=∠O2QP=∠T1QP=∠T1PQ. Thus T1PQ is also isosceles and a circle can be constructed with center T1 and radius T1P=T1Q. This circle is tangent to the two given circles in points Q and P.

The proof for the other pair of antihomologous points (P and Q), as well as in the case of the internal homothetic center is analogous.

Figure 6: Family of tangent circles for the external homothetic center External Homothetic center Tangent circles family.svg
Figure 6: Family of tangent circles for the external homothetic center
Figure 7: Family of tangent circles for the internal homothetic center Internall Homothetic center Tangent circles family.svg
Figure 7: Family of tangent circles for the internal homothetic center

If we construct the tangent circles for every possible pair of antihomologous points we get two families of circles - one for each homothetic center. The family of circles of the external homothetic center is such that every tangent circle either contains both given circles or none (Figure 6). On the other hand, the circles from the other family always contain only one of the given circles (Figure 7).

Figure 8: The radical axis of tangent circles passes through the radical center Two circles tangent radical.svg
Figure 8: The radical axis of tangent circles passes through the radical center

All circles from a tangent family have a common radical center and it coincides with the homothetic center.
To show this, consider two rays from the homothetic center, intersecting the given circles (Figure 8). Two tangent circles T1 and T2 exist which touch the given circles at the antihomologous points. As we've already shown these points lie on a circle C and thus the two rays are radical axes for C/T1 and C/T2. Then the intersecting point of the two radical axes must also belong to the radical axis of T1/T2. This point of intersection is the homothetic center E.

If the two tangent circle touch collinear pairs of antihomologous point — as in Figure 5 — then because of the homothety. Thus the powers of E with respect to the two tangent circles are equal which means that E belongs to the radical axis.

Homothetic centers of three circles

Any pair of circles has two centers of similarity, therefore, three circles would have six centers of similarity, two for each distinct pair of given circles. Remarkably, these six points lie on four lines, three points on each line. Here is one way to show this.

Figure 9: In a three circle configuration, three homothetic centers (one for each pair of circles) lie on a single line Homothetic centers of three circles lie on a line.svg
Figure 9: In a three circle configuration, three homothetic centers (one for each pair of circles) lie on a single line

Consider the plane of the three circles (Figure 9). Offset each center point perpendicularly to the plane by a distance equal to the corresponding radius. The centers can be offset to either side of the plane. The three offset points define a single plane. In that plane we build three lines through each pair of points. The lines pierce the plane of circles in the points HAB, HBC and HAC. Since the locus of points which are common to two distinct and non-parallel planes is a line then necessarily these three points lie on such line. From the similarity of triangles HABAA and HABBB we see that (rA,B being the radii of the circles) and thus HAB is in fact the homothetic center of the corresponding two circles. We can do the same for HBC and HAC.

Figure 10: All six homothetic centers (dots) of three circles lie on four lines (thick lines) Homothetic centers of three circles.svg
Figure 10: All six homothetic centers (dots) of three circles lie on four lines (thick lines)

Repeating the above procedure for different combinations of homothetic centers (in our method this is determined by the side to which we offset the centers of the circles) would yield a total of four lines — three homothetic centers on each line (Figure 10).

Here is yet another way to prove this.

Figure 11: The blue line is the radical axis of the two tangent circles C1 and C2 (pink). Each pair of given circles has a homothetic center which belongs to the radical axis of the two tangent circles. Since the radical axis is a line this means that the three homothetic centers are collinear Tangent circles to three circles radical axis.svg
Figure 11: The blue line is the radical axis of the two tangent circles C1 and C2 (pink). Each pair of given circles has a homothetic center which belongs to the radical axis of the two tangent circles. Since the radical axis is a line this means that the three homothetic centers are collinear

Let C1 and C2 be a conjugate pair of circles tangent to all three given circles (Figure 11). By conjugate we imply that both tangent circles belong to the same family with respect to any one of the given pairs of circles. As we've already seen, the radical axis of any two tangent circles from the same family passes through the homothetic center of the two given circles. Since the tangent circles are common for all three pairs of given circles then their homothetic centers all belong to the radical axis of C1 and C2 e.g., they lie on a single line.

This property is exploited in Joseph Diaz Gergonne's general solution to Apollonius' problem. Given the three circles, the homothetic centers can be found and thus the radical axis of a pair of solution circles. Of course, there are infinitely many circles with the same radical axis, so additional work is done to find out exactly which two circles are the solution.

See also

Related Research Articles

<span class="mw-page-title-main">Circle</span> Simple curve of Euclidean geometry

A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

<span class="mw-page-title-main">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Sphere</span> A set of points in space which are equidistant from the center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the centre of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

In geometry, inversive geometry is the study of inversion, a transformation of the Euclidean plane that maps circles or lines to other circles or lines and that preserves the angles between crossing curves. Many difficult problems in geometry become much more tractable when an inversion is applied. Inversion seems to have been discovered by a number of people contemporaneously, including Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs and Ingram (1842-3) and Kelvin (1845).

<span class="mw-page-title-main">Ford circle</span> Rational circle tangent to the real line

In mathematics, a Ford circle is a circle in the Euclidean plane, in a family of circles that are all tangent to the -axis at rational points. For each rational number , expressed in lowest terms, there is a Ford circle whose center is at the point and whose radius is . It is tangent to the -axis at its bottom point, . The two Ford circles for rational numbers and are tangent circles when and otherwise these two circles are disjoint.

<span class="mw-page-title-main">Poincaré half-plane model</span> Upper-half plane model of hyperbolic non-Euclidean geometry

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.

<span class="mw-page-title-main">Ultraparallel theorem</span> Theorem in hyperbolic geometry

In hyperbolic geometry, two lines are said to be ultraparallel if they do not intersect and are not limiting parallel.

<span class="mw-page-title-main">Radius</span> Segment in a circle or sphere from its center to its perimeter or surface and its length

In classical geometry, a radius of a circle or sphere is any of the line segments from its center to its perimeter, and in more modern usage, it is also their length. The name comes from the Latin radius, meaning ray but also the spoke of a chariot wheel. The typical abbreviation and mathematical variable name for radius is R or r. By extension, the diameter D is defined as twice the radius:

<span class="mw-page-title-main">Radical axis</span> All points whose relative distances to two circles are equal

In Euclidean geometry, the radical axis of two non-concentric circles is the set of points whose power with respect to the circles are equal. For this reason the radical axis is also called the power line or power bisector of the two circles. In detail:

<span class="mw-page-title-main">Power of a point</span> Relative distance of a point from a circle

In elementary plane geometry, the power of a point is a real number that reflects the relative distance of a given point from a given circle. It was introduced by Jakob Steiner in 1826.

<span class="mw-page-title-main">Problem of Apollonius</span> Construct circles that are tangent to three given circles in a plane

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga posed and solved this famous problem in his work Ἐπαφαί ; this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets.

<span class="mw-page-title-main">Pencil (geometry)</span> Family of geometric objects with a common property

In geometry, a pencil is a family of geometric objects with a common property, for example the set of lines that pass through a given point in a plane, or the set of circles that pass through two given points in a plane.

The circles of Apollonius are any of several sets of circles associated with Apollonius of Perga, a renowned Greek geometer. Most of these circles are found in planar Euclidean geometry, but analogs have been defined on other surfaces; for example, counterparts on the surface of a sphere can be defined through stereographic projection.

<span class="mw-page-title-main">Circular arc</span> Part of a circle between two points

A circular arc is the arc of a circle between a pair of distinct points. If the two points are not directly opposite each other, one of these arcs, the minor arc, subtends an angle at the center of the circle that is less than π radians ; and the other arc, the major arc, subtends an angle greater than π radians. The arc of a circle is defined as the part or segment of the circumference of a circle. A straight line that connects the two ends of the arc is known as a chord of a circle. If the length of an arc is exactly half of the circle, it is known as a semicircular arc.

<span class="mw-page-title-main">Tangential quadrilateral</span> Polygon whose four sides all touch a circle

In Euclidean geometry, a tangential quadrilateral or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called the incircle of the quadrilateral or its inscribed circle, its center is the incenter and its radius is called the inradius. Since these quadrilaterals can be drawn surrounding or circumscribing their incircles, they have also been called circumscribable quadrilaterals, circumscribing quadrilaterals, and circumscriptible quadrilaterals. Tangential quadrilaterals are a special case of tangential polygons.

In Euclidean geometry, Apollonius' problem is to construct all the circles that are tangent to three given circles. Special cases of Apollonius' problem are those in which at least one of the given circles is a point or line, i.e., is a circle of zero or infinite radius. The nine types of such limiting cases of Apollonius' problem are to construct the circles tangent to:

  1. three points
  2. three lines
  3. one line and two points
  4. two lines and a point
  5. one circle and two points
  6. one circle, one line, and a point
  7. two circles and a point
  8. one circle and two lines
  9. two circles and a line
<span class="mw-page-title-main">Steiner chain</span> Set of circles related by tangency

In geometry, a Steiner chain is a set of n circles, all of which are tangent to two given non-intersecting circles, where n is finite and each circle in the chain is tangent to the previous and next circles in the chain. In the usual closed Steiner chains, the first and last circles are also tangent to each other; by contrast, in open Steiner chains, they need not be. The given circles α and β do not intersect, but otherwise are unconstrained; the smaller circle may lie completely inside or outside of the larger circle. In these cases, the centers of Steiner-chain circles lie on an ellipse or a hyperbola, respectively.

In Euclidean plane geometry, a tangent line to a circle is a line that touches the circle at exactly one point, never entering the circle's interior. Tangent lines to circles form the subject of several theorems, and play an important role in many geometrical constructions and proofs. Since the tangent line to a circle at a point P is perpendicular to the radius to that point, theorems involving tangent lines often involve radial lines and orthogonal circles.

<span class="mw-page-title-main">Ex-tangential quadrilateral</span> Convex 4-sided polygon whose sidelines are all tangent to an outside circle

In Euclidean geometry, an ex-tangential quadrilateral is a convex quadrilateral where the extensions of all four sides are tangent to a circle outside the quadrilateral. It has also been called an exscriptible quadrilateral. The circle is called its excircle, its radius the exradius and its center the excenter. The excenter lies at the intersection of six angle bisectors. These are the internal angle bisectors at two opposite vertex angles, the external angle bisectors at the other two vertex angles, and the external angle bisectors at the angles formed where the extensions of opposite sides intersect. The ex-tangential quadrilateral is closely related to the tangential quadrilateral.

References

  1. Weisstein, Eric W., Antihomologous Points, MathWorld--A Wolfram Web Resource