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

HELP !! Division Algorithm applications http://prntscr.com/3xh7kg

OpenStudy (rational):

since \(b\) is positive, \(|a|b \ge |a|\) so \(a - (-|a|-2)b = a + |a|b + 2b \ge a + |a| +2b \ge 2b\)

OpenStudy (rational):

that means the set \(S = \{a-xb | \text{ x is an integer; }a-xb\ge 2b\}\) is nonempty

OpenStudy (rational):

say the smallest integer in the set is \(\large r\) thus \(\large r = a - qb \ge 2b\)

OpenStudy (rational):

we need to prove that \( r < 3b\) - but isn't that just wrong as we can make \(r\) to take any value by choosing an appropriate value for \(q\) ?

OpenStudy (rational):

@ikram002p need your help

hero (hero):

Perhaps this will help: https://proofwiki.org/wiki/Division_Algorithm#Uniqueness

OpenStudy (rational):

yes hero this is exactly the proof im looking for... i can modify it for 2b<=r<3b thank you xD

OpenStudy (ikram002p):

hehe lolz i like that prove xD sry i was not online at that time :-\

OpenStudy (ikram002p):

still u wanna prove the uniqueness or you have something else ?

OpenStudy (ikram002p):

@ganeshie8

ganeshie8 (ganeshie8):

yes i would like to work it again - more practice xD

ganeshie8 (ganeshie8):

lets do the bounds also for completeness sake...

OpenStudy (ikram002p):

well ok lol i like to start proof like this:- for \(a=qb+r\) \(0\le r <b\) show :- 1- Existence 2-Uniqueness then \(0\le r <b\) + 2b \(2b\le r <3b\)

OpenStudy (ikram002p):

its enough to show for \( 0\le r <b\) Existence of p,q and Uniqueness of them ok ?

ganeshie8 (ganeshie8):

Alright, so we're going to prove \(0 \le r \lt b\) first is it ?

OpenStudy (ikram002p):

yeah , ic .. u started good with W-OP

OpenStudy (ikram002p):

but mm make it for a-xb>=0

ganeshie8 (ganeshie8):

Before we starte - the question that troubled me last night was this : how can we say r < b or r<3b, when r can take on any integer value

OpenStudy (ikram002p):

well remember mod :- a=qp+r a mod p= r mod p a mod q= r mod q

ganeshie8 (ganeshie8):

i had thought i figured it out yesterday, but i have lost it again o.o

ganeshie8 (ganeshie8):

yes

OpenStudy (ikram002p):

so in mod we make sure that r take the least value right ? because it's the remainder

ganeshie8 (ganeshie8):

yeah that part is clear. in the proof, they say r cannot be greater than b, how do they say that ?

OpenStudy (ikram002p):

but anderstanding the remainder and D.A will help you to understand the mod xD so ill show it to you

ganeshie8 (ganeshie8):

OpenStudy (ikram002p):

well , r is bounded in you Qn it gives 0<=r<b right ? simply if you make long division like this :- you will keep doing it untill you gor r <p |dw:1404039695958:dw|

OpenStudy (ikram002p):

and if youreached r=b , then u devide again to get r=0

ganeshie8 (ganeshie8):

yes true, if you have r > b, you can always subtract b from it and make r < b

OpenStudy (ikram002p):

thats right ^_^

ganeshie8 (ganeshie8):

how does this fit with the highlighted line in the proof

OpenStudy (ikram002p):

the proof assumed r =a-qb as the smallest nonegative assume r >b then r-b < a-qb

OpenStudy (ikram002p):

since r >b we make sure that r-b is possitive so r=a-qb r-b=a-(q+1) b < 1- qb

OpenStudy (ikram002p):

typo r-b=a-(q+1) b < a- qb

ganeshie8 (ganeshie8):

Assume \(r\) is the smallest element in \(S\), since \(r \in S\), \(r\) must be of form \(r = a-qb\)

ganeshie8 (ganeshie8):

what next ?

OpenStudy (ikram002p):

what proof you wanna follow xD

ganeshie8 (ganeshie8):

your's

OpenStudy (ikram002p):

then first we define S \(S = \{a-xb | \text{ x is an integer; }a-xb\ge 0\}\)

ganeshie8 (ganeshie8):

okay

ganeshie8 (ganeshie8):

