In this video, I walk through the derivation of an extension of the factorial function that works for any number: fractional, irrational, and even complex! This turns out to be a very important function, known as the gamma function, which has many surprising connections, one of which I explore in the last chapter of the video.
The animations in this video were made with Manim, an open-source Python library for making math animations, originally created by 3Blue1Brown. https://www.manim.community/
My Previous video: Extending the Harmonic Numbers to the Reals: Extending the Harmonic Numbers to the Reals
Chapters:
0:00 Introduction
1:38 A few Disclaimers
3:58 The Recursive Formula
6:50 The Super Recursive Formula
8:45 A minor setback
10:28 Logarithms
15:21 Deriving the Solution
19:26 Our Constraints
20:25 History and Conventions
22:16 The Miracle
25:44 The End
I went for some more relaxing background music this time. Hopefully it doesn't put you to sleep!
Creative Commons music used in this video:
------------------------------------------
Enchanted Journey by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...
Source: http://incompetech.com/music/royalty-...
Artist: http://incompetech.com/
------------------------------------------
Fluidscape by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...
Source: http://incompetech.com/music/royalty-...
Artist: http://incompetech.com/
------------------------------------------
Kevin MacLeod is a life-saver!
Other music used in this video:
River by HarumachiMusic
Night Music by Kevin MacLeod
Moon Men by Jake Chudnow
And a couple of my own songs:
SoundCloud: thanks-for-watching
SoundCloud: the-fog
#SoME2 #Mathematics #Education
In this video, I walk through the derivation of an extension of the factorial function that works for any number: fractional, irrational, and even complex! This turns out to be a very important function, known as the gamma function, which has many surprising connections, one of which I explore in the last chapter of the video.
The animations in this video were made with Manim, an open-source Python library for making math animations, originally created by 3Blue1Brown. https://www.manim.community/
My Previous video: Extending the Harmonic Numbers to the Reals: Extending the Harmonic Numbers to the Reals
Chapters:
0:00 Introduction
1:38 A few Disclaimers
3:58 The Recursive Formula
6:50 The Super Recursive Formula
8:45 A minor setback
10:28 Logarithms
15:21 Deriving the Solution
19:26 Our Constraints
20:25 History and Conventions
22:16 The Miracle
25:44 The End
I went for some more relaxing background music this time. Hopefully it doesn't put you to sleep!
Creative Commons music used in this video:
------------------------------------------
Enchanted Journey by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...
Source: http://incompetech.com/music/royalty-...
Artist: http://incompetech.com/
------------------------------------------
Fluidscape by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...
Source: http://incompetech.com/music/royalty-...
Artist: http://incompetech.com/
------------------------------------------
Kevin MacLeod is a life-saver!
Other music used in this video:
River by HarumachiMusic
Night Music by Kevin MacLeod
Moon Men by Jake Chudnow
And a couple of my own songs:
SoundCloud: thanks-for-watching
SoundCloud: the-fog
#SoME2 #Mathematics #Education
I've got a couple quick clarifications:
5:26 - This cannot hold for every x - only for values where the domain of the function allows the formula to make sense. It turns out that this excludes non-positive integers. Some people rightly pointed out that the recursive formula seems to imply that 0! = 0 * (-1)! = 0., but this assumes that (-1)! exists and is finite. In fact it was that exact formula that led to the conclusion that there must be an asymptote at -1. (6:33)
9:08 - We might guess that we can make the function behave better by taking its reciprocal, which would make it flatten out and rapidly approach 0. This is actually one of the first things I tried, but unfortunately it doesn't work. It would work the function approached any value except for 0, but since the factorials are all about multiplication, and since 0 * anything = 0, we don't get any new information.
0:04 - So I wasn't actually in middle school. In my memory I was in the 8th grade, but I checked the Wayback Machine, and the version of the site I remember didn't exist until my first year of high school.
21:27 - The proof that I have the easiest time understanding is "Proof 2" on this ProofWiki page: https://proofwiki.org/wiki/Integral_Form_of_Gamma_Function_equivalent_to_Euler_Form
Another note - This also works for complex numbers! You can just plug a complex number in for x, and it will converge. I made sure I never mentioned real numbers and instead said "any number" or "non-integer", so that I didn't accidentally exclude complex numbers.