Scribd Logo
Upload

Welcome to Scribd!

  • 4 views

    Solutions For Quiz #5: For Even Integers 4 4 We Have 4 + 4 +

    Uploaded by

    hahue

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Solutions For Quiz #5: For Even Integers 4 4 We Have 4 + 4 +

    Uploaded by

    hahue
    4 views1 page

    Original Title

    Q5s (1)

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    4 views1 page

    Solutions For Quiz #5: For Even Integers 4 4 We Have 4 + 4 +

    Uploaded by

    hahue

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    You are on page 1of 1

    Solutions for Quiz #5 September 18, 2003

    1. { 1 point for each correct answer } For each of the following statements determine
    whether it is true or false. It is not necessary to justify your answer.

    (A) The square of any integer has the form 4k or 4k + 1 for some integer k.
    true
    For even integers n = 2p we have n2 = 4p2 = 4k. For odd integers n = 2p+1
    we have n2 = 4p2 + 4p + 1 = 4(p2 + p) + 1 = 4k + 1.
    (B) For all real numbers x, bx2 c = bxc2 .
    false
    Counterexample: for x = 1.5 we have bx2 c = b2.25c = 2 6= 1 = b1.5c2 = 12 .
    (C) For all real numbers x, dx + 1e = dxe + 1 .
    true
    Let n = dxe . Then by the definition n−1 < x ≤ n . Hence n < x+1 ≤ n+1
    and therefore dx + 1e = n + 1 = dxe + 1 .
    (D) true
    There is no least positive rational number.
    a
    Suppose not. Let x = > 0 be the least positive rational number, where a
    b
    and b 6= 0 are integers. Then x2 = 2b
    a
    > 0 is rational and 0 < x2 < x, which
    is a contradiction.
    (E) For all integers a and n, if a | n2 then a | n .
    false
    Counterexample: for a = 4 and n = 2 we have a = 4 | 4 = n2 but a =
    4 /| 2 = n .

    2. { 5 points } Prove the statement. Recall that the symbol /| means ”does not divide”.
    For all integers a, b, and c, if a/|bc then a/|b.
    Suppose not.
    Then there exist integers a, b, and c such that a/|bc and a | b.
    From the definition of a | b there exists an integer k such that
    b = ka . Then bc = kac = (kc)a .
    But kc is an integer. Therefore a | bc , which is a contradiction.
    The statement can be proved by contraposition. The contrapositive statement is:
    For all integers a, b, and c , if a | b then a | bc .
    To prove of the last statement we assume that a, b, and c are arbitrary integers and a | b.
    Then there exists an integer k such that b = ka . Thus bc = kac = (kc)a .
    Since kc is an integer, we have a | bc.

    Bonus Problem. { 5 points } Prove the statement.


    √
    4 2 − 9 is irrational.
    Suppose not, i.e. the number is rational. √ a
    Then there
    √ exist integers a and b 6
    = 0 such
    √ that 4 2−9= b .
    a a+9b a+9b
    Hence 4 2 = b + 9 = b and therefore 2 = 4b .
    But a +
    √9b and 4b 6= 0 are integers.
    Thus, 2 is a rational number, which is a contradiction.

    You might also like

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy