PaperMath’s sum
Contents
[hide]PaperMath’s sum
This is a summation identities for decomposition or reconstruction of summations. PaperMath’s sum states,
Or
For all real values of , this equation holds true for all nonnegative values of . When , this reduces to
Proof
We will first prove a easier variant of PaperMath’s sum,
This is the exact same as
But everything is multiplied by .
Notice that this is the exact same as saying
Notice that
Substituting this into yields
Adding on both sides yields
Notice that
As you can see,
Is true since the RHS and LHS are equal
This equation holds true for any values of . Since this is true, we can divide by on both sides to get
And then multiply both sides to get
Or
Which proves PaperMath’s sum
Notes
PaperMath’s sum was discovered by the aops user PaperMath, as the name implies. I don’t think it is officiated though. Also everyone can edit for some reason, like me! :-)