Nine-point circle

Last updated January 21, 2025

In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:

The nine-point circle is also known as Feuerbach's circle (after Karl Wilhelm Feuerbach), Euler's circle (after Leonhard Euler), Terquem's circle (after Olry Terquem), the six-points circle, the twelve-points circle, the $n$ -point circle, the medioscribed circle, the mid circle or the circum-midcircle. Its center is the nine-point center of the triangle.^[3]^[4]

Nine Significant Points of Nine Point Circle

The diagram above shows the nine significant points of the nine-point circle. Points $D, E, F$ are the midpoints of the three sides of the triangle. Points $G, H, I$ are the feet of the altitudes of the triangle. Points $J, K, L$ are the midpoints of the line segments between each altitude's vertex intersection (points $A, B, C$ ) and the triangle's orthocenter (point $S$ ).

For an acute triangle, six of the points (the midpoints and altitude feet) lie on the triangle itself; for an obtuse triangle two of the altitudes have feet outside the triangle, but these feet still belong to the nine-point circle.

Discovery

Although he is credited for its discovery, Karl Wilhelm Feuerbach did not entirely discover the nine-point circle, but rather the six-point circle, recognizing the significance of the midpoints of the three sides of the triangle and the feet of the altitudes of that triangle. (See Fig. 1, points $D, E, F, G, H, I$ .) (At a slightly earlier date, Charles Brianchon and Jean-Victor Poncelet had stated and proven the same theorem.) But soon after Feuerbach, mathematician Olry Terquem himself proved the existence of the circle. He was the first to recognize the added significance of the three midpoints between the triangle's vertices and the orthocenter. (See Fig. 1, points $J, K, L$ .) Thus, Terquem was the first to use the name nine-point circle.

Tangent circles

The nine-point circle is tangent to the incircle and excircles. Circ9pnt3.svg — The nine-point circle is tangent to the incircle and excircles.

In 1822 Karl Feuerbach discovered that any triangle's nine-point circle is externally tangent to that triangle's three excircles and internally tangent to its incircle; this result is known as Feuerbach's theorem. He proved that:

... the circle which passes through the feet of the altitudes of a triangle is tangent to all four circles which in turn are tangent to the three sides of the triangle...

^[5]

The triangle center at which the incircle and the nine-point circle touch is called the Feuerbach point.

Other properties of the nine-point circle

The radius of a triangle's circumcircle is twice the radius of that triangle's nine-point circle.^[6]^: p.153

Figure 3

A nine-point circle bisects a line segment going from the corresponding triangle's orthocenter to any point on its circumcircle.

Figure 4

The center $N$ of the nine-point circle bisects a segment from the orthocenter $H$ to the circumcenter $O$ (making the orthocenter a center of dilation to both circles):^[6]^: p.152

{\overline {ON}}={\overline {NH}}.

The nine-point center $N$ is one-fourth of the way along the Euler line from the centroid $G$ to the orthocenter $H$ :^[6]^: p.153

{\overline {HN}}=3{\overline {NG}}.

Let $ω$ be the nine-point circle of the diagonal triangle of a cyclic quadrilateral. The point of intersection of the bimedians of the cyclic quadrilateral belongs to the nine-point circle.^[7]^[8]

The nine-point circle of a reference triangle is the circumcircle of both the reference triangle's medial triangle (with vertices at the midpoints of the sides of the reference triangle) and its orthic triangle (with vertices at the feet of the reference triangle's altitudes).^[6]^: p.153
The center of all rectangular hyperbolas that pass through the vertices of a triangle lies on its nine-point circle. Examples include the well-known rectangular hyperbolas of Keipert, Jeřábek and Feuerbach. This fact is known as the Feuerbach conic theorem.

If an orthocentric system of four points $A, B, C, H$ is given, then the four triangles formed by any combination of three distinct points of that system all share the same nine-point circle. This is a consequence of symmetry: the sides of one triangle adjacent to a vertex that is an orthocenter to another triangle are segments from that second triangle. A third midpoint lies on their common side. (The same 'midpoints' defining separate nine-point circles, those circles must be concurrent.)
Consequently, these four triangles have circumcircles with identical radii. Let $N$ represent the common nine-point center and $P$ be an arbitrary point in the plane of the orthocentric system. Then

