Cut The Knot!by Alex Bogomolny |
Inversion: Introduction
February 2003
'I suppose I must have gone round in a circle.' Jaroslav Hasek |
Let's consider the following problem [Savchev, p. 146-147; Honsberger, pp. 30-31; Stanley Rabinowitz in Crux Mathematicorum, Problem 1070, 1987, 31] that, perhaps surprisingly (because of its simplicity), has several apparently unrelated solutions. Which one sheds more light on the nature of the problem?
The configuration consists of a circle Σ with center O and a straight line ST that cuts from Σ a circular segment STS. Circles are inscribed in the segment and, for each, the points A and B of tangency with the segment are joined by a straight line. Prove that all those lines concur at the midpoint M of the arc ST complementary to the segment.
Proof 1
Let O' be the center of an inscribed circle. Then ΔAO'B is isosceles. Extend AB beyond A and let it intersect the perpendicular OM to ST at point N (not shown on the diagram.) The two triangles AO'B and NOB are similar. Indeed, they have a common angle at B and, since ON||O'A, their respective angles at O' and O are also equal. ΔNOB is therefore isosceles.
The next proof builds on the observation that the triangles AO'B and MOB are not merely similar but are homothetic with center B.
Proof 2
All circles are similar and, moreover, homothetic. For each pair of distinct circles there are either two or one homothety that maps one of the circles onto the other. Two touching circles (as in the problem) are related by a single homothety with their common point of tangency as the center. All points related by a homothety are collinear with its center B. In particular this is true of the lowest (A and M in the diagram) points of the two circles.
Proofs 1 and 2 are simple and are not exactly ad hoc as both apply to a more general situation of a line and a circle that do not necessarily cross and to the circles tangent to both of them.
Proof 3
Let's make an inversion with center S and radius SM. The point M remains unmoved as a point on the circle of inversion. The line ST is fixed, although not point-wise. The circle Σ becomes a straight line meeting ST at the image T' of the point T and passing through M. Since inversion preserves angles, the tangency points A and B become the tangency points A' and B' in the inverse image. The circles inscribed in the segment map onto the circles inscribed into the angle vertical to the angle ST'M.
Because of the symmetry in the angle bisector, A'B' is perpendicular to the angle bisector of that angle. For the same reason, any circle through A' and B' is also perpendicular to the bisector. The bisector is the inverse image of the circle with center M and radius
The situation is illustrated by the following applet:
Proof 3 has the virtue of bringing together elements of various geometries: inversive and affine. But check this out:
Problem 1. Among all circles inscribed in the segment, the one that is tangent to MT' on the side of T is invariant under the inversion with center S and radius SM.
Proof 4
Let's make an inversion in center M with radius
A circular segment is formed by two curves -- a circle and a straight line. What one may learn from the proofs 3 and 4 is that the important fact about those two curves is that they map onto each other under an inversion. For example, since the inverse image of a circle is either a straight line or a circle, we can conclude that the proofs 3 and 4 apply to the case where circles are inscribed into a lune -- the shape formed by two circular arcs. This could be verified with the applet below, where, with the box "Let center move" checked, the point M could be moved from its original location.
The framework created by Proof 4 suggests more problems. For example,
Problem 2. Circles inscribed in a circular segment may touch. Prove that when they do, their common tangent passes through M.
Problem 3. Circles inscribed in a circular segment may cross. Prove that when they do, the line through the two points of intersection passes through M.
Problem 4. A circle overlaps a circular segment so that the four angles it forms with the boundary of the segment are all equal. Let the points of intersection be A_{1} and A_{2} on the linear segment and B_{1} and B_{2} on the arc such that A_{1}B_{2} intersect A_{2}B_{1} inside the segment. Then A_{1}B_{1} and A_{2}B_{2} meet in M.
Problem 5. A circle with center on ST intersects ST in A_{1} and A_{2} and Σ in B_{1} and B_{2} (A_{1} is inside Σ, while B_{1} is above ST.) Prove that, if the two cricles meet at 90°, then both A_{1}B_{1} and A_{2}B_{2} pass through M.
Each of the problems may be tackled in its own right, but inversion, by providing an universal explanation, removes from them the facade of distinctiveness. For these and the original problem inversion provides the right kind of backdrop. This is not to say that individual solutions, like the proofs 1 and 2, have no intrinsic value. Proofs 1 and 2 that do not use inversion make nonetheless a case for one of the rather important properties of the inversion, the property that has been used in proofs 3 and 4, viz., inversion maps straight lines that do not pass through the center of inversion onto the circles that do pass through the center, and vice versa.
The proof of that fact could be built on top of Proof 1. Connect T to B and M. Triangles BTM and MAT are similar. Indeed, the two triangles share an angle at M. Also, ∠BTM equals half the measure of the arc BSM. On the other hand, ∠MAT equals half the measure of the sum of arcs BS and MT, but the latter is equal to MS. Therefore,
From the similarity of triangles BTM and MAT, we obtain
(1) | MA·MB = MT^{2} |
which is one of the definitions of inversion. The inversion with center M and radius MT (or center M and power MT^{2}) maps the line ST onto the circle Σ, and the latter back on the line ST.
Sometimes a more general definition is used
(1') | MA·MB = k, |
where k may be any nonzero real number. A geometric definition underscores the importance of orthogonal circles in the inversive geometry and provides analogy with the symmetry in a straight line.
Given a circle λ and a point P not on λ. The circles orthogonal to λ and passing through P all pass through one other point P'. The latter is called the inverse of P in the given circle. Obviously, if P' is the inverse of P, then P is the inverse of P'.
It is easy to see that the two definitions are equivalent. The algebraic one (1) is easier to use. The geometric definition bonds inversion to the symmetry in a straight line. Indeed, for any pair of points that are symmetric images of each other in a straight line, any circle orthogonal to the straight line and passing through one of the points is bound to pass through the other. Circles orthogonal to the circle of inversion (axis of symmetry) are invariant under the inversion (symmetry.) The circle of inversion (axis of symmetry) itself consists of points fixed under the inversion (symmetry.) This explains why inversion is often called symmetry in the circle.
Circles that do not pass through the center of inversion are inverted into circles. Any two circles could be inverted into one another. Indeed, any center of homothety of the two circles could be used as the center of inversion. The points that correspond to each other under homothety are called homologous. The points that correspond to each other under inversion are antihomologous. For example, in the applet below the points in the pairs A, B' and A', B are homologous, whereas A, A' and B, B' are antihomologous.
Because of this connection between inversion and homothety, inversion, as does homothety, enjoys the angle preservation property: under inversion angles do not change. There are other ways to describe that property. In complex analysis, mappings that preserve angles are called conformal, in geometry they are said to be isogonal.
A caveat is in order. Both definitions of inversion leave out the center of inversion that does not correspond to any point. It is customary to complement the definitions by assigning the point at infinity to the center of inversion (and vice versa, of course.) This is not the same infinity as that shared by all parallel lines, rather every straight line closes on itself at the "new" infinity. The straight lines thus may be (and are in inversive geometry) looked at as circles with center at infinity and an infinite radius. The angle preservation property means in particular that two circles tangent at the center of inversion are mapped onto two parallel lines. Two circles that cross at the center of inversion are mapped onto two intersecting straight lines.
Because of this interplay between circles and straight lines, inversion has been used to produce curious results. Here is a classical example. Construct two tangent circles Σ_{1} and Σ_{2} and the line L through their centers. We are going to inscribe into the crescent-shaped space between the circles a chain of pairwise tangent circles. The first one, α_{0}, has its diameter on L. The second, α_{1}, is tangent to α_{0}, and both Σ_{1} and Σ_{2}, and so on. Let h_{n} and r_{n} denote the distance to L from the center and the radius of the circle α_{n}. Then
(2) | h_{n} = 2n·r_{n}. |
Indeed, an inversion with the center at the common point of tangency of Σ_{1} and Σ_{2} maps the two circles onto two parallel lines perpendicular to L. The circles α_{n} map an a chain of equal circles inscribed between the two parallel lines with the diameter of the first one on L. For those circles, the analogue of (2) is obvious: h'_{n} = 2n·r'_{n}, where h'_{n} is the distance from the center of the inverse image of α_{n} to L and r'_{n} is its radius. However, the circles in every inverse pair are homothetic with the center of homothety at the center of inversion. Whence,
Lastly, I'll consider another famous example said to be "very dear to Jacob Steiner" [Coolidge, p 31].
For two concentric circles, either there exists a closed chain of circles tangent to the given two as well as to their immediate neighbors in the chain, or such a chain does not exist. In the former case, the chain could be started at the arbitrary location in the ring between the two circles.
Jacob Steiner's wonderful theorem says that the same holds true even if the two circles are not concentric. A simple proof depends on the following assertion:
(3) | Any two non-intersecting circles can be inverted into concentric circles. |
Let first two circles Σ_{1} and Σ_{2} lie outside each other. Their radical axis consists of the points from which the tangents to Σ_{1} and Σ_{2} are equal. A circle centered on the radical axis and having radius equal to the common tangent to the circles Σ_{1} and Σ_{2} from its center is perpendicular to both circles. It is therefore easy two find two intersecting circles α_{1} and α_{2} orthogonal to Σ_{1} and Σ_{2}. Make an inversion with the center at one of the points of intersection of α_{1} and α_{2}. α_{1} and α_{2} will map onto two straight intersecting lines. Let T' be their point of intersection. Σ_{1} and Σ_{2} will map onto two circles orthogonal to those lines and therefore both centered at the point T'.
If one of the given circles is located in the interior of the other, we may first make an inversion that will separate the two. Any inversion with the center in the ring formed by the two circles will serve that purpose.
References
- J. L. Coolidge, A Treatise On the Circle and the Sphere, AMS - Chelsea Publishing, 1971
- H. S. M. Coxeter, Introduction to Geometry, John Wiley & Sons, 1961
- H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967
- J. Hasek, The Good Soldier Svejk, Viking Press, 1990
- R. Honsberger, In Polya's Footsteps, MAA, 1997
- S. Savchev, T. Andreescu, Mathematical Miniatures, MAA, 2003
Inversion - Introduction
- Angle Preservation Property
- Apollonian Circles Theorem
- Archimedes' Twin Circles and a Brother
- Bisectal Circle
- Chain of Inscribed Circles
- Circle Inscribed in a Circular Segment
- Circle Inversion: Reflection in a Circle
- Circle Inversion Tool
- Feuerbach's Theorem: a Proof
- Four Touching Circles
- Hart's Inversor
- Inversion in the Incircle
- Inversion with a Negative Power
- Miquel's Theorem for Circles
- Peaucellier Linkage
- Polar Circle
- Poles and Polars
- Ptolemy by Inversion
- Radical Axis of Circles Inscribed in a Circular Segment
- Steiner's porism
- Stereographic Projection and Inversion
- Tangent Circles and an Isosceles Triangle
- Tangent Circles and an Isosceles Triangle II
- Three Tangents, Three Secants
- Viviani by Inversion
- Simultaneous Diameters in Concurrent Circles
- An Euclidean Construction with Inversion
- Construction and Properties of Mixtilinear Incircles
- Two Quadruplets of Concyclic Points
- Seven and the Eighth Circle Theorem
- Invert Two Circles Into Equal Ones
|Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny
67801102