Ps2 - Summing series with partial fractions

Ps2 - Summing series with partial fractions

Use partial fractions to uncover cancellation inside a rational series. You will choose a decomposition that exposes shifted terms, retain the correct finite boundaries, and deduce exact sums to infinity.

Exposing the hidden difference

How can 11(3)+12(4)+13(5)+⋯\frac1{1(3)}+\frac1{2(4)}+\frac1{3(5)}+\cdots have an exact total?

The fractions do not have a constant ratio, so a geometric-series formula is no help. But

1r(r+2)=12(1r−1r+2)\frac1{r(r+2)}=\frac12\left(\frac1r-\frac1{r+2}\right)

reveals a gap-two telescoping sum. The cancellation you already know is hidden inside the denominator.

You already know

Partial fractions rewrite a rational expression as simpler fractions. To find constants AA and BB, clear the denominator and equate coefficients or substitute values of the variable. A difference ur−ur+ku_r-u_{r+k} can telescope when summed.

The spacing between factors controls both the decomposition's scale and the eventual boundary count.

Two shifted linear factors

For b≠ab\ne a, and values of rr with neither denominator zero,

1(r+a)(r+b)=1b−a(1r+a−1r+b)\frac1{(r+a)(r+b)} =\frac1{b-a}\left(\frac1{r+a}-\frac1{r+b}\right)

Check it by combining the fractions: the numerator inside the brackets is b−ab-a.

Not in the formula booklet: learn it.

You can reconstruct this identity from ordinary partial fractions, so there is no need to memorise a different version for each pair of factors.

Worked example 1: neighbouring factors

Question. Express 1r(r+1)\frac1{r(r+1)} in partial fractions.

Plan. Use one fraction over each factor and find the constants after clearing denominators.

1r(r+1)=Ar+Br+1choose the form1=A(r+1)+Brclear denominatorsr=0  ⟹  A=1,r=−1  ⟹  B=−1find constants1r(r+1)=1r−1r+1substitute back\begin{aligned} \frac1{r(r+1)}&=\frac A r+\frac B{r+1} && \text{choose the form} \\ 1&=A(r+1)+Br && \text{clear denominators} \\ r=0&\implies A=1,\quad r=-1\implies B=-1 && \text{find constants} \\ \frac1{r(r+1)}&=\frac1r-\frac1{r+1} && \text{substitute back} \end{aligned}

Why this step? Substituting r=0r=0 and r=−1r=-1 is legitimate in the polynomial identity after denominators are cleared, although the original fractions are undefined there.

Answer. 1r−1r+1\frac1r-\frac1{r+1}, for r≠0,−1r\ne0,-1.

Check. At r=2r=2, 12−13=16=1/(2(3))\frac12-\frac13=\frac16=1/(2(3)).

Change only the factor gap from one to three. The coefficient can no longer be left as 11.

Worked example 2: separated factors

Question. Express 1r(r+3)\frac1{r(r+3)} in partial fractions.

Plan. Find the constants over the two linear factors, keeping the gap factor.

1r(r+3)=Ar+Br+3two factors1=A(r+3)+Brclear denominatorsr=0  ⟹  A=13,r=−3  ⟹  B=−13substitute1r(r+3)=13(1r−1r+3)common coefficient\begin{aligned} \frac1{r(r+3)}&=\frac A r+\frac B{r+3} && \text{two factors} \\ 1&=A(r+3)+Br && \text{clear denominators} \\ r=0&\implies A=\frac13,\quad r=-3\implies B=-\frac13 && \text{substitute} \\ \frac1{r(r+3)}&=\frac13\left(\frac1r-\frac1{r+3}\right) && \text{common coefficient} \end{aligned}

Why this step? Without the factor 1/31/3, recombining the two fractions would give numerator 33, not 11.

Answer. 13(1r−1r+3)\frac13\left(\frac1r-\frac1{r+3}\right), for r≠0,−3r\ne0,-3.

Check. At r=1r=1, 13(1−14)=14\frac13(1-\frac14)=\frac14.

For a series indexed by positive integers, these example denominators never vanish. Checking the actual index range matters before any summation is attempted.

Watch out

