Pappus chain

Last updated
A Pappus chain Pappus Chain Full.svg
A Pappus chain

In geometry, the Pappus chain is a ring of circles between two tangent circles investigated by Pappus of Alexandria in the 3rd century AD.

Contents

Construction

The arbelos is defined by two circles, CU and CV, which are tangent at the point A and where CU is enclosed by CV. Let the radii of these two circles be denoted as rU and rV, respectively, and let their respective centers be the points U and V. The Pappus chain consists of the circles in the shaded grey region, which are externally tangent to CU (the inner circle) and internally tangent to CV (the outer circle). Let the radius, diameter and center point of the nth circle of the Pappus chain be denoted as rn, dn and Pn, respectively.

Properties

Centers of the circles

Ellipse

All the centers of the circles in the Pappus chain are located on a common ellipse, for the following reason. The sum of the distances from the nth circle of the Pappus chain to the two centers U and V of the arbelos circles equals a constant

Thus, the foci of this ellipse are U and V, the centers of the two circles that define the arbelos; these points correspond to the midpoints of the line segments AB and AC, respectively.

Coordinates

If r = AC/AB, then the center of the nth circle in the chain is:

Radii of the circles

If r = AC/AB, then the radius of the nth circle in the chain is:

Circle inversion

Under a particular inversion centered on A, the four initial circles of the Pappus chain are transformed into a stack of four equally sized circles, sandwiched between two parallel lines. This accounts for the height formula hn = n dn and the fact that the original points of tangency lie on a common circle. Pappus Chain Theorem.svg
Under a particular inversion centered on A, the four initial circles of the Pappus chain are transformed into a stack of four equally sized circles, sandwiched between two parallel lines. This accounts for the height formula hn = ndn and the fact that the original points of tangency lie on a common circle.

The height hn of the center of the nth circle above the base diameter ACB equals n times dn. [1] This may be shown by inverting in a circle centered on the tangent point A. The circle of inversion is chosen to intersect the nth circle perpendicularly, so that the nth circle is transformed into itself. The two arbelos circles, CU and CV, are transformed into parallel lines tangent to and sandwiching the nth circle; hence, the other circles of the Pappus chain are transformed into similarly sandwiched circles of the same diameter. The initial circle C0 and the final circle Cn each contribute ½dn to the height hn, whereas the circles C1Cn1 each contribute dn. Adding these contributions together yields the equation hn = ndn.

The same inversion can be used to show that the points where the circles of the Pappus chain are tangent to one another lie on a common circle. As noted above, the inversion centered at point A transforms the arbelos circles CU and CV into two parallel lines, and the circles of the Pappus chain into a stack of equally sized circles sandwiched between the two parallel lines. Hence, the points of tangency between the transformed circles lie on a line midway between the two parallel lines. Undoing the inversion in the circle, this line of tangent points is transformed back into a circle.

Steiner chain

In these properties of having centers on an ellipse and tangencies on a circle, the Pappus chain is analogous to the Steiner chain, in which finitely many circles are tangent to two circles.

Related Research Articles

<span class="mw-page-title-main">Ellipse</span> Plane curve: conic section

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity , a number ranging from to .

<span class="mw-page-title-main">Hyperbola</span> Plane curve: conic section

In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

<span class="mw-page-title-main">Ellipsoid</span> Quadric surface that looks like a deformed sphere

An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.

In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.

In geometry, inversive geometry is the study of inversion, a transformation of the Euclidean plane that maps circles or lines to other circles or lines and that preserves the angles between crossing curves. Many difficult problems in geometry become much more tractable when an inversion is applied. Inversion seems to have been discovered by a number of people contemporaneously, including Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs and Ingram (1842-3) and Kelvin (1845).

<span class="mw-page-title-main">Dupin cyclide</span> Geometric inversion of a torus, cylinder or double cone

In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered by Charles Dupin in his 1803 dissertation under Gaspard Monge. The key property of a Dupin cyclide is that it is a channel surface in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry.

<span class="mw-page-title-main">Arbelos</span> Plane region bounded by three semicircles

In geometry, an arbelos is a plane region bounded by three semicircles with three apexes such that each corner of each semicircle is shared with one of the others (connected), all on the same side of a straight line that contains their diameters.

