Porisma

Connect terms, partial sums and sigma notation

Recover a term, match summation bounds and distinguish a term from its running total.

Recover a sequence from its partial sums

A series adds the terms of a sequence. A finite series stops after finitely many terms, such as 2+4+6+8+102+4+6+8+10. An infinite series continues indefinitely, such as 1+2+4+8+16+⋯1+2+4+8+16+\cdots; calling it infinite does not assert a finite sum.

Let SnS_n be the sum of the first nn terms. The source derives the connection by subtraction:

Sn=u1+u2+⋯+un−1+un(1),Sn−1=u1+u2+⋯+un−1(2),Sn−Sn−1=(u1+u2+⋯+un−1+un)−(u1+u2+⋯+un−1)=un.\begin{aligned} S_n&=u_1+u_2+\cdots+u_{n-1}+u_n&&\text{(1)},\\ S_{n-1}&=u_1+u_2+\cdots+u_{n-1}&&\text{(2)},\\ S_n-S_{n-1}&=(u_1+u_2+\cdots+u_{n-1}+u_n)\\ &\quad-(u_1+u_2+\cdots+u_{n-1})\\ &=u_n. \end{aligned}

The shared first n−1n-1 terms cancel. Therefore

un=Sn−Sn−1(n≥2),u1=S1.u_n=S_n-S_{n-1}\quad(n\ge2),\qquad u_1=S_1.

Treat the first term separately rather than assuming an unspecified S0S_0. The related cumulative-sum question below applies this method with a particular formula. These term-to-sum relationships also help when applying summation laws and AP/GP sum formulas.

Check the first term after subtracting partial sums

Example 12 applies un=Sn−Sn−1u_n=S_n-S_{n-1} for n≥2n\ge2, then checks u1=S1u_1=S_1 separately. With Sn=2n−1S_n=2^n-1, subtraction gives un=2n−1u_n=2^{n-1}; at n=1 this gives 1, which agrees with S1. The general ratio un+1/un=2u_{n+1}/u_n=2 proves the terms form a GP.

For Sn=n2+3nS_n=n^2+3n, the result is un=2n+2u_n=2n+2 for n≥2. Its n=1 value 4 agrees with S1, so the formula holds for every positive index. The general difference is [2(n+1)+2]−(2n+2)=2[2(n+1)+2]-(2n+2)=2, proving an AP. The illustrated source callout asks you to show the common difference or ratio for general neighbouring terms, rather than simply presenting a familiar AP/GP-looking formula.

The extra constant in Sn=n2+3n+1S_n=n^2+3n+1 cancels in the subtraction, but it changes the first term:

