Chapter 2

Induction and Combinatorics

[27/100%]
Show
LaTeX
Problem 28

Using induction, prove that for natural nn

?
(a)

7n−17^{n}-1 is divisible by 6;

(b)

3n+7n−23^{n}+7^{n}-2 is divisible by 8;

(c)

3n+n23^{n}+n^{2} is divisible by 4 for odd nn.

Problem 29

Prove that 14+24+…+n4=130n(n+1)(2n+1)(3n2+3n−1)1^{4}+2^{4}+\ldots +n^{4}=\frac{1}{30} n(n+1)(2 n+1)\left(3 n^{2}+3 n-1\right).

?
Problem 30

Prove that 1⋅2+2⋅3+…+n(n+1)=n(n+1)(n+2)31 \cdot 2+2 \cdot 3+\ldots +n(n+1)=\frac{n(n+1)(n+2)}{3}.

?
Problem 31

Prove that 1+x+x2+x3+…+xn=xn+1−1x−11+x+x^{2}+x^{3}+\ldots +x^{n}=\frac{x^{n+1}-1}{x-1} for x≠1x \neq 1.

?
Problem 32

Prove that nn distinct lines in the plane divide it into regions that can be colored with white and black paint so that adjacent regions are colored with different colors.

?
Problem 33

Find the error in the following ``proof by induction'' of the statement: for all n⩾1n \geqslant 1 the inequality 3n>3(n+1)+13^{n}>3(n+1)+1 holds.

Suppose that for some k⩾1k \geqslant 1 the inequality holds, that is 3k>3(k+1)+13^{k}>3(k+1)+1; denote this inequality by (∗)(*). Let us prove that it also holds for n=k+1n=k+1, that is 3k+1>3(k+2)+13^{k+1}>3(k+2)+1. To this end, note that for any k⩾1k \geqslant 1 the inequality 2⋅3k>32 \cdot 3^{k}>3 holds. Adding its left- and right-hand sides to the corresponding sides of inequality (∗)(*), we get 3k+2⋅3k>3(k+1)+1+33^{k}+2 \cdot 3^{k}>3(k+1)+1+3, or 3k+1>3(k+2)+13^{k+1}>3(k+2)+1, as required.

Determine for which nn the inequality 3n>3(n+1)+13^{n}>3(n+1)+1 actually holds.

?
Problem 34

Find the error in the following ``proof by induction'' of the statement: in every herd of nn cows, all the animals are the same color.

Base case: if n=1n=1, the herd consists of a single cow, so all the cows are the same color. Inductive step: suppose the statement has been proved for nn. Consider a herd of n+1>1n+1>1 cows. Remove a cow xx from this herd; by the induction hypothesis all the remaining nn cows are the same color. Remove a different cow yy from this herd; by the induction hypothesis all the remaining nn cows are again the same color. We then get that the colors of the cows xx and yy coincide with the colors of all the other cows, so all the cows in the herd are the same color.

?
Problem 35

The Fibonacci numbers Fi,i∈ωF_{i}, i \in \omega, are defined as follows: Fi=iF_{i}=i for i<2i<2, Fi=Fi−1+Fi−2F_{i}=F_{i-1}+F_{i-2} otherwise. Prove that FiF_{i} is even if and only if ii is divisible by 3.

?
Problem 36

Prove the identity Fi−1Fi+1=Fi2+(−1)iF_{i-1} F_{i+1}=F_{i}^{2}+(-1)^{i} for the Fibonacci numbers, for i>0i>0.

?
Problem 37

The number ee is the sum of the series e=∑i=0∞1/i!e=\sum_{i=0}^{\infty } 1 / i!. Let ene_{n} be the sum of the first nn terms of this series: en=∑i<n1/i!e_{n}=\sum_{i<n} 1 / i!. Prove that AnA_{n} — the total number of arrangements without repetition of nn objects taken any number mm of places at a time — equals enn!e_{n} n!. Conclude that for large nn it is approximately equal to en!en!.

?
Problem 38

Prove the identities:

?
(a)

Cnk=Cn−1k+Cn−1k−1C_{n}^{k}=C_{n-1}^{k}+C_{n-1}^{k-1};

(b)

nCn−1k−1=kCnkn C_{n-1}^{k-1}=k C_{n}^{k};

(c)

CnkCn−km−k=CmkCnmC_{n}^{k} C_{n-k}^{m-k}=C_{m}^{k} C_{n}^{m}.

Problem 39

Prove the binomial theorem using induction.

?
Problem 40

Prove that

Cn0<Cn1<…<Cn⌊n/2⌋−1<Cn⌊n/2⌋=Cn⌈n/2⌉>Cn⌈n/2⌉+1>…>Cnn−1>Cnn C_{n}^{0}<C_{n}^{1}<\ldots <C_{n}^{\lfloor n / 2\rfloor -1}<C_{n}^{\lfloor n / 2\rfloor }=C_{n}^{\lceil n / 2\rceil }>C_{n}^{\lceil n / 2\rceil +1}>\ldots >C_{n}^{n-1}>C_{n}^{n}

