1.3: Divisibility and the Division Algorithm
( \newcommand{\kernel}{\mathrm{null}\,}\)
We now discuss the concept of divisibility and its properties.
Integer Divisibility
If a and b are integers such that a≠0, then we say "a divides b" if there exists an integer k such that b=ka.
If a divides b, we also say "a is a factor of b" or "b is a multiple of a" and we write a∣b. If a doesn’t divide b, we write a∤b. For example 2∣4 and 7∣63, while 5∤26.
- Note that any even integer has the form 2k for some integer k, while any odd integer has the form 2k+1 for some integer k. Thus 2|n if n is even, while 2∤n if n is odd.
- ∀a∈Z one has that a∣0.
- If b∈Z is such that |b|<a, and b≠0, then a∤b.
If a, b and c are integers such that a∣b and b∣c, then a∣c.
Since a∣b and b∣c, then there exist integers k1 and k2 such that b=k1a and c=k2b. As a result, we have c=k1k2a and hence a∣c.
Since 6∣18 and 18∣36, then 6∣36.
The following theorem states that if an integer divides two other integers then it divides any linear combination of these integers.
[thm4] If a,b,c,m and n are integers, and if c∣a and c∣b, then c∣(ma+nb).
Since c∣a and c∣b, then by definition there exists k1 and k2 such that a=k1c and b=k2c. Thus ma+nb=mk1c+nk2c=c(mk1+nk2), and hence c∣(ma+nb).
Theorem [thm4] can be generalized to any finite linear combination as follows. If
a∣b1,a∣b2,...,a∣bn then a∣n∑j=1kjbj for any set of integers k1,⋯,kn∈Z. It would be a nice exercise to prove the generalization by induction.
The following theorem states somewhat an elementary but very useful result.
[thm5]The Division Algorithm If a and b are integers such that b>0, then there exist unique integers q and r such that a=bq+r where 0≤r<b.
Consider the set A={a−bk≥0∣k∈Z}. Note that A is nonempty since for k<a/b, a−bk>0. By the well ordering principle, A has a least element r=a−bq for some q. Notice that r≥0 by construction. Now if r≥b then (since b>0) r>r−b=a−bq−b=a−b(q+1)=≥0. This leads to a contradiction since r is assumed to be the least positive integer of the form r=a−bq. As a result we have 0≤r<b.
We will show that q and r are unique. Suppose that a=bq1+r1 and a=bq2+r2 with 0≤r1<b and 0≤r2<b. Then we have b(q1−q2)+(r1−r2)=0. As a result we have b(q1−q2)=r2−r1. Thus we get that b∣(r2−r1). And since −max, and b>\max(r_1,r_2), then r_2-r_1 must be 0, i.e. r_2=r_1. And since bq_1+r_1=bq_2+r_2, we also get that q_1=q_2. This proves uniqueness.
If a=71 and b=6, then 71=6\cdot 11+5. Here q=11 and r=5.
Exercises
- Show that 5\mid 25, 19\mid38 and 2\mid 98.
- Use the division algorithm to find the quotient and the remainder when 76 is divided by 13.
- Use the division algorithm to find the quotient and the remainder when -100 is divided by 13.
- Show that if a,b,c and d are integers with a and c nonzero, such that a\mid b and c\mid d, then ac\mid bd.
- Show that if a and b are positive integers and a\mid b, then a\leq b.
- Prove that the sum of two even integers is even, the sum of two odd integers is even and the sum of an even integer and an odd integer is odd.
- Show that the product of two even integers is even, the product of two odd integers is odd and the product of an even integer and an odd integer is even.
- Show that if m is an integer then 3 divides m^3-m.
- Show that the square of every odd integer is of the form 8m+1.
- Show that the square of any integer is of the form 3m or 3m+1 but not of the form 3m+2.
- Show that if ac\mid bc, then a\mid b.
- Show that if a\mid b and b\mid a then a=\pm b.
Contributors and Attributions
Dr. Wissam Raji, Ph.D., of the American University in Beirut. His work was selected by the Saylor Foundation’s Open Textbook Challenge for public release under a Creative Commons Attribution (CC BY) license.