Hi all,

How can I persuade Maple to move a constant factor outside the summation so that

sum(k*x[i], i = 1 .. n)

simplifies to:

k*(sum(x[i], i = 1 .. n))

And how do I persuade Maple to reorder the summation from this:

sum(x[i]+y[i], i = k .. n)

to this:

sum(x[i], i = k .. n)+sum(y[i], i = k .. n)

--------

The reason I am asking is that I am trying to use Maple to show that: