Advanced Search

Question: Simplify command on Binomial expressions

Question:Simplify command on Binomial expressions

Adam Ledger 360 Maple 2016
simplification
November 09 2019
0

Is there something I should be doing whenever I use simplify to avoid things like this, or should I stop using the "is" function all together?

 

> 

interface(showassumed = 0):

 

> 

sum(binomial(k+j, k), j = 0 .. n-k) = binomial(n+1, k+1)

(n-k+1)*binomial(n+1, k)/(k+1) = binomial(n+1, k+1)

 (1)
> 

#And we have:
is(sum(binomial(k+j, k), j = 0 .. n-k) = binomial(n+1, k+1))

FAIL

 (2)
> 

#And since:
is(simplify(convert(sum(binomial(k+j, k), j = 0 .. n-k) = binomial(n+1, k+1), 'factorial')))

true

 (3)
> 

is(sum(binomial(k+j, k), j = 0 .. n-k) = binomial(n+1, k+1)) = is(simplify(convert(sum(binomial(k+j, k), j = 0 .. n-k) = binomial(n+1, k+1), 'factorial')))


 

Download main.mw
Please Wait...