תקציר מבוא לקומבינטוריקה, סמסטר א תשע״ג

בתקציר זה, אלא אם צוין אחרת, כל המשתנים והנעלמים שלמים ואי־שליליים למעט [math]\displaystyle{ x,\alpha }[/math]. [math]\displaystyle{ p }[/math] ראשוני ו־[math]\displaystyle{ q }[/math] אינו שלם או אי־שלילי רק במקרים בהם הוא מוצג כמשתנה בפולינום. [math]\displaystyle{ \mathbb F }[/math] שדה.

• נסמן [math]\displaystyle{ [n]:=\{1,2,\dots,n\}=[1,n]\cap\mathbb N }[/math]. [math]\displaystyle{ S_n }[/math] היא קבוצת כל התמורות על [math]\displaystyle{ [n] }[/math].
• חלוקת קבוצות של [math]\displaystyle{ A }[/math] ל־[math]\displaystyle{ n }[/math] היא בחירה של תתי־קבוצות [math]\displaystyle{ A_1,\dots,A_n\subseteq A }[/math] זרות עבורן [math]\displaystyle{ \biguplus_{k=1}^n A_k=A }[/math].
• סדרת פיבונצ׳י תסומן [math]\displaystyle{ (F_n)_{n=0}^\infty }[/math].
• ריצוף דומינו של [math]\displaystyle{ A\subseteq\mathbb Z^2 }[/math] הוא כיסוי של [math]\displaystyle{ A }[/math] על ידי קטעים זרים מאורך 1 שקצותיהם נקודות ב־[math]\displaystyle{ A }[/math].

• ללוח בגודל [math]\displaystyle{ m\times n }[/math] קיים ריצוף דומינו אם״ם [math]\displaystyle{ mn }[/math] זוגי.
• ללוח בגודל [math]\displaystyle{ 2\times n }[/math] קיימים [math]\displaystyle{ F_n }[/math] ריצופי דומינו.

• עקרון שובך יונים: בחלוקה של קבוצה סופית [math]\displaystyle{ A }[/math] ל־[math]\displaystyle{ n }[/math] יש לפחות תת־קבוצה אחת שמספר איבריה הוא לכל הפחות [math]\displaystyle{ |A|/n }[/math].
• סימונים: [math]\displaystyle{ (\alpha)_k:=\prod_{i=0}^{k-1}(\alpha-i) }[/math]. לכן [math]\displaystyle{ (n)_k=\begin{cases}\frac{n!}{(n-k)!},&k\le n\\0,&\text{else}\end{cases} }[/math]. בנוסף, [math]\displaystyle{ \binom nk:=\begin{cases}\frac{n!}{k!(n-k)!},&0\le k\le n\\0,&\text{else}\end{cases} }[/math] ו־[math]\displaystyle{ \binom\alpha n:=\frac{(\alpha)_n}{n!} }[/math].
• חליפה: נניח [math]\displaystyle{ 0\le k\le n }[/math]. חליפה של [math]\displaystyle{ k }[/math] איברים מתוך [math]\displaystyle{ n }[/math] היא [math]\displaystyle{ k }[/math]־יה סדורה של איברים שונים מקבוצה בת [math]\displaystyle{ n }[/math] איברים (כלומר, חליפה היא בחירה ללא חזרות ועם חשיבות לסדר). מספר החליפות הוא [math]\displaystyle{ P(n,k):=(n)_k }[/math].

• תמורה היא חליפה של [math]\displaystyle{ n }[/math] מתוך [math]\displaystyle{ n }[/math], ומספר התמורות הוא [math]\displaystyle{ P(n):=(n)_n=n! }[/math].
• חליפה עם חזרות היא [math]\displaystyle{ k }[/math]־יה סדורה של [math]\displaystyle{ k }[/math] איברים (לא דווקא שונים) מתוך [math]\displaystyle{ n }[/math]. יש [math]\displaystyle{ n^k }[/math] חליפות עם חזרות.

• צירוף: נניח [math]\displaystyle{ 0\le k\le n }[/math]. צירוף של [math]\displaystyle{ k }[/math] איברים מתוך [math]\displaystyle{ n }[/math] הוא תת־קבוצה של קבוצה בת [math]\displaystyle{ n }[/math] איברים (כלומר, צירוף הוא בחירה ללא חזרות ובלי חשיבות לסדר). מספר הצירופים הוא [math]\displaystyle{ C(n,k):=\binom nk }[/math].

