# Understanding of Remainder theorem through divisibility property

First thing you should keep in mind is that in theory of numbers we’ll mostly be talking about numbers from the set of whole or the set of real numbers. One of the most important basics in theory of number is the definition of divisibility and some basic rules.

Definition 1. If there exists  such that , we say that a divides b, where a and b are whole numbers and . It is said that b is the multiple of a, and a is the divisor of b. If a divides b we denote it as and if not .

Proposition 1. If   and then .

Proof. If  and (by the Definition 1.) such that , , .
Since we know that we can affect this equation with absolute value. We get that , and we got where we wanted to be.
We wanted to prove that and we got that is equal to the product of some positive whole number d and which proves our proposition.

Proposition 2. If , then a divides every multiple of b.

Proof. Let’s say that and that c is the multiple of b. According to that, there exists number such that and since we have that . Since and are both whole numbers, so is their product and we got that the multiple of b-c, is the product of some whole number and a. This means that .

Proposition 3. If and , then a \mid (b \pm c) and .

Proof. If and then exist and such that and . Since we want to prove that a divides we’ll simply include b and c into this expression. This means that we’ll have . Since and are whole number, so are their sum and difference and we got that is equal to the product of number  with some whole number. This means that .

The same goes for the product of b and c:

and in the same way we got that is equal to the product of number a and some whole number which means that .

This relation – “to be divisible” is relation of partial order. This means that are fulfilled following three conditions:
1. Reflexive property – This means that a certain number is always divisible by itself or:

2. Antisymmetric property – This means that if one number is divisible by another number, and in the same time that other number is divisible by the first number, those two numbers must be equal. and

3. Transitive property – it tells us that if one number divides second number which divides third number, then the first number will also divide third number. and

## The remainder theorem

For real number a and whole number b exist unique whole numbers q and r such that

, where .

Proof. We’ll divide this proof into two parts. First part is in which we will prove existence and second in which we will prove uniqueness.
1. Existence: let’s observe rational number and define number q such that

If we subtract q from these inequalities we’ll get:
Now we can define number r:
This means that

If we multiply the inequality with a we get:
Since we defined r as we now have  which proves existence.

2. Uniqueness: here we’ll assume there exist whole numbers and such that
This would mean that .
. If we assume that , then so is .
If .

From (by applying absolute value) we get that
which is in contradiction with the statement that .
This means that if and only if . We say that r is the remainder in division of number b with number a, and q is the quotient of integer .

### Polynomials

The Remainder Theorem for polynomials an application of Euclidean division on polynomials. Let’s explain it closer…

When we divide any polynomial f(x) by a linear polynomial we get another polynomial:

The point of this theorem is realizing what this remainder r really is. Let’s try to replace x with c and see what happens.

When we divide a polynomial by a linear polynomial , where , the remainder r is equal to f(c).

This theorem is very useful, especially if we want to know whether one polynomial is divisible by another, linear polynomial. If the remainder is equal to zero, then he is divisible, if it is any other number, he is not.

Example 5. Is a polynomial divisible by divisible by .

We have a linear polynomial which means that our c is equal to – 2. Now we calculate .

which means that polynomial f(x) is not divisible by (x + 2).

Shares