Math 2.0

statement theorem

Recurrence for derangements

Statement

Let nn be a natural number, and let DmD_m be the number of derangements of an mm-element set. Then Dn+2=(n+1) (Dn+1+Dn).D_{n+2} = (n + 1)\,(D_{n+1} + D_n).

Remarks

Together with D0=1D_0 = 1 and D1=0D_1 = 0, the recurrence gives all values: 1,0,1,2,9,44,265,…1, 0, 1, 2, 9, 44, 265, \dots A proof looks at a derangement σ\sigma of {1,…,n+2}\{1, \dots, n + 2\} and the value i=σ(n+2)i = \sigma(n+2). There are n+1n + 1 choices of ii. The case σ(i)=n+2\sigma(i) = n + 2 gives DnD_n derangements, and the other case gives Dn+1D_{n+1}. Another recurrence is Dn+1=(n+1)Dn+(−1)n+1D_{n+1} = (n + 1) D_n + (-1)^{n+1}.

Explanations

L1 human

Look at where the last element goes, say to position ii. Either ii goes back to the last position, and the other nn elements form a derangement. Or it does not, and this acts like a derangement of n+1n + 1 elements.

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 4 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. Number of derangements definition
  2. Permutation definition
  3. Derangement definition
  4. Recurrence for derangements statement

Sources

  1. Web https://en.wikipedia.org/wiki/Derangement, Counting derangements