Professional Documents
Culture Documents
Proof. Let p and q be positive. (In a loose sense, p and q are distinct if |p| 6= |q|.)
The key ingredient here is that for all primes p and all integers u and v we have that
p | uv implies p | u or p | v.
By hypothesis we have p | a, so there exists an integer s such that a = ps. Moreover,
the hypothesis states that q | a, so q | ps. Since p and q are distinct, q - p, and thus
we have q | s. So there exists an integer t such that s = qt. Since a = ps, we have
a = pqt. Therefore, (pq) | a.
3. Let A be a nonempty set, and let R be a relation on the powerset 2A of A such that
(X, Y) ∈ R if and only if X ⊆ Y or Y ⊆ X. Prove or disprove: R is an equivalence
relation. [5]
Prove by induction or by the well ordering principle that A(n) is true for all integers
n ≥ 1. [5]
Discrete Mathematics (Math 271), Spring 2004 3
X
m+1 X
m
(2k − 1) = (2m + 1) + (2k − 1)
k=1 k=1
2
= (2m + 1) + m by I.H.
2 2
= m + 2m + 1 = (m + 1)
P
Thus we have m+1k=1 (2k−1) = (m+1), which is A(m+1). Since A(m) −→ A(m+1)
and A(1) was true, this establishes the hypothesis for all n ≥ 1.
n
1 n
6. Let B(n) : 1+ ≥1+ .
2 2
Prove by induction or by the well ordering principle that B(n) is true for all integers
n ≥ 0. [5]
x
≥1+
2
Thus, we have (1 + 1/2)x ≥ 1 + x/2, i.e. if B(x − 1) is true, then B(x) is also true,
contrary to the assumption. So x ∈ / X, and in fact, X is empty. So, there are no
counterexamples to B (in the given range), and therefore, B(n) is true for all n ≥ 0.