prove using mathematical induction:
1. 1^4 + 2^4 + 3^4 + ... + n^4 = (1/30)n(n+1)(2n+1)(3n^2 + 3n - 1)
-----------------------
Base case, n=1: LHS = 1^4 = 1
RHS = (1/30)(1*2*3*5) = (1/30)(30) = 1 (base case holds)
Hypothesis:
Assume + ... + = for n=k
Step case: Let n=k+1
Thus far, it has been setup. The task now is to show LHS = RHS for n=k+1, and the proof will be complete.
LHS = + ... +
...which can also be written...
= + ... + +
...apply the hypothesis to terms...
= +
...expand and simplify (lots of steps omitted here)...
=
Proof is complete, but lets show this last expression is of the form of the RHS ...
Let u = k+1 --> k=u-1:
LHS =
= (= RHS)