Give a counterexample to each of the following claims. Describe in a sentence or two why your counterexample shows that the claim is false. Note: If the claim refers to multiple numbers like x and y, a complete counterexample includes values for both x and y. 1. Vx,yZ: x² < y² → x < y. • Recall that Vx, y € Z is a notation shortcut for VxEZ, Vy € Z. 2.3x Zx 51 o Recall that a b means that a is a divisor of b with remainder 0. 3. Vx, y Z: x² + y² is an even number.
Give a counterexample to each of the following claims. Describe in a sentence or two why your counterexample shows that the claim is false. Note: If the claim refers to multiple numbers like x and y, a complete counterexample includes values for both x and y. 1. Vx,yZ: x² < y² → x < y. • Recall that Vx, y € Z is a notation shortcut for VxEZ, Vy € Z. 2.3x Zx 51 o Recall that a b means that a is a divisor of b with remainder 0. 3. Vx, y Z: x² + y² is an even number.
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question
Can you help me understand and solve these problems about cases, contradictions and counterexamples.

Transcribed Image Text:**Problem 1**
Give a counterexample to each of the following claims. Describe in a sentence or two why your counterexample shows that the claim is false.
**Note:** If the claim refers to multiple numbers like \( x \) and \( y \), a complete counterexample includes values for both \( x \) and \( y \).
1. \(\forall x, y \in \mathbb{Z} : x^2 < y^2 \rightarrow x < y\).
- Recall that \(\forall x, y \in \mathbb{Z}\) is a notation shortcut for \(\forall x \in \mathbb{Z}, \forall y \in \mathbb{Z}\).
2. \(\neg \exists x \in \mathbb{Z} : x | 51\).
- Recall that \(a | b\) means that \(a\) is a divisor of \(b\) with remainder 0.
3. \(\forall x, y \in \mathbb{Z} : x^2 + y^2\) is an even number.

Transcribed Image Text:**Problem 2**
Prove that \( \sqrt{6} \) is not a rational number; i.e. there are no integers \( a, b \in \mathbb{Z} \) such that \( \sqrt{6} = \frac{a}{b} \).
**Notes:**
- A fraction \( \frac{a}{b} \) is in *lowest terms* if there is no integer \( k \) that divides both \( a \) and \( b \).
- It is traditional in math classes that you can use anything you have previously proven. You might find a problem from the last warmup to be helpful.
- It is also traditional that you may “use without proof” facts that the instructor tells you are acceptable to use without proof. In this case, you may use without proof the fact that, for any integer \( n \), it is the case that \( n^2 \) is even if and only if \( n \) is even.
**Problem 3**
Prove that if \( n \) is an integer, then \( 3n^2 + n + 4 \) is even.
**Hint:** Divide into cases based on whether \( n \) is odd or even.
Expert Solution

Step 1: Note
“Since you have posted multiple questions, we will provide the solution only to the first question as per our Q&A guidelines. Please repost the remaining questions separately.”
Step by step
Solved in 4 steps with 3 images

Recommended textbooks for you

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,

