| Author |
Comment/Response |
xavier
|
 07/28/05 12:41pm
Hi,
Let p be a polynomial defined by :
p[y_] := Sum[Binomial[n + k - 1, k]*y^k, {k, 0, n - 1}]
For sure the equality :
((1 - y)^(-n))*(1-(y^n)*p[1-y]) == p[y]
is true for evry n>0.
but I not able to use mathematica to prove it.
If you try to Fullsimplify
((1 - y)^(-n))*(1-(y^n)*p[1-y]) - p[y]
you get a result using Hypergeometric2F1 and then mathematica seems not to be able to reduce this expression to 0 :(
Is there any way to help mathematica to find that
((1 - y)^(-n))*(1-(y^n)*p[1-y]) - p[y] is zero??
URL: , |
|
