m % n <= m/2

Author 
Message 
c2milles
Student
Reputation: 0

m % n <= m/2
In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks


20130812 19:22 

liudavid
Instructor
Reputation: 0

RE: m % n <= m/2
(20130812 19:22)c2milles Wrote: In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks
Use two cases: n <= m/2 and n > m/2.
David Liu
Theory Group
Department of Computer Science
University of Toronto
SF 4306A


20130812 20:53 

c2milles
Student
Reputation: 0

RE: m % n <= m/2
(20130812 20:53)liudavid Wrote: (20130812 19:22)c2milles Wrote: In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks
Use two cases: n <= m/2 and n > m/2.
Thank you.


20130812 22:40 

c2milles
Student
Reputation: 0

RE: m % n <= m/2
(20130812 22:40)c2milles Wrote: (20130812 20:53)liudavid Wrote: (20130812 19:22)c2milles Wrote: In lecture 10: the claim: for all m,n in N, m>=n implies m%n <=n m/2 was left as an exercise to prove and I was wondering if anyone had another way to represent m%n that would making proving this easier to see using our previous techniques. Thanks
Use two cases: n <= m/2 and n > m/2.
Thank you.
Does this claim mean: the remainder of n divides m is <= m/2?


20130812 23:41 

Thread Rating:
 0 Votes  0 Average
 1
 2
 3
 4
 5
User(s) browsing this thread: 1 Guest(s)