By WOP, this set with non-negative integers must contain a smallest integer, say \(r\)

OpenStudy (ikram002p):

ovc its nonempty sit , be carfull before using WOD , is it clear to you that \(0\le\) r ? from the definition of S ?

OpenStudy (ikram002p):

that what u set up in the first line

OpenStudy (ikram002p):

so after having r ( from WOP) r=a-qb \(0\le r\) ok till nw ?

ganeshie8 (ganeshie8):

oh okay i have skipped a line : \(a - (-|a|)b = a + |a|b \ge a + |a| \ge 0 \) so the set has atleast one element - so its nonempty

OpenStudy (ikram002p):

yeah :D

ganeshie8 (ganeshie8):

yes, all peace till now :)

OpenStudy (ikram002p):

good :D now assume r >b

OpenStudy (ikram002p):

wait no we have r<b is the qn right , then lets assume r>=b

ganeshie8 (ganeshie8):

k following

ganeshie8 (ganeshie8):

yes assume r>= b, then r-b is non negative

OpenStudy (ikram002p):

r= a-qb from WOP assumption right ?

ganeshie8 (ganeshie8):

r= a-qb is the smallest element in S from WOP *

OpenStudy (ikram002p):

r= a-qb sub b from both side r-b=a-qb-b

OpenStudy (ikram002p):

then r-b = a-(q+1)b

ganeshie8 (ganeshie8):

\(r = a-qb\) \(\implies r-b = a-qb-b = a-(q+1)b \in S\)

OpenStudy (ikram002p):

but since -(q+1) < -q -(q+1)b< -qb a-(q+1)b< a-qb r-b <r wich is a contradiction to WOP

OpenStudy (ikram002p):

lol yeah :D

ganeshie8 (ganeshie8):

makes perfect sense xD

OpenStudy (ikram002p):

yeah hehe

OpenStudy (ikram002p):

now for Uniqueness ?

ganeshie8 (ganeshie8):

so that concludes the bounds part : we can always bound the value of \(r\) within \(0\le r \lt b\) in the division \(\dfrac{a}{b}\)

OpenStudy (ikram002p):

that proved that there exist r , q s.t r=a-qb or a=qb+r \(0\le r < b\)

OpenStudy (ikram002p):

now we need to show there is only r, q

ganeshie8 (ganeshie8):

yes

OpenStudy (ikram002p):

so lets assume r,q not unique then there exist at least 2 of r and 2 of q xD lets say \((r_0,q_0) , (r_1,q_1)\)

OpenStudy (ikram002p):

then \(a=q_0b+r_0\) \(a=q_1b+r_1\)

ganeshie8 (ganeshie8):

okay \(r_0 - r_1 = b(q_1-q_0)\)

OpenStudy (ikram002p):

\( r_0 - r_1 =b (q_1 -q_0)\) \(-b\le r_0-r_1 <b\)

OpenStudy (ikram002p):

so \(|r_0-r_1| <b\) thus \(b|q_0-q_1| <b\) which yeild \(0\le |q_0-q_1| <1\)

ganeshie8 (ganeshie8):

which is impossible, nice :) i think i luv DA more now xD thank you !!

OpenStudy (ikram002p):

haha np , will that is not impossible :P

OpenStudy (ikram002p):

that leave you with one case wich is \( |q_0-q_1| =0\)

ganeshie8 (ganeshie8):

thats impossible since \(|q_0 - q_1|\) cannot be a fraction right ?

ganeshie8 (ganeshie8):

ahh okay

OpenStudy (ikram002p):

wait but it can be 0

OpenStudy (ikram002p):

otherwise ur right since its integer

ganeshie8 (ganeshie8):

which yields \(q_0 = q_1\) got you :)

OpenStudy (ikram002p):

:D

myininaya (myininaya):

a=qb+r let q=t+2 then a=(t+2)b+r a=tb+(2b+r) we know this new remainder is between 2b and 3b since r is between 0 and b i don't know if this helps i was doing lots of examples with given numbers for a and b and seen r was between 2b and 3b for whenever I chose the q=t+2

ganeshie8 (ganeshie8):

Ohh yes, thats working perfectly : a = qb+r a = qb+r + 2b-2b = b(q-2) + `r+2b`

ganeshie8 (ganeshie8):

since 0<=r<b, 2b<=r+2b<3b xD

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!