Skip to content

Number Sets and Sequences

Number Sets and Sequences

This topic covers number systems, set theory, sequences, series, and financial mathematics. These Concepts underpin much of the algebra and calculus in the Leaving Certificate course.

Number Systems

Classification (OL/HL)

SymbolNameDescription
N\mathbb{N}Natural numbers{1,2,3,}\{1, 2, 3, \ldots\} (some definitions include 0)
Z\mathbb{Z}Integers{,2,1,0,1,2,}\{\ldots, -2, -1, 0, 1, 2, \ldots\}
Q\mathbb{Q}Rational numbersNumbers expressible as pq\frac{p}{q} where p,qZp, q \in \mathbb{Z}, q0q \neq 0
R\mathbb{R}Real numbersAll rational and irrational numbers
C\mathbb{C}Complex numbersNumbers of the form a+bia + bi where a,bRa, b \in \mathbb{R}

The inclusions are: NZQRC\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}.

Properties of Real Numbers (OL/HL)

The real numbers satisfy the following axioms:

Closure: If a,bRa, b \in \mathbb{R}Then a+bRa + b \in \mathbb{R} and abRa \cdot b \in \mathbb{R}.

Commutativity: a+b=b+aa + b = b + a and ab=baa \cdot b = b \cdot a.

Associativity: (a+b)+c=a+(b+c)(a + b) + c = a + (b + c) and (ab)c=a(bc)(a \cdot b) \cdot c = a \cdot (b \cdot c).

Distributivity: a(b+c)=ab+aca(b + c) = ab + ac.

Identity elements: a+0=aa + 0 = a and a1=aa \cdot 1 = a.

Inverse elements: For every aaThere exists a-a such that a+(a)=0a + (-a) = 0. For every a0a \neq 0There exists a1a^{-1} such that aa1=1a \cdot a^{-1} = 1.

Ordered field properties: For any a,bRa, b \in \mathbb{R}Exactly one of a<ba \lt b, a=ba = b a>ba \gt b holds. The order is compatible with addition and multiplication by positive numbers.

Irrational Numbers (HL)

A number is irrational if it cannot be expressed as a ratio of integers.

Proof that 2\sqrt{2} is irrational:

Assume 2=pq\sqrt{2} = \frac{p}{q} where p,qZp, q \in \mathbb{Z}, q0q \neq 0And the fraction is in Lowest terms (gcd(p,q)=1\gcd(p, q) = 1).

Then p2=2q2p^2 = 2q^2So p2p^2 is even, which means pp is even. Let p=2kp = 2k. Then 4k2=2q24k^2 = 2q^2 Giving q2=2k2q^2 = 2k^2So qq is also even. But this contradicts gcd(p,q)=1\gcd(p, q) = 1. Therefore 2\sqrt{2} is irrational.

Proofs Involving Irrationals (HL)

Example: Prove that 2+3\sqrt{2} + \sqrt{3} is irrational.

Assume 2+3=r\sqrt{2} + \sqrt{3} = r where rQr \in \mathbb{Q}. Then 3=r2\sqrt{3} = r - \sqrt{2}So 3=r22r2+23 = r^2 - 2r\sqrt{2} + 2Giving:

2r2=r21    2=r212r2r\sqrt{2} = r^2 - 1 \implies \sqrt{2} = \frac{r^2 - 1}{2r}

Since rQr \in \mathbb{Q}, r212rQ\frac{r^2 - 1}{2r} \in \mathbb{Q}Contradicting the irrationality of 2\sqrt{2}.

Example: Prove that 23=6\sqrt{2} \cdot \sqrt{3} = \sqrt{6} is irrational.

Assume 6=pq\sqrt{6} = \frac{p}{q} in lowest terms. Then p2=6q2p^2 = 6q^2So pp is even. Let p=2kp = 2k. Then 4k2=6q24k^2 = 6q^2Giving 2k2=3q22k^2 = 3q^2So qq is even. Contradiction.

Example (HL): Prove that 2+5\sqrt{2} + \sqrt{5} is irrational.

Assume 2+5=rQ\sqrt{2} + \sqrt{5} = r \in \mathbb{Q}. Then 5=r2\sqrt{5} = r - \sqrt{2}So 5=r22r2+25 = r^2 - 2r\sqrt{2} + 2Giving:

2r2=r23    2=r232rQ2r\sqrt{2} = r^2 - 3 \implies \sqrt{2} = \frac{r^2 - 3}{2r} \in \mathbb{Q}

