Mathematica Stack Exchange is a question and answer site for users of Mathematica. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I type


I would like Mathematica to return something like


or maybe


But it doesn't seem to want to do this (maybe because it's worried that the difference makes no sense if the sums don't converge?). Is there a simple way to let Mathematica know I would like it to make this kind of simplification?

share|improve this question
A dirty way :ClearAll[s]; s /: s[f[x], {x, a_, b_}] - s[f[x], {x, c_, b_}] := s[f[x], {x, c + 1, a}]; simp[x_] := (x /. Sum -> s /. s -> Sum); simp[Sum[f[x], {x, m + 3, Infinity}] - Sum[f[x], {x, m, Infinity}]] – Dr. belisarius Mar 2 '14 at 22:58
Don't you want -Sum[f[x], {x, m, m+2}] instead? – Rahul Mar 3 '14 at 1:32
@RahulNarain: Indeed. I changed the example midway through posting and failed to change the second line. Going back to fix this now. – WillO Mar 3 '14 at 4:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.