O progresie geometrică de lungime <tex>k</tex> cu raţia <tex>r</tex> este un şir de numere <tex>p(1),\ p(2),\  ...,\ p(k)</tex> pentru care se respectă relaţia : <tex>p(i)\ =\ p(1)\ *\ r^{i - 1},\ 2 \le i \le k</tex>.

O progresie cuantică de lungime <tex>k</tex> cu raţia <tex>q</tex> este un şir de numere <tex>p(1),\ p(2),\  ...,\ p(k)</tex> pentru care se respectă relaţia : <tex>p(i)\ =\ p(1)\ *\ r^{i - 1},\ 2 \le i \le k</tex>.
 

Se defineste o $progresie geometrica K$ ca fiind un sir strict crescator a de lungime K cu proprietatea ca exista o ratie q in (Q intersectat cu (1,2])) astfel incat ai sa fie egal cu ai-1*q pentru orice 2<=i<=K
Se asigura ca se poate demonstra ca numarul de progresii geometrice K care incep cu valoarea N este egal cu cel mai mare numarul natural X cu proprietatea ca X^K este divizor al lui N.