Quotient and Remainder Problem of Integers
The sum, difference and product of two integers are obviously integers but the quotient of two integers may or may not be an integer. For this reason, We say that – An integer is divisible by an integer , if there is an integer such that .
We denote this by and read as divides . If no such integer can be found we write read as does not divide . Again then is called a divisor of and is called a multiple of .
On the other hand, if and then is called a proper divisor or factor of .
Again . This shows that if then . For practical purposes we can limit our attention to positive divisors of integers.
Remember that is a divisor of any integer and is a multiple of any integer. Any non zero integer is a divisor or a multiple of itself. A number which is a multiple of is called an even number, otherwise it is called an odd number.
THEOREM 1: For any integers the following hold
- .
- and .
- and .
- .
- and for any integers and .
Proof:
- Given that, where m is any integer. Now .
- If and then there exist two integers and such that and . Now .
- Given that and . From above those equations, we can write that . Since then both and are or . Therefore .
- Given that, . Since then both and are or . Therefore .
- Given that, and . Now .
Now we discuss below about the theory of divisibility
THEOREM 2 (Fundamental theory of divisibility) : For any random pair of integers we always get another unique pair of integers such that where .
Proof: Consider the infinite sequence of multiples of such that . Obviously must be equal one of the multiples of say in the sequence or must be between two consecutive multiples say and , for any arbitrary . In either case, we have . Let . Since are integers then also an integer that is is an integer. Therefore . Hence the existence of and are proved.
Now we have to show that and are unique integers for and . Let and aren’t unique integers for and . Then there exist integers such that and .
Therefore . But this is impossible. Since both and are positive integers and less than . Therefore and are unique.
Leave a Reply