• צירוף עם חזרות: הוא רב־קבוצה מסדר [math]\displaystyle{ k }[/math] של איברים מתוך קבוצה בת [math]\displaystyle{ n }[/math] איברים. יש [math]\displaystyle{ D(n,k):=\left(\!\!\!\binom nk\!\!\!\right):=\binom{n-1+k}k }[/math] צירופים עם חזרות.

• מספר הצירופים עם חזרות של [math]\displaystyle{ k }[/math] מתוך [math]\displaystyle{ n }[/math] שווה למספר הדרכים לבחור [math]\displaystyle{ k }[/math] עצמים מתוך [math]\displaystyle{ n }[/math] סוגים, ששווה למספר הפתרונות השלמים ואי־שליליים ל־[math]\displaystyle{ \sum_{i=1}^n x_i=k }[/math].

• הווקטור האופייני של קבוצה [math]\displaystyle{ A\subseteq [n] }[/math] מוגדר ע״י [math]\displaystyle{ \mathbf v_A:=(I_A(i))_{i=1}^n=\left(\begin{cases}1,&i\in A\\0,&i\not\in A\end{cases}\right)_{i=1}^n }[/math].
• סדרה אונימוצלית היא סדרה [math]\displaystyle{ (a_i)_{i=1}^n }[/math] כך שקיים [math]\displaystyle{ k }[/math] עבורו [math]\displaystyle{ (a_i)_{i=1}^k }[/math] עולה במובן הרחב ו־[math]\displaystyle{ (a_i)_{i=k}^n }[/math] יורדת במובן הרחב.

• [math]\displaystyle{ \Big(\tbinom ni\Big)_{i=0}^n }[/math] היא סדרה אונימוצלית כאשר אם [math]\displaystyle{ n }[/math] זוגי אז [math]\displaystyle{ k=n/2 }[/math] ואחרת [math]\displaystyle{ k=\lfloor n/2\rfloor,\lceil n/2\rceil }[/math] (כי [math]\displaystyle{ \binom n{\lfloor n/2\rfloor}=\binom n{\lceil n/2\rceil} }[/math]).

• הפרת סדר בתמורה [math]\displaystyle{ \pi }[/math] היא זוג [math]\displaystyle{ i\lt j }[/math] כך ש־[math]\displaystyle{ \pi(j)\lt \pi(i) }[/math]. מספר הפרות הסדר מסומן [math]\displaystyle{ \mbox{inv}(\pi) }[/math] וסימן התמורה מוגדר כ־[math]\displaystyle{ \sgn(\pi):=(-1)^{\mbox{inv}(\pi)} }[/math]. התמרה [math]\displaystyle{ \pi }[/math] תקרא זוגית אם [math]\displaystyle{ \sgn(\pi)=1 }[/math] ואי־זוגית אחרת. יש [math]\displaystyle{ n!/2 }[/math] התמרות מכל סוג שסדרן [math]\displaystyle{ n }[/math].
• מורד: עבור [math]\displaystyle{ \pi\in S_n }[/math] נקרא ל־[math]\displaystyle{ i }[/math] מורָד (descent) אם [math]\displaystyle{ \pi(i)\gt \pi(i+1) }[/math]. קבוצת המורדות תסומן [math]\displaystyle{ \mbox{Des}(\pi) }[/math].

• [math]\displaystyle{ \left|\Big\{\pi\in S_n:\ \mbox{Des}(\pi)\subseteq\{k\}\Big\}\right|=\binom nk }[/math].

