100 and more conjectures from the OEIS/Proof 1

From testwiki
Revision as of 11:44, 19 January 2007 by imported>Rwst
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

First, we put the expression (14x)3/2 into the form (14x)14x=14x4x14x. Now, using the binomial theorem we obtain User:Rwst/Eq Likewise, [xn]4x14x=4(2n2n1)32n, so we just need to manipulate factorials to get the desired result:

[xn](14x)3/2=(2nn)12n4(2n2n1)32n=4n2(2n1)(2n2)!(2n3)(2n)!(2n1)(2n3)n!2=4n2(2n1)(2n2)(2n4)!(2n)!(2n1)n!2=4n2(2n2)(2n4)!2n(2n2)!n!2=(2n4)![4n2(2n2)2n(2n2)(2n3)]n!n(n1)(n2)!