Apollonian circles

Last updated
Some Apollonian circles. Every blue circle intersects every red circle at a right angle. Every red circle passes through the two points C, D, and every blue circle separates the two points. Apollonian circles.svg
Some Apollonian circles. Every blue circle intersects every red circle at a right angle. Every red circle passes through the two points C, D, and every blue circle separates the two points.

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.

Contents

Definition

Apollonian circle, the angle bisectors in X yield
|
C
T
i
|
|
D
T
i
|
=
|
C
T
o
|
|
D
T
o
|
=
r
{\displaystyle {\frac {|CT_{i}|}{|DT_{i}|}}={\frac {|CT_{o}|}{|DT_{o}|}}=r}
, due
[?]
T
i
X
T
o
=
180
[?]
2
=
90
[?]
{\displaystyle \angle T_{i}XT_{o}={\frac {180^{\circ }}{2}}=90^{\circ }}
and Thales's theorem X is located on a half circle with diameter
C
D
{\displaystyle CD} Apolloniuskreis en.svg
Apollonian circle, the angle bisectors in X yield , due and Thales's theorem X is located on a half circle with diameter

The Apollonian circles are defined in two different ways by a line segment denoted CD.

Each circle in the first family (the blue circles in the figure) is associated with a positive real number r, and is defined as the locus of points X such that the ratio of distances from X to C and to D equals r, For values of r close to zero, the corresponding circle is close to C, while for values of r close to , the corresponding circle is close to D; for the intermediate value r = 1, the circle degenerates to a line, the perpendicular bisector of CD. The equation defining these circles as a locus can be generalized to define the Fermat–Apollonius circles of larger sets of weighted points.

Each circle in the second family (the red circles in the figure) is associated with an angle θ, and is defined as the locus of points X such that the inscribed angle CXD equals θ,

Scanning θ from 0 to π generates the set of all circles passing through the two points C and D.

The two points where all the red circles cross are the limiting points of pairs of circles in the blue family.

Bipolar coordinates

A given blue circle and a given red circle intersect in two points. In order to obtain bipolar coordinates, a method is required to specify which point is the right one. An isoptic arc is the locus of points X that sees points C, D under a given oriented angle of vectors i.e. Such an arc is contained into a red circle and is bounded by points C, D. The remaining part of the corresponding red circle is isopt(θ + π). When we really want the whole red circle, a description using oriented angles of straight lines has to be used:

Pencils of circles

Both of the families of Apollonian circles are pencils of circles. Each is determined by any two of its members, called generators of the pencil. Specifically, one is an elliptic pencil (red family of circles in the figure) that is defined by two generators that pass through each other in exactly two points (C, D). The other is a hyperbolic pencil (blue family of circles in the figure) that is defined by two generators that do not intersect each other at any point. [1]

Radical axis and central line

Any two of these circles within a pencil have the same radical axis, and all circles in the pencil have collinear centers. Any three or more circles from the same family are called coaxial circles or coaxal circles. [2]

The elliptic pencil of circles passing through the two points C, D (the set of red circles, in the figure) has the line CD as its radical axis. The centers of the circles in this pencil lie on the perpendicular bisector of CD. The hyperbolic pencil defined by points C, D (the blue circles) has its radical axis on the perpendicular bisector of line CD, and all its circle centers on line CD.

Inversive geometry, orthogonal intersection, and coordinate systems

Circle inversion transforms the plane in a way that maps circles into circles, and pencils of circles into pencils of circles. The type of the pencil is preserved: the inversion of an elliptic pencil is another elliptic pencil, the inversion of a hyperbolic pencil is another hyperbolic pencil, and the inversion of a parabolic pencil is another parabolic pencil.

It is relatively easy to show using inversion that, in the Apollonian circles, every blue circle intersects every red circle orthogonally, i.e., at a right angle. Inversion of the blue Apollonian circles with respect to a circle centered on point C results in a pencil of concentric circles centered at the image of point D. The same inversion transforms the red circles into a set of straight lines that all contain the image of D. Thus, this inversion transforms the bipolar coordinate system defined by the Apollonian circles into a polar coordinate system. Obviously, the transformed pencils meet at right angles. Since inversion is a conformal transformation, it preserves the angles between the curves it transforms, so the original Apollonian circles also meet at right angles.

