mthsc 412 section 1.1 the division algorithm

30
MTHSC 412 Section 1.1 – The Division Algorithm Kevin James Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Upload: others

Post on 18-Apr-2022

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: MTHSC 412 Section 1.1 The Division Algorithm

MTHSC 412 Section 1.1 – The DivisionAlgorithm

Kevin James

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 2: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (Well-Ordering Principle)

Every nonempty set S of nonnegative integers has a least element.That is, there is m ∈ S such that x ∈ S β‡’ m ≀ x.

Note

The well ordering principle is equivalent to the principle ofmathematical induction.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 3: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (Well-Ordering Principle)

Every nonempty set S of nonnegative integers has a least element.That is, there is m ∈ S such that x ∈ S β‡’ m ≀ x.

Note

The well ordering principle is equivalent to the principle ofmathematical induction.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 4: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (The Division Algorithm)

Suppose that a, b ∈ Z with b > 0. Then there exist uniqueq, r ∈ Z such that

1 a = bq + r , and

2 0 ≀ r < b.

Example

1 Given a = 14 and b = 3, we can write 14 = 3 βˆ— 4 + 2. So,q = 4 and r = 2.

2 Given a = βˆ’14 and b = 3, we can write βˆ’14 = 3 βˆ— (βˆ’5) + 1.So, q = βˆ’5 and r = 1.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 5: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (The Division Algorithm)

Suppose that a, b ∈ Z with b > 0. Then there exist uniqueq, r ∈ Z such that

1 a = bq + r , and

2 0 ≀ r < b.

Example

1 Given a = 14 and b = 3, we can write

14 = 3 βˆ— 4 + 2. So,q = 4 and r = 2.

2 Given a = βˆ’14 and b = 3, we can write βˆ’14 = 3 βˆ— (βˆ’5) + 1.So, q = βˆ’5 and r = 1.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 6: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (The Division Algorithm)

Suppose that a, b ∈ Z with b > 0. Then there exist uniqueq, r ∈ Z such that

1 a = bq + r , and

2 0 ≀ r < b.

Example

1 Given a = 14 and b = 3, we can write 14 = 3 βˆ— 4 + 2. So,q = 4 and r = 2.

2 Given a = βˆ’14 and b = 3, we can write βˆ’14 = 3 βˆ— (βˆ’5) + 1.So, q = βˆ’5 and r = 1.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 7: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (The Division Algorithm)

Suppose that a, b ∈ Z with b > 0. Then there exist uniqueq, r ∈ Z such that

1 a = bq + r , and

2 0 ≀ r < b.

Example

1 Given a = 14 and b = 3, we can write 14 = 3 βˆ— 4 + 2. So,q = 4 and r = 2.

2 Given a = βˆ’14 and b = 3, we can write

βˆ’14 = 3 βˆ— (βˆ’5) + 1.So, q = βˆ’5 and r = 1.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 8: MTHSC 412 Section 1.1 The Division Algorithm

Theorem (The Division Algorithm)

Suppose that a, b ∈ Z with b > 0. Then there exist uniqueq, r ∈ Z such that

1 a = bq + r , and

2 0 ≀ r < b.

Example

1 Given a = 14 and b = 3, we can write 14 = 3 βˆ— 4 + 2. So,q = 4 and r = 2.

2 Given a = βˆ’14 and b = 3, we can write βˆ’14 = 3 βˆ— (βˆ’5) + 1.So, q = βˆ’5 and r = 1.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 9: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.

Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 10: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.

Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 11: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.

Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 12: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0.

Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 13: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .

Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 14: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0.

Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 15: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1

β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 16: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a|

β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 17: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’a

β‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 18: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.

Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 19: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .

So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 20: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….

By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 21: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.

Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 22: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .

Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 23: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .

Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 24: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note that

r βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 25: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b =

= aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 26: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).

Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 27: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows that

r βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 28: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.

Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 29: MTHSC 412 Section 1.1 The Division Algorithm

Proof.

Existence: Let a, b ∈ Z with b > 0.Let S = {aβˆ’ bq | q ∈ Z; aβˆ’ bq β‰₯ 0}.Note that S is a subset of the nonnegative integers.Now, note that if a = 0 then aβˆ’ b(βˆ’1) = b > 0. Thus, b ∈ S .Now, assume a 6= 0. Recall thatb β‰₯ 1β‡’ |a|b β‰₯ |a| β‰₯ βˆ’aβ‡’ a+ b|a| β‰₯ 0.Thus, aβˆ’ b(βˆ’|a|) ∈ S .So, S 6= βˆ….By the Well Ordering Principle, S has a smallest element.Let r be the smallest element of S .Then r β‰₯ 0 and we have for some q ∈ Z, aβˆ’bq = r β‡’ a = bq+ r .Also, note thatr βˆ’ b = (aβˆ’ bq)βˆ’ b = = aβˆ’ b(q + 1).Since r βˆ’ b < r and r is the least element of S , it follows thatr βˆ’ b < 0β‡’ r < b.Uniqueness: Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm

Page 30: MTHSC 412 Section 1.1 The Division Algorithm

Corollary

Let a, c ∈ Z with c 6= 0. Then there exist unique q, r ∈ Z such that

a = cq + r and 0 ≀ r < |c |.

Proof.

Exercise.

Kevin James MTHSC 412 Section 1.1 – The Division Algorithm