Casting out nines¶

Casting out nines is any of three arithmetical procedures.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8357
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Arithmetic Verification, Elementary Number Theory → Mathematics

Core Idea¶

Casting out nines is treated here as the recurring arithmetic verification identity summarized by this source-grounded definition: Casting out nines is any of three arithmetical procedures.

Casting out nines is any of three arithmetical procedures. Adding the decimal digits of a positive whole number, while optionally ignoring any 9s or digits which sum to 9 or a multiple of 9. The result of this procedure is a number which is smaller than the original whenever the original has more than one digit, leaves the same remainder as the original after division by nine, and may be obtained from the original by subtracting a multiple of 9 from it.

The name of the procedure derives from this latter property. Repeated application of this procedure to the results obtained from previous applications until a single-digit number is obtained. This single-digit number is called the "digital root" of the original.

For Casting out nines, the abstraction is narrower than the article's general subject matter: a positive case must preserve Casting out nines is any of three arithmetical procedures. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in arithmetic verification, which is why this identity is domain-specific rather than prime.

How would you explain it like I'm…

Number Fingerprints

Take a big number like 457 and add up its digits: 4 + 5 + 7 = 16, then 1 + 6 = 7. Keep going until only one digit is left. That little digit is a tiny 'fingerprint' of the big number, and it lets you double-check sums.

The Digit-Adding Check

Casting out nines is a trick where you add up the digits of a number to get a smaller number. The smaller number always has the same remainder as the big one when you divide by 9. If you keep adding digits until only one digit is left, you get the number's "digital root." You're allowed to cross out 9s, or digits that add up to 9, before adding, because they don't change the leftover. People use it to check arithmetic: if the digital roots of your work don't match up, you've made a mistake somewhere.

Digit-Sum Remainder Check

Casting out nines refers to a small family of arithmetic procedures built on digit sums. The first is adding the decimal digits of a positive whole number, optionally throwing away 9s or groups of digits that total 9. The result is smaller than the original (if it had more than one digit), has the same remainder after division by 9, and differs from the original by a multiple of 9 — that is where the name comes from: you are 'casting out' nines. Repeating the digit sum until one digit remains gives the digital root. Because remainders mod 9 survive addition and multiplication, comparing digital roots gives a fast consistency check on a calculation, though it cannot prove the answer right.

Casting out nines names any of three arithmetical procedures grounded in the fact that 10 ≡ 1 (mod 9), so a number and the sum of its decimal digits are congruent modulo 9. Procedure one sums the digits of a positive integer, optionally deleting 9s or digit subsets summing to a multiple of 9; the output is strictly smaller than a multi-digit input, has the same residue mod 9, and equals the input minus a multiple of 9. Procedure two iterates this until a single digit remains, the digital root. The name records the subtraction of multiples of 9. These residue-preserving reductions support arithmetic verification: the digital roots of the operands, combined by the same operation, must match the digital root of the result. A mismatch proves an error, but a match does not prove correctness, since errors that shift the result by a multiple of 9 (for example transposed digits) pass undetected.

Structural Signature¶

Sig role-phrases:

Defining carrier — More generally, when casting out nines by summing digits, any set of digits which add up to 9, or a multiple of 9, can be ignored.
Constitutive relation — For an arbitrary number, 10^n d_n + 10^{n-1} d_{n-1} + \cdots + d_0 , normally represented by the sequence of decimal digits, d_nd_{n-1} \dots d_0 , the digit sum is d_n + d_{n-1} + \cdots + d_0 .
Operating condition — Because numbers of the form 10^i -1 are always divisible by 9 (since 10^i -1 = 9\times\left(10^{i-1} + 10^{i-2} + \cdots + 1\right) ), replacing the original number by its digit sum has the effect of casting out.
Recognition evidence — The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums.
Admissible variation — To check the result of an arithmetical calculation by casting out nines, each number in the calculation is replaced by its digital root and the same calculations applied to these digital roots.
Characteristic consequence — Now process the sum and also the excesses to get a final excess.
Failure boundary — The method works because the original numbers are 'decimal' (base 10), the modulus is chosen to differ by 1, and casting out is equivalent to taking a digit sum.