Wrong: 1r(r+3)=1r−1r+3\frac1{r(r+3)}=\frac1r-\frac1{r+3}. Right: multiply the difference by 1/31/3. Recombine your proposed fractions to check the scale.

The next denominator shifts both factors, while keeping the same decision about their spacing.

Finite sums and their surviving boundaries

After decomposing, write enough initial and final terms to show the cancellation; the partial fractions alone are not yet a summed series.

For the opening terms, the gap is two. The beginning contributes 1+1/21+1/2, while the end contributes two negative fractions. Keep the coefficient 1/21/2 around the entire result.

Worked example 3: the opening finite sum

Question. Find ∑r=1n1r(r+2)\sum_{r=1}^{n}\frac1{r(r+2)}, where n≥2n\ge2.

Plan. Decompose with coefficient 1/21/2, telescope the gap-two series, then simplify the constant.

Sn=12∑r=1n(1r−1r+2)partial fractions=12[(1−13)+(12−14)+(13−15)+⋯+(1n−1n+2)]show cancellation=12(1+12−1n+1−1n+2)retain boundaries=34−12(n+1)−12(n+2)distribute coefficient\begin{aligned} S_n&=\frac12\sum_{r=1}^{n}\left(\frac1r-\frac1{r+2}\right) && \text{partial fractions} \\ &=\frac12\left[(1-\tfrac13)+(\tfrac12-\tfrac14) +(\tfrac13-\tfrac15)+\cdots+ \left(\frac1n-\frac1{n+2}\right)\right] && \text{show cancellation} \\ &=\frac12\left(1+\frac12-\frac1{n+1}-\frac1{n+2}\right) && \text{retain boundaries} \\ &=\frac34-\frac1{2(n+1)}-\frac1{2(n+2)} && \text{distribute coefficient} \end{aligned}

Why this step? Both final negative fractions survive. The factor 1/21/2 multiplies them as well as the initial terms.

Answer. 34−12(n+1)−12(n+2)\frac34-\frac1{2(n+1)}-\frac1{2(n+2)}.

Check. At n=2n=2, 1/3+1/8=11/24=3/4−1/6−1/81/3+1/8=11/24=3/4-1/6-1/8.

Change only the first index from 11 to 33. The decomposition and final boundary terms stay the same.

Worked example 4: a later starting point

Question. For n≥4n\ge4, find ∑r=3n1r(r+2)\sum_{r=3}^{n}\frac1{r(r+2)}.

Plan. Start the gap-two cancellation at 1/3−1/51/3-1/5, then keep the two first positive terms.

Sn=12[(13−15)+(14−16)+⋯+(1n−1n+2)]new lower limit=12(13+14−1n+1−1n+2)cancel interior=724−12(n+1)−12(n+2)combine constants\begin{aligned} S_n&=\frac12\left[(\tfrac13-\tfrac15)+(\tfrac14-\tfrac16) +\cdots+\left(\frac1n-\frac1{n+2}\right)\right] && \text{new lower limit} \\ &=\frac12\left(\frac13+\frac14-\frac1{n+1}-\frac1{n+2}\right) && \text{cancel interior} \\ &=\frac7{24}-\frac1{2(n+1)}-\frac1{2(n+2)} && \text{combine constants} \end{aligned}

Why this step? The first two denominators are now 33 and 44; retaining 11 and 22 would add terms absent from the question.

Answer. 724−12(n+1)−12(n+2)\frac7{24}-\frac1{2(n+1)}-\frac1{2(n+2)}.

Check. At n=4n=4, 1/15+1/24=13/120=7/24−1/10−1/121/15+1/24=13/120=7/24-1/10-1/12.

A neat final formula is useful, but the written cancellation is what establishes why those particular boundaries remain.

Exam tip

For a method-of-differences solution, show enough terms to demonstrate consistent cancellation, including the first term and the final unmatched terms. An unexplained final formula can leave the method unshown.

Now shift the first boundary once more.

Watch out

Wrong: the later-starting sum leaves 12(13+14−1n+2)\frac12(\frac13+\frac14-\frac1{n+2}). A gap of two leaves two negative end terms, not one. The correct boundary expression is 12(13+14−1n+1−1n+2)\frac12(\frac13+\frac14-\frac1{n+1}-\frac1{n+2}).

Write the last two expanded terms before deciding what cancels.

