Superpartient Ratio¶
In ancient and medieval ratio theory, a reduced greater-to-lesser ratio (n+a):n with 1<a<n, containing the lesser once plus more than one of its aliquot parts.
Core Idea¶
A superpartient ratio is a class in the ancient Greek and later medieval taxonomy of unequal ratios. In modern notation, reduce a greater-to-lesser ratio to coprime positive integers A:B. It is superpartient when.
A=B+a,\qquad 1<a<B.
Thus the greater term contains the lesser once and also several—but fewer than a whole—equal parts of the lesser. The fraction a/B is proper and has a numerator greater than one. Examples include 5:3=1+2/3, 7:4=1+3/4, and 8:5=1+3/5.
Scope of Application¶
In the history of mathematics, the category helps reconstruct Nicomachus's classification of relative quantity and its transmission through Boethius, medieval arithmetic, Renaissance proportion theory, and harmonic writings. It explains how authors named a ratio not merely by two terms but by how many wholes and aliquot parts the greater contained.
In ancient and medieval music theory, named ratio classes organized consonances and intervals. Superparticular ratios received special attention, while superpartient and compound ratios located other intervals within a common arithmetic vocabulary. A historian interpreting a source must preserve the period's categories rather than silently translate every expression into an undifferentiated rational.
Clarity¶
A superpartient classification should answer:
- What are the ordered greater and lesser terms? 2. Have they been reduced to coprime root terms? 3. What are the quotient
qand remainderrinA=qB+r? 4. Isqexactly one? 5. Isrgreater than one? 6. Isr<B, as required by Euclidean division and the simple class? 7. Is the author using Greek-derived, Latin-derived, or modern terminology?
Manages Complexity¶
The ancient system compresses an unbounded collection of unequal integer pairs into a small quotient–remainder taxonomy. Once A:B is reduced, q answers how many whole copies of B fit into A and r answers how many unit parts remain. A name then encodes both pieces.
Abstract Reasoning¶
Let A>B>0 and reduce so \gcd(A,B)=1. By Euclidean division there are unique q\ge1 and 0\le r<B such that A=qB+r.
- If
r=0, the ratio is multiple. - If
q=1andr=1, it is superparticular. - If
q=1and1<r<B, it is superpartient. - If
q>1andr=1, it is multiple superparticular. - If
q>1and1<r<B, it is multiple superpartient.
Knowledge Transfer¶
Within historical arithmetic and music theory, the identity transfers directly. The same quotient–remainder roles classify textual examples, harmonic proportions, tuning ratios, and pedagogical tables. A historian can move between Greek, Latin, and modern notation while preserving the mathematical test.
The mechanism also transfers to modern elementary number theory as a historical labeling of a subset of reduced rationals. Euclidean division and coprimality are unchanged; only the classificatory vocabulary is nonstandard.
Relationships to Other Abstractions¶
Current abstraction Superpartient Ratio Domain-specific
Parents (1) — more general patterns this builds on
-
Superpartient Ratio is a kind of Ratio Prime
Ratio is the minimal prospective parent.
Hierarchy path (1) — routes to 1 parentless root
- Superpartient Ratio → Ratio → Comparison → Self Checking
Neighborhood in Abstraction Space¶
Superpartient Ratio sits in a sparse region of the domain-specific corpus (84th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Conditioned Disjunction — 0.83
- Factorial Number System — 0.83
- Closed Preordered Set — 0.80
- Giuga Number — 0.80
- Ring — 0.79
Computed from structural-signature embeddings · 2026-09-08