Johnson circles

Last updated January 25, 2023

In geometry, a set of Johnson circles comprises three circles of equal radius $r$ sharing one common point of intersection $H$ . In such a configuration the circles usually have a total of four intersections (points where at least two of them meet): the common point $H$ that they all share, and for each of the three pairs of circles one more intersection point (referred here as their 2-wise intersection). If any two of the circles happen to osculate, they only have $H$ as a common point, and it will then be considered that $H$ be their 2-wise intersection as well; if they should coincide we declare their 2-wise intersection be the point diametrically opposite $H$ . The three 2-wise intersection points define the reference triangle of the figure. The concept is named after Roger Arthur Johnson.^[1]^[2]^[3]

Properties

The centers of the Johnson circles lie on a circle of the same radius $r$ as the Johnson circles centered at $H$ . These centers form the Johnson triangle.
The circle centered at $H$ with radius $2 r$ , known as the anticomplementary circle is tangent to each of the Johnson circles. The three tangent points are reflections of point $H$ about the vertices of the Johnson triangle.
The points of tangency between the Johnson circles and the anticomplementary circle form another triangle, called the anticomplementary triangle of the reference triangle. It is similar to the Johnson triangle, and is homothetic by a factor 2 centered at $H$ , their common circumcenter.
Johnson's theorem: The 2-wise intersection points of the Johnson circles (vertices of the reference triangle $△ ABC$ ) lie on a circle of the same radius $r$ as the Johnson circles. This property is also well known in Romania as The 5 lei coin problem of Gheorghe Țițeica.
The reference triangle is in fact congruent to the Johnson triangle, and is homothetic to it by a factor −1.
The point $H$ is the orthocenter of the reference triangle and the circumcenter of the Johnson triangle.
The homothetic center of the Johnson triangle and the reference triangle is their common nine-point center.

Proofs

Property 1 is obvious from the definition. Property 2 is also clear: for any circle of radius $r$ , and any point $P$ on it, the circle of radius $2 r$ centered at $P$ is tangent to the circle in its point opposite to $P$ ; this applies in particular to $P = H$ , giving the anticomplementary circle $C$ . Property 3 in the formulation of the homothety immediately follows; the triangle of points of tangency is known as the anticomplementary triangle.

For properties 4 and 5, first observe that any two of the three Johnson circles are interchanged by the reflection in the line connecting $H$ and their 2-wise intersection (or in their common tangent at $H$ if these points should coincide), and this reflection also interchanges the two vertices of the anticomplementary triangle lying on these circles. The 2-wise intersection point therefore is the midpoint of a side of the anticomplementary triangle, and $H$ lies on the perpendicular bisector of this side. Now the midpoints of the sides of any triangle are the images of its vertices by a homothety with factor −½, centered at the barycenter of the triangle. Applied to the anticomplementary triangle, which is itself obtained from the Johnson triangle by a homothety with factor 2, it follows from composition of homotheties that the reference triangle is homothetic to the Johnson triangle by a factor −1. Since such a homothety is a congruence, this gives property 5, and also the Johnson circles theorem since congruent triangles have circumscribed circles of equal radius.

For property 6, it was already established that the perpendicular bisectors of the sides of the anticomplementary triangle all pass through the point $H$ ; since that side is parallel to a side of the reference triangle, these perpendicular bisectors are also the altitudes of the reference triangle.

Property 7 follows immediately from property 6 since the homothetic center whose factor is -1 must lie at the midpoint of the circumcenters $O$ of the reference triangle and $H$ of the Johnson triangle; the latter is the orthocenter of the reference triangle, and its nine-point center is known to be that midpoint. Since the central symmetry also maps the orthocenter of the reference triangle to that of the Johnson triangle, the homothetic center is also the nine-point center of the Johnson triangle.

There is also an algebraic proof of the Johnson circles theorem, using a simple vector computation. There are vectors ${\vec {u}},{\vec {v}},{\vec {w}},$ all of length $r$ , such that the Johnson circles are centered respectively at $H+{\vec {u}},H+{\vec {v}},H+{\vec {w}}.$ Then the 2-wise intersection points are respectively Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle H+\vec{u}+\vec{v}, H+\vec{u}+\vec{w}, H+\vec{v}+\vec{w}}, and the point $H+{\vec {u}}+{\vec {v}}+{\vec {w}}$ clearly has distance $r$ to any of those 2-wise intersection points.

Further properties

The three Johnson circles can be considered the reflections of the circumcircle of the reference triangle about each of the three sides of the reference triangle. Furthermore, under the reflections about the three sides of the reference triangle, its orthocenter $H$ maps to three points on the circumcircle of the reference triangle that form the vertices of the circum-orthic triangle, its circumcenter $O$ maps onto the vertices of the Johnson triangle and its Euler line (line passing through $O, N, H$ ) generates three lines that are concurrent at X(110).

The Johnson triangle and its reference triangle share the same nine-point center, the same Euler line and the same nine-point circle. The six points formed from the vertices of the reference triangle and its Johnson triangle all lie on the Johnson circumconic that is centered at the nine-point center and that has the point X(216) of the reference triangle as its perspector. The circumconic and the circumcircle share a fourth point, X(110) of the reference triangle.

Finally there are two interesting and documented circumcubics that pass through the six vertices of the reference triangle and its Johnson triangle as well as the circumcenter, the orthocenter and the nine-point center. The first is known as the first Musselman cubic – K026. This cubic also passes through the six vertices of the medial triangle and the medial triangle of the Johnson triangle. The second cubic is known as the Euler central cubic – K044. This cubic also passes through the six vertices of the orthic triangle and the orthic triangle of the Johnson triangle.

