|
|
|
|
|
|
|
|
|
Inversion in the Incircle: What Is It About?
|
| Buy this applet |
Copyright © 1996-2008 Alexander Bogomolny
Inversion in the Incircle
The applet suggests the following theorem [Mathematical Gems II]:
| The inverse images of the side lines of a triangle in its incircle are three circles of equal radii that concur at the incenter. The circle through their second points of intersection is none other than the inverse image of the circumcircle. It has the same radius. |
| Buy this applet |
R. Honsberger credits Arnold Emch (1916) with the following observation.
For a given 
ABC, we are interested in the inversion in its incircle. The side lines (being tangent to the incircle) invert into the circles that pass through the incenter (I) and still tangent to the side lines at the same points (A', B', C') of tangency, as the side lines. These circles have IA', IB', and IC' as their diameters. The three are therefore equal.
Their second points of intersection correspond by the inversion to the vertices of ABC. It follows that the circle through these three points is the inverse image of the circumcircle of ABC. As we know, it has the same diameter as the other three circles, viz., r - the inradius of ABC. We have obtained a nice result:
|
Under inversion in the incircle of a triangle, the side lines and the circumcircle are carried into four equal circles with the common diameter equal to the inradius of |
References
- R. Honsberger, Mathematical Gems II, MAA, 1976, pp. 20-21
Corollary
Nathan Bowler has noticed that the above configuration yields a simple proof of the well known identity (yet another Euler's formula):
| (*) | OI2 = R2 - 2Rr, |
where R and r are the circumradius and the inradius of ABC.
Let P and Q be the two points of intersection of OI with the circumcircle, such that
| IP = R - OI and IQ = R + OI. |
Let P' and Q' be the inverses of P and Q, respectively. Then, since P'Q' is the diameter of the inverse image of the circumcircle,
| IP' + IQ' = r. |
Now we have
|
which simplifies to
| R2 - OI2 = 2Rr. |
The latter is equivalent to (*) and conventionally appears in the following form
| 1 / (R - OI) + 1 / (R + OI) = 1 / r. |
It is a curious fact that the inverse image of the circumcircle in the incircle is the 9-point circle of A'B'C', from which, too, we see that its diameter is equal to the inradius of ABC.
Inversion
- Angle Preservation Property
- Apollonian Circles Theorem
- Bisectal Circle
- Chain of Inscribed Circles
- Circle Inscribed in a Circular Segment
- Circle Inversion: Reflection in a Circle
- Feuerbach's Theorem: a Proof
- Four Touching Circles
- Hart's Inversor
- Inversion in the Incircle
- Inversion Tool
- Inversion with a Negative Power
- Peaucellier Linkage
- Polar Circle
- Poles and Polars
- Radical Axis of Circles Inscribed in a Circular Segment
- Steiner's porism
- Three Tangents, Three Secants
Nine Point Circle
- Feuerbach's Theorem
- Feuerbach's Theorem: a Proof
- Four Triangles, One Circle
- Hart Circle
- Incidence in Feuerbach's Theorem
- Six Point Circle
- Nine Point Circle
- Inversion in the Incircle
Copyright © 1996-2008 Alexander Bogomolny
| 28727342 |  |
|