Selected Hints

Appendix A Selected Hints

0 Introduction and Preliminaries

0 Introduction and Preliminaries
0.2 Mathematical Statements

Exercises

0.2.18.

Hint.

Try an example. What if

P (x)

was the predicate, “

x

is prime”? What if it was “if

x

is divisible by 4, then it is even”? Of course examples are not enough to prove something in general, but that is entirely the point of this question.

🔗

0.2.19.

Hint.

First figure out what each statement is saying. For part (c), you don’t need to assume the domain is an infinite set.

🔗

0.3 Sets

Exercises

0.3.7.

Hint.

You should be able to write all of them out. Don’t forget

A

and

B,

which are also candidates for

C .

🔗

0.3.14.

Hint.

It might help to think about what the union

A_{2} \cup A_{3}

is first. Then think about what numbers are not in that union. What will happen when you also include

A_{5} ?

🔗

0.3.17.

Hint.

We are looking for a set containing 16 sets.

🔗

0.3.18.

Hint.

Write these out, or at least start to and look for a pattern.

🔗

0.3.29.

Hint.

It looks like you should be able to define the set

A

like this. But consider the two possible values for

| A | .

🔗

0.4 Functions

Exercises

0.4.2.

Hint.

Since the domain and codomain are the same size, is it possible for a function to be injective but not surjective, or surjective but not injective?

🔗

0.4.20.

Hint.

Work with some examples. What if

f = (\begin{matrix} 1 & 2 & 3 \\ a & a & b \end{matrix})

and

g = (\begin{matrix} a & b & c \\ 5 & 6 & 7 \end{matrix}) ?

🔗

0.4.25.

Hint.

To find the recurrence relation, consider how many new handshakes occur when person

n + 1

enters the room.

🔗

0.4.29.

Hint.

One of these is not always true. Try some examples!

🔗

1 Counting

1 Counting
1.1 Additive and Multiplicative Principles

Exercises

1.1.9.

Hint.

To find out how many numbers are divisible by 8 and 5, for example, take

640 / (8 \cdot 5)

and round down.

🔗

1.1.11.

Hint.

For part (a) you could use the formula for PIE, but for part (b) you might be better off drawing a Venn diagram.

🔗

1.1.13.

Hint.

You could consider cases. For example, any number of the form ODD-ODD-EVEN will have an even sum. Alternatively, how many three digit numbers have the sum of their digits even if the first two digits are 54? What if the first two digits are 19?

🔗

1.1.14.

Hint.

For a simpler example, there are 4 divisors of

6 = 2 \cdot 3 .

They are

1 = 2^{0} \cdot 3^{0},

2 = 2^{1} \cdot 3^{0},

3 = 2^{0} \cdot 3^{1}

and

6 = 2^{1} \cdot 3^{1} .

🔗

1.2 Binomial Coefficients

Exercises

1.2.7.

Hint.

Break the question into 6 cases.

🔗

1.3 Combinations and Permutations

Exercises

1.3.6.

Hint.

If you pick any three points, you can get a triangle, unless those three points are all on the

x

-axis or on the

y

-axis. There are other ways to start this as well, and any correct method should give the same answer.

🔗

1.4 Combinatorial Proofs

Exercises

1.4.3.

Hint.

There will be 185 triangles. But to find them …

How many vertices of the triangle can be on the horizontal axis?
🔗

🔗
Will any three dots work as the vertices?
🔗

🔗

🔗

1.4.4.

Hint.

The answer is 120.

🔗

1.4.6.

Hint.

Try Exercise 1.4.5

🔗

1.4.7.

Hint.

What if you wanted a pair of co-maids-of-honor?

🔗

1.4.8.

Hint.

For the combinatorial proof: what if you don’t yet know how many bridesmaids you will have?

🔗

1.4.9.

Hint.

Count handshakes.

🔗

1.4.13.

Hint.

This one might remind you of Example 1.4.6

🔗

1.4.14.

Hint.

For the lattice paths, think about what sort of paths

2^{n}

would count. Not all the paths will end at the same point, but you could describe the set of end points as a line.

🔗

1.5 Stars and Bars

Exercises

1.5.7.

Hint.

The probability will be 1 divided by however many different combinations of 5 coins your friend could have.

🔗

1.7 Chapter Summary

Chapter Review

1.7.16.

Hint.

Use stars and bars.

🔗

2 Sequences

2 Sequences
2.1 Describing Sequences

Exercises

2.1.1.

Hint.

