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