• אם [math]\displaystyle{ 0\lt k\lt p }[/math] אז [math]\displaystyle{ p\mid\binom pk }[/math].
• יהי פולינום [math]\displaystyle{ f(x)=\sum_{k=0}^n a_kx^k }[/math]. נסמן [math]\displaystyle{ (f\mod m)(x):=\sum_{k=0}^n(a_k\mod m)x^k }[/math].
• [math]\displaystyle{ (1+x)^p\mod p=1+x^p }[/math].
• משפט פרמה הקטן: [math]\displaystyle{ n^p\equiv n\pmod p }[/math].
• פיתוח של מספר לפי ראשוני: נניח [math]\displaystyle{ p^d\le n }[/math] ו־[math]\displaystyle{ n\lt p^{d+1} }[/math]. אזי קיימים [math]\displaystyle{ a_0,\dots,a_d }[/math] שלמים כך ש־[math]\displaystyle{ \forall i:\ 0\le a_i\lt p }[/math] ו־[math]\displaystyle{ n=\sum_{i=0}^d a_ip^i }[/math]. סכום זה נקרא "הפיתוח של [math]\displaystyle{ n }[/math] לפי [math]\displaystyle{ p }[/math]".
• אם [math]\displaystyle{ n=2^d-1 }[/math] אז [math]\displaystyle{ \forall 0\le k\le n:\ 2\nmid\binom nk }[/math]. לפיכך, [math]\displaystyle{ n=\sum_{i=0}^{d-1}2^i }[/math].
• משפט לוקאס: נניח ש־[math]\displaystyle{ n=\sum_{i=0}^d a_i p^i }[/math] ו־[math]\displaystyle{ k=\sum_{i=0}^d b_i p^i }[/math] פיתוחים לפי [math]\displaystyle{ p }[/math]. אזי [math]\displaystyle{ \binom nk\equiv\prod_{i=0}^d\binom{a_i}{b_i}\pmod p }[/math].
• [math]\displaystyle{ p\mid\binom nk }[/math] אם״ם בפיתוחים [math]\displaystyle{ n=\sum_{i=0}^d a_i p^i\ \and\ k=\sum_{i=0}^d b_i p^i }[/math] יש [math]\displaystyle{ i_0 }[/math] עבורו [math]\displaystyle{ a_{i_0}\lt b_{i_0} }[/math].
• פירוק/קומפוזיציה של [math]\displaystyle{ n }[/math] הוא הצגה של [math]\displaystyle{ n }[/math] כסכום של טבעיים.

• יש [math]\displaystyle{ 2^{n-1} }[/math] פירוקים של [math]\displaystyle{ n }[/math] (כאשר יש חשיבות לסדר ([math]\displaystyle{ 2+1 }[/math] שונה מ־[math]\displaystyle{ 1+2 }[/math]) וחזרות מותרות ([math]\displaystyle{ 1+1+1 }[/math] ייספר כפירוק של 3)).

• מקדם מולטינומי: מספר המילים מאורך [math]\displaystyle{ n }[/math] שבהן המספר [math]\displaystyle{ i }[/math] מופיע [math]\displaystyle{ n_i }[/math] פעמים ([math]\displaystyle{ \sum_i n_i=n }[/math]) הוא [math]\displaystyle{ \binom n{n_1,n_2,\dots}=n!\left/\prod_i n_i!\right. }[/math].
• סימונים: [math]\displaystyle{ [n]_q:=\sum_{i=0}^{q-1}q^i }[/math]. כמו כן, [math]\displaystyle{ [n]_q!:=\prod_{i=1}^n [i]_q,\ [0]_q!=1 }[/math] ו־[math]\displaystyle{ \forall 0\le k\le n:\ \begin{bmatrix}n\\k\end{bmatrix}_q:=\frac{[n]_q!}{[k]_q![n-k]_q!} }[/math]. ניתן להראות ש־[math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q }[/math] שלם.

• [math]\displaystyle{ [n]_1=n }[/math] ו־[math]\displaystyle{ \forall q\ne 1:\ [n]_q=\frac{q^n-1}{q-1} }[/math].
• אם [math]\displaystyle{ q }[/math] זוגי אז [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q }[/math] אי־זוגי.
• מספר התתי־מרחבים ממימד [math]\displaystyle{ k }[/math] של מרחב וקטורי [math]\displaystyle{ \mathbb F^n }[/math] (כאשר ל־[math]\displaystyle{ \mathbb F }[/math] יש [math]\displaystyle{ q }[/math] איברים) הוא [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q }[/math].

• אם [math]\displaystyle{ 0\le k\le n }[/math] אז [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q\in\mathbb N_0[q] }[/math], כלומר זה פולינום במשתנה [math]\displaystyle{ q }[/math] שמקדמיו שלמים ואי־שליליים. למעשה, הוא גם מתוקן, דרגתו [math]\displaystyle{ k(n-k) }[/math] והוא סימטרי (כלומר המקדם של [math]\displaystyle{ q^i }[/math] שווה למקדם של [math]\displaystyle{ q^{k(n-k)-i} }[/math] לכל [math]\displaystyle{ 0\le i\le k(n-k) }[/math]).
• הילוך שריג הוא סדרת צעדים בין נקודות ב־[math]\displaystyle{ \mathbb Z^2 }[/math] שכל אחד מהם הוא הוספת 1 לאחת מהקואורדינטות של הנקודה בה נמצאים.