This contradicts the irrationality of 2\sqrt{2}.

Example (HL): Prove that log23\log_2 3 is irrational.

Assume log23=pq\log_2 3 = \frac{p}{q} where p,qZp, q \in \mathbb{Z}, q0q \neq 0In lowest terms. Then 2p/q=32^{p/q} = 3So 2p=3q2^p = 3^q.

The left side is even (since p1p \ge 1) but the right side is odd. Contradiction.

Proof that π\pi is Irrational (HL - awareness)

The proof that π\pi is irrational (due to Lambert, 1761) is beyond the scope of the Leaving Certificate, but the technique uses proof by contradiction with integration by parts applied to sinx\sin x and the assumption that π=a/b\pi = a/b is rational.

Density of Q\mathbb{Q} in R\mathbb{R} (HL - awareness)

Between any two real numbers a<ba \lt bThere exists a rational number. This is a consequence of the Archimedean property: since ba>0b - a > 0There exists a positive integer nn such that n(ba)>1n(b-a) > 1 I.e., nbna>1nb - na > 1. Then there exists an integer mm with na<m<nbna \lt m \lt nbGiving a<m/n<ba \lt m/n \lt b.

Set Theory

Notation (OL/HL)

| Symbol | Meaning | | ----------------- | ---------------------------------------------- | --- | ------------------ | | \in | Is an element of | | \subset | Is a subset of | | \cup | Union | | \cap | Intersection | | AA' or Aˉ\bar{A} | Complement of AA | | \emptyset | Empty set | | A | A | | Cardinality of AA | | ABA \setminus B | AA minus BB (elements in AA but not in BB) |

Subset vs. Proper subset. ABA \subset B allows A=BA = B. ABA \subsetneq B requires ABA \neq B.

Venn Diagrams (OL)

Venn diagrams provide visual representations of set operations.

Example (OL): In a class of 30 students, 18 play football, 15 play hurling, and 8 play both. How Many play neither?

FH=F+HFH=18+158=25|F \cup H| = |F| + |H| - |F \cap H| = 18 + 15 - 8 = 25

Neither: 3025=530 - 25 = 5.

Three-Set Problems (HL)

Example (HL): In a survey of 100 people, 60 like tea, 45 like coffee, 35 like juice, 20 like Both tea and coffee, 15 like both tea and juice, 10 like both coffee and juice, and 5 like all Three. How many like none of the three?

By inclusion-exclusion for three sets:

TCJ=T+C+JTCTJCJ+TCJ|T \cup C \cup J| = |T| + |C| + |J| - |T \cap C| - |T \cap J| - |C \cap J| + |T \cap C \cap J| =60+45+35201510+5=100= 60 + 45 + 35 - 20 - 15 - 10 + 5 = 100

So nobody likes none of the three: 100100=0100 - 100 = 0.

De Morgan’s Laws (HL)

(AB)=AB(A \cup B)' = A' \cap B' (AB)=AB(A \cap B)' = A' \cup B'

Proof of the first law:

x \in (A \cup B)' \iff x \notin A \cup B \iff x \notin A \mathrm{ and x \notin B \iff x \in A' \mathrm{ and x \in B' \iff x \in A' \cap B'.

Proof of the second law:

x \in (A \cap B)' \iff x \notin A \cap B \iff x \notin A \mathrm{ or x \notin B \iff x \in A' \mathrm{ or x \in B' \iff x \in A' \cup B'.

Set Identities (HL)

  • A(BC)=(AB)(AC)A \cap (B \cup C) = (A \cap B) \cup (A \cap C) (distributive law)
  • A(BC)=(AB)(AC)A \cup (B \cap C) = (A \cup B) \cap (A \cup C) (distributive law)
  • AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B| (inclusion-exclusion)

Proof of the inclusion-exclusion principle for two sets. Every element of ABA \cup B is in AA Or in BB or in both. Counting elements of AA and BB separately double-counts those in ABA \cap B So we subtract AB|A \cap B| to correct:

AB=A+BAB|A \cup B| = |A| + |B| - |A \cap B|

Sequences

Arithmetic Sequences (OL/HL)

An arithmetic sequence has a common difference dd.

General term:

Tn=a+(n1)dT_n = a + (n - 1)d

Sum of first nn terms:

Sn=n2[2a+(n1)d]=n2(a+l)S_n = \frac{n}{2}[2a + (n-1)d] = \frac{n}{2}(a + l)

Where l=Tnl = T_n is the last term.

Derivation of the sum formula. Write SnS_n forwards and backwards:

Sn=a+(a+d)+(a+2d)++(ld)+lS_n = a + (a+d) + (a+2d) + \cdots + (l-d) + l

Sn=l+(ld)+(l2d)++(a+d)+aS_n = l + (l-d) + (l-2d) + \cdots + (a+d) + a

Adding: 2Sn=n(a+l)2S_n = n(a+l)So Sn=n2(a+l)S_n = \frac{n}{2}(a+l).

Example (OL): Find the sum of the first 20 terms of 3, 7, 11, 15, …

Here a=3a = 3, d=4d = 4, n=20n = 20.

S20=202[2(3)+19(4)]=10(6+76)=820S_{20} = \frac{20}{2}[2(3) + 19(4)] = 10(6 + 76) = 820

Example (HL): The 5th term of an arithmetic sequence is 17 and the 12th term is 38. Find aa and dd.

T5=a+4d=17T_5 = a + 4d = 17 T12=a+11d=38T_{12} = a + 11d = 38

Subtracting: 7d=217d = 21So d=3d = 3. Then a=1712=5a = 17 - 12 = 5.

Arithmetic Mean (HL)

The arithmetic mean of two numbers aa and bb is a+b2\frac{a+b}{2}. In an arithmetic sequence, each Term is the arithmetic mean of its neighbours:

Tn=Tn1+Tn+12T_n = \frac{T_{n-1} + T_{n+1}}{2}

Geometric Sequences (OL/HL)

A geometric sequence has a common ratio rr.

General term:

Tn=arn1T_n = ar^{n-1}

Sum of first nn terms:

Sn=a(rn1)r1,r1S_n = \frac{a(r^n - 1)}{r - 1}, \quad r \neq 1

Derivation. Multiply Sn=a+ar+ar2++arn1S_n = a + ar + ar^2 + \cdots + ar^{n-1} by rr:

rSn=ar+ar2++arn1+arnrS_n = ar + ar^2 + \cdots + ar^{n-1} + ar^n

Subtracting: SnrSn=aarnS_n - rS_n = a - ar^nSo Sn(1r)=a(1rn)S_n(1-r) = a(1 - r^n)Giving Sn=a(1rn)1r=a(rn1)r1S_n = \frac{a(1-r^n)}{1-r} = \frac{a(r^n-1)}{r-1}.

Example (OL): Find the sum of the first 8 terms of 2, 6, 18, 54, …

Here a=2a = 2, r=3r = 3, n=8n = 8.

S8=2(381)31=2(65611)2=6560S_8 = \frac{2(3^8 - 1)}{3 - 1} = \frac{2(6561 - 1)}{2} = 6560

Geometric Mean (HL)

The geometric mean of two positive numbers aa and bb is ab\sqrt{ab}. In a geometric sequence, each Term is the geometric mean of its neighbours (when all terms are positive):

Tn=Tn1Tn+1T_n = \sqrt{T_{n-1} \cdot T_{n+1}}

AM-GM inequality. For positive real numbers aa and bb:

a+b2ab\frac{a + b}{2} \geq \sqrt{ab}

With equality if and only if a=ba = b.

Proof. Since (ab)20(\sqrt{a} - \sqrt{b})^2 \geq 0We have a2ab+b0a - 2\sqrt{ab} + b \geq 0So a+b2aba + b \geq 2\sqrt{ab}Giving a+b2ab\frac{a+b}{2} \geq \sqrt{ab}.

Sum to Infinity (HL)

If r<1|r| \lt 1:

S=a1rS_\infty = \frac{a}{1 - r}

Why r1|r| \ge 1 diverges. If r1|r| \ge 1Then Tn=arn1a>0|T_n| = |a||r|^{n-1} \ge |a| > 0 for all nn So TnT_n does not approach zero, and the partial sums diverge.

Example (HL): Find the sum to infinity of 1+12+14+18+1 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots

S=1112=2S_\infty = \frac{1}{1 - \frac{1}{2}} = 2

Example (HL): Find the sum to infinity of 12+16+118+\frac{1}{2} + \frac{1}{6} + \frac{1}{18} + \cdots

a=12a = \frac{1}{2}, r=1/61/2=13r = \frac{1/6}{1/2} = \frac{1}{3}.

S=1/211/3=1/22/3=34S_\infty = \frac{1/2}{1 - 1/3} = \frac{1/2}{2/3} = \frac{3}{4}

Example (HL): Express 0.3˙7˙0.\dot{3}\dot{7} (recurring) as a fraction.

0.373737=37100+3710000+371000000+0.373737\ldots = \frac{37}{100} + \frac{37}{10000} + \frac{37}{1000000} + \cdots

This is a geometric series with a=37100a = \frac{37}{100} and r=1100r = \frac{1}{100}.

S=37/10011/100=37/10099/100=3799S_\infty = \frac{37/100}{1 - 1/100} = \frac{37/100}{99/100} = \frac{37}{99}

Convergence of Sequences (HL)

A sequence (an)(a_n) converges to LL if:

limnan=L\lim_{n \to \infty} a_n = L

An arithmetic sequence diverges unless d=0d = 0.

A geometric sequence arn1ar^{n-1} converges to 00 if r<1|r| \lt 1 and diverges if r>1|r| \gt 1.

Limits (HL)

limn1n=0\lim_{n \to \infty} \frac{1}{n} = 0 \lim_{n \to \infty} \frac{a_n}{n^k} = 0 \mathrm{ if \deg(a_n) \lt k

Example (HL): Evaluate limn3n2+2n5n2n\lim_{n \to \infty} \frac{3n^2 + 2n}{5n^2 - n}.

Divide numerator and denominator by n2n^2:

limn3+2n51n=35\lim_{n \to \infty} \frac{3 + \frac{2}{n}}{5 - \frac{1}{n}} = \frac{3}{5}

Example (HL): Evaluate limn2n3n\lim_{n \to \infty} \frac{2^n}{3^n}.

limn(23)n=0\lim_{n \to \infty} \left(\frac{2}{3}\right)^n = 0

Since 2/3<1|2/3| \lt 1.

Example (HL): Evaluate limnn3+2n4n3n+1\lim_{n \to \infty} \frac{n^3 + 2n}{4n^3 - n + 1}.

Divide by n3n^3:

limn1+2n241n2+1n3=14\lim_{n \to \infty} \frac{1 + \frac{2}{n^2}}{4 - \frac{1}{n^2} + \frac{1}{n^3}} = \frac{1}{4}

Sigma Notation (HL)

r=1nr=n(n+1)2\sum_{r=1}^{n} r = \frac{n(n+1)}{2} r=1nr2=n(n+1)(2n+1)6\sum_{r=1}^{n} r^2 = \frac{n(n+1)(2n+1)}{6} r=1nr3=n2(n+1)24\sum_{r=1}^{n} r^3 = \frac{n^2(n+1)^2}{4}

Note: r=1nr3=(r=1nr)2\sum_{r=1}^{n} r^3 = \left(\sum_{r=1}^{n} r\right)^2. This beautiful identity says the Sum of cubes equals the square of the sum.

Proof of r=1nr=n(n+1)2\sum_{r=1}^{n} r = \frac{n(n+1)}{2} by induction.

Base case (n=1n = 1): r=11r=1=1×22\sum_{r=1}^{1} r = 1 = \frac{1 \times 2}{2}. True.

Inductive step: Assume r=1kr=k(k+1)2\sum_{r=1}^{k} r = \frac{k(k+1)}{2} for some k1k \ge 1.

r=1k+1r=k(k+1)2+(k+1)=k(k+1)+2(k+1)2=(k+1)(k+2)2\sum_{r=1}^{k+1} r = \frac{k(k+1)}{2} + (k+1) = \frac{k(k+1) + 2(k+1)}{2} = \frac{(k+1)(k+2)}{2}

This is the formula for n=k+1n = k+1. By induction, the formula holds for all nNn \in \mathbb{N}.

Example (HL): Evaluate r=150(3r1)\sum_{r=1}^{50} (3r - 1).

r=150(3r1)=3r=150rr=1501=350×51250=382550=3775\sum_{r=1}^{50} (3r - 1) = 3\sum_{r=1}^{50} r - \sum_{r=1}^{50} 1 = 3 \cdot \frac{50 \times 51}{2} - 50 = 3825 - 50 = 3775

Example (HL): Evaluate r=1nr(r+1)\sum_{r=1}^{n} r(r+1).

r=1nr(r+1)=r=1nr2+r=1nr=n(n+1)(2n+1)6+n(n+1)2\sum_{r=1}^{n} r(r+1) = \sum_{r=1}^{n} r^2 + \sum_{r=1}^{n} r = \frac{n(n+1)(2n+1)}{6} + \frac{n(n+1)}{2} =n(n+1)6[(2n+1)+3]=n(n+1)(2n+4)6=n(n+1)(n+2)3= \frac{n(n+1)}{6}[(2n+1) + 3] = \frac{n(n+1)(2n+4)}{6} = \frac{n(n+1)(n+2)}{3}

Example (HL): Evaluate r=1100(2r2r)\sum_{r=1}^{100} (2r^2 - r).

2r=1100r2r=1100r=2100×101×2016100×10122\sum_{r=1}^{100} r^2 - \sum_{r=1}^{100} r = 2 \cdot \frac{100 \times 101 \times 201}{6} - \frac{100 \times 101}{2} =2×3383505050=6767005050=671650= 2 \times 338350 - 5050 = 676700 - 5050 = 671650

Example (HL): Evaluate r=1n1r(r+1)\sum_{r=1}^{n} \frac{1}{r(r+1)} by partial fractions.

1r(r+1)=1r1r+1\frac{1}{r(r+1)} = \frac{1}{r} - \frac{1}{r+1}

This is a telescoping series:

r=1n(1r1r+1)=(112)+(1213)++(1n1n+1)=11n+1=nn+1\sum_{r=1}^{n} \left(\frac{1}{r} - \frac{1}{r+1}\right) = \left(1 - \frac{1}{2}\right) + \left(\frac{1}{2} - \frac{1}{3}\right) + \cdots + \left(\frac{1}{n} - \frac{1}{n+1}\right) = 1 - \frac{1}{n+1} = \frac{n}{n+1}

Mathematical Induction (HL)

Framework

To prove a statement P(n)P(n) for all nn0n \ge n_0:

  1. Base case: Verify P(n0)P(n_0) is true.
  2. Inductive hypothesis: Assume P(k)P(k) is true for some kn0k \ge n_0.
  3. Inductive step: Using the hypothesis, prove P(k+1)P(k+1) is true.
  4. Conclusion: By the principle of mathematical induction, P(n)P(n) is true for all nn0n \ge n_0.

Example (HL): Prove that r=1nr3=n2(n+1)24\sum_{r=1}^{n} r^3 = \frac{n^2(n+1)^2}{4} by induction.

Base case (n=1n = 1): r=11r3=1=1×44=1\sum_{r=1}^{1} r^3 = 1 = \frac{1 \times 4}{4} = 1. True.

Inductive step: Assume r=1kr3=k2(k+1)24\sum_{r=1}^{k} r^3 = \frac{k^2(k+1)^2}{4}.

r=1k+1r3=k2(k+1)24+(k+1)3=(k+1)2[k24+(k+1)]=(k+1)2k2+4k+44=(k+1)2(k+2)24\sum_{r=1}^{k+1} r^3 = \frac{k^2(k+1)^2}{4} + (k+1)^3 = (k+1)^2\left[\frac{k^2}{4} + (k+1)\right] = (k+1)^2 \cdot \frac{k^2 + 4k + 4}{4} = \frac{(k+1)^2(k+2)^2}{4}

This is the formula for n=k+1n = k+1. QED.

Example (HL): Prove that 3n2n+n3^n \geq 2^n + n for all n2n \ge 2.

Base case (n=2n = 2): 32=922+2=63^2 = 9 \geq 2^2 + 2 = 6. True.

Inductive step: Assume 3k2k+k3^k \geq 2^k + k for some k2k \ge 2.

3k+1=33k3(2k+k)=32k+3k3^{k+1} = 3 \cdot 3^k \geq 3(2^k + k) = 3 \cdot 2^k + 3k

We need to show 32k+3k2k+1+(k+1)=22k+k+13 \cdot 2^k + 3k \geq 2^{k+1} + (k+1) = 2 \cdot 2^k + k + 1.

32k+3k22kk1=2k+2k122+2(2)1=7>03 \cdot 2^k + 3k - 2 \cdot 2^k - k - 1 = 2^k + 2k - 1 \geq 2^2 + 2(2) - 1 = 7 > 0

So 3k+12k+1+(k+1)3^{k+1} \geq 2^{k+1} + (k+1). QED.

Financial Mathematics (HL)

Compound Interest

The amount AA after nn periods at rate rr per period:

A=P(1+r)nA = P(1 + r)^n

Where PP is the principal.

Example (HL): EUR 5000 is invested at 4% per annum, compounded annually. Find the amount after 6 Years.

A = 5000(1.04)^6 \approx 5000 \times 1.2653 \approx \mathrm{EUR 6326.60

Present Value

The present value PVPV of a future amount AA:

PV=A(1+r)nPV = \frac{A}{(1 + r)^n}

Effective Annual Rate (HL)

If the nominal annual rate is ii compounded mm times per year, the effective annual rate is:

R_{\mathrm{eff} = \left(1 + \frac{i}{m}\right)^m - 1

Example (HL): A bank offers 6% per annum compounded monthly. Find the effective annual rate.

R_{\mathrm{eff} = \left(1 + \frac{0.06}{12}\right)^{12} - 1 = (1.005)^{12} - 1 \approx 0.0617 = 6.17\%

Amortisation (HL)

For a loan of PP repaid in nn equal instalments of MM at periodic rate rr:

M=Pr1(1+r)nM = \frac{Pr}{1 - (1 + r)^{-n}}

Derivation. The present value of all payments equals the loan amount:

M[11+r+1(1+r)2++1(1+r)n]=PM\left[\frac{1}{1+r} + \frac{1}{(1+r)^2} + \cdots + \frac{1}{(1+r)^n}\right] = P

The sum in brackets is a geometric series with first term 11+r\frac{1}{1+r} and ratio 11+r\frac{1}{1+r}:

M11+r1(1+r)n111+r=M1(1+r)nr=PM \cdot \frac{1}{1+r} \cdot \frac{1 - (1+r)^{-n}}{1 - \frac{1}{1+r}} = M \cdot \frac{1 - (1+r)^{-n}}{r} = P

Example (HL): A mortgage of EUR 300,000 is repaid over 25 years at a monthly rate of 0.35%. Find The monthly repayment.

M = \frac{300000 \times 0.0035}{1 - (1.0035)^{-300}} \approx \frac{1050}{1 - 0.3484} \approx \frac{1050}{0.6516} \approx \mathrm{EUR 1611.36

Recurrence Relations (HL)

A recurrence relation defines each term of a sequence in terms of previous terms.

Example: T1=2T_1 = 2, Tn+1=3Tn1T_{n+1} = 3T_n - 1.

T1=2,T2=5,T3=14,T4=41T_1 = 2, \quad T_2 = 5, \quad T_3 = 14, \quad T_4 = 41

Solving Linear Recurrence Relations (HL)

For a first-order recurrence Tn+1=aTn+bT_{n+1} = aT_n + b with a1a \neq 1:

The fixed point is L=b1aL = \frac{b}{1 - a}.

The general solution is Tn=L+(T1L)an1T_n = L + (T_1 - L)a^{n-1}.

Why this works. Let Un=TnLU_n = T_n - L. Then Un+1=Tn+1L=aTn+bL=aTn+bb1a=aTn+bb+ab1a=aTn+ab1aU_{n+1} = T_{n+1} - L = aT_n + b - L = aT_n + b - \frac{b}{1-a} = aT_n + \frac{b - b + ab}{1-a} = aT_n + \frac{ab}{1-a}. Since L=b1aL = \frac{b}{1-a}We have aL=ab1aaL = \frac{ab}{1-a}So Un+1=aTnaL=aUnU_{n+1} = aT_n - aL = aU_n. This is a Geometric sequence with ratio aa.

Example: Solve T1=3T_1 = 3, Tn+1=2Tn+5T_{n+1} = 2T_n + 5.

Fixed point: L=512=5L = \frac{5}{1 - 2} = -5.

Tn=5+(3(5))2n1=5+82n1=5+2n+2T_n = -5 + (3 - (-5)) \cdot 2^{n-1} = -5 + 8 \cdot 2^{n-1} = -5 + 2^{n+2}

Example (HL): Solve T1=1T_1 = 1, Tn+1=4Tn3T_{n+1} = 4T_n - 3.

Fixed point: L=314=1L = \frac{-3}{1 - 4} = 1.

Tn=1+(11)4n1=1T_n = 1 + (1 - 1) \cdot 4^{n-1} = 1

Indeed: T2=4(1)3=1T_2 = 4(1) - 3 = 1, T3=4(1)3=1T_3 = 4(1) - 3 = 1Etc. The sequence is constant at 1, which is the Fixed point.

Second Order Recurrence Relations (HL - awareness)

A second-order linear recurrence Tn+2=aTn+1+bTnT_{n+2} = aT_{n+1} + bT_n with constant coefficients is solved by Finding the roots of the characteristic equation λ2aλb=0\lambda^2 - a\lambda - b = 0.

Example: The Fibonacci sequence F_1 = 1$$F_2 = 1$$F_{n+2} = F_{n+1} + F_n.

Characteristic equation: λ2λ1=0\lambda^2 - \lambda - 1 = 0.

λ=1±52\lambda = \frac{1 \pm \sqrt{5}}{2}

The general solution is:

Fn=A(1+52)n+B(152)nF_n = A\left(\frac{1 + \sqrt{5}}{2}\right)^n + B\left(\frac{1 - \sqrt{5}}{2}\right)^n

Worked Examples

See the examples integrated throughout the sections above.

Common Pitfalls

  1. Mixing up arithmetic and geometric formulas — arithmetic has ddGeometric has rr. Remember: arithmetic adds, geometric multiplies.
  2. Sum to infinity only converges when r<1|r| \lt 1. If r1|r| \ge 1The sum diverges.
  3. Financial mathematics — ensure the rate and time period match (e.g., annual rate with annual compounding, or monthly rate with monthly compounding).
  4. Limits — always divide by the highest power of nn in both numerator and denominator.
  5. Sigma notation — be careful with the lower and upper limits. r=1n1=n\sum_{r=1}^{n} 1 = nNot 11.
  6. Set notation — do not confuse \subset (subset) with \in (element of).
  7. Proof by contradiction — always state the assumption, derive a contradiction, and state what this proves.
  8. Induction — the inductive step must use the inductive hypothesis. If it does not, the proof is invalid.
  9. Recurring decimals — identify the repeating block correctly. 0.3˙0.\dot{3} has one repeating digit; 0.3˙7˙0.\dot{3}\dot{7} has two repeating digits.
  10. AM-GM inequality — only applies to non-negative numbers. Do not apply it when aa or bb could be negative.

Practice Questions

Ordinary Level

  1. Find the 15th term of the arithmetic sequence 5, 9, 13, 17, …
  2. Find the sum of the first 25 terms of 2, 6, 18, 54, …
  3. A set A={1,2,3,4,5,6,7,8}A = \{1, 2, 3, 4, 5, 6, 7, 8\} and B={2,4,6,8,10}B = \{2, 4, 6, 8, 10\}. Find ABA \cup B and ABA \cap B.
  4. Show that 227\frac{22}{7} is rational.
  5. The 5th term of an arithmetic sequence is 17 and the 12th term is 38. Find aa and dd.
  6. Express 0.6˙0.\dot{6} as a fraction.
  7. Find the sum of the first 10 terms of the sequence 1+2+4+8+1 + 2 + 4 + 8 + \cdots.

Higher Level

  1. Prove that 3\sqrt{3} is irrational.
  2. Find the sum to infinity of 12+16+118+\frac{1}{2} + \frac{1}{6} + \frac{1}{18} + \cdots
  3. Evaluate r=1100(2r2r)\sum_{r=1}^{100} (2r^2 - r).
  4. Solve the recurrence relation T_1 = 1$$T_{n+1} = 4T_n - 3. Find a closed form for TnT_n.
  5. EUR 2000 is invested at 3.5% per annum compounded monthly. Find the amount after 5 years.
  6. Prove De Morgan’s second law: (AB)=AB(A \cap B)' = A' \cup B'.
  7. Evaluate limnn3+2n4n3n+1\lim_{n \to \infty} \frac{n^3 + 2n}{4n^3 - n + 1}.
  8. Prove that r=1nr3=n2(n+1)24\sum_{r=1}^{n} r^3 = \frac{n^2(n+1)^2}{4} by induction.
  9. Prove that 2+5\sqrt{2} + \sqrt{5} is irrational.
  10. Evaluate r=1n1r(r+1)\sum_{r=1}^{n} \frac{1}{r(r+1)} by expressing 1r(r+1)\frac{1}{r(r+1)} in partial fractions.
  11. Express 0.2˙7˙0.\dot{2}\dot{7} as a fraction.
  12. Prove that log23\log_2 3 is irrational.
  13. A bank offers 5% nominal annual rate compounded quarterly. Find the effective annual rate.
  14. In a survey, 70% of people like tea, 40% like coffee, and 25% like both. What percentage like neither?
  15. Prove the AM-GM inequality for positive aa and bb.
  16. Evaluate r=1n(2r1)\sum_{r=1}^{n} (2r - 1) and explain the result geometrically.
  17. Prove that n!>2nn! > 2^n for all n4n \ge 4 by induction.
  18. A loan of EUR 150,000 is repaid over 20 years at a monthly rate of 0.4%. Find the monthly repayment and the total amount paid.
  19. The first three terms of a geometric sequence are x - 2$$x + 2And x+8x + 8. Find xx and the common ratio.
  20. Prove that the sum of an odd number and an even number is always odd.

Extended Practice

  1. Express 0.16˙0.1\dot{6} (recurring) as a fraction.
  2. Find the sum to infinity of the series 23+13+16+112+\frac{2}{3} + \frac{1}{3} + \frac{1}{6} + \frac{1}{12} + \cdots
  3. Evaluate r=1n(r+1)(r+2)\sum_{r=1}^{n} (r+1)(r+2).
  4. Prove by induction that n2+nn^2 + n is even for all positive integers nn.
  5. Solve T_1 = 5$$T_{n+1} = \frac{1}{2}T_n + 3 and find limnTn\lim_{n \to \infty} T_n.
  6. A geometric sequence has first term 3 and common ratio 23\frac{2}{3}. Find the smallest value of nn such that Tn<0.1T_n < 0.1.
  7. Prove that there are infinitely many prime numbers (Euclid’s proof).
  8. EUR 10000 is invested at r%r\% per annum compounded annually. After 10 years it is worth EUR 18000. Find rr.
  9. The sum of the first nn terms of an arithmetic sequence is Sn=3n2+nS_n = 3n^2 + n. Find the nnTh term TnT_n and the common difference.
  10. Prove that 12\frac{1}{\sqrt{2}} is irrational.

Extended Content

Sum of an Arithmetic Series from SnS_n

Given the sum formula Sn=n2[2a+(n1)d]S_n = \frac{n}{2}[2a + (n-1)d]We can find the nnTh term from the sum:

Tn=SnSn1=n2[2a+(n1)d]n12[2a+(n2)d]T_n = S_n - S_{n-1} = \frac{n}{2}[2a + (n-1)d] - \frac{n-1}{2}[2a + (n-2)d] =12[2an+n(n1)d2a(n1)(n1)(n2)d]= \frac{1}{2}\left[2an + n(n-1)d - 2a(n-1) - (n-1)(n-2)d\right] =12[2a+(n1)d(2)]=a+(n1)d= \frac{1}{2}\left[2a + (n-1)d(2)\right] = a + (n-1)d

This confirms that the nnTh term can always be recovered from the sum.

Geometric Series Derivation (Alternative)

An alternative derivation of Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r} uses the formula for the sum of a Geometric progression by recognising:

(1r)Sn=(1r)(a+ar+ar2++arn1)(1-r)S_n = (1-r)(a + ar + ar^2 + \cdots + ar^{n-1}) =a+ar+ar2++arn1arar2arn=aarn= a + ar + ar^2 + \cdots + ar^{n-1} - ar - ar^2 - \cdots - ar^n = a - ar^n

So Sn=a(1rn)1rS_n = \frac{a(1-r^n)}{1-r}.

Applications of Sequences in Nature

The Fibonacci sequence appears in many natural phenomena:

  • The arrangement of leaves on a stem (phyllotaxis)
  • The spiral pattern of sunflower seeds
  • The branching of trees
  • The spiral shells of nautilus

The ratio of consecutive Fibonacci numbers converges to the golden ratio ϕ=1+521.618\phi = \frac{1+\sqrt{5}}{2} \approx 1.618.

Deducing the Formula for TnT_n Given SnS_n

If Sn=3n2+nS_n = 3n^2 + nThen:

Tn=SnSn1=(3n2+n)[3(n1)2+(n1)]T_n = S_n - S_{n-1} = (3n^2 + n) - [3(n-1)^2 + (n-1)] =3n2+n3(n22n+1)n+1=3n2+n3n2+6n3n+1=6n2= 3n^2 + n - 3(n^2 - 2n + 1) - n + 1 = 3n^2 + n - 3n^2 + 6n - 3 - n + 1 = 6n - 2

This is an arithmetic sequence with first term T1=6(1)2=4T_1 = 6(1) - 2 = 4 and common difference d=6d = 6.

Summary

This topic covers the mathematical techniques and concepts related to number sets and sequences, including key theorems, methods, and problem-solving approaches.

Key concepts include:

  • arithmetic and geometric sequences
  • series and sigma notation
  • recurrence relations
  • convergence tests
  • mathematical induction

Regular practice with a variety of question types is essential to build fluency and confidence in applying these mathematical techniques.