{\overline {NA}}^{2}+{\overline {NB}}^{2}+{\overline {NC}}^{2}+{\overline {NH}}^{2}=3R^{2}

where

R

is the common circumradius; and if

{\overline {PA}}^{2}+{\overline {PB}}^{2}+{\overline {PC}}^{2}+{\overline {PH}}^{2}=K^{2},

where

K

is kept constant, then the locus of

P

is a circle centered at

N

with a radius

{\tfrac {1}{2}}{\sqrt {K^{2}-3R^{2}}}.

As

P

approaches

N

the locus of

P

for the corresponding constant

K

, collapses onto

N

the nine-point center. Furthermore the nine-point circle is the locus of

P

such that

{\overline {PA}}^{2}+{\overline {PB}}^{2}+{\overline {PC}}^{2}+{\overline {PH}}^{2}=4R^{2}.

The centers of the incircle and excircles of a triangle form an orthocentric system. The nine-point circle created for that orthocentric system is the circumcircle of the original triangle. The feet of the altitudes in the orthocentric system are the vertices of the original triangle.
If four arbitrary points $A, B, C, D$ are given that do not form an orthocentric system, then the nine-point circles of $△ ABC, △ BCD, △ CDA, △ DAB$ concur at a point, the Poncelet point of $A, B, C, D$ . The remaining six intersection points of these nine-point circles each concur with the midpoints of the four triangles. Remarkably, there exists a unique nine-point conic, centered at the centroid of these four arbitrary points, that passes through all seven points of intersection of these nine-point circles. Furthermore, because of the Feuerbach conic theorem mentioned above, there exists a unique rectangular circumconic, centered at the common intersection point of the four nine-point circles, that passes through the four original arbitrary points as well as the orthocenters of the four triangles.
If four points $A, B, C, D$ are given that form a cyclic quadrilateral, then the nine-point circles of $△ ABC, △ BCD, △ CDA, △ DAB$ concur at the anticenter of the cyclic quadrilateral. The nine-point circles are all congruent with a radius of half that of the cyclic quadrilateral's circumcircle. The nine-point circles form a set of four Johnson circles. Consequently, the four nine-point centers are cyclic and lie on a circle congruent to the four nine-point circles that is centered at the anticenter of the cyclic quadrilateral. Furthermore, the cyclic quadrilateral formed from the four nine-pont centers is homothetic to the reference cyclic quadrilateral $ABCD$ by a factor of –⁠1/2⁠ and its homothetic center $N$ lies on the line connecting the circumcenter $O$ to the anticenter $M$ where

{\overline {ON}}=2{\overline {NM}}.

The orthopole of lines passing through the circumcenter lie on the nine-point circle.
A triangle's circumcircle, its nine-point circle, its polar circle, and the circumcircle of its tangential triangle ^[9] are coaxal.^[10]
Trilinear coordinates for the center of the Kiepert hyperbola are

{\frac {(b^{2}-c^{2})^{2}}{a}}:{\frac {(c^{2}-a^{2})^{2}}{b}}:{\frac {(a^{2}-b^{2})^{2}}{c}}

Trilinear coordinates for the center of the Jeřábek hyperbola are

\cos(A)\sin ^{2}(B-C):\cos(B)\sin ^{2}(C-A):\cos(C)\sin ^{2}(A-B)

Letting $x : y : z$ be a variable point in trilinear coordinates, an equation for the nine-point circle is

x^{2}\sin 2A+y^{2}\sin 2B+z^{2}\sin 2C-2(yz\sin A+zx\sin B+xy\sin C)=0.

Generalization

The circle is an instance of a conic section and the nine-point circle is an instance of the general nine-point conic that has been constructed with relation to a triangle $△ ABC$ and a fourth point $P$ , where the particular nine-point circle instance arises when $P$ is the orthocenter of $△ ABC$ . The vertices of the triangle and $P$ determine a complete quadrilateral and three "diagonal points" where opposite sides of the quadrilateral intersect. There are six "sidelines" in the quadrilateral; the nine-point conic intersects the midpoints of these and also includes the diagonal points. The conic is an ellipse when $P$ is interior to $△ ABC$ or in a region sharing vertical angles with the triangle, but a nine-point hyperbola occurs when $P$ is in one of the three adjacent regions, and the hyperbola is rectangular when P lies on the circumcircle of $△ ABC$ .

