Math 2.0

statement theorem

Repeating decimals are rational

Statement

Let x≥0x \ge 0 be a real number with a decimal expansion that is eventually periodic. That is, there are N≥0N \ge 0 and p≥1p \ge 1 with dk+p=dkd_{k + p} = d_k for each k>Nk > N. Then xx is a rational number.

Remarks

Proof: 10N+px−10Nx10^{N+p} x - 10^N x is an integer, because the periodic tails cancel. Thus xx is a quotient of an integer by 10N(10p−1)10^N (10^p - 1). For example, x=0.36‾x = 0.\overline{36} gives 100x−x=36100 x - x = 36, thus x=36/99=4/11x = 36/99 = 4/11. The converse is also true: the decimal expansion of each rational number is eventually periodic.

Explanations

L1 human

A decimal that repeats the same block of digits forever is always a fraction. Shift the decimal point by the length of the block and subtract: the endless tail disappears. For 0.777…0.777\dots, this gives 10x−x=710 x - x = 7, thus x=7/9x = 7/9.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 9 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Mathematical induction concept
  2. Rational numbers object
  3. Real numbers object
  4. Set bounded above definition
  5. Sum of a finite geometric progression statement
  6. Supremum definition
  7. Completeness axiom statement
  8. Decimal expansion definition
  9. Repeating decimals are rational statement

Sources

  1. Web https://en.wikipedia.org/wiki/Repeating_decimal, Every repeating or terminating decimal is a rational number