Pappus chain
Enable an agent to recognise, construct and validate a Pappus chain while keeping its supporting geometry, indexing convention and mathematical justification explicit.
Bundle → Layer → Finding → Questions Filled
6 bundles · 11 layers · 15 findings · 25 questions
Supporting geometry Identify the arbelos and the persistent boundary pair that define the chain.
Arbelos frame
Establish the baseline, diameter subdivision and chosen half-plane.
Valid arbelos
Record the outer diameter endpoints and their interior subdivision point so that the three semicircles can be reconstructed.
- Which collinear points define the outer diameter and its two positive subdiameters? definition
- Which half-plane contains the semicircles, and which coordinate frame and length scale represent them? measurement
Persistent boundaries
Distinguish the two boundaries retained throughout the chosen branch from the third seed boundary.
Selected support pair
Identify the outer circle, selected inner circle and their shared tangency point.
- Which inner semicircle remains tangent to every member after the incircle? definition
- Do the supporting circles satisfy internal tangency with strictly positive, unequal radii? boundary
Sequence and membership Specify how the seed and successive members form one ordered branch.
Seed and indexing
Make the starting member and correspondence between labels and geometry explicit.
Index contract
Record whether the incircle is labelled 1 and whether a boundary circle is included as an auxiliary member labelled 0.
- Which geometric circle receives the first index, and is an auxiliary boundary circle counted as a member? definition
- How do these labels translate to the indexing used by the chosen formula or reference? provenance
Successor selection
Define advancement along the branch without reversal or duplication.
Forward tangent member
Select the admissible circle tangent to the supporting pair and current member, excluding the predecessor and respecting the chosen branch.
- Which geometric condition selects the forward solution among the tangent-circle candidates? action
- Does the proposed member lie in the intended region without overlapping earlier members? boundary
Metric invariants Connect measured or symbolic member geometry to the conditions defining the chain.
Tangency equations
Check internal boundary contact and external member contact separately.
Contact residuals
For outer centre O and radius R, inner centre I and radius a, require |P_n-O|=R-r_n, |P_n-I|=a+r_n and |P_n-P_(n-1)|=r_n+r_(n-1) where applicable.
- Do the recorded centres and radii satisfy all applicable contact equations with the correct tangency signs? measurement
- Are these equalities exact, or what scale-relative residual tolerance is accepted? measurement
Height theorem
Apply the classical height relation only after checking its baseline and indexing assumptions.
Height-index consistency
Record the perpendicular centre height h_n and test h_n=2nr_n under incircle-first indexing.
- Is height measured perpendicular to the arbelos diameter line, with the incircle indexed as 1? boundary
- Does h_n/(2r_n) equal the declared index exactly or within the stated numerical tolerance? measurement
Construction and proof Record reproducible ways to generate members and justify their properties.
Inversion construction
Use inversion at the supporting circles' common tangency point to obtain parallel boundaries and an equal-radius circle sequence. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)
Invertible construction record
Retain the inversion centre, inversion radius, transformed seed and direction needed to reconstruct the original branch.
- Which inversion maps the supporting pair to parallel lines, and where does the seed map? action
- Does inverse transformation recover the intended branch and its declared indices? boundary
Formula justification
Associate coordinate or radius formulas with their parameter meanings and supporting derivations.
Parameter-compatible formulas
Require explicit correspondence between formula symbols, arbelos dimensions, branch and member labels.
- Which derivation or source supports the formula, and what normalization and indexing does it assume? provenance
- Does substitution verify the seed and the general tangency conditions rather than only a few plotted members? action
Extent and boundaries Distinguish an infinite chain from its finite representation and delimit admissible extensions.
Tail representation
Record how a finite construction represents continued approach to the supporting tangency point.
Finite prefix contract
Identify the final represented index and the rule governing subsequent members.
- What is the largest represented index, and what construction or formula specifies the omitted tail? definition
- Is generation stopped by a geometric error bound, a display threshold or numerical loss of distinctness? action
Extension admissibility
Keep changes of convention distinct from changes to the mathematical configuration.
Classical versus extended instance
Classify reflected branches, auxiliary members and broader circle-chain constructions through explicit definitions rather than their shared name.
- Is the candidate a classical arbelos branch, a reflection of one or an extension requiring a separate definition? boundary
- Which recognition tests and theorem assumptions remain valid after the proposed extension? boundary
Evidence and external alignment What the world already says about this thing, gathered so the model can be checked against it.
Reported evidence
Findings from the breadth pass, kept separate from the structural claims.
Check these first
Recalled without web access and unsourced; every item is a lead to verify.
- Which of these check these first hold for the sense of Pappus chain this model covers, and on what evidence? provenance
Real-world use
Recalled without web access and unsourced; every item is a lead to verify.
- Which of these real-world use hold for the sense of Pappus chain this model covers, and on what evidence? provenance
Typical measurements
Recalled without web access and unsourced; every item is a lead to verify.
- Which of these typical measurements hold for the sense of Pappus chain this model covers, and on what evidence? provenance
Failure modes and hazards
Recalled without web access and unsourced; every item is a lead to verify.
- Which of these failure modes and hazards hold for the sense of Pappus chain this model covers, and on what evidence? provenance
Neighbouring kinds and how to tell them apart
Recalled without web access and unsourced; every item is a lead to verify.
- Which of these neighbouring kinds and how to tell them apart hold for the sense of Pappus chain this model covers, and on what evidence? provenance
Classifiers Filled
- Family
- Thing Registry
- Category
- Cross-cutting context
- Entry kind
- thing
- Plane
- XCT
- Domain
- XCT.QLT
What it is Filled
A Pappus chain is a sequence of circles in an arbelos, each tangent to the outer semicircle and one fixed inner semicircle, with successive circles mutually tangent.
In scope
- The supporting arbelos, selected pair of boundary circles and chain branch
- The seed circle, successor rule and indexing convention
- Circle centres, radii, tangencies and containment constraints
- The Pappus height relation and its applicability conditions
- Construction methods, finite representations and validation evidence
Out of scope
- The arbelos and its properties independent of a chain
- General circle packing and Apollonian gasket constructions
- Steiner chains and their closure conditions
- Pappus's hexagon theorem and centroid theorems
- General inversion theory beyond its application to this configuration
Why it exists Filled
Enable an agent to recognise, construct and validate a Pappus chain while keeping its supporting geometry, indexing convention and mathematical justification explicit.
Distinguishing features Filled
- In the classical arbelos construction, the first circle touches all three boundary semicircles; successive circles touch their predecessor and the selected outer and inner boundaries. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)
- Recognition requires an ordered successor sequence with a fixed supporting pair; an arbitrary collection of tangent circles is insufficient.
- The supporting circles meet at a tangency point toward which the classical branch progresses; a closed ring of circles requires a different classification.
- With the arbelos incircle indexed as 1, the centre height of circle n equals n times its diameter. This checks the convention and geometry together. [Boas, Reflections on the Arbelos](https://haroldpboas.gitlab.io/preprints/arbelos.pdf)
What robots and AI may and may not do Filled
Must not
- Present an unproved claim about the chain as a theorem.
- Attribute results to the wrong mathematician or period without evidence.
- Copy figures or proofs from published works without credit.
Only with a human decision
- Publishing a new result about the chain under a person's name.
May
- Explain the Pappus chain and its classical theorem on circle heights.
- Draw or compute chains from stated parameters and check tangency numerically.
Moral aspects Filled
- Accurate attribution respects the history of mathematics and its scholars.
Who is affected
- Students
- Mathematicians
- Historians of mathematics
Owners Filled
Steward
Nobody owns it; it is a concept of geometry.
Links to other meta-models Filled
parent
- Q815741 - registry parent class
What else AI and robots need to interact with it Filled
Identity and identifiers required Filled
- Vercy registry: vr.tr.pappus-chain
- Wikidata: Q511431 (https://www.wikidata.org/wiki/Q511431)
Direct properties not applicable Not applicable
- Construction convention: classical arbelos branch | explicitly specified extension
- Supporting circle pair: outer circle and selected internally tangent inner circle
- Arbelos proportion: dimensionless ratio of selected inner radius to outer radius, strictly between 0 and 1
- Index origin and direction: declared seed label, successor direction and permitted integer indices
- Member geometry: centre coordinates and positive radius in a declared Euclidean frame and length unit
- Height-to-diameter ratio: dimensionless perpendicular centre height divided by circle diameter
- Representation extent: infinite construction rule | finite prefix with rule | finite candidate sample
- Geometric verification: symbolically verified | numerically checked with tolerance | unverified | inconsistent
Plane XCT: no invented physical properties.
Recognition optional Filled
- A row of ever-smaller circles inside an arbelos, each touching its neighbours and two of the semicircles.
Capabilities and actions required Filled
- Construct a finite prefix from a valid arbelos and declared branch.
- Extend the sequence by selecting the forward tangent-circle solution.
- Check supporting tangencies, consecutive tangencies and containment.
- Translate between indexing conventions before comparing formulas.
- Use inversion to derive or verify the chain construction.
- Render a finite approximation with its omitted tail and numerical tolerance identified.
Hazards and failure modes required Filled
- Floating-point drawing errors accumulate along the chain and give false tangency.
Standards and interfaces not applicable Not applicable
Not applicable
No dedicated standard, law or official classification applies to the Pappus chain as a mathematical construction.
Context of use required Filled
- A Pappus chain is encountered in Euclidean geometry when studying tangent circles inside an arbelos.
- It is used in geometric constructions, proofs and teaching examples involving circle tangency, inversion and relationships between circle sizes and positions.
- Computational drawings use explicit boundary and indexing conventions to check that the intended chain has been constructed.
Sources Filled
- Wikidata item Q511431: Pappus chain - identity and sense of the item
- Wikipedia: Pappus chain - general description of the item
Open questions
- Should this registry entry cover only classical arbelos branches or also broader configurations called Pappus chains in specialist literature?
- Should a boundary circle indexed as 0 be represented as a chain member or solely as construction support?
- Which canonical indexing and branch convention should Vercy use when exchanging formulas between sources?
- Which source-backed formulas should be adopted for member coordinates and rigorous finite-tail error bounds?
- Should similarity-related configurations be treated as the same abstract instance or as distinct geometric realizations?
Machine files
Provenance
thing registry research (pass 2) · unreviewed
Built from: models/things/publications/thing-q511431/spec.json