Exact totals for infinite rational series

The finite boundary terms often vanish as nn grows, leaving an exact sum to infinity that is much simpler than the individual fractions suggest.

[DIAGRAM: asset_name: Partial sums approaching three quarters; asset_slug: rational_series_limit; caption: The opening rational series approaches three quarters from below; description: A graph shows the finite sums of 1 over r times r+2 for indices 1 to n, for n from 1 to 30. Sage points rise towards the horizontal clay line at 0.75. Labels at n=2 and n=10 give 11/24 and 175/264, and a note identifies the positive remaining tail.]
The opening rational series approaches three quarters from below

You already know

An infinite series converges when its finite partial sums have a finite limit. Establish SnS_n before taking n→∞n\to\infty; do not split the infinite series into two divergent infinite sums.

The partial-fraction identities and resulting rational sums are not printed in the formula booklet. Their limits follow from the finite expressions you derive.

Worked example 5: a shifted adjacent pair

Question. Find ∑r=1∞1(r+1)(r+2)\sum_{r=1}^{\infty}\frac1{(r+1)(r+2)}.

Plan. Decompose, telescope the finite sum and let the final reciprocal vanish.

Sn=∑r=1n(1r+1−1r+2)adjacent factors=(12−13)+(13−14)+⋯+(1n+1−1n+2)write differences=12−1n+2cancellim⁡n→∞Sn=12last term tends to zero\begin{aligned} S_n&=\sum_{r=1}^{n}\left(\frac1{r+1}-\frac1{r+2}\right) && \text{adjacent factors} \\ &=(\tfrac12-\tfrac13)+(\tfrac13-\tfrac14)+\cdots+ \left(\frac1{n+1}-\frac1{n+2}\right) && \text{write differences} \\ &=\frac12-\frac1{n+2} && \text{cancel} \\ \lim_{n\to\infty}S_n&=\frac12 && \text{last term tends to zero} \end{aligned}

Why this step? The first positive fraction is 1/21/2, because the first factor is r+1r+1, not rr.

Answer. 12\frac12.

Check. The first term is 1/61/6, and all terms are positive; the total 1/21/2 is larger, as it must be.

Change only the second factor from r+2r+2 to r+3r+3. Both the coefficient and the boundary count change because the gap has widened.

Worked example 6: a wider gap to infinity

Question. Find ∑r=1∞1(r+1)(r+3)\sum_{r=1}^{\infty}\frac1{(r+1)(r+3)}.

Plan. Use coefficient 1/21/2 and retain two fractions at each finite boundary before taking the limit.

Sn=12∑r=1n(1r+1−1r+3)gap 2=12(12+13−1n+2−1n+3)cancel interiorlim⁡n→∞Sn=12(12+13)=512vanishing boundaries\begin{aligned} S_n&=\frac12\sum_{r=1}^{n}\left(\frac1{r+1}-\frac1{r+3}\right) && \text{gap }2 \\ &=\frac12\left(\frac12+\frac13-\frac1{n+2}-\frac1{n+3}\right) && \text{cancel interior} \\ \lim_{n\to\infty}S_n&=\frac12\left(\frac12+\frac13\right)=\frac5{12} && \text{vanishing boundaries} \end{aligned}

Why this step? Taking the limit only after keeping both final fractions prevents an incomplete cancellation argument.

Answer. 512\frac5{12}.

Check. Each denominator (r+1)(r+3)(r+1)(r+3) is larger than (r+1)(r+2)(r+1)(r+2), so its total should be below the previous total 1/21/2; 5/125/12 is.

The opening sum is therefore 3/43/4: its finite sum from the previous section has two tail fractions that vanish. Infinitely many positive terms fit inside the remaining gap, however many terms you have already added.

Watch out

Wrong: cancel two infinite harmonic sums separately and write “infinity minus infinity”. Right: cancel inside SnS_n, where all sums are finite, and then take one limit.

The last question changes both shifts while keeping the same gap-based decision.

Quick Recap

  • Decompose the rational summand to expose a difference.
  • The spacing between factors determines the coefficient and boundary count.
  • Keep the actual lower index when writing the initial survivors.
  • Take the limit of the complete finite expression to obtain a sum to infinity.

The opening non-geometric rational series has exact sum 34\frac34.