Try adding or subtracting the same small number from each term to see if you recognize the sequence.

🔗

2.1.2.

Hint.

Try adding, subtracting, or dividing each term by a constant to make the sequence more recognizable.

🔗

For part (d), try expressing the sequence as the sum of two well known sequences.

🔗

2.1.10.

Hint.

You will want to write out the sequence, guess a closed formula, and then verify that you are correct.

🔗

2.1.11.

Hint.

Write out the sequence, guess a recursive definition, and verify that the closed formula is a solution to that recursive definition.

🔗

2.1.14.

Hint.

Try an example: when you draw the 4th line, it will cross three other lines, so will be divided into four segments, two of which are infinite. Each segment will divide a previous region into two.

🔗

2.1.15.

Hint.

Consider three cases: the last digit is a 0, a 1, or a 2. Two of these should be easy to count, but strings ending in 0 cannot be proceeded by a 2, so require a little more work.

🔗

2.1.17.

Hint.

Think recursively, like you did in Pascal’s triangle.

🔗

2.1.18.

Hint.

There is only one way to tile a

2 \times 1

board, and two ways to tile a

2 \times 2

board (you can orient the dominoes in two ways). In general, consider the two ways the domino covering the top left corner could be oriented.

🔗

2.4 Solving Recurrence Relations

Exercises

2.4.3.

Hint.

Use telescoping or iteration.

🔗

2.5 Induction

Exercises

2.5.9.

Hint.

It is not possible to score exactly 11 points. Can you prove that you can score

n

points for any

n \geq 12 ?

🔗

2.5.11.

Hint.

Start with

(k + 1)

-gon and divide it up into a

k

-gon and a triangle.

🔗

2.5.15.

Hint.

For the inductive step, you can assume you have a strictly increasing sequence up to

a_{k}

where

a_{k} < 100 .

Now you just need to find the next term

a_{k + 1}

so that

a_{k} < a_{k + 1} < 100 .

What should

a_{k + 1}

be?

🔗

2.5.17.

Hint.

For the inductive case, you will need to show that

(k + 1)^{2} + (k + 1)

is even. Factor this out and locate the part of it that is

k^{2} + k .

What have you assumed about that quantity?

🔗

2.5.18.

Hint.

This is similar to Exercise 2.5.15, although there you were showing that a sequence had all its terms less than some value, and here you are showing that the sum is less than some value. But the partial sums forms a sequence, so this is actually very similar.

🔗

2.5.20.

Hint.

As with the previous question, we will want to subtract something from

n

in the inductive step. There we subtracted the largest power of 2 less than

n .

So what should you subtract here?

🔗

Note, you will still need to take care here that the sum you get from the inductive hypothesis, together with the number you subtracted will be a sum of distinct Fibonacci numbers. In fact, you could prove that the Fibonacci numbers in the sum are non-consecutive!

🔗

2.5.21.

Hint.

We have already proved this without using induction, but looking at it inductively sheds light onto the problem (and is fun).

🔗

The question you need to answer to complete the inductive step is, how many new handshakes take place when a person

k + 1

enters the room. Why does adding this give you the correct formula?

🔗

2.5.22.

Hint.

You will need to use strong induction. For the inductive case, try multiplying

(x^{k} + \frac{1}{x^{k}}) (x + \frac{1}{x})

and collect which terms together are integers.

🔗

2.5.23.

Hint.

Here’s the idea: since every entry in Pascal’s Triangle is the sum of the two entries above it, we can get the

k + 1

st row by adding up all the pairs of entry from the

k

th row. But doing this uses each entry on the

k

th row twice. Thus each time we drop to the next row, we double the total. Of course, row 0 has sum

1 = 2^{0}

(the base case). Now try to make this precise with a formal induction proof. You will use the fact that

(\binom{n}{k}) = (\binom{n - 1}{k - 1}) + (\binom{n - 1}{k})

for the inductive case.

🔗

2.5.24.

Hint.

To see why this works, try it on a copy of Pascal’s triangle. We are adding up the entries along a diagonal, starting with the 1 on the left-hand side of the 4th row. Suppose we add up the first 5 entries on this diagonal. The claim is that the sum is the entry below and to the left of the last of these 5 entries. Note that if this is true, and we instead add up the first 6 entries, we will need to add the entry one spot to the right of the previous sum. But these two together give the entry below them, which is below and left of the last of the 6 entries on the diagonal. If you follow that, you can see what is going on. But it is not a great proof. A formal induction proof is needed.

