Mathematics IUnit 126 min read

Number Systems and Proof Techniques: Foundations, Properties, and Logical Reasoning

Unit 12 of Mathematics I: explores the hierarchy of number systems, their algebraic properties, and systematic proof techniques such as direct proof, contradiction, induction, and contrapositive, with worked examples and real‑world applications.

Key points

  • Number systems form a nested hierarchy: ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ.
  • Each system satisfies closure, associativity, commutativity, distributivity, and has additive/multiplicative identities and inverses.
  • Proof techniques (direct, contradiction, contrapositive, induction) provide structured ways to establish mathematical truths.
  • Induction is indispensable for statements about natural numbers, while contradiction is powerful for irrationality proofs.
  • Real‑world systems (bank balances, signal processing, stock prices) rely on the properties of these number systems.

1. Number Systems: A Hierarchical View

Number System Elements Closure Order Density Completeness
Integers Yes Yes No No
Rationals Yes Yes Yes No
Irrationals Numbers that cannot be expressed as a ratio of integers Yes Yes Yes No
Reals All limits of Cauchy sequences of rationals Yes Yes Yes Yes (completeness axiom)
Complex Yes No No No
  • Closure: Adding or multiplying two elements of the system yields another element of the same system.
  • Associativity & Commutativity: Both addition and multiplication are associative and commutative in all these systems.
  • Distributive Law: holds universally.
  • Identity Elements: for addition, for multiplication.
  • Inverses: Additive inverse exists in all; multiplicative inverse exists in all except .
  • Order: Only have a total order.
  • Density: Between any two distinct reals there is a rational and an irrational.
  • Completeness: Every Cauchy sequence of reals converges to a real; this is not true for rationals or integers.

1.1 Visualizing the Number Line

The diagram shows integers as full ticks, rational non‑integer points as short ticks, and two irrational points marked explicitly.

1.2 Density of Rationals and Irrationals

The points and are rational when are rational, illustrating that between any two reals there is a rational. A similar construction with shows the existence of irrationals between any two reals.

2. Proof Techniques

Mathematical proofs are logical arguments that establish the truth of a statement. Four fundamental techniques are:

  1. Direct Proof – Assume the premises and deduce the conclusion using known facts.
  2. Proof by Contradiction – Assume the negation of the statement, derive a contradiction, and conclude the statement is true.
  3. Contrapositive – Prove to establish .
  4. Mathematical Induction – Prove a base case and show that if the statement holds for , it holds for .

2.1 Proof by Contradiction – A Flowchart

flowchart TD
    A["Assume statement S is false"] --> B["Derive logical consequences"]
    B --> C["Reach contradiction (false statement)"]
    C --> D["Therefore S must be true"]

2.2 Induction – A Flowchart

flowchart TD
    A["Base Case: n=1"] --> B["Assume P(k) true"]
    B --> C["Prove P(k+1) using P(k)"]
    C --> D["Conclusion: P(n) holds for all n≥1"]

3. Worked Examples

3.1 Proving is Irrational (Contradiction)

Statement: cannot be expressed as a fraction in lowest terms.

  1. Assume with .
  2. Square both sides: → .
  3. Thus is even ⇒ is even ⇒ .
  4. Substitute: → → .
  5. Hence is even ⇒ is even.
  6. Both and are even, contradicting .
  7. Therefore, is irrational.

3.2 Sum of the First Natural Numbers (Induction)

Claim: .

  1. Base case : . Holds.
  2. Inductive step: Assume .
  3. Then .
  4. Factor : .
  5. Thus the formula holds for .
  6. By induction, the formula is true for all .

3.3 Sum of Squares Formula (Direct Proof)

Claim: .

A concise proof uses the identity
which can be derived by telescoping the difference of cubes: Summing from to and simplifying yields the desired formula.

4. Complex Numbers – Geometry and Applications

Complex numbers can be represented on the complex plane.

Applications

  • Signal Processing: Complex exponentials model sinusoidal signals in mobile networks.
  • Control Systems: Poles and zeros of transfer functions are complex numbers.

5. In the Real World

Product Number System Used How It Is Used
eSewa (mobile wallet) Reals Account balances, transaction amounts, and interest calculations rely on real‑number arithmetic.
Ncell (telecom) Complex Modulation schemes (QAM, OFDM) use complex numbers to encode data onto radio waves.
NEPSE (stock market) Reals Stock prices, indices, and trading volumes are represented as real numbers; percentage changes are computed using real‑number operations.

Worked Real‑World Example – Bank Interest
A bank offers a simple interest rate of per annum on a deposit of NPR.
The interest after years is .
For years:
The calculation uses rational numbers () and real numbers for the final amount.

6. Exam Tip

  • Understand the proof structure: State the hypothesis, use definitions, and conclude clearly.
  • Label each step: In induction, write “Base case”, “Inductive hypothesis”, and “Inductive step”.
  • Check for hidden assumptions: When proving irrationality, ensure the fraction is in lowest terms.
  • Practice with past questions: The unit frequently asks for proofs of irrationality, induction on sums, and properties of number systems.
  • Time management: Allocate 5–7 minutes for each proof; write concise, logical steps.

Based on the TU BCA syllabus for Mathematics I (CAMT104), unit 12.

Discussion

Loading…