Alternatively, [3] the orthogonal property of the two pencils follows from the defining property of the radical axis, that from any point X on the radical axis of a pencil P the lengths of the tangents from X to each circle in P are all equal. It follows from this that the circle centered at X with length equal to these tangents crosses all circles of P perpendicularly. The same construction can be applied for each X on the radical axis of P, forming another pencil of circles perpendicular to P.

More generally, for every pencil of circles there exists a unique pencil consisting of the circles that are perpendicular to the first pencil. If one pencil is elliptic, its perpendicular pencil is hyperbolic, and vice versa; in this case the two pencils form a set of Apollonian circles. The pencil of circles perpendicular to a parabolic pencil is also parabolic; it consists of the circles that have the same common tangent point but with a perpendicular tangent line at that point. [4]

Physics

Apollonian trajectories have been shown to be followed in their motion by vortex cores or other defined pseudospin states in some physical systems involving interferential or coupled fields, such photonic or coupled polariton waves. [5] The trajectories arise from the Rabi rotation of the Bloch sphere and its stereographic projection on the real space where the observation is made.

See also

Notes

  1. Schwerdtfeger (1962 , pp. 8–10).
  2. MathWorld uses “coaxal,” while Akopyan & Zaslavsky (2007) prefer “coaxial.”
  3. Akopyan & Zaslavsky (2007), p. 59.
  4. Schwerdtfeger (1962 , pp. 30–31, Theorem A).
  5. Dominici; et al. (2021), "Full-Bloch beams and ultrafast Rabi-rotating vortices", Physical Review Research, 3 (1): 013007, arXiv: 1801.02580 , Bibcode:2021PhRvR...3a3007D, doi: 10.1103/PhysRevResearch.3.013007

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">Parabola</span> Plane curve: conic section

In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.

<span class="mw-page-title-main">Sphere</span> Set of points equidistant from a center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

<span class="mw-page-title-main">Paraboloid</span> Quadric surface with one axis of symmetry and no center of symmetry

In geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Each is an example of two-dimensional half-space.

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">Poincaré half-plane model</span> Upper-half plane model of hyperbolic non-Euclidean geometry

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.

<span class="mw-page-title-main">Apollonian gasket</span> Fractal composed of tangent circles

In mathematics, an Apollonian gasket or Apollonian net is a fractal generated by starting with a triple of circles, each tangent to the other two, and successively filling in more circles, each tangent to another three. It is named after Greek mathematician Apollonius of Perga.

<span class="mw-page-title-main">Ultraparallel theorem</span> Theorem in hyperbolic geometry

In hyperbolic geometry, two lines are said to be ultraparallel if they do not intersect and are not limiting parallel.

<span class="mw-page-title-main">Radical axis</span> All points whose relative distances to two circles are same

In Euclidean geometry, the radical axis of two non-concentric circles is the set of points whose power with respect to the circles are equal. For this reason the radical axis is also called the power line or power bisector of the two circles. In detail:

<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">Pencil (geometry)</span> Family of geometric objects with a common property

In geometry, a pencil is a family of geometric objects with a common property, for example the set of lines that pass through a given point in a plane, or the set of circles that pass through two given points in a plane.

The circles of Apollonius are any of several sets of circles associated with Apollonius of Perga, a renowned Greek geometer. Most of these circles are found in planar Euclidean geometry, but analogs have been defined on other surfaces; for example, counterparts on the surface of a sphere can be defined through stereographic projection.

<span class="mw-page-title-main">Umbilical point</span>

In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a principal direction. The name "umbilic" comes from the Latin umbilicus (navel).

<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">Director circle</span> Circle formed by all 90° crossings of tangents of an ellipse or hyperbola

In geometry, the director circle of an ellipse or hyperbola is a circle consisting of all points where two perpendicular tangent lines to the ellipse or hyperbola cross each other.

<span class="mw-page-title-main">Poincaré disk model</span> Model of hyperbolic geometry

In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk that are orthogonal to the unit circle or diameters of the unit circle.

The Laguerre transformations or axial homographies are an analogue of Möbius transformations over the dual numbers. When studying these transformations, the dual numbers are often interpreted as representing oriented lines on the plane. The Laguerre transformations map lines to lines, and include in particular all isometries of the plane.

References

Further reading