PaperMath’s sum

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! :-)

See also

• Cyclic sum
• Summation
• Symmetric sum