hw07 Sol
hw07 Sol
(b) For each positive integer m and each positive integer n > m,
n n n 3n
∑ a · b · c = m .
a+b+c=m
(Notation: the sum on the left is taken over all triples of nonnegative integers (a, b, c) such that
a + b + c = m.)
Solution:
(a) Suppose we have n people and want to pick some of them to form a special committee. More-
over, suppose we want to pick a leader from among the committee members - how many ways
can we do this?
We can do so by first picking the committee members, and then choosing the leader from
among the chosen members. We can pick a committee of size k in nk ways, and once we have
picked the committee, we have k choices for which member becomes the leader. In order to
account for all possible committee sizes, we need to sum over all valid values of k, hence we
get the expression
n
n
∑ k· k ,
k=0
which is exactly the left hand side of the identity we want to prove.
Now, we can also count this set by first picking the leader for the committee, then choosing
the rest of committee. We have n choices for the leader, and then among the remaining n − 1
people, we can pick any subset to form the rest of the committee. Picking a subset of size k
can be done in n−1
k ways, hence summing over k, we get the expression
n−1
n−1
n· ∑ ,
k=0 k
which is exactly the right hand side of the identity we want to prove.
which is exactly the left hand side of the identity we want to prove.
2 Fibonacci Fashion
Note 10 You have n accessories in your wardrobe, and you’d like to plan which ones to wear each day for
the next t days. As a student of the Elegant Etiquette Charm School, you know it isn’t fashionable
to wear the same accessories multiple days in a row. (Note that the same goes for clothing items in
general). Therefore, you’d like to plan which accessories to wear each day represented by subsets
S1 , S2 , . . . , St , where S1 ⊆ {1, 2, . . . , n} and for 2 ≤ i ≤ t, Si ⊆ {1, 2, . . . , n} and Si is disjoint from
Si−1 .
(a) For t ≥ 1, prove that there are Ft+2 binary strings of length t with no consecutive zeros (assume
the Fibonacci sequence starts with F0 = 0 and F1 = 1).
(b) Use a combinatorial proof to prove the following identity, which, for t ≥ 1 and n ≥ 0, gives the
number of ways you can create subsets of your n accessories for the next t days such that no
accessory is worn two days in a row:
n n − x1 n − x2 n − xt−1
∑ ∑ · · · ∑ x1 ··· = (Ft+2 )n .
x1 ≥0 x2 ≥0 xt ≥0 x2 x 3 xt
a
(You may assume that b =0 whenever a < b.)
Solution:
Inductive hypothesis: For k ≥ 2, assume that for all 1 ≤ x ≤ k, there are Fx+2 binary strings of
length x with no consecutive zeros.
Inductive step: Consider the set of binary strings of length k + 1 with no consecutive zeros. We
can group these into two sets: those which end with 0, and those which end with 1.
For those that end with a 0, these can be constructed by taking the set of binary strings of length
k − 1 with no consecutive zeros and appending 10 to the end of them. Then by the inductive
hypothesis, this set is of size Fk+1 . For those that end with a 1, these can be constructed by
taking the set of binary strings of length k with no consecutive zeros and appending a 1 to the
end of them. Then by the inductive hypothesis, this set is of size Fk+2 .
Since the union of these two subsets (those which end with 0 and those which end with 1) cover
all possible elements in the set of binary strings of length k + 1 with no consecutive zeros, the
size of this set will be Fk+1 + Fk+2 = Fk+3 . This thus proves the inductive hypothesis.
(b) We first consider the left-hand-side of the identity. To create subsets of accessories that are
consecutively disjoint with sizes xi = |Si |, 1 ≤ i ≤ n, there are xn1 ways to create S1 , the subset
of accessories you will wear on the first day. Then since S2 must be disjoint from S1 , there
n−x1
are x2 ways choose accessories to create S2 . Since S3 must be disjoint from S2 , there are
n−x2
ways choose accessories to create S3 , and so on. Thus there are xn1 n−x n−xt−1
x2 · · ·
1
x3 xt
ways to create subsets of accessories S1 , . . . , St with respective sizes x1 , . . . , xt . Then altogether,
S1 , . . . , St can be created in
n n − x1 n − x2 n − xt−1
∑ ∑ · · · ∑ x1 x2 x3
···
xt
x1 ≥0 x2 ≥0 xt ≥0
ways.
Now, consider the right-hand-side of the identity. Now for each accessory i ∈ {1, . . . , n}, we
will first decide which subsets S1 , . . . , St will contain accessory i, where we can’t assign item
i to consecutive subsets. For each accessory, we create a binary string of length t, where the
leading digit represents S1 , the next digit represents S2 , and so on. We will say that a 0 in digit k
means that we will wear the accessory on day k. Therefore, the number of ways we can assign
accessory i to subsets S1 , . . . , St such that no two consecutive subsets both have accessory i is
the same as the number of binary strings of length t with no consecutive zeros. Thus using
the result in part (a), there are Ft+2 ways to select the nonconsecutive subsets containing i
among S1 , . . . , St . Since we have n accessories, accessories 1, . . . , n can be placed into subsets
S1 , . . . , St in (Ft+2 )n ways.
This thus proves the identity.
For each of the following, decide if the expression is "Always countable", "Always uncountable",
"Sometimes countable, Sometimes uncountable".
For the "Always" cases, prove your claim. For the "Sometimes" case, provide two examples – one
where the expression is countable, and one where the expression is uncountable.
(a) X ∩Y
(b) X ∪Y
S
(c) i∈X Ai
T
(d) i∈X Ai
S
(e) i∈Y Bi
T
(f) i∈Y Bi
Solution:
Uncountable: When the Ai are identical, the intersection is uncountable. Let X = N, let Ai = R
T
for all i. i∈X Ai = R is uncountable.
(e) Sometimes countable, sometimes uncountable.
S
Countable: Make all the Bi identical. For example, let Y = R, and Bi = N. Then, i∈Y Bi = N
is countable.
Uncountable: Let Y = R. Let Bi = {i}. Then,
S
i∈Y Bi = R is uncountable.
T
(f) Always countable. Let y be any element of Y . By is countable. Thus, i∈Y Bi , a subset of By ,
is also countable.
Solution:
(a) Countable. Each disk must contain at least one rational point (an (x, y)-coordinate where x, y ∈
Q) in its interior, and due to the fact that no two disks overlap, the cardinality of the set of disks
can be no larger than the cardinality of Q × Q, which we know to be countable.
(b) Possibly uncountable. Consider the circles Cr = {(x, y) ∈ R2 : x2 + y2 = r} for each r ∈ R. For
r1 ̸= r2 , Cr1 and Cr2 do not overlap, and there are uncountably many of these circles (one for
each real number).