un={5n=1,2n+2n≥2.u_n=\begin{cases}5&n=1,\\2n+2&n\ge2.\end{cases}

The first three terms are 5,6,8. Their consecutive differences 1 and 2 disagree, as do their ratios 6/5 and 8/6. The full sequence is neither AP nor GP, even though its tail from the second term is arithmetic. The full worked exercise retains each printed expansion and first-term check.

Read every part of sigma notation

The Greek capital letter Σ\Sigma, pronounced sigma, represents a sum. The source introduces it through 32+42+52+62+72+82+923^2+4^2+5^2+6^2+7^2+8^2+9^2. Three pieces of information specify this sum: its general term, lower bound and upper bound. The source’s labelled notation diagram has four labels:

LabelIn ∑r=mr=nur\sum_{r=m}^{r=n}u_rMeaning
Upper limitr=nr=n above sigmaFinal index
Lower limitr=mr=m below sigmaStarting index
Index or counterrrInteger varied through the bounds
rth term or formulauru_r beside sigmaExpression evaluated at each index

This table gives a text equivalent of all the diagram’s labels. For integer bounds m≤nm\le n,

∑r=mnur=um+um+1+⋯+un−1+un.\sum_{r=m}^{n}u_r=u_m+u_{m+1}+\cdots+u_{n-1}+u_n.

In the opening example,

∑r=3r=9r2=∑r=39r2=32+42+52+62+72+82+92.\sum_{r=3}^{r=9}r^2=\sum_{r=3}^{9}r^2=3^2+4^2+5^2+6^2+7^2+8^2+9^2.

Read this as “the sum of all terms of the form r squared, where r takes each integer value from 3 to 9 inclusive”. Omitting the repeated r= above sigma does not change the meaning. The index need not be r: ∑k=15k2=∑r=15r2\sum_{k=1}^{5}k^2=\sum_{r=1}^{5}r^2, and

∑r=1n(2r+1)=∑k=1n(2k+1)=∑i=1n(2i+1).\sum_{r=1}^{n}(2r+1)=\sum_{k=1}^{n}(2k+1)=\sum_{i=1}^{n}(2i+1).

Only the bound counter and its matching occurrences are renamed. The source’s Equivalence callout notes that different sigma forms can make simplification and manipulation easier.

Change the counter together with the bounds

Sigma expressions are not unique. The source gives

∑r=110r=∑r=09(r+1)\sum_{r=1}^{10}r=\sum_{r=0}^{9}(r+1)

and, for a positive integer n,

∑r=12nr(r+1)=∑r=02n−1(r+1)(r+2)=∑r=−2n−1−2r(r+1).\sum_{r=1}^{2n}r(r+1) =\sum_{r=0}^{2n-1}(r+1)(r+2) =\sum_{r=-2n-1}^{-2}r(r+1).

The source ends these equalities with ellipses, not a supplied evaluated answer. The last form runs through the same products in reverse order: set r=−k−1r=-k-1 to obtain r(r+1)=k(k+1)r(r+1)=k(k+1). This substitution is an authored explanation of the printed equivalence. Integer counters can be zero or negative when the formula is defined; their bounds need not start at one.

Typical term patterns are 2r2r for even integers, 2r+12r+1 or 2r−12r-1 for odd integers, and (−1)r(-1)^r, (−1)r+1(-1)^{r+1} or (−1)r−1(-1)^{r-1} for alternating signs. Choose the exponent to match the first sign at the chosen starting index. Check both endpoint substitutions whenever you change the formula or limits.

Expand, count and construct sums

With finite integer bounds, including both endpoints gives

number of terms=n−m+1in ∑r=mnur.\text{number of terms}=n-m+1\qquad\text{in }\sum_{r=m}^{n}u_r.

Example 13 expands six integers from 1 to 6, four squares from 5 to 8, five terms of 2k−12k-1 from 0 to 4, and infinitely many powers (1/2)r(1/2)^r from 0 onwards. The last expansion starts with (1/2)0=1(1/2)^0=1. Its infinite number of terms does not by itself tell you the sum’s value.

Example 14 constructs the formula and its bounds together. The AP 1+4+7+10+⋯+881+4+7+10+\cdots+88 has a=1,d=3a=1,d=3, so un=1+(n−1)3=3n−2u_n=1+(n-1)3=3n-2. Solving 88=1+(n−1)388=1+(n-1)3 gives 30 terms and ∑r=130(3r−2)\sum_{r=1}^{30}(3r-2).

For the odd terms through 99, the two printed methods give

∑r=150(2r−1)=∑r=049(2r+1).\sum_{r=1}^{50}(2r-1)=\sum_{r=0}^{49}(2r+1).

The position-one nth-term formula is un=2n−1u_n=2n-1; a counter starting at 0 instead uses vj=2j+1v_j=2j+1, 0≤j≤490\le j\le49. The source calls both formulas u_n; the different letters here make the change of indexing explicit rather than giving two values to one position.

For −2+3−4+5−⋯+41-2+3-4+5-\cdots+41, the two printed methods give

∑r=140(−1)r(r+1)=∑r=241(−1)r+1r.\sum_{r=1}^{40}(-1)^r(r+1)=\sum_{r=2}^{41}(-1)^{r+1}r.

The first indexing has un=(−1)n(n+1)u_n=(-1)^n(n+1), 1≤n≤401\le n\le40; the shifted magnitude counter has vj=(−1)j+1jv_j=(-1)^{j+1}j, 2≤j≤412\le j\le41. Both begin at −2 and finish at +41. The illustrated source guidance stresses checking an expression by substituting its indices for each term.

Self-Practice 4 retains both printed alternatives for each series:

14+24+⋯+n4+(n+1)4=∑r=1n+1r4=∑r=0n(r+1)4,1^4+2^4+\cdots+n^4+(n+1)^4 =\sum_{r=1}^{n+1}r^4=\sum_{r=0}^{n}(r+1)^4, −1+2−3+4−5+6=∑r=16(−1)rr=∑r=27(−1)r−1(r−1).-1+2-3+4-5+6 =\sum_{r=1}^{6}(-1)^r r =\sum_{r=2}^{7}(-1)^{r-1}(r-1).

The working panels keep all original methods and term-count results. Do not replace a requested expansion with only its numerical total.

Evaluate a finite sum with the supplied calculator

The source illustrates ∑r=28r4(r−1)\sum_{r=2}^{8}r^4(r-1) using its calculator:

  1. Press MATH, scroll to option 0 (summation). Alternatively press ALPHA WINDOW, then choose option 2.
  2. Enter lower limit 2, upper limit 8 and formula X^4(X−1). X is the calculator’s counter corresponding to the written r.
  3. Press Enter. The displayed result is 53004.

The original menu, template/input and result screens are retained in the illustration archive. The worked exercise also gives an independent seven-term arithmetic check.

Self-Practice 5 prints three results: the fifteen squares 12+22+⋯+1521^2+2^2+\cdots+15^2 sum to 1240; ∑r=120(3−2r)=−360\sum_{r=1}^{20}(3-2r)=-360; and ∑r=0152r=65535\sum_{r=0}^{15}2^r=65535. The last has sixteen terms because it includes index 0. Its working shows cancellation after doubling. Summation laws and AP/GP sum formulas provide further ways to evaluate larger sums.

Find a least index from partial sums

Example 15 asks for the least positive integer nn with Hn=∑r=1n1/r>4H_n=\sum_{r=1}^{n}1/r>4. The source enters a summation in Y1, using X for its upper bound and a separate R as the counter:

Y1(X)=∑R=1X1R.Y_1(X)=\sum_{R=1}^{X}\frac1R.

Its displayed table has these values, retaining the screen’s precision:

XY1 display
293.9617
303.995
314.0272
324.0585
334.0888
344.1182
354.1468
364.1746
374.2016
384.2279
394.2535

The illustrated guidance requires a supporting table when using this calculator method. The printed written table gives H30≈3.995<4H_{30}\approx3.995<4, H31≈4.027>4H_{31}\approx4.027>4 and H32≈4.059>4H_{32}\approx4.059>4. The last rounded value is a source error: the unrounded H32≈4.058495195437H_{32}\approx4.058495195437 rounds to 4.058 at three decimal places. Avoid rounding an already rounded display a second time.

Each additional reciprocal is positive, so the partial sums strictly increase. Since H30<4<H31H_{30}<4<H_{31}, the least index is 31. This monotonicity argument explains why checking the neighbouring values establishes the first crossing; it supplements the printed calculator evidence.

Try these examples

Open an example in chapter practice. Try it first, then read its solution. Use “Learn this step” to return to this unit.

Apply this idea

Recover terms from a cumulative sum →Recover terms from successive partial sums and connect the resulting arithmetic recurrence.