• יש [math]\displaystyle{ \binom{m+n}n }[/math] הילוכי שריג מ־[math]\displaystyle{ (0,0) }[/math] ל־[math]\displaystyle{ (m,n) }[/math].
• נסמן [math]\displaystyle{ C_t(m,n) }[/math] כמספר הילוכי השריג מ־[math]\displaystyle{ (0,0) }[/math] ל־[math]\displaystyle{ (m,n) }[/math] שהשטח המוגבל על־ידם, ציר ה־x והישר [math]\displaystyle{ x=m }[/math] הוא [math]\displaystyle{ t }[/math]. בנוסף, נגדיר [math]\displaystyle{ P_{m,n}(q)=\sum_{t=0}^{mn} C_t(m,n)q^t }[/math]. אזי [math]\displaystyle{ P_{m,n}(q)=\begin{bmatrix}m+n\\n\end{bmatrix}_q }[/math].

• נסמן [math]\displaystyle{ I_n(q):=\sum_{\pi\in S_n}q^{\mbox{inv}(\pi)} }[/math]. אזי [math]\displaystyle{ I_n(q)=[n]_q! }[/math].
• יהי [math]\displaystyle{ \mathbf v=(v_i)_{i=1}^n\in\mathbb Z_2^n }[/math] וקטור שרכיביו אפסים ואחדות. אם [math]\displaystyle{ i\lt j }[/math] ו־[math]\displaystyle{ v_i\gt v_j }[/math] נכנה זאת הפרת סדר. אם נסמן [math]\displaystyle{ I_{n,k}(q)=\sum_{\mathbf v\in\mathbb Z_2^n\ \and\ |\{i:\ v_i=1\}|=k}q^{\mbox{inv}(\mathbf v)} }[/math] אז [math]\displaystyle{ I_{n,k}(q)=\begin{bmatrix}n\\k\end{bmatrix}_q }[/math].
• חלוקה של [math]\displaystyle{ n }[/math] היא וקטור [math]\displaystyle{ \boldsymbol\lambda=(\lambda_1,\dots,\lambda_k) }[/math] שסכום רכיביו הוא [math]\displaystyle{ n }[/math] (כלומר [math]\displaystyle{ \sum_{i=1}^k\lambda_i=n }[/math]) והם מסודרים בסדר יורד במובן הרחב. מספר החלוקות מסומן [math]\displaystyle{ p(n) }[/math].

• מספר החלוקות של [math]\displaystyle{ n }[/math] עם לכל היותר [math]\displaystyle{ k }[/math] רכיבים הוא המקדם של [math]\displaystyle{ q^n }[/math] בפולינום [math]\displaystyle{ \begin{bmatrix}n+k\\k\end{bmatrix}_q }[/math], כלומר [math]\displaystyle{ C_n(n,k) }[/math].

• דיאגרמת יאנג של חלוקה [math]\displaystyle{ (\lambda_1,\dots,\lambda_k) }[/math] היא דיאגרמת משבצות כך שבשורה ה־[math]\displaystyle{ i }[/math] יש [math]\displaystyle{ \lambda_i }[/math] משבצות המיושרות לשמאל.
• הילוכי דיק הם הילוכי שריג מ־[math]\displaystyle{ (0,0) }[/math] ל־[math]\displaystyle{ (n,n) }[/math] שנמצאים על ומעל הישר [math]\displaystyle{ x=y }[/math].
• מספר קטלן הוא מספר הילוכי דיק ל־[math]\displaystyle{ (n,n) }[/math], מסומן [math]\displaystyle{ C_n }[/math] ושווה ל־[math]\displaystyle{ \frac1{n+1}\binom{2n}n }[/math].

