Here is quiz 2.
Problem 1 asks to show that an integer is odd if and only if it is the sum of two consecutive integers.
Here is an argument: Let be an integer. We need to prove two statements, corresponding to the two directions of the “if and only if:”
- If
is odd, then there are two consecutive integers
and
such that
- If
is the sum of two consecutive integers
and
then
is odd.
1. Assume that is odd. Then, by definition, there is an integer
such that
Note that
so we can take
and we see that
and
are consecutive, and
2. Now assume that where
and
are consecutive integers. Say,
Then
By definition, this means that
is odd.
Problem 2 asks to show that if are integers and we have that
and
then also
To see this, assume that are integers such that
and
By definition, this means that there are integers
and
such that
and
Then
But
Let
Then
is an integer, and
By definition, this means that
Problem 3 asks to show that if is a positive integer, then
is composite.
As stated, this is false. For a counterexample, note that is a positive integer. However,
is not composite according to the definition given in the book:
An integer
is composite if and only if there is an integer
such that
and
In any case, it is true that if is an integer and
then
is composite. To see this, note first that
Now, if
then
and
so
Also, since
then
and therefore
We have shown that
and that
By definition, this means that
is composite.