Паскалово правило — комбинаторно равенство за биномни коефициенти. Според правилото, за секој природен број n важи:
![{\displaystyle {n-1 \choose k}+{n-1 \choose k-1}={n \choose k}\quad {\text{for }}1\leq k\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/314c258eda815fbae8fd7f80f80484c361bbc02b)
каде
е биномен коефициент. Ова обично се запишува и како:
![{\displaystyle {n \choose k}+{n \choose k-1}={n+1 \choose k}\quad {\text{for }}1\leq k\leq n+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d78613a72744616026c0089b0dba1c13426cb35f)
Правилото е именувано по францускиот математичар Блез Паскал.
Паскаловото правило има интуитивно комбинаторно значење. Ако се потсетиме дека
означува на колку многу начини може да се избере подмножество со b елементи од множество со a елементи. Поради тоа, десната страна на равенството
претставува пребројување за тоа на колку начини може да се избере подмножество со k елементи од множество со n елементи.
Претпоставуваме дека во множеството со n елементи се разликува некој член x. На тој начин, секој пат кога се избира подмножество со k елементи, постојат две можности: x се наоѓа во подмножеството или не. Ако x се наоѓа во подмножеството, потребно е да се изберат уште само k - 1 елементи (затоа што е познато дека x ќе биде во подмножеството) од преостанатите n - 1 елементи. Ова може да биде направено на
. Ако x не се наоѓа во подмножеството, потребно е да се изберат сите k елементи од n - 1 елементи што се разликуваат од x. Ова може да биде направено на
начини. Оттука може да се заклучи дека бројот на начини за да избере подмножество со k елементи од множество со n елементи, што изнесува
, е исто така еднакво на
Во алгебарскиот доказ е потребно да се докаже следното:
![{\displaystyle {n \choose k}+{n \choose k-1}={n+1 \choose k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df880ec8838a359cfbd2c4f9e93ffd5f0864f96)
Со разложување на десната страна од равенството се добива:
![{\displaystyle {\begin{aligned}{n \choose k}+{n \choose k-1}&={\frac {n!}{k!(n-k)!}}+{\frac {n!}{(k-1)!(n-k+1)!}}\\&=n!\left[{\frac {n+1-k}{k!(n+1-k)!}}+{\frac {k}{k!(n+1-k)!}}\right]\\&={\frac {n!(n+1)}{k!(n+1-k)!}}={\binom {n+1}{k}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99b800e75c04364ae1cde0d90e473823ba5f2d84)
Нека
и
. Тогаш, следува дека:
![{\displaystyle {\begin{aligned}&{}\quad {n-1 \choose k_{1}-1,k_{2},k_{3},\dots ,k_{p}}+{n-1 \choose k_{1},k_{2}-1,k_{3},\dots ,k_{p}}+\cdots +{n-1 \choose k_{1},k_{2},k_{3},\dots ,k_{p}-1}\\&={\frac {(n-1)!}{(k_{1}-1)!k_{2}!k_{3}!\cdots k_{p}!}}+{\frac {(n-1)!}{k_{1}!(k_{2}-1)!k_{3}!\cdots k_{p}!}}+\cdots +{\frac {(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots (k_{p}-1)!}}\\&={\frac {k_{1}(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}+{\frac {k_{2}(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}+\cdots +{\frac {k_{p}(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}={\frac {(k_{1}+k_{2}+\cdots +k_{p})(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}\\={\frac {n(n-1)!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}={\frac {n!}{k_{1}!k_{2}!k_{3}!\cdots k_{p}!}}={n \choose k_{1},k_{2},k_{3},\dots ,k_{p}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cb993c5bf5852d671ffa37eedc2e8eeeea14e54)