Ask your own question, for FREE!
Mathematics 18 Online
OpenStudy (rational):

NT review http://prntscr.com/3yxumh

OpenStudy (rational):

the proof starts with asserting the fact that the set \[S = \{au+bv~ | ~au + bv > 0 \}\] is nonempty

OpenStudy (ikram002p):

trying to proof euclidean algorithm ^^

OpenStudy (rational):

that comes later, this is a only an existence proof

OpenStudy (rational):

prove that \(\gcd (a, b)\) can be written as linear combination of \(a\) and \(b\)

OpenStudy (ikram002p):

ohk :) so since its not empty set then by WOP there is positive r >0 least number such that \( r=a x_0 +by_0\)

OpenStudy (ikram002p):

brb

OpenStudy (rational):

got that part, next \(r\) needs to be proved as the \(\gcd\) of \(a\) and \(b\)

OpenStudy (ikram002p):

let gcd(a,b)=d its not nesseccary that r =d r might be factor of d (as we care about existance ) then d|a and d|b hence d=am d=bn

OpenStudy (rational):

okie fine

OpenStudy (ikram002p):

isnt d is the greatest common divisor O.O

OpenStudy (rational):

yes i think you meant a = dm b = dn

OpenStudy (ikram002p):

ohh yeah typo xD

OpenStudy (rational):

but that doesn't prove anything

OpenStudy (rational):

that just says that d | ax + by it doesnt prove d = ax + by

OpenStudy (ikram002p):

im thinking . . .

OpenStudy (rational):

i can attach the proof if you want

OpenStudy (rational):

http://prntscr.com/3yy1ux

OpenStudy (ikram002p):

you dnt understand the proof u have ? ok

OpenStudy (rational):

im trying to..

OpenStudy (ikram002p):

attach

OpenStudy (rational):

attached already ^^

OpenStudy (ikram002p):

where ?

OpenStudy (ikram002p):

O.O

OpenStudy (rational):

http://prntscr.com/3yy1ux

OpenStudy (rational):

say \(r = ax + by\) is the smallest element in \(S\), then \(r | a\) because \(\cdots \) \(r | b \) because \(\cdots\) so \(r\) is a common factor of \(a\) and \(b\)

OpenStudy (rational):

if \(c | ax + by\), then \(c | r\) so \(r\) has to the greatest common factor.

OpenStudy (ikram002p):

ok ok , its only a game they make to that proof 1_ state the there exist d least integer that satisfy d= ax+by 2_ prove that d= gcd(a,b) ok ?

OpenStudy (rational):

did u get why \(r|a\) ?

OpenStudy (ikram002p):

im trying to follow the proof u attached

OpenStudy (ikram002p):

its the oposite to what i assumed before

OpenStudy (rational):

WOP is confusing to interpret sometimes

OpenStudy (ikram002p):

mmm wait wanna start over ?

OpenStudy (rational):

can we make sense of below without using WOP ? the smallest element in the set has to divide both \(a\) and \(b\)

OpenStudy (rational):

cuz i feel WOP is hiding some details and its a bit mechanical

OpenStudy (ikram002p):

mmm WOP is had nothing to do with divide or stuff its only a principle that sets that there is a small element in non empty positive set wanna me to write down WOP ?

OpenStudy (rational):

then how did they prove \(r | a\) ?

OpenStudy (rational):

i was thinking they're applying WOP there

OpenStudy (ikram002p):

Well-Ordering Principle :- Every nonempty set \(S\) of nonnegative integers contains a least element ; that is , there is some integer \(a\in S\) such that \(a\le b \) for all b's belonging to S

OpenStudy (ikram002p):

they applied WOP only by giving d

OpenStudy (rational):

okay how did they arrive at r | a ?

OpenStudy (ikram002p):

and note that we dnt know yet if d= gcd its our clame

OpenStudy (ikram002p):

ok so what r u taking about the one i rote before u pring the link , or the r in link ?

OpenStudy (rational):

r = ax + by show that r | a and r | b

OpenStudy (ikram002p):

its confusing me to start like this :-\ lets start over shall we ?

OpenStudy (rational):

sure

OpenStudy (ikram002p):

and reasoning every step we make ok ?

OpenStudy (rational):

ok clean slate... :) start

OpenStudy (ikram002p):

ok so we have S={ .... } its nonempty positive Set ok ? then we can use WOP , let least be d so d=ax+by

OpenStudy (ikram002p):

our aim is to prove that d=gcd(a,b) ok ?

OpenStudy (rational):

yes the aim is clear :)

OpenStudy (ikram002p):

good :) so by D.A there is r,q such that a=qd+r s.t \(0\le r <d \) agree to this ?

OpenStudy (rational):

yes so far so good xD

OpenStudy (ikram002p):

ok then r=a-qd but d=ax+by so r=a-q(ax+by)=a(1-qx)+b(-qy) ok ?

OpenStudy (rational):

yes the proof so far is simple enough, next line is what confuses me the most, please go ahead :)

OpenStudy (ikram002p):

ok so as u can see r=au+bv and if r is positive then r∈S but r <d from D.A assumtion which is a contradiction since d is the least element of S so only one case we have r =0

OpenStudy (rational):

that algebra statement is clear, but im finding it difficult to visualize it using numbers

OpenStudy (ikram002p):

if r =0 , then r\(\notin S\)

OpenStudy (ikram002p):

you wanna numerical example ?

OpenStudy (rational):

i need some intuition - saying \(r \ne S\) just concludes the proof but it kills other ways to think about the same

OpenStudy (rational):

\(r \not \in S\) *

OpenStudy (ikram002p):

i see so u still not confident about r not in S ?

OpenStudy (rational):

i get that \(r \not \in S\) as \(d\) is the least element in the set.

OpenStudy (ikram002p):

check what we set before :- so by D.A there is r,q such that a=qd+r s.t 0≤r<d * since r cant be < d , then r =0 oki with this ?

OpenStudy (rational):

yes

OpenStudy (ikram002p):

the thing is this proof is not that important , its only reasoning why there is linear compination of a,b s.t d=ax+xy so dnt get frusted cuz of it :P

OpenStudy (rational):

this is the starting point for euclid's lemma and congruences o.o

OpenStudy (rational):

and diaphontine equations

OpenStudy (ikram002p):

im not talking about the result , im talking about the proof itself :D result is very important

OpenStudy (rational):

ax + by = c has a solution only when gcd(a,b) | c constraint comes from this theorem itself, so i thought i would spend some time to digest this properly

OpenStudy (ikram002p):

>.> ur sake is much clear than what we are talking about :P it only need the result hehehe but since we start shall we finish this ?

OpenStudy (rational):

yeah please

OpenStudy (ikram002p):

ok so we reached this a(1-qx)+b(-qy)= 0

OpenStudy (ikram002p):

a=qd+r a=qd

OpenStudy (ikram002p):

d|a ":)

OpenStudy (ikram002p):

if we obtaind the same steps for b by D.A there is \(r_1,q_1\) such that \( b=q_1d+r_1 \) s.t 0≤\(r_1\)<d bla bla then b=\(q_1\)d or d|b

OpenStudy (ikram002p):

from d|a d|b that make d common divisor of a,b now we need to make sure that d is the greatest common divisior not only divisor :3

OpenStudy (rational):

yes that part is easy : if c is a common divisor of a and b, then c | ax + by => c | d => d is the greatest common divisor

OpenStudy (ikram002p):

good lol done ^

OpenStudy (rational):

ty :)

OpenStudy (ikram002p):

np :)

OpenStudy (ikram002p):

my display pic makes me think im smart lil boy for a while lol

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!