geometric series

    \begin{align*} \sum\limits_{n=1}^\infty ar^{n-1} &= a+ar+ar^2+ar^3+\dots+ar^{n-1}+\dots \qquad a\neq 0 \\ &\boxed{=\frac{a}{1-r}=\frac{\text{first term}}{1-\text{common ratio}}} \qquad \text{ if } |r|<1  \end{align*}

GS 2

By telescoping products
Assuming 0<r<1:

    \begin{align*} S&=1+r+r^2+r^3+r^4+r^5+\cdots \\ &=1(1+r)+r^2(1+r)+r^4(1+r)+\cdots \\ &=(1+r)(1+r^2+r^4+r^6+\cdots \\ &=(1+r)(1+r^2)(1+r^4+r^8+\cdots \\ &=(1+r)(1+r^2)(1+r^4)(1+r^8)(1+\cdots \\ S(1-r)&=(1-r^2)(1+r^2)(1+r^4)(1+r^8)(1+\cdots \\ &=(1-r^4)(1+r^4)(1+r^8)(1+r^{16})(1+\cdots \\ &=(1-r^8)(1+r^8)(1+r^{16})(1+\cdots \\ &\to 1 \\ S&=\frac{1}{1-r}  \end{align*}

Sum of the first n terms
geom series

    \begin{align*} S_n:1&=r^n-1:r-1 \\ S_n&=\frac{r^n-1}{r-1} \end{align*}





and (1-x^{n+1})/(1-x) is the generating function for the sequence \angb{1,1,1\dots 1,0,0,0\dots}, where the first n+1 terms are 1.


    \[s_n=a+ar+ar^2+\dots+ar^{n-1} \]

Multiply both sides by r:


Subtract the second equation from the first:



Problem: Let p, q be two distinct primes. Prove that there are positive integers a, b so that the arithmetic mean of all the divisors of p^a q^b is also an integer.
Solution: The sum of all divisors of n=p^a q^b is given by


as can be seen by expanding the brackets. The number n has (a+1)(b+1) positive divisors, and their arithmetic mean is


If p and q are both odd, then when a=p and b=q,


If p=2, choose b=q and a=q^2+q^4+q^6+\cdots+q^{q-1}.
Then M=1+2+2^2+\cdots+2^a}. (And similarly if q=2).

Leave a Reply

Your email address will not be published. Required fields are marked *