Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Midy's Theorem

Number Theory

Midy's theorem describes a symmetry hidden in the repeating decimal expansion of a fraction a over p, where p is a prime, whenever that expansion has an even period of 2n digits. It states that the digits in the second half of the repeating period are the 9s complement of the corresponding digits in the first half, so that, for example, the repeating decimal for 1/13 splits into 076 and 923, which sum to 999. The result is named for the French mathematician E. Midy, though William G. Leavitt's 1967 paper in The American Mathematical Monthly, titled A Theorem on Repeating Decimals, is the source that documents it in English. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Statement
If a/p, with p prime, has a repeating decimal period of even length 2n, the digits in the second half of the period are the 9s complement of the digits in the first half. 1
Classification
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Identity, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Sources
1. Midy's theorem (Wikipedia)
Introduction
Quote, Introduction
then the digits in the second half of the repeating decimal period are the 9s complement of the corresponding digits in its first half
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.