Number Sets and Sequences
Number Sets and Sequences
Section titled “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
Section titled “Number Systems”Classification (OL/HL)
Section titled “Classification (OL/HL)”| Symbol | Name | Description |
|---|---|---|
| Natural numbers | (some definitions include 0) | |
| Integers | ||
| Rational numbers | Numbers expressible as where , | |
| Real numbers | All rational and irrational numbers | |
| Complex numbers | Numbers of the form where |
The inclusions are: .
Properties of Real Numbers (OL/HL)
Section titled “Properties of Real Numbers (OL/HL)”The real numbers satisfy the following axioms:
Closure: If Then and .
Commutativity: and .
Associativity: and .
Distributivity: .
Identity elements: and .
Inverse elements: For every There exists such that . For every There exists such that .
Ordered field properties: For any Exactly one of , holds. The order is compatible with addition and multiplication by positive numbers.
Irrational Numbers (HL)
Section titled “Irrational Numbers (HL)”A number is irrational if it cannot be expressed as a ratio of integers.
Proof that is irrational:
Assume where , And the fraction is in Lowest terms ().
Then So is even, which means is even. Let . Then Giving So is also even. But this contradicts . Therefore is irrational.
Proofs Involving Irrationals (HL)
Section titled “Proofs Involving Irrationals (HL)”Example: Prove that is irrational.
Assume where . Then So Giving:
Since , Contradicting the irrationality of .
Example: Prove that is irrational.
Assume in lowest terms. Then So is even. Let . Then Giving So is even. Contradiction.
Example (HL): Prove that is irrational.
Assume . Then So Giving:
This contradicts the irrationality of .
Example (HL): Prove that is irrational.
Assume where , In lowest terms. Then So .
The left side is even (since ) but the right side is odd. Contradiction.
Proof that is Irrational (HL - awareness)
Section titled “Proof that π\piπ 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 and the assumption that is rational.
Density of in (HL - awareness)
Section titled “Density of Q\mathbb{Q}Q in R\mathbb{R}R (HL - awareness)”Between any two real numbers There exists a rational number. This is a consequence of the Archimedean property: since There exists a positive integer such that I.e., . Then there exists an integer with Giving .
Set Theory
Section titled “Set Theory”Notation (OL/HL)
Section titled “Notation (OL/HL)”| Symbol | Meaning | | ----------------- | ---------------------------------------------- | --- | ------------------ | | | Is an element of | | | Is a subset of | | | Union | | | Intersection | | or | Complement of | | | Empty set | | | Cardinality of | | | minus (elements in but not in ) |
Subset vs. Proper subset. allows . requires .
Venn Diagrams (OL)
Section titled “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?
Neither: .
Three-Set Problems (HL)
Section titled “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:
So nobody likes none of the three: .
De Morgan’s Laws (HL)
Section titled “De Morgan’s Laws (HL)”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)
Section titled “Set Identities (HL)”- (distributive law)
- (distributive law)
- (inclusion-exclusion)
Proof of the inclusion-exclusion principle for two sets. Every element of is in Or in or in both. Counting elements of and separately double-counts those in So we subtract to correct:
Sequences
Section titled “Sequences”Arithmetic Sequences (OL/HL)
Section titled “Arithmetic Sequences (OL/HL)”An arithmetic sequence has a common difference .
General term:
Sum of first terms:
Where is the last term.
Derivation of the sum formula. Write forwards and backwards:
Adding: So .
Example (OL): Find the sum of the first 20 terms of 3, 7, 11, 15, …
Here , , .
Example (HL): The 5th term of an arithmetic sequence is 17 and the 12th term is 38. Find and .
Subtracting: So . Then .
Arithmetic Mean (HL)
Section titled “Arithmetic Mean (HL)”The arithmetic mean of two numbers and is . In an arithmetic sequence, each Term is the arithmetic mean of its neighbours:
Geometric Sequences (OL/HL)
Section titled “Geometric Sequences (OL/HL)”A geometric sequence has a common ratio .
General term:
Sum of first terms:
Derivation. Multiply by :
Subtracting: So Giving .
Example (OL): Find the sum of the first 8 terms of 2, 6, 18, 54, …
Here , , .
Geometric Mean (HL)
Section titled “Geometric Mean (HL)”The geometric mean of two positive numbers and is . In a geometric sequence, each Term is the geometric mean of its neighbours (when all terms are positive):
AM-GM inequality. For positive real numbers and :
With equality if and only if .
Proof. Since We have So Giving .
Sum to Infinity (HL)
Section titled “Sum to Infinity (HL)”If :
Why diverges. If Then for all So does not approach zero, and the partial sums diverge.
Example (HL): Find the sum to infinity of
Example (HL): Find the sum to infinity of
, .
Example (HL): Express (recurring) as a fraction.
This is a geometric series with and .
Convergence of Sequences (HL)
Section titled “Convergence of Sequences (HL)”A sequence converges to if:
An arithmetic sequence diverges unless .
A geometric sequence converges to if and diverges if .
Limits (HL)
Section titled “Limits (HL)”Example (HL): Evaluate .
Divide numerator and denominator by :
Example (HL): Evaluate .
Since .
Example (HL): Evaluate .
Divide by :
Sigma Notation (HL)
Section titled “Sigma Notation (HL)”Note: . This beautiful identity says the Sum of cubes equals the square of the sum.
Proof of by induction.
Base case (): . True.
Inductive step: Assume for some .
This is the formula for . By induction, the formula holds for all .
Example (HL): Evaluate .
Example (HL): Evaluate .
Example (HL): Evaluate .
Example (HL): Evaluate by partial fractions.
This is a telescoping series:
Mathematical Induction (HL)
Section titled “Mathematical Induction (HL)”Framework
Section titled “Framework”To prove a statement for all :
- Base case: Verify is true.
- Inductive hypothesis: Assume is true for some .
- Inductive step: Using the hypothesis, prove is true.
- Conclusion: By the principle of mathematical induction, is true for all .
Example (HL): Prove that by induction.
Base case (): . True.
Inductive step: Assume .
This is the formula for . QED.
Example (HL): Prove that for all .
Base case (): . True.
Inductive step: Assume for some .
We need to show .
So . QED.
Financial Mathematics (HL)
Section titled “Financial Mathematics (HL)”Compound Interest
Section titled “Compound Interest”The amount after periods at rate per period:
Where 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.60Present Value
Section titled “Present Value”The present value of a future amount :
Effective Annual Rate (HL)
Section titled “Effective Annual Rate (HL)”If the nominal annual rate is compounded times per year, the effective annual rate is:
R_{\mathrm{eff} = \left(1 + \frac{i}{m}\right)^m - 1Example (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)
Section titled “Amortisation (HL)”For a loan of repaid in equal instalments of at periodic rate :
Derivation. The present value of all payments equals the loan amount:
The sum in brackets is a geometric series with first term and ratio :
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.36Recurrence Relations (HL)
Section titled “Recurrence Relations (HL)”A recurrence relation defines each term of a sequence in terms of previous terms.
Example: , .
Solving Linear Recurrence Relations (HL)
Section titled “Solving Linear Recurrence Relations (HL)”For a first-order recurrence with :
The fixed point is .
The general solution is .
Why this works. Let . Then . Since We have So . This is a Geometric sequence with ratio .
Example: Solve , .
Fixed point: .
Example (HL): Solve , .
Fixed point: .
Indeed: , Etc. The sequence is constant at 1, which is the Fixed point.
Second Order Recurrence Relations (HL - awareness)
Section titled “Second Order Recurrence Relations (HL - awareness)”A second-order linear recurrence with constant coefficients is solved by Finding the roots of the characteristic equation .
Example: The Fibonacci sequence F_1 = 1$$F_2 = 1$$F_{n+2} = F_{n+1} + F_n.
Characteristic equation: .
The general solution is:
Worked Examples
Section titled “Worked Examples”See the examples integrated throughout the sections above.
Common Pitfalls
Section titled “Common Pitfalls”- Mixing up arithmetic and geometric formulas — arithmetic has Geometric has . Remember: arithmetic adds, geometric multiplies.
- Sum to infinity only converges when . If The sum diverges.
- Financial mathematics — ensure the rate and time period match (e.g., annual rate with annual compounding, or monthly rate with monthly compounding).
- Limits — always divide by the highest power of in both numerator and denominator.
- Sigma notation — be careful with the lower and upper limits. Not .
- Set notation — do not confuse (subset) with (element of).
- Proof by contradiction — always state the assumption, derive a contradiction, and state what this proves.
- Induction — the inductive step must use the inductive hypothesis. If it does not, the proof is invalid.
- Recurring decimals — identify the repeating block correctly. has one repeating digit; has two repeating digits.
- AM-GM inequality — only applies to non-negative numbers. Do not apply it when or could be negative.
Practice Questions
Section titled “Practice Questions”Ordinary Level
Section titled “Ordinary Level”- Find the 15th term of the arithmetic sequence 5, 9, 13, 17, …
- Find the sum of the first 25 terms of 2, 6, 18, 54, …
- A set and . Find and .
- Show that is rational.
- The 5th term of an arithmetic sequence is 17 and the 12th term is 38. Find and .
- Express as a fraction.
- Find the sum of the first 10 terms of the sequence .
Higher Level
Section titled “Higher Level”- Prove that is irrational.
- Find the sum to infinity of
- Evaluate .
- Solve the recurrence relation T_1 = 1$$T_{n+1} = 4T_n - 3. Find a closed form for .
- EUR 2000 is invested at 3.5% per annum compounded monthly. Find the amount after 5 years.
- Prove De Morgan’s second law: .
- Evaluate .
- Prove that by induction.
- Prove that is irrational.
- Evaluate by expressing in partial fractions.
- Express as a fraction.
- Prove that is irrational.
- A bank offers 5% nominal annual rate compounded quarterly. Find the effective annual rate.
- In a survey, 70% of people like tea, 40% like coffee, and 25% like both. What percentage like neither?
- Prove the AM-GM inequality for positive and .
- Evaluate and explain the result geometrically.
- Prove that for all by induction.
- 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.
- The first three terms of a geometric sequence are x - 2$$x + 2And . Find and the common ratio.
- Prove that the sum of an odd number and an even number is always odd.
Extended Practice
Section titled “Extended Practice”- Express (recurring) as a fraction.
- Find the sum to infinity of the series
- Evaluate .
- Prove by induction that is even for all positive integers .
- Solve T_1 = 5$$T_{n+1} = \frac{1}{2}T_n + 3 and find .
- A geometric sequence has first term 3 and common ratio . Find the smallest value of such that .
- Prove that there are infinitely many prime numbers (Euclid’s proof).
- EUR 10000 is invested at per annum compounded annually. After 10 years it is worth EUR 18000. Find .
- The sum of the first terms of an arithmetic sequence is . Find the Th term and the common difference.
- Prove that is irrational.
Extended Content
Section titled “Extended Content”Sum of an Arithmetic Series from
Section titled “Sum of an Arithmetic Series from SnS_nSn”Given the sum formula We can find the Th term from the sum:
This confirms that the Th term can always be recovered from the sum.
Geometric Series Derivation (Alternative)
Section titled “Geometric Series Derivation (Alternative)”An alternative derivation of uses the formula for the sum of a Geometric progression by recognising:
So .
Applications of Sequences in Nature
Section titled “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 .
Deducing the Formula for Given
Section titled “Deducing the Formula for TnT_nTn Given SnS_nSn”If Then:
This is an arithmetic sequence with first term and common difference .
Summary
Section titled “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.