🔗

2.5.26.

Hint.

You are allowed to assume the base case. For the inductive case, group all but the last function together as one sum of functions, then apply the usual sum of derivatives rule, and then the inductive hypothesis.

🔗

2.5.27.

Hint.

For the inductive step, we know by the product rule for two functions that

(f_{1} f_{2} f_{3} \dots f_{k} f_{k + 1})^{'} = (f_{1} f_{2} f_{3} \dots f_{k})^{'} f_{k + 1} + (f_{1} f_{2} f_{3} \dots f_{k}) f_{k + 1}^{'} .

🔗

Then use the inductive hypothesis on the first summand, and distribute.

🔗

2.5.29.

Hint.

You will need three base cases. This is a very good hint actually, as it suggests that to prove

P (n)

is true, you would want to use the fact that

P (n - 3)

is true. So somehow you need to increase the number of squares by 3.

🔗

2.6 Chapter Summary

Chapter Review

2.6.14.

Hint.

Hint: $(n + 1)^{n + 1} > (n + 1) \cdot n^{n} .$
🔗

🔗
Hint: This should be similar to the other sum proofs. The last bit comes down to adding fractions.
🔗

🔗
Hint: Write $4^{k + 1} - 1 = 4 \cdot 4^{k} - 4 + 3 .$
🔗

🔗
Hint: one 9-cent stamp is 1 more than two 4-cent stamps, and seven 4-cent stamps is 1 more than three 9-cent stamps.
🔗

🔗
Careful to actually use induction here. The base case: $2^{2} = 4 .$ The inductive case: assume $(2 n)^{2}$ is divisible by 4 and consider $(2 n + 2)^{2} = (2 n)^{2} + 4 n + 4 .$ This is divisible by 4 because $4 n + 4$ clearly is, and by our inductive hypothesis, so is $(2 n)^{2} .$
🔗

🔗

🔗

2.6.15.

Hint.

This is a straight forward induction proof. Note you will need to simplify

{(\frac{n (n + 1)}{2})}^{2} + (n + 1)^{3}

and get

{(\frac{(n + 1) (n + 2)}{2})}^{2} .

🔗

2.6.16.

Hint.

There are two base cases

P (0)

and

P (1) .

Then, for the inductive case, assume

P (k)

is true for all

k < n .

This allows you to assume

a_{n - 1} = 1

and

a_{n - 2} = 1 .

Apply the recurrence relation.

🔗

3 Symbolic Logic and Proofs

3 Symbolic Logic and Proofs
3.1 Propositional Logic

Exercises

3.1.5.

Hint.

You should write down three statements using the symbols

P, Q, R, S .

If Geoff is a truth-teller, then all three statements would be true. If he was a liar, then all three statements would be false. But in either case, we don’t yet know whether the four atomic statements are true or false, since he hasn’t said them by themselves.

🔗

A truth table might help, although is probably not entirely necessary.

🔗

3.1.10.

Hint.

There will be three rows in which the statement is false.
🔗

🔗
Consider the three rows that evaluate to false and say what the truth values of $T,$ $S,$ and $P$ are there.
🔗

🔗
You are looking for a row in which $P$ is true, and the whole statement is true.
🔗

🔗

🔗

3.1.11.

Hint.

Write down three statements, and then take the negation of each (since he is a liar). You should find that Tommy ate one item and drank one item. (

Q

is for cucumber sandwiches.)

🔗

3.1.15.

Hint.

For the second part, you can inductively assume that from the first

n - 2

implications you can deduce

P_{1} \to P_{n - 1} .

Then you are back in the case in part (a) again.

🔗

3.1.18.

Hint.

It might help to translate the statements into symbols and then use the formulaic rules to simplify negations (i.e., rules for quantifiers and De Morgan’s laws). After simplifying, you should get

\forall x (\neg E (x) \land \neg O (x)),

for the first one, for example. Then translate this back into English.

🔗

3.1.19.

Hint.

What do these concepts mean in terms of truth tables?

🔗

3.2 Proofs

Exercises

3.2.5.

Hint.

One of the implications will be a direct proof, the other will be a proof by contrapositive.

🔗

3.2.6.

Hint.

This is really an exercise in modifying the proof that

\sqrt{2}

is irrational. There you proved things were even; here they will be multiples of 3.

🔗

3.2.7.

Hint.

Part (a) should be a relatively easy direct proof. Look for a counterexample for part (b).

🔗

3.2.9.

Hint.

A proof by contradiction would be reasonable here, because then you get to assume that both

a

and

b

are odd. Deduce that

c^{2}

is even, and therefore a multiple of 4 (why? and why is that a contradiction?).

🔗

3.2.11.

Hint.

Use a different style of proof for each part. The last part should remind you of the pigeonhole principle, so mimicking that proof might be helpful.

🔗

3.2.13.

Hint.

Note that if

\log (7) = \frac{a}{b},

then

7 = 10^{\frac{a}{b}} .

Can any power of 7 be the same as a power of 10?

🔗

3.2.14.

Hint.

What if there were? Deduce that

x

must be odd, and continue towards a contradiction.

🔗

3.2.15.

Hint.

Prove the contrapositive by cases. There will be 4 cases to consider.

🔗

3.2.16.

Hint.

Your friend’s proof a proof, but of what? What implication follows from the given proof? Is that helpful?

🔗

3.2.18.

Hint.

Consider the set of numbers of friends that everyone has. If everyone had a different number of friends, this set must contain 20 elements. Is that possible? Why not?

🔗

3.2.19.

Hint.

This feels like the pigeonhole principle, although a bit more complicated. At least, you could try to replicate the style of proof used by the pigeonhole principle. How would the episodes need to be spaced out so that no two of your sixty were exactly 4 apart?

🔗

4 Graph Theory

4 Graph Theory
4.1 Definitions

Exercises

4.1.3.

Hint.

Both situations are possible. Go find some examples.

🔗

4.1.6.

Hint.

The bipartite graph is a little tricky. You will definitely want a complete bipartite graph, but it could be

K_{5, 5}

or maybe

K_{1, 9},

or …

🔗

4.1.7.

Hint.

The first graph is bipartite, which can be seen by labeling it as follows.

🔗

$A graph with five vertices. Four vertices make up the corners of a diamond; the last vertex is in the center. Edges form the perimeter of the diamond and connect the center vertex to the two corners on the left and right. The vertices on left and right are labeled A, the three vertices in the center column are each labeled B.$

Two of the remaining three are also bipartite.

🔗

4.1.8.

Hint.

C_{4}

is bipartite;

C_{5}

is not. What about all the other values of

n ?

🔗

4.1.11.

Hint.

How many edges does

K_{n}

have? One of the two graphs will not be connected (unless

j = 1

🔗

4.1.12.

Hint.

You should be able to deduce everything directly from the definition. However, perhaps it would be helpful to know that the

N

stands for neighborhood.

🔗

4.1.13.

Hint.

Be careful to make sure the edges are not “directed.” In a graph, if

a

is adjacent to

b,

then

b

is adjacent to

a .

In the language of relations, we say that the edge relation is symmetric.

🔗

4.1.14.

Hint.

You might want to answer the questions for some specific values of

n

to get a feel for them, but your final answers should be in terms of

n .

🔗

4.1.15.

Hint.

Try a small example first: any graph with 8 vertices must have two vertices of the same degree. If not, what would the degree sequence be?

🔗

4.1.16.

Hint.

Use the handshake lemma 4.1.5. What would happen if all the vertices had degree 2?

🔗

4.2 Trees

Exercises

4.2.3.

Hint.

Careful: the graphs might not be connected.

🔗

4.2.4.

Hint.

Try Exercise 4.2.2.

🔗

4.2.5.

Hint.

Try a proof by contradiction and consider a spanning tree of the graph.

🔗

4.2.7.

Hint.

For part (b), trying some simple examples should give you the formula. Then you just need to prove it is correct.

🔗

4.2.8.

Hint.

Examining the proof of Proposition 4.2.1 gives you most of what you need, but make sure to just give the relevant parts, and take care to not use proof by contradiction.

🔗

4.2.9.

Hint.

You will need to remove a vertex of degree one, apply the inductive hypothesis to the result, and then say which set the degree one vertex to.

🔗

4.2.10.

Hint.

e

is the root, then

b

will have three children (

a,

c,

and

d

), all of which will be siblings, and have

b

as their parent.

a

will not have any children.

🔗

In general, how can you determine the number of children a vertex will have, if it is not a root?

🔗

4.2.14.

Hint.

There is an example with 7 edges.

🔗

4.2.15.

Hint.

The previous exercise will be helpful.

🔗

4.2.16.

Hint.

Note that such an edge, if removed, would disconnect the graph. We call graphs that have an edge like this 1-connected.

🔗

4.3 Planar Graphs

Exercises

4.3.3.

Hint.

What would Euler’s formula tell you?

🔗

4.3.5.

Hint.

You can use the handshake lemma to find the number of edges, in terms of

v,

the number of vertices.

🔗

4.3.11.

Hint.

What is the length of the shortest cycle? (This quantity is usually called the girth of the graph.)

🔗

4.3.14.

Hint.

The girth of the graph is 4.

🔗

4.3.15.

Hint.

What has happened to the girth? Careful: we have a different number of edges as well. Better check Euler’s formula.

🔗

4.4 Coloring

Exercises

4.4.7.

Hint.

For (a), you will want the teams to be vertices and games to be edges. Which does it make sense to color?

🔗

4.4.10.

Hint.

The chromatic number is 4. Now prove this!

🔗

Note that you cannot use the 4-color theorem, or Brooke’s theorem, or the clique number here. In fact, this graph, called the Grötzsch graph is the smallest graph with chromatic number 4 that does not contain any triangles.

🔗

4.4.13.

Hint.

You can color

K_{5}

in such a way that every vertex is adjacent to exactly two blue edges and two red edges. However, there is a graph with only 5 edges that will result in a vertex incident to three edges of the same color no matter how they are colored. What is it, and how can you generalize?

🔗

4.4.14.

Hint.

The previous exercise is useful as a starting point.

🔗

4.5 Euler Paths and Circuits

Exercises

4.5.7.

Hint.

This is harder than the previous three questions. Think about which “side” of the graph the Hamilton path would need to be on every other step.

🔗

4.5.9.

Hint.

If you read off the names of the students in order, you would need to read each student’s name exactly once, and the last name would need to be of a student who was friends with the first. What sort of a cycle is this?

🔗

4.5.10.

Hint.

Draw a graph with 6 vertices and 8 edges. What sort of path would be appropriate?

🔗

4.7 Chapter Summary

Chapter Review

4.7.23.

Hint.

You might want to give the proof in two parts. First prove by induction that the cycle

C_{n}

has

v = e .

Then consider what happens if the graph is more than just the cycle.

🔗

5 Additional Topics

5 Additional Topics
5.1 Generating Functions

Exercises

5.1.10.

Hint.

You should “multiply” the two sequences.

🔗

5.2 Introduction to Number Theory

Exercises

5.2.13.

Hint.

First reduce each number modulo 9, which can be done by adding up the digits of the numbers.

🔗

5.2.18.

Hint.

Solve the Diophantine equation

13 x + 20 y = 2

(why?). Then consider which value of

k

(the parameter in the solution) is optimal.

🔗

Prev Top Next

Appendix A Selected Hints

0 Introduction and Preliminaries

0 Introduction and Preliminaries0.2 Mathematical Statements

Exercises

0.2.18.

0.2.19.

0.3 Sets

Exercises

0.3.7.

0.3.14.

0.3.17.

0.3.18.

0.3.29.

0.4 Functions

Exercises

0.4.2.

0.4.20.

0.4.25.

0.4.29.

1 Counting

1 Counting1.1 Additive and Multiplicative Principles

Exercises

1.1.9.

1.1.11.

1.1.13.

1.1.14.

1.2 Binomial Coefficients

Exercises

1.2.7.

1.3 Combinations and Permutations

Exercises

1.3.6.

1.4 Combinatorial Proofs

Exercises

1.4.3.

1.4.4.

1.4.6.

1.4.7.

1.4.8.

1.4.9.

1.4.13.

1.4.14.

1.5 Stars and Bars

Exercises

1.5.7.

1.7 Chapter Summary

Chapter Review

1.7.16.

2 Sequences

2 Sequences2.1 Describing Sequences

Exercises

2.1.1.

2.1.2.

2.1.10.

2.1.11.

2.1.14.

2.1.15.

2.1.17.

2.1.18.

2.4 Solving Recurrence Relations

Exercises

2.4.3.

2.5 Induction

Exercises

2.5.9.

2.5.11.

2.5.15.

2.5.17.

2.5.18.

2.5.20.

2.5.21.

2.5.22.

2.5.23.

2.5.24.

2.5.26.

2.5.27.

2.5.29.

2.6 Chapter Summary

Chapter Review

2.6.14.

0 Introduction and Preliminaries
0.2 Mathematical Statements

1 Counting
1.1 Additive and Multiplicative Principles

2 Sequences
2.1 Describing Sequences

3 Symbolic Logic and Proofs
3.1 Propositional Logic

4 Graph Theory
4.1 Definitions