Sol 01
Sol 01
Sol 01
Instructor: Guoliang Wu
1.3 Prove 13 +23 +· · ·+n3 = (1+2+· · ·+n)2 for all natural numbers n.
Solution: (1) When n = 1, the assertion holds since 13 = 1 = 12 .
(2) Suppose 13 + 23 + · · · + n3 = (1 + 2 + · · · + n)2 , we want to show
that
13 + 23 + · · · + n3 + (n + 1)3 = [1 + 2 + · · · + n + (n + 1)]2 .
(1 + 2 + · · · + n)2 + (n + 1)3 ,
and the right hand side equals (using the formula for (a + b)2 =
1
...)
The first term is a divisible by 7 since 11n −4n is, and the second
term 7(4n ) is clearly a multiple of 7. Therefore, 11n+1 − 4n+1 is
also divisible by 7.
By induction, we proved the claim.
2
The first term is a divisible by 36 since 7n − 6n − 1 is, and
the second term 36n is clearly a multiple of 36. Therefore,
7n+1 − 6(n + 1) − 1 is divisible by 36.
By induction, we proved the claim.
1.9 (a) Decide for which integers the inequality 2n > n2 is true.
(b) Prove you claim in (a) by mathematical induction.
Solution: (a) We check that when n = 2, equality holds. For
n = 3, 23 = 8 < 32 = 9. When n = 2, equality holds again. For
n = 5, 6, · · · , 2n > n2 holds since 25 = 32 > 52 = 25, 26 = 64 > 62 =
36, etc. We may guess that 2n > n2 is true for n ≥ 5.
(b) We use mathematical induction (or rather, a slight varia-
tion. See Exercise 1.8 in the textbook.) to prove our assertion
in (a).
(1) When n = 5, we have checked that 2n > n2 is true.
(2) Suppose 2n > n2 for some n ≥ 5, we need to show that
2n+1 > (n + 1)2 is also true. Observe that
a4 − 4a2 + 2 = 0.
b6 − 22b3 + 49 = 0.
3
By Rational Zeros Theorem, the only possible rational roots of
this equation are ±1, ±7, ±49.
√ We check that none of them is
a root. Therefore, b = (3 + 2)2/3 does not represent a rational
number.
p m pn − qm
x = (r + x) − r = − =
q n qn