25.06.2020 Views

epdf.pub_the-nuts-and-bolts-of-proofs-third-edition-an-intr

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Special Kinds of Theorems 47

EXAMPLE 2. If a positive integer number is divisible by a prime number,

then it is not prime.

Proof: The statement is false. Consider the prime number 7. It is

a positive integer number and it is divisible by the prime number 7 (indeed

7/7 = 1). So, it satisfies the hypothesis, but 7 is a prime number. Thus, the

conclusion is false. •

The statement "If a positive integer number is divisible by a prime

number and the quotient of the division is not 1, then it is not prime" is true.

EXAMPLE 3. If an integer is a multiple of 10 and 15, then it is a multiple

of 150.

Proof. The statement is false. Just consider the least common multiple

of 10 and 15, namely 30. This number is a multiple of 10 and 15, but it is

not a multiple of 150. •

The statement "If an integer is a multiple of 10 and 15, then it is a multiple

of 30" is true.

EXERCISES

Use counterexamples to prove that the following statements are false.

1. Let/be an increasing function and gf be a decreasing function. Then

the function /+ g is constant. (See front material of the book for the

definitions of nonincreasing function and /+ g.)

2. If t is an angle in the first quadrant, then 2 sin t = sin 2t.

3. Consider the polynomial P(x) = —x^ + 2x — 3/4. If j = P(^X then y

is always negative.

4. The reciprocal of a real number x > 1 is a number y such that

0<3;<1.

5. The number 2" + 1 is prime for all counting numbers n.

6. Let /, g, and h be three functions defined for all real numbers. If

fog=foh, then g = h.

Discuss the truth of the following statements; that is, prove those that are

true and provide counterexamples for those that are false.

7. The sum of any five consecutive integers is divisible by 5.

8. If/(x) = x^ and g{x) = x'^, then/(x) < g(x) for all real numbers x; > 0.

9. The sum of four consecutive counting numbers is divisible by 4 (see

exercise 7).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!