All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars
 perplexus dot info

 Square Sequence (Posted on 2003-12-19)
When you add all the terms up from this sequence: x² + (x-1)² + 3(x-2)² + (x-3)² + (x-4)² + (x-5)² + 3(x-6)² + (x-7)² ... it will be equal to half of (x³ + x² - x) for any positive even integer x. Prove why this works.

Example: 12² + 11² + 10² + 10² + 10² + 9² +8² + 7² + 6² + 6² + 6² + 5² + 4² + 3² + 2² + 2² + 2² + 1² if x = 12.

Note: The coefficients go 1, 1, then 3, then 3 1s, then 3, then 3 1s. The coefficients go in this order, even if there are coefficients left when the sequence stops. For example, with 6, the coefficients would go 1,1,3,1,1,1.

 See The Solution Submitted by Gamer Rating: 2.5000 (4 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
 proof | Comment 3 of 10 |
This proof is similar to Penny's, but is based on the coefficient's starting at 1,1,3,1, which they always do (once x > 3), it need be done only one way:

First, it is true for x=2, as 2^2+1^2=5 and (2^3+2^2-1)/2 = 5.

It is also true for x=4, as 4^2+3^2+3*2^2+1^2 = 38 and (4^3+4^2-4)/2 = 38.

Then, assume it is true for x-4, so that the sum is

x^2 + (x-1)^2 + 3(x-2)^2 + (x-3)^2 + ((x-4)^3 + (x-4)^2 - (x-4))/2

This expands to x^2 + x^2 - 2x + 1 + 3x^2 - 12x + 12 + x^2 - 6x + 9 + (x^3-12x^2+48x-64+x^2-8x+16-x+4)/2

This simplifies to

6x^2 - 20x + 22 + (x^3 - 11x^2 + 39x - 44)/2

which further simplifies to (x^3 + x^2 - x)/2

 Posted by Charlie on 2003-12-19 16:33:44

 Search: Search body:
Forums (0)