Notes

↑ Altshiller-Court (1925 , pp. 103–110)
↑ Kay (1969 , pp. 18, 245)
↑ Kocik, Jerzy; Solecki, Andrzej (2009). "Disentangling a Triangle". Amer. Math. Monthly. 116 (3): 228–237. doi:10.4169/193009709x470065. Kocik and Solecki (sharers of a 2010 Lester R. Ford Award) give a proof of the Nine-Point Circle Theorem.
↑ Casey, John (1886). Nine-Point Circle Theorem, in A Sequel to the First Six Books of Euclid (4th ed.). London: Longmans, Green, & Co. p. 58.
↑ Feuerbach & Buzengeiger 1822.
1 2 3 4 Posamentier, Alfred S., and Lehmann, Ingmar. The Secrets of Triangles , Prometheus Books, 2012.
↑ Fraivert, David (July 2019). "New points that belong to the nine-point circle". The Mathematical Gazette. 103 (557): 222–232. doi:10.1017/mag.2019.53. S2CID 213935239.
↑ Fraivert, David (2018). "New applications of method of complex numbers in the geometry of cyclic quadrilaterals" (PDF). International Journal of Geometry. 7 (1): 5–16.
↑ Altshiller-Court (1925 , p. 98)
↑ Altshiller-Court (1925 , p. 241)

Related Research Articles

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. A triangle has three internal angles, each one bounded by a pair of adjacent edges; the sum of angles of a triangle always equals a straight angle. The triangle is a plane figure and its interior is a planar region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex; the shortest segment between the base and apex is the height. The area of a triangle equals one-half the product of height and base length.

<span class="mw-page-title-main">Orthocenter</span> Intersection of triangle altitudes

The orthocenter of a triangle, usually denoted by $H$ , is the point where the three altitudes intersect. The orthocenter lies inside the triangle if and only if the triangle is acute. For a right triangle, the orthocenter coincides with the vertex at the right angle.

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

In geometry, an orthocentric system is a set of four points on a plane, one of which is the orthocenter of the triangle formed by the other three. Equivalently, the lines passing through disjoint pairs among the points are perpendicular, and the four circles passing through any three of the four points have the same radius.

In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

<span class="mw-page-title-main">Euler line</span> Line constructed from a triangle

In geometry, the Euler line, named after Leonhard Euler, is a line determined from any triangle that is not equilateral. It is a central line of the triangle, and it passes through several important points determined from the triangle, including the orthocenter, the circumcenter, the centroid, the Exeter point and the center of the nine-point circle of the triangle.

<span class="mw-page-title-main">Midpoint</span> Point on a line segment which is equidistant from both endpoints

In geometry, the midpoint is the middle point of a line segment. It is equidistant from both endpoints, and it is the centroid both of the segment and of the endpoints. It bisects the segment.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

In geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumradius. The circumcenter is the point of intersection between the three perpendicular bisectors of the triangle's sides, and is a triangle center.

In geometry, lines in a plane or higher-dimensional space are concurrent if they intersect at a single point.

In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear. In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row".

In geometry, given a triangle $ABC$ and a point $P$ on its circumcircle, the three closest points to $P$ on lines $AB$ , $AC$ , and $BC$ are collinear. The line through these points is the Simson line of $P$ , named for Robert Simson. The concept was first published, however, by William Wallace in 1799, and is sometimes called the Wallace line.

In geometry, the nine-point center is a triangle center, a point defined from a given triangle in a way that does not depend on the placement or scale of the triangle. It is so called because it is the center of the nine-point circle, a circle that passes through nine significant points of the triangle: the midpoints of the three edges, the feet of the three altitudes, and the points halfway between the orthocenter and each of the three vertices. The nine-point center is listed as point X(5) in Clark Kimberling's Encyclopedia of Triangle Centers.

In Euclidean geometry, a circumconic is a conic section that passes through the three vertices of a triangle, and an inconic is a conic section inscribed in the sides, possibly extended, of a triangle.