• נניח ש־[math]\displaystyle{ 0\lt a\lt b }[/math]. יש [math]\displaystyle{ \frac{b-a}{b+a}\binom{a+b}a }[/math] הילוכי דיק ל־[math]\displaystyle{ (a,b) }[/math] שאינם עוברים על הישר [math]\displaystyle{ x=y }[/math] למעט בנקודה [math]\displaystyle{ (0,0) }[/math].
• מילת דיק מאורך [math]\displaystyle{ 2n }[/math] היא סדרה [math]\displaystyle{ (a_i)_{i=1}^{2n} }[/math] כך ש־[math]\displaystyle{ \forall i:\ a_i\in\{\pm1\} }[/math], [math]\displaystyle{ \forall k:\ \sum_{i=1}^k a_i\ge0 }[/math] ו־[math]\displaystyle{ \sum_{i=1}^{2n}a_i=0 }[/math]. יש [math]\displaystyle{ C_n }[/math] מילות דיק מאורך [math]\displaystyle{ 2n }[/math].
• עץ בינארי שלם/מלא הוא עץ כך שלכל אב יש בדיוק 2 בנים, כלומר לכל קודקוד שאינו עלה יש דרגה 3 למעט קודקוד אחד, שנקרא שורש. אם מבדילים בין הבן הימני לבן השמאלי אז יש [math]\displaystyle{ C_n }[/math] עצים בינארים מלאים עם [math]\displaystyle{ n+1 }[/math] עלים.
• בהנתן מכפלה לא אסוציאטיבית [math]\displaystyle{ x_1\cdot x_2\cdot\dots\cdot x_{n+1} }[/math] יש [math]\displaystyle{ C_n }[/math] דרכים להוסיף סוגריים.
• שילוש של מצולע משוכלל בעל [math]\displaystyle{ n }[/math] קודקודים הוא מבנה גיאומטרי הנוצר מהמצולע כשמעבירים בו [math]\displaystyle{ n-3 }[/math] אלכסונים שאינם חותכים זה את זה פרט לבקודקודי המצולע. יש [math]\displaystyle{ C_n }[/math] דרכים לשלש מצולע משוכלל בעל [math]\displaystyle{ n+2 }[/math] צלעות.

• מספר בל הוא מספר חלוקות הקבוצות של [math]\displaystyle{ [n] }[/math] ומסומן [math]\displaystyle{ B_n }[/math].
• מספר סטיכלינג מסוג II הוא מספר חלוקות הקבוצות של [math]\displaystyle{ [n] }[/math] ל־[math]\displaystyle{ k }[/math] תתי־קבוצות לא ריקות ומסומן [math]\displaystyle{ S(n,k) }[/math].

• [math]\displaystyle{ B_n=\sum_{k=1}^n S(n,k) }[/math].
• יהי [math]\displaystyle{ N\in\mathbb N }[/math]. נסמן [math]\displaystyle{ S_N\in\mathbb R^{N\times N} }[/math] בתור המטריצה שהרכיב בשורה ה־[math]\displaystyle{ n }[/math] ובעמודה ה־[math]\displaystyle{ k }[/math] שלה הוא [math]\displaystyle{ S(n,k) }[/math].
• [math]\displaystyle{ \sum_{k=1}^n S(n,k)(x)_k=x^n }[/math].

• מספר סטיכלינג הלא מסומן מסוג I הוא מספר התמורות על [math]\displaystyle{ [n] }[/math] עם [math]\displaystyle{ k }[/math] מחזורים ומסומן [math]\displaystyle{ C(n,k) }[/math].

• [math]\displaystyle{ n!=\sum_{k=1}^n C(n,k) }[/math].
• [math]\displaystyle{ C(n,n)=1\ \and\ C(n,1)=(n-1)! }[/math].

• מספר סטיכלינג מסוג I הוא [math]\displaystyle{ s(n,k):=(-1)^{n-k}C(n,k) }[/math].

• יהי [math]\displaystyle{ N\in\mathbb N }[/math]. נסמן [math]\displaystyle{ s_N\in\mathbb R^{N\times N} }[/math] בתור המטריצה שהרכיב בשורה ה־[math]\displaystyle{ n }[/math] ובעמודה ה־[math]\displaystyle{ k }[/math] שלה הוא [math]\displaystyle{ s(n,k) }[/math].
• [math]\displaystyle{ \sum_{k=1}^n s(n,k)x^k=(x)_n }[/math].

• [math]\displaystyle{ S_N=s_N^{-1} }[/math].

פונקציות יוצרות

