:* יש <math>2^{n-1}</math> פירוקים של <math>n</math> (כאשר יש חשיבות לסדר (<math>2+1</math> שונה מ־<math>1+2</math>) וחזרות מותרות (<math>1+1+1</math> ייספר כפירוק של 3)).
* '''מקדם מולטינומי:''' מספר המילים מאורך <math>n</math> שבהן המספר <math>i</math> מופיע <math>n_i</math> פעמים (<math>\sum_i n_i=n</math>) הוא <math>\binom n{n_1,n_2,\dots}=n!\left/\prod_i n_i!\right.</math>.
* {{הערה|סימונים:}} <math>[n]_q:=\sum_{i=0}^{qn-1}q^i</math>. כמו כן, <math>[n]_q!:=\prod_{i=1}^n [i]_q,\ [0]_q!=1</math> ו־<math>\forall 0\le k\le n:\ \begin{bmatrix}n\\k\end{bmatrix}_q:=\frac{[n]_q!}{[k]_q![n-k]_q!}</math>. ניתן להראות ש־<math>\begin{bmatrix}n\\k\end{bmatrix}_q</math> שלם.
:* <math>[n]_1=n</math> ו־<math>\forall q\ne 1:\ [n]_q=\frac{q^n-1}{q-1}</math>.
:* אם <math>q</math> זוגי אז <math>\begin{bmatrix}n\\k\end{bmatrix}_q</math> אי־זוגי.
:* '''נוסחת נסיגה לינארית''' מסדר <math>k</math> היא נוסחה מהצורה <math>\forall n\ge k:\ a_n=f(n)+\sum_{i=1}^k c_i(n)a_{n-i}</math>. אם <math>c_i</math> פונקציות קבועות אז נאמר שהנוסחה עם מקדמים קבועים. אם <math>f(n)\equiv0</math> אז נאמר שהיא הומוגנית.
::* קבוצת הסדרות הפותרות נוסחת נסיגה לינארית הומוגנית מסדר <math>k</math> היא מרחב וקטורי ממימד <math>k</math>.
* נרצה לחשב את אברי <math>(a_i)_{i=0}^\infty</math> בהינתן תנאי ההתחלה <math>(a_i)_{i=0}^{k-1}</math> ונוסחת נסיגה <math>\forall i\ge k:\ a_i=fg(a_{i-1},\dots,a_{i-k})</math>. נעזר בפונקציה היוצרת <math>f(x)=\sum_{i=0}^\infty a_i x^i</math> ואם קיימת פונקציה <math>FG</math> עבורה {{left|<math>\begin{align}f(x)&=\sum_{i=0}^{k-1} a_i x^i+\sum_{i=k}^\infty fg(a_{i-1},\dots,a_{i-k})x^i\\&=\sum_{i=0}^{k-1} a_i x^i+FG\!\left(x,\sum_{i=k}^\infty a_{i-1}x^{i-1},\dots,\sum_{i=k}^\infty a_{i-k}x^{i-k}\right)\\&=\sum_{i=0}^{k-1} a_i x^i+FG\!\left(x,f(x)-\sum_{i=0}^{k-2} a_ix^i,\dots,f(x)\right)\end{align}</math>}}אז נבודד את <math>f(x)</math> ונקבל נוסחה מפורשת למקדמים <math>a_i</math> של <math>x^i</math>.* תהי נוסחת נסיגה לינארית הומוגנית עם מקדמים קבועים <math>a_n=\sum_{i=1}^k c_i a_{n-i}</math> מסדר <math>k</math>. נניח שיש <math>\alpha\in\mathbb C</math> עבורו <math>\forall n:\ a_n=\alpha^n</math> (לא תמיד זה נכון). אזי <math>\alpha=0</math> פתרון. <math>x^k-\sum_{i=1}^k c_i x^{k-i}</math> נקרא "הפולינום האופייני של נוסחת הנסיגה" ואם <math>\alpha\ne0</math> אז הוא שווה ל־0 בנקודה <math>\alpha</math>. יש לו <math>k</math> שורשים אם כל שורשיו מריבוי 1 ואם נניח שהם <math>\alpha_1,\dots,\alpha_k</math> אז <math>\forall n,i:\ a_n=\alpha_i^n</math>. המרחב הווקטורי של הפתרונות הוא אם כן <math>\left\{\left(\sum_{i=1}^k r_i\alpha_i^n\right)_{n=0}^\infty:\ \forall i:\ r_i\in\mathbb C\right\}</math>. אם נתונים תנאי ההתחלה ניתן גם לחשב את ה־<math>r_i</math>־ים.
=== נוסחאות ===