Scribd
Upload
17 views1 page

Tutorial 1 - Copy For Discrete Mathematics

The document outlines a tutorial on the Direct Method of Proof in Further Discrete Mathematics, including various exercises on existential statements, proofs, and disproofs. It covers topics such as properties of integers, rational numbers, and perfect squares. The tutorial also includes corollaries and a known formula related to nonnegative integers.

Uploaded by

ntombizonkepromisep
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
17 views1 page

Tutorial 1 - Copy For Discrete Mathematics

The document outlines a tutorial on the Direct Method of Proof in Further Discrete Mathematics, including various exercises on existential statements, proofs, and disproofs. It covers topics such as properties of integers, rational numbers, and perfect squares. The tutorial also includes corollaries and a known formula related to nonnegative integers.

Uploaded by

ntombizonkepromisep
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

SATH122- Further Discrete Mathematics

Tutorial 1: Direct Method of Proof

July 2018

Mr Zondi P

1. Prove the following existential statements


1 1
a) There are integers 𝑚 and 𝑛 such 𝑚 > 1 and 𝑛 > 1 and + is an integer.
𝑚 𝑛
b) There are real numbers 𝑎 and 𝑏 such that √𝑎 + 𝑏= √𝑎 + √𝑏
c) There is a real number 𝑥 such that 𝑥 > 1 and 2𝑥 > 𝑥 10
d) There is a perfect square that can be written as a sum of two other perfect
squares.
2. Prove the following statements
a) For every integers 𝑛, if 𝑛 is odd then 3𝑛 + 5 is odd.
b) If 𝑘 is any odd integer and 𝑚 is any even integer, then 𝑘 2 + 𝑚2 is odd.
c) If 𝑛 is any even integer, then (−1)𝑛 = 1
d) Any product of four consecutive integers is one less than a perfect square

3. Disprove the following existential statements


a) There exists an integer 𝑚 ≥ 3 such that 𝑚2 − 1 is prime
b) There exists and integer 𝑛 such that 6𝑛2 + 27 is prime

4. Prove the following statements


a) Assume 𝑎 and 𝑏 are both integers and that 𝑎 ≠ 0 and 𝑏 ≠ 0. Prove that
(𝑏 − 𝑎)⁄(𝑎𝑏)2 is a rational number.
b) The square of any rational number is rational
c) Every integer is a rational number
5. Determine which of the following statements are true and which are false. Prove each
true statement, and give counterexample to each false statement
a) The product of any two rational number is rational
𝑟+𝑠
b) If 𝑟 and 𝑠 are any two rational numbers, then 2
is rational.
𝑎+𝑏
c) For all real numbers 𝑎 and 𝑏, if 𝑎 < 𝑏 then 𝑎 < <𝑏
2
6. Prove the following corollaries
a) For any rational number 𝑠, 5𝑠 3 + 8𝑠 2 − 7 is rational
b) If 𝑟 is any rational number, then 3𝑟 2 − 2𝑟 + 4 is rational

7. It is known that if 𝑛 is any nonnegative integer, then


1
1 1 1 1 1 − ( 𝑛+1 )
1 + + 2 + 3 + ⋯+ 𝑛 = 2
2 2 2 2 1
1−2
Prove that the right hand side is rational, then express it as a ratio of two integers

You might also like