Академический Документы
Профессиональный Документы
Культура Документы
Teorema 0.3 (Fórmula de Pascal). Para todos los enteros n y k tales que 1 ≤ k ≤ n − 1
se tiene que
n n−1 n−1
= + .
k k k−1
Demostración. Daremos dos demostraciones, una algebraica y otra más elegante que usa
argumentos combinatorios.
Demostración 1.
n−1 n−1 (n − 1)! (n − 1)!
+ = + =
k k−1 k!(n − k − 1)! (k − 1)!(n − k)!
(n − 1)!(n − k) (n − 1)!k (n − 1)!n n! n
= + = = = .
k!(n − k − 1)!(n − k) (k − 1)!k(n − k)! k!(n − k)! k!(n − k)! k
Demostración 2.
1
Sea S un conjunto de tamaño n y s ∈ S. El conjunto Ckn de todas las k-combinaciones
de S se puede particionar en dos conjuntos C1 = {x ∈ Ckn : s ∈
/ x} y C2 = {x ∈ Ckn : s ∈ x}.
Por el principio de la suma
n n n−1 n−1
= |Ck | = |C1 | + |C2 | = +
k k k−1
como se querı́a.
Referencias
[1] R. Brualdi. Introductory combinatorics.