Hi Opalg, I was wondering if I'm allowed to ask any follow-up question here because obviously I'm not the OP who started it.
Anyway, I will proceed and please forgive and ignore me if, by any chance, I have put my foot into my mouth by asking the following question.(Worried)
Opalg said:
Let $\displaystyle p_k(a) = \sum_{n=1}^k n(1-a)(1-2a)\cdots\bigl(1-(n-1)a\bigr)$. Once you know the formula for $p_k(a)$, you can prove it by induction. The formula is
[sp]$$p_k(a) = \frac{1-(1-a)(1-2a)\cdots(1-ka)}a.$$[/sp]
I don't quite understand how one should be able to 'guess' or should one need some prerequisite knowledge in order to be able to do so?
Having said so, I'll show my workout:
k=1:
sum =1
k=2:
sum = 1+2(1-a)=-2a+3
k=3:
$sum = 1+2(1-a)+3(1-a)(1-2a)$
$\;\;\;\;\;\;\;\;=-2a+3+3(1-3a+2a^2)$
$\;\;\;\;\;\;\;\;=6a^2-11a+6$
k=4:
$sum =1+2(1-a)+3(1-a)(1-2a)+4(1-a)(1-2a)(1-3a)$
$\;\;\;\;\;\;\;\;=6a^2-11a+6+4(1-6a+11a^2-6a^3)$
$\;\;\;\;\;\;\;\;=-24a^3+50a^2-35a+10$
k=5:
$sum =1+2(1-a)+3(1-a)(1-2a)+4(1-a)(1-2a)(1-3a)+5(1-a)(1-2a)(1-3a)(1-4a)$
$\;\;\;\;\;\;\;\;=-24a^3+50a^2-35a+10+5(1-10a+35a^2-50a^3+24a^4)$
$\;\;\;\;\;\;\;\;=120a^4-274a^3+225a^2-85a+15$
I noticed that I don't really have to expand the expression for 3(1-a)(1-2a) as in k=3, sum = 1+2(1-a)+
3(1-a)(1-2a)
as I can deduce it from the previous result.Take for example, if I've sum = 1+2(1-a)=-2a+3, then to deduce the value for 3(1-a)(1-2a), I just take 1+ (the terms written in the reverse order of the previous sum but also I add a factor of a each time I go through all the terms and not to forget to change their signs), i.e. $\displaystyle1-3a+2a^2)$
Now, if given $\displaystyle 1+2(1-a)+3(1-a)(1-2a)+4(1-a)(1-2a)(1-3a)+5(1-a)(1-2a)(1-3a)(1-4a)=120a^4-274a^3+225a^2-85a+15$, I can deduce the expression for $\displaystyle 6(1-a)(1-2a)(1-3a)(1-4a)(1-5a)=1-15a+85a^2-225a^3+274a^4-120a^5$, that's it!
To sum up,
Sn=Sn-1+n(1+ (the terms written in the reverse order of the previous sum but also adding another factor of
a each time we go through all the terms and not to forget to change their signs)
Does this help in deducing the formula for $\displaystyle p_k(a)$ as you mentioned in your previous post?