Lesson test: Direct proof and proof by cases

Sign in

Libre University uses your GitHub account. Signing in is only needed to sit a final test, so the score is kept on your profile.

Direct proof and proof by cases

1.[1p]
How should a direct proof of "for every integer $n$ , if $n$ is odd then $n^{2}$ is odd" begin?

Let $n$ be an odd integer.

Correct

Let $n = 3$ , which is odd.

The answer is: Let $n$ be an odd integer.

Suppose $n^{2}$ is odd.

The answer is: Let $n$ be an odd integer.

Let $n$ be an integer, and suppose $n$ is not odd.

The answer is: Let $n$ be an odd integer.

2.[2p]
Which of these statements are true?

Select all that apply

$3 ∣ 12$

Correct

$12 ∣ 3$

The answer is: $3 \mid 12$, $-4 \mid 12$, $7 \mid 0$, $1 \mid 13$

$- 4 ∣ 12$

Correct

$7 ∣ 0$

Correct

$0 ∣ 7$

The answer is: $3 \mid 12$, $-4 \mid 12$, $7 \mid 0$, $1 \mid 13$

$1 ∣ 13$

Correct

3.[2p]
Put the lines of this proof that if $a ∣ b$ and $b ∣ c$ then $a ∣ c$ in order.

By definition, $b = a k$ and $c = b m$ for some integers $k$ and $m$ .
Let $a$ , $b$ and $c$ be integers with $a ∣ b$ and $b ∣ c$ .
Substituting, $c = (a k) m = a (k m)$ .
Since $k$ and $m$ are integers, so is $k m$ .
So $c$ is $a$ times an integer, and by definition $a ∣ c$ .

Show the answer

a, b, c, d, e

4.[1p]
A proof of $| x + y | \leq | x | + | y |$ that treats only the case $x \geq 0, y \geq 0$ and the case $x < 0, y < 0$ is complete.

True

The answer is: False

False

Correct

5.[2p]
The proof that every odd square is one more than a multiple of $8$ writes $n = 2 k + 1$ and gets $n^{2} = 4 (k^{2} + k) + 1$ . What finishes it?

The earlier result that $k^{2} + k$ is even for every integer $k$

Correct

The fact that $k$ must itself be odd

The answer is: The earlier result that $k^2 + k$ is even for every integer $k$

Checking that $1$ , $9$ , $25$ and $49$ are each one more than a multiple of $8$

The answer is: The earlier result that $k^2 + k$ is even for every integer $k$

The fact that $4$ divides $8$

The answer is: The earlier result that $k^2 + k$ is even for every integer $k$

6.[3p]
Match each claim to the method its proof in the lesson used.

If $a ∣ b$ and $b ∣ c$ then $a ∣ c$
$n^{2} + n$ is even for every integer $n$
$| x + y | \leq | x | + | y |$ for all reals
For every $k$ there are $k$ consecutive non-primes
Some irrational $a$ and $b$ have $a^{b}$ rational

cases on signs
a non-constructive existence proof
a constructive existence proof
a direct proof from the definition
cases on parity

Show the answer

If $a ∣ b$ and $b ∣ c$ then $a ∣ c$ : a direct proof from the definition $n^{2} + n$ is even for every integer $n$ : cases on parity $| x + y | \leq | x | + | y |$ for all reals: cases on signs For every $k$ there are $k$ consecutive non-primes: a constructive existence proof Some irrational $a$ and $b$ have $a^{b}$ rational: a non-constructive existence proof

7.[3p]
The proof that some irrational $a$ and $b$ give $a^{b}$ rational considers ${\sqrt{2}}^{\sqrt{2}}$ . Which of these are true of it?

Select all that apply

It shows that one of two pairs works without saying which

Correct

It uses the fact that every real number is rational or irrational

Correct

It shows that ${\sqrt{2}}^{\sqrt{2}}$ is rational

The answer is: It shows that one of two pairs works without saying which, It uses the fact that every real number is rational or irrational, It relies on $\sqrt{2}$ being irrational

It names a pair that works

The answer is: It shows that one of two pairs works without saying which, It uses the fact that every real number is rational or irrational, It relies on $\sqrt{2}$ being irrational

It relies on $\sqrt{2}$ being irrational

Correct

8.[2p]
The constructive proof takes $N = (k + 1)!$ and the numbers $N + 2$ to $N + (k + 1)$ . For $k = 5$ , which run of non-primes does it produce?

$722$ to $726$

Correct

$24$ to $28$

The answer is: $722$ to $726$

$122$ to $126$

The answer is: $722$ to $726$

$720$ to $724$

The answer is: $722$ to $726$

9.[2p]
Why does a direct proof of "if $n^{2}$ is even then $n$ is even" stall?

The hypothesis $n^{2} = 2 k$ gives $n = \pm \sqrt{2 k}$ , which is not visibly twice an integer

Correct

The statement is false for negative $n$

The answer is: The hypothesis $n^2 = 2k$ gives $n = \pm\sqrt{2k}$, which is not visibly twice an integer

Its hypothesis is false for every integer $n$

The answer is: The hypothesis $n^2 = 2k$ gives $n = \pm\sqrt{2k}$, which is not visibly twice an integer

A direct proof cannot be used on a statement about every integer

The answer is: The hypothesis $n^2 = 2k$ gives $n = \pm\sqrt{2k}$, which is not visibly twice an integer

1.[1p] How should a direct proof of "for every integer n, if n is odd then n2 is odd" begin?

2.[2p] Which of these statements are true?

3.[2p] Put the lines of this proof that if a∣b and b∣c then a∣c in order.

4.[1p] A proof of |x+y|≤|x|+|y| that treats only the case x≥0,y≥0 and the case x<0,y<0 is complete.

5.[2p] The proof that every odd square is one more than a multiple of 8 writes n=2k+1 and gets n2=4(k2+k)+1. What finishes it?

6.[3p] Match each claim to the method its proof in the lesson used.

7.[3p] The proof that some irrational a and b give ab rational considers 22. Which of these are true of it?

8.[2p] The constructive proof takes N=(k+1)! and the numbers N+2 to N+(k+1). For k=5, which run of non-primes does it produce?

9.[2p] Why does a direct proof of "if n2 is even then n is even" stall?

1.[1p]
How should a direct proof of "for every integer $n$ , if $n$ is odd then $n^{2}$ is odd" begin?

2.[2p]
Which of these statements are true?

3.[2p]
Put the lines of this proof that if $a ∣ b$ and $b ∣ c$ then $a ∣ c$ in order.

4.[1p]
A proof of $| x + y | \leq | x | + | y |$ that treats only the case $x \geq 0, y \geq 0$ and the case $x < 0, y < 0$ is complete.

5.[2p]
The proof that every odd square is one more than a multiple of $8$ writes $n = 2 k + 1$ and gets $n^{2} = 4 (k^{2} + k) + 1$ . What finishes it?

6.[3p]
Match each claim to the method its proof in the lesson used.

7.[3p]
The proof that some irrational $a$ and $b$ give $a^{b}$ rational considers ${\sqrt{2}}^{\sqrt{2}}$ . Which of these are true of it?

8.[2p]
The constructive proof takes $N = (k + 1)!$ and the numbers $N + 2$ to $N + (k + 1)$ . For $k = 5$ , which run of non-primes does it produce?

9.[2p]
Why does a direct proof of "if $n^{2}$ is even then $n$ is even" stall?