Carlyle Circle¶

A coefficient-defined circle whose intersections with the horizontal axis geometrically realize the real roots of a normalized quadratic equation.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1437
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Coordinate Geometry, Geometric Equation Solving → Mathematics

Core Idea¶

For a normalized quadratic equation

\[ x^2-sx+p=0, \]

the Carlyle circle is the circle with diameter endpoints \(A=(0,1)\) and \(B=(s,p)\). Its equation can be written

\[ x(x-s)+(y-1)(y-p)=0. \]

Setting \(y=0\) gives exactly \(x^2-sx+p=0\). Therefore the horizontal coordinates of the circle's intersections with the x-axis are the real roots of the quadratic.

The abstraction is a coefficient-to-geometry encoding: the sum and product of roots determine a diameter, and axis incidence decodes the roots. It links algebraic solvability to straightedge-and-compass construction. DeTemple used Carlyle circles systematically in constructions of regular polygons, demonstrating that the device is more than one isolated diagram.

How would you explain it like I'm…

The Secret-Number Circle

Here is a puzzle: find two secret numbers that add up to one number and multiply to make another. The Carlyle circle is a drawing trick for it. You put two dots on graph paper, draw the circle that has those dots at opposite sides, and see where the circle crosses the flat bottom line. Those crossing spots are the secret numbers, and if the circle never touches the line, there are no such numbers on the line.

Solving Equations by Drawing a Circle

A quadratic equation like x² − sx + p = 0 has answers (roots) that add up to s and multiply to p. The Carlyle circle is a way to find those answers with a drawing. On a grid, mark the point (0, 1) and the point (s, p), and draw the circle that has those two points at opposite ends of its middle line (its diameter). The places where the circle crosses the x-axis are exactly the answers to the equation. If the circle just touches the axis, the two answers are the same number, and if it misses the axis completely, there are no real-number answers.

Circle Construction for Quadratic Roots

The Carlyle circle is a geometric way to solve the quadratic x² − sx + p = 0, where s is the sum of the roots and p is their product. You draw the circle whose diameter runs from A = (0, 1) to B = (s, p). Its equation is x(x − s) + (y − 1)(y − p) = 0, and setting y = 0 gives exactly x² − sx + p = 0. So the x-coordinates where the circle meets the x-axis are the real roots. If the circle is tangent to the axis, there is one repeated root; if it does not reach the axis, the discriminant is negative and there are no real roots. Because the construction uses only a straightedge and compass, it connects solving equations with classical geometric constructions, and it has been used to construct regular polygons.

For a normalized quadratic x² − sx + p = 0, the Carlyle circle is the circle having A = (0, 1) and B = (s, p) as endpoints of a diameter. By the diameter form of a circle's equation, it is x(x − s) + (y − 1)(y − p) = 0. Substituting y = 0 yields exactly x² − sx + p = 0, so the abscissas of the circle's intersections with the x-axis are the real roots. The construction is a coefficient-to-geometry encoding: the sum and product of the roots fix the diameter, and incidence with the axis decodes the roots. Tangency to the x-axis corresponds to a repeated real root, and no intersection corresponds to a negative discriminant. Since circles and lines are straightedge-and-compass objects, the device ties algebraic solvability of quadratics to constructibility, and DeTemple used Carlyle circles systematically to construct regular polygons. The basic construction represents only real roots; complex roots require a modified interpretation.

Scope of Application¶

The immediate application is geometric solution of monic real quadratics. A general quadratic \(ax^2+bx+c=0\) with \(a\ne0\) can first be normalized, giving \(s=-b/a\) and \(p=c/a\). If those signed lengths are constructible, the endpoints and circle can be constructed.

The method appears in pedagogical treatments of graphical quadratic solutions and in straightedge-and-compass constructions of regular polygons. DeTemple analyzed sequences of Carlyle circles for polygon constructions, including Fermat-prime cases. The device is useful when algebraic subproblems reduce to repeated extraction of roots of quadratics.

Clarity¶

The construction makes Vieta's relations visible. If the x-intersections are \(x_1,x_2\), then the decoded quadratic has \(x_1+x_2=s\) and \(x_1x_2=p\). The center is \((s/2,(1+p)/2)\), and the radius is half the distance between \((0,1)\) and \((s,p)\).

Clarity requires signed coordinates. Negative \(s\) or \(p\) are placed on the corresponding axes, not treated as impossible lengths.

Manages Complexity¶

The circle turns the quadratic formula into an incidence construction. Once the two endpoints are placed, one circle and its intersections encode both roots simultaneously. Repeated algebraic root extractions in polygon construction can be represented by a chain of such geometric steps.

This compression does not remove prerequisites. Normalization, coefficient construction, and intersection construction remain. For approximate drawings, graphical readout can be inaccurate; the abstraction's exact force belongs to ideal Euclidean construction and algebraic verification.

Abstract Reasoning¶

The diameter condition yields the equation through orthogonality: a point \((x,y)\) on the circle satisfies \((x,y-1)\cdot(x-s,y-p)=0\). Restricting to \(y=0\) gives the polynomial. This proves the decoding invariant rather than relying on a diagram.

The discriminant is also geometrized. The distance from the center to the x-axis compared with the radius determines whether the axis cuts, touches, or misses the circle.

Knowledge Transfer¶

Literal transfer occurs among quadratic subproblems and polygon constructions that preserve coefficient endpoints, diameter, and axis decoding. One can rescale or translate coordinate conventions if the derivation is adjusted and the root readout remains exact.

The parent Representation transfers broadly; the Carlyle name does not. Using a circle to visualize cyclic processes is not an instance. Even another geometric solution of a quadratic is a sibling unless it uses this coefficient-to-diameter invariant.

Relationships to Other Abstractions¶

Current abstraction Carlyle Circle Domain-specific

Parents (1) — outgoing typed relations

Carlyle Circle is a kind of Representation Prime

prime:representation is the broader abstraction this entry instantiates because the circle encodes a quadratic and makes roots readable as geometry.

Hierarchy path (1) — routes to 1 parentless root

Carlyle Circle → is a kind of Representation → presupposes Abstraction

Neighborhood in Abstraction Space¶

Carlyle Circle sits in a moderately populated region (60^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25