MTS101-Mathematical Induction Solutions-1
MTS101-Mathematical Induction Solutions-1
1 + 2 + . . . + n + 1 = (1 + 2 + . . . + n) + (n + 1)
n(n + 1)
= + (n + 1) since the result holds for n
2
(n + 1)(n + 2)
=
2
hence the result holds for n + 1 as well, and the induction step is complete.
1.(b) Base Step: 12 = 1(1+1)(2·1+1)
6
, so the base case is finished.
Induction Step: Suppose the result holds for some positive integer n. We need to show
the result holds for n + 1. We have:
= 1−
1 1
1 ·2
1.(c) Base Step: , so the base case is finished.
1+1
Induction Step: Suppose the result holds for some positive integer n. We need to show
the result holds for n + 1. We have:
1 1 1 1 1 1 1
1·2 2·3 (n + 1) · (n + 2) 1·2 2·3 n · (n + 1) (n + 1) · (n + 2)
+ +... + =( + +... + )+
= (1 −
1 1
(n + 1) · (n + 2)
)+ since the result holds for n
n +1
n + 2 −1
= 1− = 1−
1
(n + 1) · (n + 2) n +2
hence the result holds for n + 2 as well, and the induction step is complete.
1
2. The first few terms in the sequence are 1, 3, 7, 15, 31, . . .. We see that adding 1 to each
of these gives us just powers of 2. We claim that the nth term in the sequence has the
form 2n − 1. Let us prove this claim using induction.
Base Step: The first term is 1, while 21 − 1 = 1. So the base case is done.
Induction Step: Assume the result is true for some positive integer n, so that an =
2n − 1. For n + 1, we have:
4. Base Step: (for n = 4 ) 4! = 24, while 24 = 16; thus n! > 2n for n = 4, and the base
step is finished.
Induction Step: Assume the result is true for some positive integer n ≥ 4, so that
n! > 2n . For n + 1 we have:
(n + 1)! = (n + 1) · n! ≥ (n + 1) · 2n ≥ 2 · 2n = 2n+1
where the first inequaltiy holds since n! ≥ 2n , and the second holds since n + 1 ≥ 2.
(This is true since n ≥ 4, and hence n+1 ≥ 5 ≥ 2). We have shown that (n+1)! ≥ 2n+1 ,
so the result holds for n + 1, and the induction step is done.
5. This is similar to problem 3.
Base Step: 81 − 1 = 7, which is clearly divisible by 7, so the base step is complete.
Induction Step: Assume the result is true for some positive integer n, so that 8n − 1 is
2
divisible by 7. Another way to write this is 8n = 7k + 1 for some ineteger k. We want
to show the result for k + 1. We have:
= <√ =
1 1 1 1
2·1 2 3 2·1+1
Induction Step: Assume the result is true for some positive integer n, so that:
1 ·3 ·5 . . . ·(2n −1)
≤ √
1
2 · 4 · 6 . . . · 2n 2n + 1
The result for n + 1 is similar, except we need to√multiply the left side of the above
2n + 1 2n + 1
equation by , while the right side by p . So as long as we show
2n + 2 2(n + 1) + 1
that we multiply the left side by a smaller number, than the right side, the result will
hold. Thus we just need to prove:
√
≤ p
2n + 1 2n + 1
2n + 2 2(n + 1) + 1
4
2n+2 k, where k is an odd number.
For n + 1 we have:
3(2 ) − 1 = [3(2n ) ]2 − 1
n+1
= (3(2 ) − 1)(3(2 ) + 1)
n n
= (3(2 ) − 1)(3(2 ) − 1 + 2)
n n
= (2n+2 k)(2n+2 k + 2)
= 2n+2 k × 2 × (2n+1 k + 1)
= 2n+3 (k × (2n+1 k + 1))
1+1+2+... + n
When we draw another line, we get n + 1 lines, while the number of regions increases
by n + 1 (by the argument stated above), hence the number of regions is:
(1 + 1 + 2 + . . . + n) + (n + 1) = 1 + 1 + 2 + . . . + n + 1
6
For n = 2, we have:
= (x + )2 − 2 · x · = (x + )2 − 2
1 1 1 1
x2 + 2
x x x x
which is an integer since x + 1x and 2 are both integers. This completes the base step.
Induction Step: Let n ≥ 2 be an integer, and assume the result holds for all positive
integers k, k ≤ n. In particular, this means that xn + n is equal to some integer a,
1
x
n−1 1
and x + is equal to some integer b. For n + 1 we have:
xn−1
Hard Problems
13. Notice that for (a) and (b) m and n have greatest common divisor equal to 1, therefore
on each turn a player can always make a move of replacing the number k with its
divisor l strictly less than k, as long as l > 1, or as long as l = 1 and 1 has not yet
appeared on the board.
Instead of dealing with the actual numbers we will deal with the number of prime
factors they have. Then, the game becomes equivalent to the following. Two numbers
m and n are written on the board. On each turn a player can select a number k greater
than 0 and replace it with any positive integer less than k, or replace it with 0, as long
as 0 is not already written on the board. A player who cannot make a move loses.
It immediately follows that m = 0, n = 1 is a losing position. Therefore, m = 0, n ≥ 2
is a winning position (since a player replaces n with 1 and wins). Furtheremore,
m = 1, n ≥ 1 is a winning position (since a player replaces n with 0 and wins). Hence
m = 2, n = 2 is a losing position; m = 2, n ≥ 3 is a winning position; m = 3, n = 3 is
a losing position, m = 3, n ≥ 4 is a winning position. By induction it follows that for
k ≥ 2, m = k, n = k is a losing position, while m = k, n ≥ k + 1 is a winning position.
(a) We are in the case of m = 40, n = 51 ≥ 41 in the “transformed” game, thus this is
a winning position and Alphonse wins.
(b) This case is different, since now m and n have more than one divisor in common.
We will deal with the original game and not make any transformations. Note that m
7
and n are both powers of 2, so throughout the whole game only powers of 2 can appear
on the board.
We first note that the player who first writes down a number less than or equal to
2 loses. This is because if they write down 1, then 2 has not yet been written; the
opponent on the next turn replaces the other number with 2 wins. (Note that this
move is legal since at the start m > 2, n > 2 so at the time that 1 is written, the other
number on the board must be greater than 2). If they write down 2, then 1 has not
yet been written; the opponent on the next turn replaces the other number with 1 and
wins.
Similarly, the player who first writes down a number less than or equal to 8 loses. This
is because if they write down 4, the other player writes 8 – thus forcing the original
player to write down a number less than or equal to 2 (note they cannot replace 8
with 4 since 4 has already appeared on the board). Similarly, if they write down 8, the
other player writes down 4 and wins.
By induction it follows that if m, n > 22k−1 then the player who first writes down a
number less than or equal to 22k−1 loses for every positive integer k. Thus for the case
m = 240 , n = 253 , the player to first write down a number less than or equal to 239
loses. Therefore on his first turn, Alphonse replaces 253 with 241 and wins – because on
her turn, Beryl is faced with 240 and 241 on the board and has to write down a number
less than or equal to 239 .
Note: you should always consider induction as a possible method for proving that a
particular strategy in a game is a winning one – because often the objective in games
is to reduce the current state of the game to a “smaller” state, which is exactly how
induction works.
14. We will prove that np gives the remainder of n when divided by p. Since p is prime,
np
if we manage to prove this, then we get the result, since then np−1 = gives the
n
n
remainder of = 1 when divided by p. As usual, we use induction. This time, we
need to only prove the result for all integers n between 1 and p − 1, inclusive, since for
n
any positive integer n, we have np gives the same remainder when divided by p, as k p ,
where k is the remainder that n itself gives, when divided by p. (This is a useful fact
in number theory).
Base Step: n = 1. Then 1p = 1, which gives remainder 1 when divided by p. Thus the
base step is done.
Induction Step: Let n be a positive integer, with 1 ≤ n ≤ p − 2, such that the result
holds for n, i.e. np gives remainder n when divided by p. Another way to write this is
8
np = kp + n for some integer k. By the binomial theorem, for n + 1 we have:
p p−1 p p−2 p
(n + 1)p = np +
p− 1
n + n + ... n +1
1 2
p p(p −1) . . . (p −i + 1)
=
i i!
p p−1 p np−2 + . . . p
p −1 n +1
(n + 1)p = np + n +
1 2
| {z }
divisi ble by p
p
= n + lp + 1
(n + 1)p = kp + n + lp + 1 = p(k + l) + (n + 1)
which means that (n + 1)p gives the remainder of (n + 1) when divided by p, and the
induction step is complete.
15. Base Step: n = 4. We have:
x1 x2 x3 x4
+ + +
x4 + x 2 x1 + x 3 x2 + x 4 x3 + x1
r
≥2 1 ·
x 1 + x 3 x2 + x4 x + x 3 x2 + x 4
= + =2
x2 + x 4 x 1 + x 3 x2 + x4 x1 + x3
using the AM-GM inequality. This completes the base step.
Induction Step: Assume the result holds for some positive integer n; we wish to prove
it for n + 1. Let x1 , x2 , . . . , xn+1 be arbitrary positive real numbers; we wish to show:
≥2
x1 x2 xn+1
A= + +... +
xn+1 + x2 x1 + x3 xn + x1
In the above expression, we can without loss of generality assume that xn+1 is the
smallest among x1 , x2 , . . . , xn+1 . This will be used later.
9
By the induction assumption, we know that:
≥2
x1 x2 xn
B = + +... +
x n + x 2 x1 + x3 xn−1 + x1
If we can show that A ≥ B, then it would immediately follow that A ≥ 2 and we
would be done. Let us try to show A ≥ B by looking at the difference between these
two numbers:
A− B = −(
x1 xn xn+1 x1 xn
+ + + )
xn+1 + x2 xn−1 + xn+1 xn + x1 xn + x2 xn−1 + x1
− −
x1 x1 xn xn xn+1
=( )+( )+
xn+1 + x2 xn + x2 xn−1 + xn+1 xn−1 + x1 xn + x1
The first bracket in the above expression is non-negative since xn+1 + x2 ≤ xn + x2 ,
which is true because xn+1 ≤ xn (recall that we assumed earlier than xn+1 ≤ xi for
all i = 1, 2, . . . n). The second bracket is non-negative since xn−1 + xn+1 ≤ xn−1 + x1 ,
which is true because xn+1 ≤ x1 . And the last term is positive since xn+1 , xn , x1 are
all positive. Thus the whole expression is non-negative, and A − B ≥ 0.
Therefore A ≥ B. Since B ≥ 2, it follows that A ≥ 2, which means that the result is
true for n + 1 and the induction step is done.
Note: The assumption that xn+1 was the smallest among the terms is key here. How
does one come up with such an assumption? Well, we could write out the difference
A − B regardless of any assumptions. Then we see, that this would be non-negative
if we can get xn+1 ≤ xn and xn+1 ≤ xn−1 . So as long as in the sequence of numbers
x1 , x2 , . . . , xn+1 , x1 , x2 we can find one that is less than or equal to the previous two,
we are in business. This is of course always possible.
1
0