## Bee_see one year ago Prove by induction that 12 + 22 + · · · + n2 = n(n + 1)(2n + 1)/6 for every positive integer n.

1. amistre64

what should our first step be?

2. Bee_see

I have written some stuff for the problem...so..|dw:1441663294530:dw|

3. Bee_see

assuming Sk is true

4. amistre64

your #2 is a little wrong,|dw:1441663385737:dw|

5. Bee_see

|dw:1441663404145:dw|

6. amistre64

i tend to use P(k) $P(k)=12+22+...+k^2=\frac{k(k+1)(2k+1)}{6}$ or simply $P(k)=\frac{k(k+1)(2k+1)}{6}$ now the idea is to add the next term to each side ... what is the next term?

7. welshfella

now add (k+ 1)^2 to the sum of k terms

8. Bee_see

(k+1)^2

9. Bee_see

|dw:1441663539407:dw|

10. amistre64

$P(k)+(k+1)^2~\color{red}{?=?}~\frac{k(k+1)(2k+1)}{6}+(k+1)^2$ the idea is to get it into the same FORM, since the only thing we really know is that the FORM is good for k=1

11. Bee_see

so k^2? before (k+1)^2 on the left side?

12. Bee_see

no K^2*

13. amistre64

P(k) is equal to all the kth term stuff, so all we need to do is add the next term to it can we rework thru valid mathimatical procesess $\frac{k(k+1)(2k+1)}{6}+(k+1)^2\color{red}{\implies}\frac{(k+1)^2((k+1)+1)(2(k+1)+1)}{6}$

14. amistre64

bah, i put a ^2 where there shouldnt be one ...

15. amistre64

$\frac{k(k+1)(2k+1)}{6}+(k+1)^2\color{red}{\implies}\frac{(k+1)~((k+1)+1)~(2(k+1)+1)}{6}$

16. amistre64

as long as we can work it thru from left format, to the right format, we are good as far as proof by induction goes

17. Bee_see

why didn't you do k(k+1) and turned it into k^2+k?

18. amistre64

because that is NOT the format that we are trying to prove ...

19. amistre64

proof by induction is ALL about the FORMAT ... we cannot go changing the format

20. amistre64

we want to work the (k+1)th term INTO the format ... not the other way around.

21. Bee_see

how did you get rid of the (k+1)^2? on the right side?

22. amistre64

i didnt ... i just simply showed that we need to go from one form, to the other ...

23. amistre64

id start by getting it all over the same denominator, then parsing out the numerator

24. amistre64

now, as a guide, you can work from the left format into the right format ... but that only proves you can work it one way, and not back again ... as long as you can show valid mathematical processes to work it back again your proof is done

25. amistre64

err, right into left ... never was good with sides lol

26. Bee_see

doesn't the numerator become k(k+1)(2k+1)+6(k+1)^2 ?

27. amistre64

yes

28. amistre64

now we can factor our a (k+1) to get started

29. amistre64

k(k+1)(2k+1)+6(k+1)^2 ^^^ ^^^ (k+1) [(2k+1)+6(k+1)] since we want to start it with a (k+1) we have that covered

30. Bee_see

ok

31. Bee_see

that still doesn't get rid of that 6 on the numerator

32. amistre64

:) lets guide ourselves backwards we want to end up with ((k+1)+1)(2(k+1)+1) (k+2)(2k+2+1) (k+2)(2k+3) 2k^2 +4k +3k +6 2k^2 +7k +6 ..................... expand what we got k(2k+1)+6(k+1) 2k^2 +k +6k +6 2k^2 +7k +6 they match up, so lets just work the process backwards

33. amistre64

now that we have a path to work from ... we can expand everything to here: 2k^2 +7k +6 split the 7k into 3k + 4k 2k^2 +3k + 4k +6 and facotr

34. Bee_see

I thought we wanted to end up with (k+1)[ (k+1)+1) ] [2(k+1)+1]...aren't you missing the (k+1)?

35. amistre64

no, im not missing it, im just ignoring it at the moment so i dont have to keep writing it down when we no longer have to focus on it ....

36. Bee_see

ok

37. amistre64

we already factored out a (k+1) ... no need to worry about it.

38. amistre64

$\frac{(k+1)\color{red}{[k(2k+1)+6(k+1)]}}{6}$

39. amistre64

$\frac{\color{red}{[k(2k+1)+6(k+1)]}}{}$ $\frac{\color{red}{[2k^2+7k+6]}}{}$ $\frac{\color{red}{[2k^2+\color{green}{(4k+3k)}+6]}}{}$ $\frac{\color{red}{[(2k^2+4k)+(3k+6)]}}{}$ $\frac{\color{red}{[2k(k+2)+3(k+2)]}}{}$ $\frac{\color{red}{(k+2)(2k+3)}}{}$ $\frac{\color{red}{(k+2)(2k+\color{green}{(2+1)})}}{}$ $\frac{\color{red}{(k+2)((2k+2)+1)}}{}$ etc ...

40. Bee_see

ok

41. Bee_see

I get it now.

42. amistre64

good luck then :)

43. Bee_see

Thanks for the help.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}