Regula lui Pascal este o identitate combinatorie pentru coeficienții binomi . Regula spune că pentru orice număr natural n avem
pentru ,unde este coeficientul binom. De asemenea, este adesea scris ca
pentruRegula lui Pascal are un sens combinatoriu intuitiv. Amintiți-vă că numără câte moduri poate fi ales o submulțime cu b elemente dintr- o mulțime cu elemente. Astfel, partea dreaptă a identității numără de câte moduri se poate obține o k -submulțime dintr-o mulțime cu n elemente.
Acum imaginați-vă că selectați un anumit element X dintr-o mulțime cu n elemente. Astfel, de fiecare dată când selectați k elemente dintr-un submult, există două posibilități - X aparține submulțimii selectate sau nu.
Dacă X este în submulțime, atunci trebuie doar să alegem k − 1 obiecte suplimentare (deoarece se știe că X este în submulțime) din restul de n − 1 obiecte. Acest lucru se poate face în moduri.
Dacă X nu aparține unei submulțimi, atunci trebuie să selectați toate k elemente dintr-o submulțime constând din n − 1 obiecte care nu sunt egale cu X . Acest lucru se poate face în moduri.
Obținem că numărul de moduri de a obține o k -submulțime dintr -o mulțime de n -element, care, după cum știm, este , este, de asemenea, egal cu numărul
Vezi și Dovada bijectivă .
Trebuie demonstrat că
Lasă și . Apoi