This preview shows pages 1–2. Sign up to view the full content.
COT3100C01, Fall 2000
S. Lang
Solution Key to Assignment #1 (40 pts.)
9/14/2000
1.
(16 pts.) Recall the following definitions and theorems about integers:
Definition
. An integer
a
is even if
a
= 2
b
for some integer
b
.
(That is, there exists an integer
b
such that
a
= 2
b
.)
Definition
. An integer
a
is odd if
a
= 2
b
+ 1 for some integer
b
.
(That is, there exists an integer
b
such
that
a
= 2
b
+ 1.)
Definition
. An integer
a
is a divisor of integer
b
, denoted
a

b
, if
a
≠
0 and there exists integer
c
such that
b
=
ac
.
Theorem.
Each integer is either even or odd (but not both).
Theorem.
The sum of two odd integers is even.
Theorem.
If the product of two integers is even, then at least one of them is even.
Theorem.
If
a

b
and
b

c
, then
a

c
.
Use these definitions and theorems (and other appropriate laws) to answer each of the following questions,
where all variables refer to integers:
(a)
If
a
+
b
+
c
is odd, then either all 3 numbers
a
,
b
, and
c
are odd or exactly one of them is odd.
We prove the following contrapositive statement, using the indirect proof method:
If (all 3 numbers
a
,
b
,
c
, are even) or (exactly one of the 3 numbers is even), then the sum
a
+
b
+
c
is
even  (1).
We consider two cases:
(Case One) All 3 numbers
a
,
b
,
c
, are even.
That is,
a
= 2
p
,
b
= 2
q
, and
c
= 2
r
, for some integers
p
,
q
,
and
r
.
Thus,
a
+
b
+
c
= 2
p
+ 2
q
+ 2
r
= 2(
p
+
q
+
r
)  (2).
Since the factor (
p
+
q
+
r
) in (2) is an
integer by the closure property of integer addition, so (2) implies
a
+
b
+
c
is even.
(Case Two) Exactly one of the 3 numbers
a
,
b
,
c
, is even.
We first assume
a
is even, both
b
and
c
are
odd.
Thus, by the definition of even and odd integers,
a
= 2
p
,
b
= 2
q
+ 1, and
c
= 2
r
+ 1.
Adding
them up, we get
a
+
b
+
c
= 2
p
+ (2
q
+ 1) + (2
r
+ 1) = 2(
p
+
q
+
r
+ 1)  (3). Since the factor (
p
+
q
+
r
+ 1) in (3) is an integer by the closure property of integer addition, so (3) implies
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview. Sign up
to
access the rest of the document.
 Fall '09

Click to edit the document details