High School Mathematics Extensions/Mathematical Proofs/Solutions

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Mathematical proofs[edit | edit source]

At the moment, the main focus is on authoring the main content of each chapter. Therefore this exercise solutions section may be out of date and appear disorganised.

If you have a question please leave a comment in the "discussion section" or contact the author or any of the major contributors.


Mathematical induction exercises[edit | edit source]

1.

Prove that 12 + 22 + ... + n2 = n(n+1)(2n+1)/6
When n=1,
L.H.S. = 12 = 1
R.H.S. = 1*2*3/6 = 6/6 = 1
Therefore L.H.S. = R.H.S.
Therefore this is true when n=1.
Assume that this is true for some positive integer k,
i.e. 12 + 22 + ... + k2 = k(k+1)(2k+1)/6
Therefore this is also true for k+1.
Therefore, by the principle of mathematical induction, this holds for all positive integer n.

2.

Prove that for n ≥ 1,
where xn and yn are integers.
When n=1,
Therefore x1=1 and y1=1, which are both integers.
Therefore this is true when n=1.
Assume that this is true for some positive integer k,
i.e. where xk and yk are integers.
Because xk and yk are both integers, therefore xk + 5yk and xk + yk are integers also.
Therefore this is true for k+1 also.
Therefore, by the principle of mathematical induction, this holds for all positive integer n.

3. (The solution assume knowledge in binomial expansion and summation notation)

Note that
Prove that there exists an explicit formula for
for all integer m. E.g.
It's clear that 11 + 21 + ... = (n+1)n/2. So the proposition is true for m=1.
Suppose that
has an explicit formula in terms of n for all j < k (**), we aim to prove that
also has an explicit formula.
Starting from the property given, i.e.
Since we know the formula for power sum of any power less then k (**), we can solve the above equation and find out the formula for the k-th power directly.
Hence, by the principle of strong mathematical induction, this proposition is true.

Additional info for question 3[edit | edit source]

The method employed in question 3 to find out the general formula for power sum is called the method of difference, as shown by that we consider the sum of all difference of adjacant terms.

Aside from the method above, which lead to a recursive solution for finding the general formula, there're also other methods, such as that of using generating function. Refer to the last question in the generating function project page for detail.