Math 2.0

statement proposition

Divisibility by 11

Statement

Let nn be a natural number with decimal digits dkdk−1…d0d_k d_{k-1} \dots d_0, so that n=∑i=0kdi10in = \sum_{i=0}^{k} d_i 10^i. Then 11∣n11 \mid n if and only if 11∣d0−d1+d2−⋯+(−1)kdk11 \mid d_0 - d_1 + d_2 - \dots + (-1)^k d_k.

Remarks

More precisely, n≡∑i=0k(−1)idi(mod11)n \equiv \sum_{i=0}^{k} (-1)^i d_i \pmod{11}. This holds because 10≡−1(mod11)10 \equiv -1 \pmod{11}, so 10i≡(−1)i(mod11)10^i \equiv (-1)^i \pmod{11}. For example, 918,082918{,}082 gives 2−8+0−8+1−9=−222 - 8 + 0 - 8 + 1 - 9 = -22, and 11∣−2211 \mid -22. So 11∣918,08211 \mid 918{,}082.

Explanations

L1 human

Start at the last digit, and add and subtract the digits in turn. The number is a multiple of 1111 exactly when the result is a multiple of 1111, including 00. For example, 121121 gives 1−2+1=01 - 2 + 1 = 0, and indeed 121=11⋅11121 = 11 \cdot 11.

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 5 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. Divisibility definition
  2. Congruence modulo n definition
  3. Congruence is compatible with multiplication statement
  4. Congruence is compatible with powers statement
  5. Divisibility by 11 statement

Sources

  1. Web https://en.wikipedia.org/wiki/Divisibility_rule, Divisibility by 11