• טור חזקות פורמלי במשתנה [math]\displaystyle{ x }[/math] מכל [math]\displaystyle{ \mathbb F }[/math] (בד״כ [math]\displaystyle{ \mathbb Q,\mathbb R,\mathbb C }[/math]) הוא ביטוי מהצורה [math]\displaystyle{ \sum_{i=0}^\infty a_ix^i }[/math] כאשר [math]\displaystyle{ \forall i:\ a_i\in\mathbb F }[/math]. הטור לא חייב להתכנס. אוסף טורי החזקות הפורמליים ב־[math]\displaystyle{ x }[/math] מעל [math]\displaystyle{ \mathbb F }[/math] מסומן [math]\displaystyle{ \mathbb F[[x]] }[/math].

• אם [math]\displaystyle{ \exists n_0:\ \forall i\gt n_0:\ a_i=0 }[/math] אז הטור הוא פולינום. אוסף הפולינומים ב־[math]\displaystyle{ x }[/math] מעל [math]\displaystyle{ \mathbb F }[/math] מסומן [math]\displaystyle{ \mathbb F[x] }[/math].

• נוסחת טיילור: אם [math]\displaystyle{ f(x)=\sum_{i=0}^\infty a_ix^i }[/math] אז [math]\displaystyle{ a_i=\frac{f^{(i)}(0)}{i!}x^i }[/math].
• פונקציה יוצרת: לכל סדרה [math]\displaystyle{ (a_i)_{i=0}^\infty }[/math] נתאים פונקציה [math]\displaystyle{ \sum_{i=0}^\infty a_ix^i }[/math].
• פונקציה יוצרת מעריכית: לכל סדרה [math]\displaystyle{ (a_i)_{i=0}^\infty }[/math] נתאים פונקציה [math]\displaystyle{ \sum_{i=0}^\infty \frac{a_i}{i!}x^i }[/math]. פונקציות אלה שימושיות לספירת עצמים עבורם הסדר משנה.
• נרצה לחשב את [math]\displaystyle{ c_n:=\sum_{k=0}^n a_kb_{n-k} }[/math]. נגדיר [math]\displaystyle{ f_1(x)=\sum_{i=0}^\infty a_ix^i }[/math] ו־[math]\displaystyle{ f_2(x)=\sum_{i=0}^\infty b_ix^i }[/math] ולכן [math]\displaystyle{ f_1(x)f_2(x)=\sum_{i=0}^\infty c_i x^i }[/math].
• נרצה למצוא את מספר הפתרונות של [math]\displaystyle{ \sum_{i=1}^k t_i=n }[/math] כאשר [math]\displaystyle{ \forall i:\ t_i\in A_i\subseteq\mathbb N_0 }[/math]. נתאים לכל משתנה פונקציה יוצרת [math]\displaystyle{ f_i(x)=\sum_{t\in A_i} x^t }[/math] ולכן מספר הפתרונות הדרוש הוא המקדם של [math]\displaystyle{ x^n }[/math] ב־[math]\displaystyle{ \prod_{i=1}^k f_i(x) }[/math].
• אם [math]\displaystyle{ X:A\to\{0,1,\dots,n\} }[/math] משתנה מקרי כש־[math]\displaystyle{ |A|\lt \infty }[/math] ו־[math]\displaystyle{ f(x)=\sum_{k=0}^n |X^{-1}[\{k\}]|x^k }[/math] אז [math]\displaystyle{ f(1)=|A| }[/math], התוחלת היא [math]\displaystyle{ \mbox{E}(x)=\frac{f'(1)}{f(1)} }[/math] והשונות היא [math]\displaystyle{ \mbox{V}(X)=\frac{f''(1)}{f(1)}+\mbox{E}(X)-\mbox{E}^2(X) }[/math].

נוסחאות

• נוסחת הנסיגה של פסקל: [math]\displaystyle{ \binom nk=\binom{n-1}k+\binom{n-1}{k-1} }[/math]
• [math]\displaystyle{ \binom nk=\sum_{i=k}^n\binom{i-1}{k-1} }[/math]
• זהות הקפטן: [math]\displaystyle{ k\binom nk=n\binom{n-1}{k-1} }[/math]
• הבינום של ניוטון: [math]\displaystyle{ (1+x)^\alpha=\sum_{k=0}^n\binom\alpha k x^k }[/math]
• אם [math]\displaystyle{ 1\le m\le k\le n }[/math] אז [math]\displaystyle{ \binom nk\binom km=\binom nm\binom{n-m}{k-m} }[/math]
• [math]\displaystyle{ \sum_{k=0}^n\binom nk=2^n }[/math]
• [math]\displaystyle{ \sum_{2\mid k}\binom nk=\sum_{2\nmid k}\binom nk=2^{n-1} }[/math]
• [math]\displaystyle{ \sum_{k=0}^n\binom nk^2=\binom{2n}n }[/math]
• [math]\displaystyle{ \sum_{k=0}^n k\binom nk=2^{n-1}n }[/math]
• אם [math]\displaystyle{ 8\mid n }[/math] אז [math]\displaystyle{ \sum_{4\mid k}\binom nk=2^{n-2}+2^{n/2-1} }[/math]
• [math]\displaystyle{ \sum_{\sum_{i=1}^k n_i=n}\binom n{n_1,\dots,n_k}=k^n }[/math]
• [math]\displaystyle{ \binom n{n_1,\dots,n_k}=\prod_{i=1}^k\binom {n-\sum_{j=1}^{i-1} n_j}{n_i} }[/math]
• נוסחת המולטינום: [math]\displaystyle{ \left(\sum_{i=1}^k x_i\right)^n=\sum_{\sum_{i=1}^k n_i=n}\binom n{n_1,\dots,n_k}\prod_{i=1}^k x_i^{n_i} }[/math]
• [math]\displaystyle{ \binom n{n_1,\dots,n_k}=\sum_{i=1}^k\binom{n-1}{n_1,\dots,n_{i-1},n_i-1,n_{i+1},\dots,n_k} }[/math]
• [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q=\prod_{i=1}^k\frac{q^{n-k+i}-1}{q^i-1} }[/math]
• [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q=\begin{bmatrix}n\\n-k\end{bmatrix}_q }[/math]
• [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_1=\binom nk }[/math]
• נוסחת q־פסקל: [math]\displaystyle{ \begin{bmatrix}n\\k\end{bmatrix}_q=\begin{bmatrix}n-1\\k-1\end{bmatrix}_q+q^k\begin{bmatrix}n-1\\k\end{bmatrix}_q }[/math]
• q־בינום: [math]\displaystyle{ \prod_{i=0}^{n-1}(1+q^ix)=\sum_{k=0}^n q^\binom k2\begin{bmatrix}n\\k\end{bmatrix}_q x^k }[/math]
• נוסחת נסיגה למספרי קטלן: [math]\displaystyle{ \forall n\gt 1:\ C_n=\sum_{i=1}^{n-1}C_i C_{n-i} }[/math] ו־[math]\displaystyle{ C_0=C_1=1 }[/math]
• נוסחת נסיגה למספרי בל: [math]\displaystyle{ \forall n\gt 0:\ \sum_{k=1}^n\binom{n-1}{k-1}B_{n-k} }[/math] ו־[math]\displaystyle{ B_0=1 }[/math]
• נוסחת נסיגה למספרי סטיכלינג מסוג II: [math]\displaystyle{ \forall n\in\mathbb N,k\in[n]:\ S(n,k)=S(n-1,k-1)+k S(n-1,k) }[/math] ו־[math]\displaystyle{ S(0,0)=1\ \and\ \forall n\lt k:\ s(n,k)=0\ \and\ \forall n\gt 0:\ S(n,0)=0 }[/math]
• נוסחת נסיגה למספרי סטיכלינג לא מסומנים מסוג I: [math]\displaystyle{ \forall n\in\mathbb N,k\in[n]:\ C(n,k)=C(n-1,k-1)+(n-1)C(n-1,k) }[/math] ו־[math]\displaystyle{ C(0,0)=1\ \and\ \forall n\lt k:\ C(n,k)=0\ \and\ \forall n\gt 0:\ C(n,0)=0 }[/math]
• נוסחת נסיגה למספרי סטיכלינג מסוג I: [math]\displaystyle{ \forall n\in\mathbb N,k\in[n]:\ s(n,k)=s(n-1,k-1)-(n-1)s(n-1,k) }[/math]
• [math]\displaystyle{ \binom{-1/2}n=\left(\frac{-1}4\right)^n\binom{2n}n }[/math]
• [math]\displaystyle{ \forall n\in\mathbb N:\ \binom{1/2}n=\frac{C_{n-1}}2\left(\frac{-1}4\right)^{n-1} }[/math]
• [math]\displaystyle{ \sum_{n=0}^\infty p(n)x^n=\prod_{n=1}^\infty\frac1{1-x^n} }[/math]