In Euclidean geometry with triangle $△ ABC$ , the nine-point hyperbola is an instance of the nine-point conic described by American mathematician Maxime Bôcher in 1892. The celebrated nine-point circle is a separate instance of Bôcher's conic:

In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.

In geometry, the polar circle of a triangle is the circle whose center is the triangle's orthocenter and whose squared radius is

In geometry, the Newton–Gauss line is the line joining the midpoints of the three diagonals of a complete quadrilateral.

In geometry, the Feuerbach hyperbola is a rectangular hyperbola passing through important triangle centers such as the Orthocenter, Gergonne point, Nagel point and Schiffler point. The center of the hyperbola is the Feuerbach point, the point of tangency of the incircle and the nine-point circle.

In triangle geometry, the Kiepert conics are two special conics associated with the reference triangle. One of them is a hyperbola, called the Kiepert hyperbola and the other is a parabola, called the Kiepert parabola. The Kiepert conics are defined as follows:

References

Altshiller-Court, Nathan (1925), College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2nd ed.), New York: Barnes & Noble, LCCN 52013504
Feuerbach, Karl Wilhelm; Buzengeiger, Carl Heribert Ignatz (1822), Eigenschaften einiger merkwürdigen Punkte des geradlinigen Dreiecks und mehrerer durch sie bestimmten Linien und Figuren. Eine analytisch-trigonometrische Abhandlung (Monograph ed.), Nürnberg: Wiessner.
Kay, David C. (1969), College Geometry, New York: Holt, Rinehart and Winston, LCCN 69012075
Fraivert, David (2019), "New points that belong to the nine-point circle", The Mathematical Gazette , 103 (557): 222–232, doi:10.1017/mag.2019.53, S2CID 213935239
Fraivert, David (2018), "New applications of method of complex numbers in the geometry of cyclic quadrilaterals" (PDF), International Journal of Geometry , 7 (1): 5–16

External links

Nine-point circle - interactive illustration of the nine-point circle and some of its properties
"A Javascript demonstration of the nine point circle" at rykap.com
Encyclopedia of Triangles Centers by Clark Kimberling. The nine-point center is indexed as X(5), the Feuerbach point, as X(11), the center of the Kiepert hyperbola as X(115), and the center of the Jeřábek hyperbola as X(125).
History about the nine-point circle based on J.S. MacKay's article from 1892: History of the Nine Point Circle
Weisstein, Eric W. "Nine-Point Circle". MathWorld .
Weisstein, Eric W. "Orthopole". MathWorld .
Nine Point Circle at cut-the-knot
Interactive Nine Point Circle applet from the Wolfram Demonstrations Project
Nine-point conic and Euler line generalization at Dynamic Geometry Sketches Generalizes nine-point circle to a nine-point conic with an associated generalization of the Euler line.
N J Wildberger. Chromogeometry. Discusses the nine-point circle with regard to three different quadratic forms (blue, red, green).

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Altshiller-Court (1925 , pp. 103–110)

[2] Kay (1969 , pp. 18, 245)

[3] Kocik, Jerzy; Solecki, Andrzej (2009). "Disentangling a Triangle". Amer. Math. Monthly. 116 (3): 228–237. doi:10.4169/193009709x470065. Kocik and Solecki (sharers of a 2010 Lester R. Ford Award) give a proof of the Nine-Point Circle Theorem.

[4] Casey, John (1886). Nine-Point Circle Theorem, in A Sequel to the First Six Books of Euclid (4th ed.). London: Longmans, Green, & Co. p. 58.

[FOOTNOTEFeuerbachBuzengeiger1822-5] Feuerbach & Buzengeiger 1822.

[PL-6] 1 2 3 4 Posamentier, Alfred S., and Lehmann, Ingmar. The Secrets of Triangles , Prometheus Books, 2012.

[7] Fraivert, David (July 2019). "New points that belong to the nine-point circle". The Mathematical Gazette. 103 (557): 222–232. doi:10.1017/mag.2019.53. S2CID 213935239.

[8] Fraivert, David (2018). "New applications of method of complex numbers in the geometry of cyclic quadrilaterals" (PDF). International Journal of Geometry. 7 (1): 5–16.

[9] Altshiller-Court (1925 , p. 98)

[10] Altshiller-Court (1925 , p. 241)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]