What It Is Not¶

Not the whole field of arithmetic verification. The node requires the specific identity stated by Casting out nines is any of three arithmetical procedures.
Not an over-broad reading. The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums.
Not an over-broad reading. If the procedure described in the preceding paragraph is repeatedly applied to the result of each previous application, the eventual result will be a single-digit number from which all 9s, with the possible exception of one, have been "cast out".
Not an over-broad reading. However, it is possible that two previously unequal integers will be identical modulo 9 (on average, a ninth of the time).
Not automatically Decimal representation. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Casting out nines applies literally inside arithmetic verification wherever the source-defined carrier and relation can be established. Its documented habitats include:

Digital roots. If the procedure described in the preceding paragraph is repeatedly applied to the result of each previous application, the eventual result will be a single-digit number from which all 9s, with the possible exception of one, have been "cast out".
Checking calculations by casting out nines. Examples in which casting-out-nines has been used to check addition, subtraction, multiplication, and division are given below.
DivisionHow it works. The method works because the original numbers are 'decimal' (base 10), the modulus is chosen to differ by 1, and casting out is equivalent to taking a digit sum.
Limitation to casting out nines. For example, the casting-out-nines method would not recognize the error in a calculation of 5 × 7 which produced any of the erroneous results 8, 17, 26, etc.
Limitation to casting out nines. In other words, the method only catches erroneous results whose digital root is one of the 8 digits that is different from that of the correct result.
History. Both Hippolytus's and Iamblichus's descriptions, though, were limited to an explanation of how repeated digital sums of Greek numerals were used to compute a unique "root" between 1 and 9.

Outside arithmetic verification, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Casting out nines names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Casting out nines is any of three arithmetical procedures. The strongest recognition evidence in the frozen account is: The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Casting out nines compresses multiple arithmetic verification details into a stable diagnostic relation. The source shows both the central mechanism—for an arbitrary number, 10^n d_n + 10^{n-1} d_{n-1} + \cdots + d_0 , normally represented by the sequence of decimal digits, d_nd_{n-1} \dots d_0 , the digit sum is d_n + d_{n-1} + \cdots + d_0 .—and the practical consequence—now process the sum and also the excesses to get a final excess. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the arithmetic verification entities to which the claim applies.
State the relation. Use the source-grounded identity: Casting out nines is any of three arithmetical procedures.
Check operation and conditions. Because numbers of the form 10^i -1 are always divisible by 9 (since 10^i -1 = 9\times\left(10^{i-1} + 10^{i-2} + \cdots + 1\right) ), replacing the original number by its digit sum has the effect of casting out.
Demand recognition evidence. The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums.
Test variation. Change an implementation or setting while preserving to check the result of an arithmetical calculation by casting out nines, each number in the calculation is replaced by its digital root and the same calculations applied to these digital roots.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Casting out nines transfers literally when a new case preserves the same carrier type, relation, and recognition test. If the procedure described in the preceding paragraph is repeatedly applied to the result of each previous application, the eventual result will be a single-digit number from which all 9s, with the possible exception of one, have been "cast out". Examples in which casting-out-nines has been used to check addition, subtraction, multiplication, and division are given below.

Beyond the home domain. No canonical parent is asserted for Casting out nines. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

The digit sum of 2946, for example is 2 + 9 + 4 + 6 = 21. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → Casting out nines is any of three arithmetical procedures; recognition evidence → The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums

Applied / In Practice¶

In the number 3264, for example, the digits 3 and 6 sum to 9. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Digit sums; invariant → Casting out nines is any of three arithmetical procedures; boundary → the case exits the class when the exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums

Structural Tensions¶