<span class="mw-page-title-main">Cross section (geometry)</span> Projection of a solid body onto a plane in 3D space, or an intersection of the two

In geometry and science, a cross section is the non-empty intersection of a solid body in three-dimensional space with a plane, or the analog in higher-dimensional spaces. Cutting an object into slices creates many parallel cross-sections. The boundary of a cross-section in three-dimensional space that is parallel to two of the axes, that is, parallel to the plane determined by these axes, is sometimes referred to as a contour line; for example, if a plane cuts through mountains of a raised-relief map parallel to the ground, the result is a contour line in two-dimensional space showing points on the surface of the mountains of equal elevation.

<span class="mw-page-title-main">Circumscribed circle</span> Circle that passes through all the vertices of a polygon

In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.

<span class="mw-page-title-main">Problem of Apollonius</span> Construct circles that are tangent to three given circles in a plane

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga posed and solved this famous problem in his work Ἐπαφαί ; this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets.

<span class="mw-page-title-main">Beltrami–Klein model</span> Model of hyperbolic geometry

In geometry, the Beltrami–Klein model, also called the projective model, Klein disk model, and the Cayley–Klein model, is a model of hyperbolic geometry in which points are represented by the points in the interior of the unit disk and lines are represented by the chords, straight line segments with ideal endpoints on the boundary sphere.

<span class="mw-page-title-main">Apollonian circles</span> Circles in two perpendicular families

In geometry, Apollonian circles are two families (pencils) of circles such that every circle in the first family intersects every circle in the second family orthogonally, and vice versa. These circles form the basis for bipolar coordinates. They were discovered by Apollonius of Perga, a renowned Greek geometer.

<span class="mw-page-title-main">Soddy's hexlet</span> Chain of 6 spheres tangent to 3 given spheres

In geometry, Soddy's hexlet is a chain of six spheres, each of which is tangent to both of its neighbors and also to three mutually tangent given spheres. In Figure 1, the three spheres are the red inner sphere and two spheres above and below the plane the centers of the hexlet spheres lie on. In addition, the hexlet spheres are tangent to a fourth sphere, which is not tangent to the three others.

In Euclidean geometry, Apollonius' problem is to construct all the circles that are tangent to three given circles. Special cases of Apollonius' problem are those in which at least one of the given circles is a point or line, i.e., is a circle of zero or infinite radius. The nine types of such limiting cases of Apollonius' problem are to construct the circles tangent to:

  1. three points
  2. three lines
  3. one line and two points
  4. two lines and a point
  5. one circle and two points
  6. one circle, one line, and a point
  7. two circles and a point
  8. one circle and two lines
  9. two circles and a line
<span class="mw-page-title-main">Archimedes' quadruplets</span>

In geometry, Archimedes' quadruplets are four congruent circles associated with an arbelos. Introduced by Frank Power in the summer of 1998, each have the same area as Archimedes' twin circles, making them Archimedean circles.

<span class="mw-page-title-main">Steiner chain</span> Set of circles related by tangency

In geometry, a Steiner chain is a set of n circles, all of which are tangent to two given non-intersecting circles, where n is finite and each circle in the chain is tangent to the previous and next circles in the chain. In the usual closed Steiner chains, the first and last circles are also tangent to each other; by contrast, in open Steiner chains, they need not be. The given circles α and β do not intersect, but otherwise are unconstrained; the smaller circle may lie completely inside or outside of the larger circle. In these cases, the centers of Steiner-chain circles lie on an ellipse or a hyperbola, respectively.

<span class="mw-page-title-main">Conic section</span> Curve from a cone intersecting a plane

A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.

<span class="mw-page-title-main">Line segment</span> Part of a line that is bounded by two distinct end points; line with two endpoints

In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using a line above the symbols for the two endpoints.

Conformal geometric algebra (CGA) is the geometric algebra constructed over the resultant space of a map from points in an n-dimensional base space Rp,q to null vectors in Rp+1,q+1. This allows operations on the base space, including reflections, rotations and translations to be represented using versors of the geometric algebra; and it is found that points, lines, planes, circles and spheres gain particularly natural and computationally amenable representations.

References

  1. Ogilvy, pp. 5455.

Bibliography