Jump to content

What is the formula for factorial (!) .


BigMoosie

Recommended Posts

It's ok with me' date=' in fact the structure of your proof is good, its just that a lemma would be nice, which goes into the gamma function.

 

in other words prove the following statement

 

 

[b']Lemma[/b]:

 

[math] \Gamma (n+1) = n! [/math]

 

 

well, i know you're gonna hate this explanation, but the Gamma function is defined as

 

[math]\[\Gamma(x) = \int_0^{\infty} t^{x-1} e^{-t} \,dt\][/math] for x > 0.

 

 

although, the exact proof that you're looking for, which is a simple expansion on this definition can be found here:

 

http://mathworld.wolfram.com/GammaFunction.html

 

i'm just honestly too lazy to redo the LaTeX to make it clear.

 

just scroll a little down the page right under those pretty little colored graphs. there lies your answer.

 

if you need any furthur proofs of why this and that, you can email wolfram.

Link to comment
Share on other sites

I don't hate it, it's just not what I'm thinking of.

 

I'll come up with something, then post it. Basically, what I have in mind uses integration by parts in the proof, but its been so long since i formally proved it, i was hoping you knew the argument.

 

Regards

Link to comment
Share on other sites

were you able to invent something over the weekend, johnny?

 

 

There's nothing to invent, I already know the basis of the argument. Let me see what the heck this thread was about again though.

 

Ah yes this:

 

Prove the following:

 

[math]

\Gamma (n+1) = n!

[/math]

 

By definition, the following statement is true:

 

[math] \Gamma(n+1) \equiv \int_{x=0}^{x=\infty} t^n e^{-t} dt [/math]

 

So we can focus on the integral.

 

Here is the integration by parts formula:

 

[math] \int u dv = uv- \int v du [/math]

 

let dv = e^-t dt, whence it follows that v = -e^-t

let u = t^n, thus du = n t^(n-1) dt

 

Substituting we have:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = -t^n e^{-t} |_{t=0}^{t=\infty} + n\int_{t=0}^{t=\infty} e^{-t} t^{n-1} dt [/math]

 

Therefore:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = 0 + n\int_{t=0}^{t=\infty} e^{-t} t^{n-1} dt [/math]

 

Now, replace n by n-1 in the statement above, to obtain:

 

[math] \int_{t=0}^{t=\infty} t^{n-1} e^{-t} dt = (n-1) \int_{t=0}^{t=\infty} e^{-t} t^{n-2} dt [/math]

 

Thus, we have:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = n(n-1) \int_{t=0}^{t=\infty} e^{-t} t^{n-2} dt [/math]

 

Continuing on in this manner, eventually, you will reach the following integral:

 

[math] \int_{t=0}^{t=\infty} e^{-t} t dt [/math]

 

This integral will be reached when n-k=1, hence when n=k+1.

 

When k=1, the coefficient was n. When k=2, the coefficient was n(n-1). When k=3, the coefficient would be n(n-1)(n-2). Thus, when k=(n-1), the coefficient would be n(n-1)(n-2)(n-3)... (n-(n-1-1)) or rather

 

n(n-1)(n-2)...(n-n+1+1)

 

Therefore:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = n(n-1)(n-2)...(2)\int_{t=0}^{t=\infty} e^{-t} t dt [/math]

 

Now, evaluate the following integral:

 

[math] \int_{t=0}^{t=\infty} t e^{-t} dt [/math]

 

Using the integration by parts formula, with u=t, and dv = e^-t dt we have:

 

[math] \int_{t=0}^{t=\infty} t e^{-t} dt = -te^{-t} |_{t=0}^{t=\infty} + \int_{t=0}^{t=\infty} e^{-t}dt

 

[/math]

 

Whence it follows that:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = n(n-1)(n-2)...(2)\int_{t=0}^{t=\infty} e^{-t} dt [/math]

 

Now, evaluate the following integral:

 

[math] \int_{t=0}^{t=\infty} e^{-t} dt [/math]

 

And this is easy.

 

[math] \int_{t=0}^{t=\infty} e^{-t} dt = -e^-t |_{t=0}^{t=\infty} = e^-t |_{t=\infty}^{t=0} = 1-0 [/math]

 

Hence:

 

[math] \int_{t=0}^{t=\infty} t^n e^{-t} dt = n(n-1)(n-2)...(2)1 = n![/math]

 

The LHS is the gamma function of n+1, therefore:

 

[math]

\Gamma (n+1) = n!

[/math]

 

QED

 

Oh wait, that is the proof you cited, which was used at wolfram, i just looked down far enough, and saw it.

 

Man, I feel like i did all that for nothing.

 

Regards

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.