where ⌊x⌋\lfloor x\rfloor and ⌈x⌉\lceil x\rceil denote rounding of the number xx down and up to the nearest integer, respectively.

?
Problem 41

Prove that the number of partitions of an nn-element set into kk subsets, the first containing n1n_{1} elements, the second n2n_{2} elements, …\ldots, the kk-th nkn_{k} elements, equals n!n1!n2!…nk!\frac{n!}{n_{1}!n_{2}!\ldots n_{k}!}.

?
Problem 42

A lecturer plans to teach the same course for 20 years. To avoid boring the students, he decided to tell them three jokes each year, with this set of three jokes never to be repeated. What is the minimum number of jokes he must prepare?

?
Problem 43

On an island there lives a tribe of natives whose mouths contain at most 30 teeth. No two inhabitants of the island have the same set of teeth (two sets are the same if, for every tooth, it is either present in both or absent in both). Could this island have more inhabitants than

?
(a)

Torzhok?

(b)

Tver?

(c)

Moscow?

(d)

Russia?

(e)

the whole world?

Problem 44

Prove the Cauchy identity:

Cn+mk=∑i=0i=kCniCmk−i C_{n+m}^{k}=\sum _{i=0}^{i=k} C_{n}^{i} C_{m}^{k-i}
?
Problem 45

Prove that the number CnkC_{n}^{k} is odd if and only if ρ(k)⊆ρ(n)\rho (k) \subseteq \rho (n), where the value of the function ρ(x)\rho (x) is the set of binary digit positions containing a 1 in the binary representation of the number xx. In other words, if the binary representation of kk has a 1 in some position, then the binary representation of nn must also have a 1 in that position. Hint. Use induction on nn, write n=2u+mn=2^{u}+m for 1⩽m⩽2u1 \leqslant m \leqslant 2^{u}, and apply the Cauchy identity.

?
Problem 46

A multiset is an unordered collection of elements in which each element may occur any number of times. Two multisets are equal if each element occurs in them the same number of times. For example, the multiset {1,2,1,3}\left\{ 1,2,1,3\right\} equals the multiset {3,1,1,2}\left\{ 3,1,1,2\right\} and does not equal the multiset {1,2,2,3}\left\{ 1,2,2,3\right\}.

Prove that the number of ways to form a kk-element multiset from nn pairwise distinct elements, using each of them any number of times, equals Cn+k−1kC_{n+k-1}^{k}.

?
Problem 47

A pastry shop sells four kinds of pastries: cream puffs, shortbread pastries, ``potato'' cakes, and sponge cakes. In how many ways can one buy

?
(a)

6 pastries?

(b)

7 pastries?

(c)

7 pastries, if at least one pastry of each kind must be bought?

Problem 48

Let us call two outcomes of the Russian football championship coinciding in the essentials if in these outcomes the winners of the gold, silver, and bronze medals coincide, as well as the two teams relegated from the premier league (that is, that finished in the last two places). Find the number of distinct essentially-different outcomes (recall that 16 teams take part in the championship).

?
Problem 49

In how many ways can nn balls, of which mm are black and the rest white, be arranged in a row so that no two black balls end up adjacent?

?
Problem 50

Twelve knights sit at King Arthur's round table. Each of them is at odds with his neighbors. Five knights need to be chosen to free the princess. In how many ways can this be done so that no two chosen knights are enemies?

Solve this problem in the case where kk knights out of nn at the table need to be chosen.

?
Problem 51

Prove the inclusion-exclusion principle in set-theoretic form: if A1,…,AnA_{1}, \ldots , A_{n} are finite sets, then

∣⋃i=1nAi∣=−∑I⊆{1,…,n}I≠∅(−1)∣I∣∣⋂i∈IAi∣. \left|\bigcup _{i=1}^{n} A_{i}\right|=-\sum _{\substack {I \subseteq \left\{ 1, \ldots , n\right\} \\ I \neq \varnothing }}(-1)^{\left|I\right|}\left|\bigcap _{i \in I} A_{i}\right|.
?
Problem 52

How many of the first hundred positive natural numbers are not divisible by any of 2,3,52,3,5? And among the first thousand numbers?

?
Problem 53

Determine how many integer solutions the following system has:

{x+y+z=110⩽x⩽40⩽y⩽30⩽z⩽7 \begin{cases} x+y & +z=11 \\ 0 & \leqslant x \leqslant 4 \\ 0 & \leqslant y \leqslant 3 \\ 0 & \leqslant z \leqslant 7 \end{cases}
?
Problem 54

Find the number of permutations of nn elements in which no element remains in its original position.

?