3.2 "Telescoping" series
Sometimes, we have sums where everything cancels out nicely. A specific form of this is called a \saytelescoping series, and the term refers to anything in the form
Here, is a constant natural number (e.g. ) and is the index of summation.
The key idea is that eventually the will "catch up" to the . If were equal to , for example, we would have that
A lot of terms are going to cancel here! When we add and we get . The same thing happens for and , and so on. Every term in our series cancels out the term from the previous term. This means that all the terms, except the first and the last terms are going to cancel each other out, leaving us with just
One way to visualise this it to rewrite the sum.
Find a closed-form (read: nice) formula for the sum
The first step (assuming that we wish to solve this using a telescoping series) is to split the expression summand into two, which will telescope. The source I originally found this question from did first give the necessary identity which very much helps, but we can also work this out ourselves.
Let us first be very clear about what our goal is; we guess that the sum will telescope, and assuming that it does we must find some way of exploiting this. Specifically, we want to split the summand into two parts (which telescope).
It would be lovely if we could break into two parts which telescope. todo: why isn’t this possible
The other thing we can do is this
Now we would like to exploit the telescoping property. Writing out the sum, we get something like this
After crossing out all the terms which are the same, we are left with