Question

Suppose you have two numbers x, y ∈ Q (that is, x and y are rational...

Suppose you have two numbers x, y ∈ Q (that is, x and y are rational numbers).

a) Use the formal definition of a rational number to express each of x and y as the ratio of two integers. Remember, x and y could be different numbers!

(b) Use your results from (a) to show that xy must also be a rational number. Carefully justify your answer, showing how it satisfies the formal definition of a rational number.

(2) Suppose that a and b are integers.

(a) Use the formal definition of ”even integer” to translate the following statements: a is an even integer. b is an even integer. :. ab is an even integer.

(b) Using your answers from (a), write the statement ”If ab is an even integer, then a is an even integer or b is an even integer” using formal notation.

(c) ) What is the negation of your statement in (b)? Simplify as much as possible. (Keep in mind that if an integer is not even, then it must be odd! Also keep in mind the definition of an odd integer.)

(d) Show that the statement you wrote in (c) leads to a contradiction. Carefully show your algebra. What does this tell us about the original statement?

Homework Answers

Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
Prove or disprove the following statements. Remember to disprove a statement you have to show that...
Prove or disprove the following statements. Remember to disprove a statement you have to show that the statement is false. Equivalently, you can prove that the negation of the statement is true. Clearly state it, if a statement is True or False. In your proof, you can use ”obvious facts” and simple theorems that we have proved previously in lecture. (a) For all real numbers x and y, “if x and y are irrational, then x+y is irrational”. (b) For...
3.a) Let n be an integer. Prove that if n is odd, then (n^2) is also...
3.a) Let n be an integer. Prove that if n is odd, then (n^2) is also odd. 3.b) Let x and y be integers. Prove that if x is even and y is divisible by 3, then the product xy is divisible by 6. 3.c) Let a and b be real numbers. Prove that if 0 < b < a, then (a^2) − ab > 0.
The definition of a rational number is a number that can be written with the form...
The definition of a rational number is a number that can be written with the form a/b with the fraction a/b being in lowest form. Prove that √27 is an irrational number using a proof by contradiction. You MUST use the approach described in class (and on the supplemental material on cuLearn) and your solution MUST include a lemma demonstrating that if ? 2 is divisible by 3 then ? is divisible by 3. Hint: reduce √27 to the product...
(1) Let x be a rational number and y be an irrational. Prove that 2(y-x) is...
(1) Let x be a rational number and y be an irrational. Prove that 2(y-x) is irrational a) Briefly explain which proof method may be most appropriate to prove this statement. For example either contradiction, contraposition or direct proof b) State how to start the proof and then complete the proof
Exercise 2.5.1: Proofs by cases. Prove each statement. Give some explanation of your answer (b) If...
Exercise 2.5.1: Proofs by cases. Prove each statement. Give some explanation of your answer (b) If x and y are real numbers, then max(x, y) + min(x, y) = x + y. (c) If integers x and y have the same parity, then x + y is even. The parity of a number tells whether the number is odd or even. If x and y have the same parity, they are either both even or both odd. (d) For any...
1. Let n be an odd positive integer. Consider a list of n consecutive integers. Show...
1. Let n be an odd positive integer. Consider a list of n consecutive integers. Show that the average is the middle number (that is the number in the middle of the list when they are arranged in an increasing order). What is the average when n is an even positive integer instead? 2. Let x1,x2,...,xn be a list of numbers, and let ¯ x be the average of the list.Which of the following statements must be true? There might...
In class we proved that if (x, y, z) is a primitive Pythagorean triple, then (switching...
In class we proved that if (x, y, z) is a primitive Pythagorean triple, then (switching x and y if necessary) it must be that (x, y, z) = (m2 − n 2 , 2mn, m2 + n 2 ) for some positive integers m and n satisfying m > n, gcd(m, n) = 1, and either m or n is even. In this question you will prove that the converse is true: if m and n are integers satisfying...
Consider the following (true) statement: “All birds have wings but some birds cannot fly.” Part 1...
Consider the following (true) statement: “All birds have wings but some birds cannot fly.” Part 1 Write this statement symbolically as a conjunction of two sub-statements, one of which is a conditional and the other is the negation of a conditional. Use three components (p, q, and r) and explicitly state what these components correspond to in the original statement. Hint: Any statement in the form "some X cannot Y" can be rewritten equivalently as “not all X can Y,”...
You’re the grader. To each “Proof”, assign one of the following grades: • A (correct), if...
You’re the grader. To each “Proof”, assign one of the following grades: • A (correct), if the claim and proof are correct, even if the proof is not the simplest, or the proof you would have given. • C (partially correct), if the claim is correct and the proof is largely a correct claim, but contains one or two incorrect statements or justications. • F (failure), if the claim is incorrect, the main idea of the proof is incorrect, or...
Definition:In the complex numbers, let J denote the set, {x+y√3i :x and y are in Z}....
Definition:In the complex numbers, let J denote the set, {x+y√3i :x and y are in Z}. J is an integral domain containing Z. If a is in J, then N(a) is a non-negative member of Z. If a and b are in J and a|b in J, then N(a)|N(b) in Z. The units of J are 1, -1 Question:If a and b are in J and ab = 2, then prove one of a and b is a unit. Thus,...