Sequences: Explicit & Recursive Formulas, Factorials
A sequence is a function whose domain is the positive integers. Its outputs are the terms, and is the th (general) term.
- Explicit formula: is given directly as a formula in . To list terms, substitute
- Recursive formula: a starting term (or terms) plus a rule that builds each term from earlier ones, e.g. .
- Factorial: , and by definition . So .
- Simplifying factorials: cancel! .
Sequences can be given explicitly or recursively; arithmetic and geometric ones have closed forms and sum formulas. Sigma notation and telescoping sums handle other series. The binomial theorem expands using the numbers in Pascal's triangle, , which are also the counts of -element subsets.
Write the first four terms of .
, , , .
The factor makes the signs alternate, starting negative.
Expanding as . Every middle term is present; only the and terms lack a coefficient greater than .
Let and . Find .
Tip: A factorial in a denominator is your friend—always cancel the largest common factorial before multiplying. Never multiply out if a will cancel.
(a) Write the first four terms of . (b) If and , find .
Show the answerHide the answer
(a) (from ). (b) , , .
Summation (Sigma) Notation & Its Properties
The sum of terms from to is written
Here is the index, the lower limit, the upper limit. Useful properties:
Handy closed forms:
Evaluate .
Check by hand: ✓
Tip: , not . A constant is added once for every value of the index.
Evaluate .
Show the answerHide the answer
Answer: . Split: .
Arithmetic Sequences and Partial Sums
An arithmetic sequence adds a fixed common difference each step, so .
The sum of the first terms (an arithmetic series) is
Write the sum forwards and backwards and add the two lines term by term: , , and so on. Every pair has the same total, because one term goes up by exactly as the other goes down by . There are pairs making , so : the number of terms times the average of the first and last.
For find and .
Here , .
Tip: It is , not . The first term already “used up” zero steps, so the th term has taken only steps of size .
For find and .
Show the answerHide the answer
Answer: , . , so and .
Geometric Sequences & Series (incl. Infinite)
A geometric sequence multiplies by a fixed common ratio each step, so .
Finite sum of the first terms:
Infinite geometric series: if the partial sums converge and
If the series diverges (no finite sum).
Multiply by and subtract: everything cancels except the ends, , so . When the term shrinks to , and the partial sums approach ; when the terms never shrink and the series cannot settle.
Sum the first terms of
Here , .
Evaluate .
Here and , and , so it converges:
Tip: Only check convergence with . A repeating decimal such as is an infinite geometric series with , , giving .
(a) Sum the first terms of (b) Evaluate .
Show the answerHide the answer
(a) . . (b) . , so the sum is .
Mathematical Induction
To prove a statement holds for every positive integer :
- Base case: verify is true.
- Inductive step: assume is true (the inductive hypothesis) and use it to prove .
Then is true for all .
Prove that for all integers .
Base case (): the left side is ; the right side is . They agree. ✓
Inductive step: assume for some integer . We must show the formula holds for :
Factor out :
This is exactly the formula with . By induction the statement holds for all .
Tip: In the inductive step, always start from , replace the bracket using the hypothesis, then algebra should rebuild the formula with .
Prove by induction that for all .
Show the answerHide the answer
Base case: gives . Inductive step: assume . Adding the next odd number, , gives , which is the statement for . So it holds for every .
The Binomial Theorem & Pascal's Triangle
The binomial coefficient is
The Binomial Theorem expands a power of a binomial:
The st term of the expansion is .
Pascal's triangle gives the coefficients; each entry is the sum of the two above it:
Multiplying out means choosing or from each of the factors. A term appears once for every way of choosing which factors supply the , and there are such ways. That is the whole theorem, and it also explains Pascal's rule: the last factor either supplies a or it does not.
Expand .
Row of coefficients: . With :
Find the term containing in .
General term: . We need power , so :
The coefficient of is .
Tip: The st term uses index , and the exponents on and always add to . When a term has a coefficient like or a sign like , raise the whole thing to its power.
Find the coefficient of in .
Show the answerHide the answer
Answer: . The term with takes from two factors: .
Counting Principles: FCP, Permutations, Combinations
- Fundamental Counting Principle (FCP): if a task is done in stages with choices, the total number of outcomes is .
- Permutations (order matters): number of ways to arrange of objects is @@BLOCK0@@
- Combinations (order does not matter): number of ways to choose of objects is @@BLOCK1@@
From students, (a) how many ways to pick a president then a vice-president? (b) how many ways to pick a -person committee?
(a) Order matters:
(b) Order does not matter:
Tip: Ask “does swapping two chosen items give a different outcome?” If yes, use a permutation; if no, use a combination. Note .
Eight runners race. (a) In how many ways can gold, silver and bronze be awarded? (b) How many -person relay squads can be chosen?
Show the answerHide the answer
(a) . Order matters: . (b) . Order does not: . Each squad was counted times in (a).
Probability Using Counting
For equally likely outcomes,
Always . The complement satisfies . Use combinations to count favorable and total outcomes when order does not matter.
A bag has red and blue marbles. Two are drawn at random. Find .
Total ways to choose of : Favorable (both red):
Tip: When “at least one” appears, the complement is usually faster: .
Two cards are drawn from a standard -card deck. What is the probability both are aces?
Show the answerHide the answer
Answer: . .
Going Deeper: Advanced Sequences, Series & Binomial
A sum telescopes when each term splits into a difference so that interior terms cancel in pairs. The key tool is a partial-fraction split. For a product of consecutive linear factors,
Once written as , the partial sum collapses:
Only the first surviving piece and the last surviving piece remain.
Evaluate and then take .
Split each term: . Then
As , , so the infinite sum is
The plain geometric sum has a closed form; multiplying each term by needs one extra idea. For the infinite weighted sum converges to
Why (difference trick): let . Form ; each column telescopes so that
When the terms and , leaving . Compare with the pure power sum , which grows without bound (it has no infinite value).
(a) Evaluate .
Here and , so
(b) Evaluate with the closed form:
A first-order recurrence (with ) can be turned into an explicit formula. Find the fixed point (solve ); then the shifted sequence is purely geometric:
This converts a step-by-step rule into a formula you can evaluate directly at any .
Solve for an explicit formula, and check against the earlier hand-computed terms .
Fixed point: . So , a geometric sequence with ratio and first term :
Check: , , , ✓
These follow from the Binomial Theorem and from Pascal's rule :
- Row sum: setting in gives .
- Alternating sum: setting gives (for ).
- Weighted sum: , using .
- Hockey-stick: — a diagonal of Pascal's triangle sums to the entry just below its end.
(a) A pizza shop offers toppings. How many topping-subsets are possible (including plain)?
Choose any subset:
(b) Verify the hockey-stick identity .
Left: . Right: ✓
Prove for all integers .
Base case (): the left side is and the right side is . They agree. ✓
Inductive step: assume . Using Pascal's rule (with ),
This is the formula with . By induction it holds for all .
A product of binomials is a bookkeeping device: the coefficient of a power records how many ways to reach it. Since , the coefficient of counts the ways to choose items from . Multiplying expansions combines independent choices, and Vandermonde's identity
comes from matching the coefficient on both sides of .
Find the coefficient of in .
The product is , so the coefficient of is . As a Vandermonde check with :
Find the constant term in .
General term: . The constant term needs , so :
The constant term is .
Tips for the advanced toolkit: (1) Before any infinite sum, confirm convergence—geometric-type sums need . (2) To spot a telescoping sum, try a partial-fraction split and look for a pattern. (3) For “specific term” problems, write the general term first, set the exponent equal to the target, solve for , then substitute. (4) Many binomial identities are just the Binomial Theorem with a clever choice of and .
Why It Works
Why binomial coefficients? Expanding multiplies out by choosing or from each factor; the term arises once for every way to choose which factors contribute — ways. Pascal's rule says: a -subset of items either contains the last item (choose more) or does not (choose from the rest).
Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.
Formulas, Proofs & Tips
What it means. A constant is added each step; the sum is the number of terms times the average of the first and last.
Example. : and .
Why it works. Getting to the th term takes steps of size . For the sum, write forwards and backwards and add: every column totals , and there are columns, giving .
Tip. It is , not — the first term takes no steps. Check with .
What it means. A constant multiplier each step. If the ratio is small enough the infinite sum settles on a finite number.
Example. : and .
Why it works. For the finite sum, subtract from : every middle term cancels, leaving . When , as grows, which collapses the numerator to .
Tip. The infinite formula needs . If the terms do not shrink and the sum diverges.
What it means. Expands any power of a binomial; is row of Pascal's triangle.
Example. , the coefficients being .
Why it works. Expanding means choosing, from each of the factors, either or . A term with copies of arises once for every way of choosing which factors supply the — that count is .
Tip. The term containing is , so you can grab a single coefficient without expanding everything.