T1 — Stable identity versus admissible variation. The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. If the procedure described in the preceding paragraph is repeatedly applied to the result of each previous application, the eventual result will be a single-digit number from which all 9s, with the possible exception of one, have been "cast out". The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. However, it is possible that two previously unequal integers will be identical modulo 9 (on average, a ninth of the time). The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. The operation does not work on fractions, since a given fractional number does not have a unique representation. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. More generally, when casting out nines by summing digits, any set of digits which add up to 9, or a multiple of 9, can be ignored. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Casting out nines literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. For an arbitrary number, 10^n d_n + 10^{n-1} d_{n-1} + \cdots + d_0 , normally represented by the sequence of decimal digits, d_nd_{n-1} \dots d_0 , the digit sum is d_n + d_{n-1} + \cdots + d_0 . The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Casting out nines distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Casting out nines is mixed or framed-leaning. Its structural side is the repeatable organization summarized by Casting out nines is any of three arithmetical procedures. Its framed side is the arithmetic verification vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Because numbers of the form 10^i -1 are always divisible by 9 (since 10^i -1 = 9\times\left(10^{i-1} + 10^{i-2} + \cdots + 1\right) ), replacing the original number by its digit sum has the effect of casting out. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. Casting out nines is any of three arithmetical procedures. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: More generally, when casting out nines by summing digits, any set of digits which add up to 9, or a multiple of 9, can be ignored. For an arbitrary number, 10^n dn + 10^{n-1} d{n-1} + \cdots + d0 , normally represented by the sequence of decimal digits, dnd{n-1} \dots d0 , the digit sum is dn + d{n-1} + \cdots + d0 . It further constrains recognition and variation through: Because numbers of the form 10^i -1 are always divisible by 9 (since 10^i -1 = 9\times\left(10^{i-1} + 10^{i-2} + \cdots + 1\right) ), replacing the original number by its digit sum has the effect of casting out. The exception occurs when the original number has a digital root of 9, whose digit sum is itself, and therefore will not be cast out by taking further digit sums.

What is domain-bound. arithmetic verification supplies the operative entities, technical vocabulary, warrants, and exceptions that make Casting out nines literal. Its documented scope includes the condition that If the procedure described in the preceding paragraph is repeatedly applied to the result of each previous application, the eventual result will be a single-digit number from which all 9s, with the possible exception of one, have been "cast out". Another bounded application condition is that Examples in which casting-out-nines has been used to check addition, subtraction, multiplication, and division are given below. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—To check the result of an arithmetical calculation by casting out nines, each number in the calculation is replaced by its digital root and the same calculations applied to these digital roots.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a decomposition of Verification.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Casting out nines. The reviewed identity is: Casting out nines is any of three arithmetical procedures. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Casting out nines Domain-specific

Parents (1) — more general patterns this builds on

Casting out nines is a decomposition of Verification Prime

Casting out nines is an arithmetic verification procedure for detecting some calculation errors.

Hierarchy path (1) — routes to 1 parentless root

Casting out nines → Verification → Evaluation → Comparison → Self Checking

Neighborhood in Abstraction Space¶

Casting out nines sits in a moderately populated region (53^rd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Number Systems & Symmetry (8 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish Casting out nines is any of three arithmetical procedures?
Decimal representation. A positional base-ten digit expansion of a nonnegative real number, with finite integer part and finite or infinite fractional part. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Decimal. A radix-ten numeral system and notation in which place positions encode powers of ten for integer and fractional quantities. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Bijective numeration. A numeral system giving every nonnegative integer exactly one finite digit string, with no zero digit or leading-zero ambiguity in its positional form. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Casting out nines remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside arithmetic verification lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Casting_out_nines (revision 1304873781).
Preserved source candidate: https://books.google.com/books?id=ulmAH-6IzNoC&pg=PA67
Preserved source candidate: https://archive.org/stream/cu31924008704219#page/n134/mode/1up
Preserved source candidate: https://archive.org/stream/antenicenefather05robe#page/30/mode/1up
Preserved source candidate: https://archive.org/stream/HinduMathematics#page/n191/mode/1up
Preserved source candidate: https://archive.org/stream/HinduMathematics#page/n195/mode/1up
Preserved source candidate: https://archive.org/stream/HinduMathematics
Preserved source candidate: https://archive.org/details/cu31924008704219
Preserved source candidate: https://archive.org/stream/antenicenefather05robe#page/9/mode/1up

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.