Real Numbers
Euclid's Division Lemma (Theorem 1.1)
Given positive integers a and b , there exists
whole numbers q and r satisfying a = bq + r , 0< or = r < b .
The Fundemental Theorom of Arithmetic (Therem 1.2)
Every composite number can be expressed as a product of primes, and this factorisation is unique , apart from the order in which the prime factors occur.
Theorem 1.6
Let x = p/q be a rational number , such that the prime factorisation of q is of the form 2^n 5^m, where n,m are non-negative integers . Then x has a decimal expansion which terminates.
Theorem 1.4
ROOT 2 is irrational.
Euclid's Division Algorithm
this is based on Euclid's division lemma.
Theorem 1.5
Let x be a rational whose decimal expansion terminates. Then x can be expressed in the form p/q , where p and q are co prime, and the prime factorisation of q is of the form 2^n 5^m, where n , m are non - negative integers.
Theorem 1.7
Let x = p/q , where p and q are co primes , be a rational number , such that the prime factorisation of q is not of the form 2^n 5^m, where n , m are non-negative integers. Then, x has a decimal expansion which is non-terminating recurring.
Theorem 1.3
Let p be a prime number. If p divides a^2 , then p divides a , where a is a positive integer.