statement theorem
Pascal's rule
Statement
Let and be natural numbers. Then
Remarks
For and it gives . Combinatorial proof: fix one element of an -element set. A -subset contains , and then it has other elements, or it omits . The rule builds Pascal's triangle row by row.
Explanations
L1 human
Each number in Pascal's triangle is the sum of the two numbers above it. This rule is the same fact: a team of from people either includes a fixed person or does not.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (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 2 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Binomial coefficient definition
- Pascal's rule statement
Sources
- Web https://en.wikipedia.org/wiki/Pascal's_rule, lead section
What links here
No node links to this node yet.