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)
Symbol
Name
Description
N
Natural numbers
{1,2,3,…} (some definitions include 0)
Z
Integers
{…,−2,−1,0,1,2,…}
Q
Rational numbers
Numbers expressible as qp where p,q∈Z, q=0
R
Real numbers
All rational and irrational numbers
C
Complex numbers
Numbers of the form a+bi where a,b∈R
The inclusions are:
N⊂Z⊂Q⊂R⊂C.
Properties of Real Numbers (OL/HL)
The real numbers satisfy the following axioms:
Closure: If a,b∈RThen a+b∈R and a⋅b∈R.
Commutativity:a+b=b+a and a⋅b=b⋅a.
Associativity:(a+b)+c=a+(b+c) and (a⋅b)⋅c=a⋅(b⋅c).
Distributivity:a(b+c)=ab+ac.
Identity elements:a+0=a and a⋅1=a.
Inverse elements: For every aThere exists −a such that a+(−a)=0. For every
a=0There exists a−1 such that a⋅a−1=1.
Ordered field properties: For any a,b∈RExactly one of a<b, a=ba>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 is irrational:
Assume 2=qp where p,q∈Z, q=0And the fraction is in Lowest
terms (gcd(p,q)=1).
Then p2=2q2So p2 is even, which means p is even. Let p=2k. Then 4k2=2q2 Giving
q2=2k2So q is also even. But this contradicts gcd(p,q)=1. Therefore 2 is
irrational.
Proofs Involving Irrationals (HL)
Example: Prove that 2+3 is irrational.
Assume 2+3=r where r∈Q. Then 3=r−2So
3=r2−2r2+2Giving:
2r2=r2−1⟹2=2rr2−1
Since r∈Q, 2rr2−1∈QContradicting the irrationality of
2.
Example: Prove that 2⋅3=6 is irrational.
Assume 6=qp in lowest terms. Then p2=6q2So p is even. Let p=2k. Then
4k2=6q2Giving 2k2=3q2So q is even. Contradiction.
Example (HL): Prove that 2+5 is irrational.
Assume 2+5=r∈Q. Then 5=r−2So
5=r2−2r2+2Giving:
2r2=r2−3⟹2=2rr2−3∈Q
This contradicts the irrationality of 2.
Example (HL): Prove that log23 is irrational.
Assume log23=qp where p,q∈Z, q=0In lowest terms. Then
2p/q=3So 2p=3q.
The left side is even (since p≥1) but the right side is odd. Contradiction.
Proof that π is Irrational (HL - awareness)
The proof that π 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 and the assumption that π=a/b is rational.
Density of Q in R (HL - awareness)
Between any two real numbers a<bThere exists a rational number. This is a consequence of the
Archimedean property: since b−a>0There exists a positive integer n such that n(b−a)>1
I.e., nb−na>1. Then there exists an integer m with na<m<nbGiving
a<m/n<b.
Set Theory
Notation (OL/HL)
| Symbol | Meaning |
| ----------------- | ---------------------------------------------- | --- | ------------------ |
| ∈ | Is an element of |
| ⊂ | Is a subset of |
| ∪ | Union |
| ∩ | Intersection |
| A′ or Aˉ | Complement of A |
| ∅ | Empty set |
| ∣A∣ | Cardinality of A |
| A∖B | A minus B (elements in A but not in B) |
Subset vs. Proper subset.A⊂B allows A=B. A⊊B requires A=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?
∣F∪H∣=∣F∣+∣H∣−∣F∩H∣=18+15−8=25
Neither: 30−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?
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∩(B∪C)=(A∩B)∪(A∩C) (distributive law)
A∪(B∩C)=(A∪B)∩(A∪C) (distributive law)
∣A∪B∣=∣A∣+∣B∣−∣A∩B∣ (inclusion-exclusion)
Proof of the inclusion-exclusion principle for two sets. Every element of A∪B is in A
Or in B or in both. Counting elements of A and B separately double-counts those in A∩B
So we subtract ∣A∩B∣ to correct:
∣A∪B∣=∣A∣+∣B∣−∣A∩B∣
Sequences
Arithmetic Sequences (OL/HL)
An arithmetic sequence has a common difference d.
General term:
Tn=a+(n−1)d
Sum of first n terms:
Sn=2n[2a+(n−1)d]=2n(a+l)
Where l=Tn is the last term.
Derivation of the sum formula. Write Sn forwards and backwards:
Sn=a+(a+d)+(a+2d)+⋯+(l−d)+l
Sn=l+(l−d)+(l−2d)+⋯+(a+d)+a
Adding: 2Sn=n(a+l)So Sn=2n(a+l).
Example (OL): Find the sum of the first 20 terms of 3, 7, 11, 15, …
Here a=3, d=4, n=20.
S20=220[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 a and
d.
T5=a+4d=17T12=a+11d=38
Subtracting: 7d=21So d=3. Then a=17−12=5.
Arithmetic Mean (HL)
The arithmetic mean of two numbers a and b is 2a+b. In an arithmetic sequence, each
Term is the arithmetic mean of its neighbours:
Example (OL): Find the sum of the first 8 terms of 2, 6, 18, 54, …
Here a=2, r=3, n=8.
S8=3−12(38−1)=22(6561−1)=6560
Geometric Mean (HL)
The geometric mean of two positive numbers a and b is ab. In a geometric sequence, each
Term is the geometric mean of its neighbours (when all terms are positive):
Tn=Tn−1⋅Tn+1
AM-GM inequality. For positive real numbers a and b:
2a+b≥ab
With equality if and only if a=b.
Proof. Since (a−b)2≥0We have a−2ab+b≥0So
a+b≥2abGiving 2a+b≥ab.
Sum to Infinity (HL)
If ∣r∣<1:
S∞=1−ra
Why ∣r∣≥1 diverges. If ∣r∣≥1Then ∣Tn∣=∣a∣∣r∣n−1≥∣a∣>0 for all n So
Tn does not approach zero, and the partial sums diverge.
Example (HL): Find the sum to infinity of 1+21+41+81+⋯
S∞=1−211=2
Example (HL): Find the sum to infinity of 21+61+181+⋯
a=21, r=1/21/6=31.
S∞=1−1/31/2=2/31/2=43
Example (HL): Express 0.3˙7˙ (recurring) as a fraction.
0.373737…=10037+1000037+100000037+⋯
This is a geometric series with a=10037 and r=1001.
S∞=1−1/10037/100=99/10037/100=9937
Convergence of Sequences (HL)
A sequence (an) converges to L if:
n→∞liman=L
An arithmetic sequence diverges unless d=0.
A geometric sequence arn−1 converges to 0 if ∣r∣<1 and diverges if ∣r∣>1.
Limits (HL)
n→∞limn1=0\lim_{n \to \infty} \frac{a_n}{n^k} = 0 \mathrm{ if \deg(a_n) \lt k
A recurrence relation defines each term of a sequence in terms of previous terms.
Example:T1=2, Tn+1=3Tn−1.
T1=2,T2=5,T3=14,T4=41
Solving Linear Recurrence Relations (HL)
For a first-order recurrence Tn+1=aTn+b with a=1:
The fixed point is L=1−ab.
The general solution is Tn=L+(T1−L)an−1.
Why this works. Let Un=Tn−L. Then
Un+1=Tn+1−L=aTn+b−L=aTn+b−1−ab=aTn+1−ab−b+ab=aTn+1−aab.
Since L=1−abWe have aL=1−aabSo Un+1=aTn−aL=aUn. This is a
Geometric sequence with ratio a.
Example: Solve T1=3, Tn+1=2Tn+5.
Fixed point: L=1−25=−5.
Tn=−5+(3−(−5))⋅2n−1=−5+8⋅2n−1=−5+2n+2
Example (HL): Solve T1=1, Tn+1=4Tn−3.
Fixed point: L=1−4−3=1.
Tn=1+(1−1)⋅4n−1=1
Indeed: T2=4(1)−3=1, T3=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+bTn with constant coefficients is solved by
Finding the roots of the characteristic equation λ2−aλ−b=0.
This is an arithmetic sequence with first term T1=6(1)−2=4 and common difference d=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.