Feuerbach's Theorem: a Proof
Feuerbach's Theorem states that the 9-point circle is tangent internally to the incircle of a triangle and externally to its excircles.
What if applet does not run? |
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny
The proof that applies inversion to establish the tangency does this for pairs of circles. Following [Pedoe, pp. 9-10] and [Coolidge, p. 41], I'll do that for the excircles C_{b} and C_{c} lying opposite the vertices B and C, respectively. [Coxeter and Greitzer, p. 117-119] employ a similar method to the incircle and one of the excircles.
Proof
What if applet does not run? |
Let S be the point of intersection of BC and C_{b}C_{c}. S is the external center of similitude of the two excircles, while A is their internal center of similitude. It follows that
(1) | AC_{b}/AC_{c} (= r_{b}/r_{c}) = SC_{b}/SC_{c}, |
which means that points A and S divide the segment C_{b}C_{c} harmonically. The same holds for the projections P, B', C', S of the four points onto BC. Therefore,
(2) | PB'/PC' = SB'/SC'. |
If L is the midpoint of the segment B'C', then (2) is equivalent to
(3) | LP·LS = LB'·LC' = LB'^{2} = LC'^{2}. |
This means that P and S are mapped on each other by inversion in the circle w centered at L of radius
Let K be the midpoint of AB and M that of AC. The 9-point circle of ΔABC is the circumcircle of ΔKLM. Since it contains L, the inversion in circle w maps the 9-point circle onto a straight line through S. The 9-point circle is known to pass through the feet of the altitudes, P in particular. Therefore, the image of the circle under the inversion passes through S, the image of P.
To further identify this line, we invoke the angle preservation property of the inversion. Let XX' be the tangent to the 9-point circle at L. We have
(4) | ∠XLK = ∠KML = ∠ABC. |
Because of the symmetry in the line of centers, the same angle is formed by AC and the line, other than BC, that is tangent to the two circles externally. In other words, XX' is parallel to that tangent. By the inversion at hand, KL is mapped onto itself. Also, KL||AC. The image of the 9-point circle must form the same angle with KL (or AC) as the circle itself. The second external tangent to the circles C_{b} and C_{c} fits the bill. It also passes through S. It is therefore exactly the image of the 9-point circle under the inversion. The circles C_{b} and C_{c}, being orthogonal to the circle of inversion, are anallagmatic, i.e., fixed under the inversion. So finally, since the image of the 9-point circle is tangent to the two circles, so is the 9-point circle itself.
As a variant, Hubert Shutrick suggested to take the tangent to the nine-point circle at K because L goes to infinity stretching the imagination of the reader. Since the angle between the tangent and KL is equal to ∠KML which is equal to the top angle in the diagram and since KL is parallel with AC, this is also the angle between KL produced and the line through S inverse to the nine-point circle.
References
- J. L. Coolidge, A Treatise On the Circle and the Sphere, AMS - Chelsea Publishing, 1971
- H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967
- D. Pedoe, Circles: A Mathematical View, MAA, 1995
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
Nine Point Circle
- Nine Point Circle: an Elementary Proof
- Feuerbach's Theorem
- Feuerbach's Theorem: a Proof
- Four 9-Point Circles in a Quadrilateral
- Four Triangles, One Circle
- Hart Circle
- Incidence in Feuerbach's Theorem
- Six Point Circle
- Nine Point Circle
- 6 to 9 Point Circle
- Six Concyclic Points II
- Bevan's Point and Theorem
- Another Property of the 9-Point Circle
- Concurrence of Ten Nine-Point Circles
- Garcia-Feuerbach Collinearity
- Nine Point Center in Square
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny
71865104