Online Course Discussion Forum

MC II A 3.30 Help please?

 
 
Picture of Andrew Reggie
MC II A 3.30 Help please?
by Andrew Reggie - Friday, May 3, 2019, 9:10 AM
 

Version:1.0 StartHTML:000000223 EndHTML:000097520 StartFragment:000038525 EndFragment:000097417 StartSelection:000038559 EndSelection:000097381 SourceURL:https://classes.areteem.org/mod/quiz/review.php?attempt=7397 Lecture 3 Quick Response Quiz and Practice Problems

Question 3.30:

Use the following outline to prove Bezout's Identity.

(a) There are positive integers of the form j=am+bnj=am+bn .

(b) If there are positive integers of the form j=am+bnj=am+bn there is a smallest positive integer ee of the form e=am+bne=a′m+b′n for integers a,ba′,b′ .

(c) Use the division algorithm to show that ee divides both mm and nn .

(d) Show that gcd(m,n)gcd(m,n) must divide ee , hence e=gcd(m,n)e=gcd(m,n) .

Feedback

r=mqe=mq(am+bn)=(aq1)m+bn<e

How did you get " mq(am+bn)=(aq1)m+bn"?

Thanks

 
Picture of David Reynoso
Re: MC II A 3.30 Help please?
by David Reynoso - Friday, May 3, 2019, 10:58 AM
 

The solution should say instead $$\begin{aligned} r &= m - qe \\ &=m - q(a'm + b'n) \\ &= (1-qa')m + (-qb')n < e \end{aligned}$$

Note the main point in this part of the proof is that if $r > 0$, there is a number of the form $am + bn$ that is smaller than $e$, but $e$ was supposed to be the smallest. Thus, $r = 0$ and $e | m$. 

Picture of Andrew Reggie
Re: MC II A 3.30 Help please?
by Andrew Reggie - Friday, May 3, 2019, 5:53 PM
 

Thank you