We need to show that
SUM( i=2n2+n to 2n2+2n , i2 ) = SUM( i=2n2+2n+1 to 2n2+3n , i2 )
Since
SUM( i=1 to n , i2 ) = n(n+1)(2n+1)/6
this reduces to showing that
SUM( i=1 to 2n2+2n , i2 ) - SUM( i=1 to 2n2+n-1 , i2 ) =
SUM( i=1 to 2n2+3n , i2 ) - SUM( i=1 to 2n2+2n , i2 )
or
(2n2 + 2n)(2n2 + 2n + 1)(4n2 + 4n + 1) - (2n2 + n - 1)(2n2 + n)(4n2 + 2n - 1) =
(2n2 + 3n)(2n2 + 3n + 1)(4n2 + 6n + 1) - (2n2 + 2n)(2n2 + 2n + 1)(4n2 + 4n + 1)
Both sides of the above equation reduce to
n( 24n4 + 60n3 + 50n2 + 15n + 1 )
Therefore, the proposition holds for all integers greater than zero.
Checkout Daniel's post.
|