Section 6.4 Calculating sums indirectly
In the previous section, we were able to calculate the sums directly because we knew how to calculate each term of the relevant sequences. This isn't always the case. Sometimes we will need to be able to manipulate sums where the individual terms of the sequence are unknown. In particular, one of the tools we will learn about in this section will be of paramount importance when we learn to write proofs by induction later.
Theorem 6.4.1. Linear property of summation.
Let \((a_n)\) and \((b_n)\) be sequences and \(c\) be a constant value. Then,
and
The above theorem is just a generalization of the associative property of addition—\((x+y)+z = x+(y+z)\) —and the distributive property—\(c(x+y) = cx+cy\text{.}\)
Example 6.4.2.
Suppose we know that
Calculate
Using the linear property,
We can calculate this sum without having any idea what the terms of the sequences \((a_n)\) and \((b_n)\) are!
Notice that both the sums must start and end on the same index. If not, you can manipulate the sums to make the linear property useable, but it reqires knowing some terms of the sequence.
Theorem 6.4.3. Recursive property of summation.
Let \((a_n)\) be a sequence. Then
In other words, we may “peel” the first or last term off of a sum (as many times as we like).
Proof.
This theorem is a consequence of the associative property of addition. By definition,
We may group all but the last term together:
We may rewrite the grouped terms as a single sum.
The proof that
follows in a similar fashion.
Example 6.4.4.
Suppose it is known that \(b_{107} = 72\) and that
Example 6.4.5.
Suppose we know \(a_3=12\text{,}\) \(a_4=2\text{,}\) \(a_5 = 7\text{,}\) \(a_6=-3\text{,}\) \(a_{13}=19\text{,}\) \(a_{14}=-10\text{,}\) and \(a_{15}=6\text{,}\) and furthermore that
What is the value of
Our goal is to write the unknown sum in terms of the known sum. We can start by writing the unknown sum out the long way.
For reference, our known sum is
We have many of these terms in our unknown sum, but not all. The great news is that we can always add whatever value we want to an expression, at the cost of subtracting that same value. So, back to the unknown sum:
The moral here is that with careful application of the recursive property, we can shift the indices of our sum to whatever we like, as long as we know enough terms of the sequence.
Example 6.4.6.
Given that
\(a_1=7\text{,}\) \(b_{13}=18\text{,}\) and
calculate
Start by using the linear property of the sum. Then, we will need to evaluate the two individual sums recursively.