Sequences and Series
Sequences and Summation Notation
— Sequence
A sequence is a function \( a \) whose domain is the set of natural numbers. The terms of the sequence are the function values \( a(1), a(2), a(3), \dots, a(n), \dots \). We usually write \( a_n \) instead of \( a(n) \), so the terms are written \( a_1, a_2, a_3, \dots, a_n, \dots \). The number \( a_1 \) is the first term, \( a_2 \) the second term, and \( a_n \) the nth term. A sequence can be thought of as a list of numbers written in a specific order.
— Recursively Defined Sequence
A sequence is recursive when the nth term depends on some or all of the terms preceding it. Instead of a direct formula for \( a_n \), a recursion relation (e.g. \( a_n = a_{n-1} + 5 \)) plus a starting value defines every term.
— Partial Sums
Adding the terms of a sequence produces its sequence of partial sums. \( S_1 \) is the first partial sum, \( S_2 \) the second, and \( S_n \) the nth partial sum. The sequence \( S_1, S_2, S_3, \dots \) is called the sequence of partial sums.
— Sigma (Summation) Notation
Sigma notation uses the Greek capital letter \( \Sigma \) to abbreviate a sum. The letter \( k \) is the index of summation (or summation variable): we replace \( k \) by the integers from the lower limit to the upper limit and add the results.
Instructor note — to be added.
Arithmetic Sequences
— Arithmetic Sequence
An arithmetic sequence is generated by starting with a number \( a \) and repeatedly adding a fixed constant \( d \). It has the form \( a,\ a+d,\ a+2d,\ a+3d,\ \dots \) The number \( a \) is the first term and \( d \) is the common difference — any two consecutive terms differ by \( d \). If \( d \) is negative, the terms decrease.
— Determining an Arithmetic Sequence
An arithmetic sequence is determined completely by its first term \( a \) and common difference \( d \). Knowing any two terms is enough to find a formula for the nth term. The points on the graph of an arithmetic sequence lie on a straight line of slope \( d \).
Instructor note — to be added.
Geometric Sequences
— Geometric Sequence
A geometric sequence is generated by starting with a number \( a \) and repeatedly multiplying by a fixed nonzero constant \( r \). It has the form \( a, ar, ar^2, ar^3, ar^4, \dots \) The number \( a \) is the first term and \( r \) is the common ratio — the ratio of any two consecutive terms. If \( 0 < |r| < 1 \) the terms decrease in magnitude; if \( |r| > 1 \) they increase. The points lie on the graph of an exponential function.
— Infinite Series
An infinite series is an expression of the form \( \sum_{k=1}^{\infty} a_k = a_1 + a_2 + a_3 + \cdots \), where the addition continues indefinitely. If the partial sums \( S_n \) approach a finite number \( S \) as \( n \) grows large, the series converges and \( S \) is its sum. Otherwise the series diverges.
— Infinite Geometric Series
An infinite geometric series has the form \( a + ar + ar^2 + ar^3 + \cdots \). When \( |r| < 1 \), \( r^n \) approaches 0 as \( n \) grows large, so the partial sums approach a finite limit and the series converges. When \( |r| \geq 1 \), it diverges.
Instructor note — to be added.
Mathematics of Finance
— Annuity
An annuity is a sum of money paid in regular equal payments (annually, semiannually, quarterly, monthly, etc.). The regular payment is called the periodic rent, denoted \( R \). The time period in which interest is compounded is assumed equal to the time between payments.
— Amount of an Annuity
The amount \( A_f \) of an annuity is the sum of all individual payments from the first payment until the last, together with all accumulated interest. It is the future (final) value of the payment stream.
— Present Value
The present value \( A_p \) (or discounted value) is the amount that, together with interest, would equal a future amount. Money received in the future is worth less than money now because of interest that could be earned in the meantime.
— Installment Buying
When buying by installment, the payments form an annuity whose present value is the amount of the loan. Solving for the payment size gives the installment-buying formula.
Instructor note — to be added.
Mathematical Induction
— Conjecture and Proof
Checking a finite number of cases can never prove a statement true for all natural numbers, since there are infinitely many. For example, \( p(n) = n^2 - n + 41 \) gives a prime for every \( n \) up to 40 but fails at \( n = 41 \). A proof is a clear argument that establishes a statement's truth beyond doubt.
— Mathematical Induction
Mathematical induction proves a statement \( P(n) \) for all natural numbers using two steps: the base case (prove \( P(1) \) is true) and the induction step (prove that if \( P(k) \) is true then \( P(k+1) \) is true). The assumption that \( P(k) \) is true is called the induction hypothesis. Note that the induction step does not prove \( P(k) \); it only shows the implication.
Instructor note — to be added.
The Binomial Theorem
— Binomial and Its Expansion
An expression of the form \( a + b \) is a binomial. The expansion of \( (a+b)^n \) has \( n+1 \) terms: the first is \( a^n \) and the last is \( b^n \). The exponents of \( a \) decrease by 1 from term to term while the exponents of \( b \) increase by 1, and the sum of the exponents in each term is always \( n \).
— Pascal's Triangle
Pascal's triangle is a triangular array of the coefficients in successive binomial expansions. Key property: every entry (other than a 1) is the sum of the two entries diagonally above it. Each row can be built from the one above, but this recursive method is impractical for large \( n \).
— Factorial and Binomial Coefficient
\( n! \) (n factorial) is the product of the first \( n \) natural numbers, with \( 0! = 1 \) by definition. The binomial coefficient \( \binom{n}{r} \) gives a coefficient in the expansion directly, without building Pascal's triangle.
Instructor note — to be added.
— Recursive Sequences as Models
Many real-world processes occur in stages: population growth (each generation a new stage), compound interest (each payment a new balance), or measuring a continuously cooling object at fixed intervals. A recursion relation expresses the value at each stage in terms of the value at the preceding stage. In many cases an explicit formula can be found by computing the first few terms and identifying the pattern.
Instructor note — to be added.
- Figure 12.1 — Graph of a decreasing sequence \( a_n = \tfrac{1}{n} \) (isolated points, not connected). - Figure 12.2 — Fibonacci spiral and its appearance in a nautilus shell. - Figure 12.3 — Cake-halving illustration of the convergent series \( \sum \tfrac{1}{2^k} = 1 \). - Figure 12.4 — Pascal's triangle array of binomial coefficients. - Figure 12.5 — Recursive savings/drug-dose accumulation reaching a steady state.