The X(i) point notation is the Clark Kimberling ETC classification of triangle centers.

External links

Weisstein, Eric W. "Johnson Theorem". MathWorld .
F. M. Jackson and Weisstein, Eric W. "Johnson Circles". MathWorld .
F. M. Jackson and Weisstein, Eric W. "Johnson Triangle". MathWorld .
Weisstein, Eric W. "Johnson Circumconic". MathWorld .
Weisstein, Eric W. "Anticomplementary Triangle". MathWorld .
Weisstein, Eric W. "Circum-Orthic Triangle". MathWorld .
Bernard Gibert Circumcubic K026
Bernard Gibert Circumcubic K044
Clark Kimberling, "Encyclopedia of triangle centers". (Lists some 3000 interesting points associated with any triangle.)

Related Research Articles

<span class="mw-page-title-main">Bisection</span> Division of something into two equal or congruent parts

In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector.

<span class="mw-page-title-main">Altitude (triangle)</span> Perpendicular line segment from a triangles side to opposite vertex

In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to a line containing the base. This line containing the opposite side is called the extended base of the altitude. The intersection of the extended base and the altitude is called the foot of the altitude. The length of the altitude, often simply called "the altitude", is the distance between the extended base and the vertex. The process of drawing the altitude from the vertex to the foot is known as dropping the altitude at that vertex. It is a special case of orthogonal projection.

<span class="mw-page-title-main">Nine-point circle</span> Circle constructed from a triangle

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:

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.

<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">Incenter</span> Center of the inscribed circle of a triangle

In geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle.

<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. All concyclic points are at the same distance from the center of the circle. Three points in the plane that do not all fall on a straight line are concyclic, but four or more such points in the plane are not necessarily concyclic.

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.

In Euclidean geometry, the medial triangle or midpoint triangle of a triangle $△ ABC$ is the triangle with vertices at the midpoints of the triangle's sides $AB, AC, BC$ . It is the $n = 3$ case of the midpoint polygon of a polygon with $n$ sides. The medial triangle is not the same thing as the median triangle, which is the triangle whose sides have the same lengths as the medians of $△ ABC$ .

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 geometry, the de Longchamps point of a triangle is a triangle center named after French mathematician Gaston Albert Gohierre de Longchamps. It is the reflection of the orthocenter of the triangle about the circumcenter.

In geometry, the Fuhrmann circle of a triangle, named after the German Wilhelm Fuhrmann (1833–1904), is the circle with a diameter of the line segment between the orthocenter $and the Nagel point . This circle is identical with the circumcircle of the Fuhrmann triangle.$

In geometry, a homothetic center 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.

In geometry, the Exeter point is a special point associated with a plane triangle. The Exeter point is a triangle center and is designated as the center X(22) in Clark Kimberling's Encyclopedia of Triangle Centers. This was discovered in a computers-in-mathematics workshop at Phillips Exeter Academy in 1986. This is one of the recent triangle centers, unlike the classical triangle centers like centroid, incenter, and Steiner point.

In geometry, central lines are certain special straight lines that lie in the plane of a triangle. The special property that distinguishes a straight line as a central line is manifested via the equation of the line in trilinear coordinates. This special property is related to the concept of triangle center also. The concept of a central line was introduced by Clark Kimberling in a paper published in 1994.

In Euclidean geometry, the trillium theorem – is a statement about properties of inscribed and circumscribed circles and their relations.

The Clawson point is a special point in a planar triangle defined by the trilinear coordinates $, where are the interior angles at the triangle vertices . It is named after John Wentworth Clawson, who published it 1925 in the American Mathematical Monthly.$

<span class="mw-page-title-main">Modern triangle geometry</span>

In mathematics, modern triangle geometry, or new triangle geometry, is the body of knowledge relating to the properties of a triangle discovered and developed roughly since the beginning of the last quarter of the nineteenth century. Triangles and their properties were the subject of investigation since at least the time of Euclid. In fact, Euclid's Elements contains description of the four special points – centroid, incenter, circumcenter and orthocenter - associated with a triangle. Even though Pascal and Ceva in the seventeenth century, Euler in the eighteenth century and Feuerbach in the nineteenth century and many other mathematicians had made important discoveries regarding the properties of the triangle, it was the publication in 1873 of a paper by Emile Lemoine (1840–1912) with the title "On a remarkable point of the triangle" that was considered to have, according to Nathan Altschiller-Court, "laid the foundations...of the modern geometry of the triangle as a whole." The American Mathematical Monthly, in which much of Lemoine's work is published, declared that "To none of these [geometers] more than Émile-Michel-Hyacinthe Lemoine is due the honor of starting this movement of modern triangle geometry". The publication of this paper caused a remarkable upsurge of interest in investigating the properties of the triangle during the last quarter of the nineteenth century and the early years of the twentieth century. A hundred-page article on triangle geometry in Klein's Encyclopedia of Mathematical Sciences published in 1914 bears witness to this upsurge of interest in triangle geometry.

References

↑ Roger Arthur Johnson, Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle, Houghton, Mifflin Company, 1929
↑ Roger Arthur Johnson, "A Circle Theorem", American Mathematical Monthly 23, 161–162, 1916.
↑ Roger Arthur Johnson (1890–1954) Archived 2014-09-13 at the Wayback Machine

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] Roger Arthur Johnson, Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle, Houghton, Mifflin Company, 1929

[2] Roger Arthur Johnson, "A Circle Theorem", American Mathematical Monthly 23, 161–162, 1916.

[3] Roger Arthur Johnson (1890–1954) Archived 2014-09-13 at the Wayback Machine

[1]

[2]

[3]