hw3-sol - CS 173: Discrete Structures, Fall 2010 Homework 3...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS 173: Discrete Structures, Fall 2010 Homework 3 Solutions This homework contains 4 problems worth a total of 38 points. It is due on Friday, September 17th at 4pm. When a problem specifies a particular proof technique, you must use that technique in your solution, even if it’s not the only reasonable approach to the mathematical problem. This is because the main point of these problems is to learn how to use the various different proof techniques. 1. [10 points] Proof using divides Consider the following claim: For any integers a , b , and c , if a 2 b | cb , then a | c . (a) This claim is slightly buggy. Give a concrete counter-example showing why it fails. (b) Adding one extra (simple) condition to the hypotheses will make this claim true. State the revised claim. (c) Prove the revised claim, directly from the definition of “divides.” (That is, don’t use any lemmas about divides from the text or lecture.) Solution: (a) This fails for any integers a and c where b = 0 and a does not divide c . For example: a = 2, b = 0, c = 3. In this, (2 2 )(0) | (3)(0) is logically equivalent to 0 | 0, which yields the equation 0 = 0 j for any integer j. By definition of “divides”, this holds. However, consider that 2 | 3 yields the equation 3 = 2 k for some integer k. Dividing both sides by 2, we find 3 2 = k . But this cannot happen, since k was defined as an integer. Thus, the inputs above yield a counter-example....
View Full Document

This note was uploaded on 11/08/2010 for the course CS 173 taught by Professor [email protected] during the Spring '08 term at University of Illinois at Urbana–Champaign.

  • Spring '08
  • [email protected]

Page1 / 4

hw3-sol - CS 173: Discrete Structures, Fall 2010 Homework 3...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online