How to Take the Factorial of Any Number

  Рет қаралды 1,167,179

Lines That Connect

Lines That Connect

Күн бұрын

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. www.manim.community/
My Previous video: Extending the Harmonic Numbers to the Reals: • Extending the Harmonic...
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. creativecommons.org/licenses/...
Source: incompetech.com/music/royalty-...
Artist: incompetech.com/
------------------------------------------
Fluidscape by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. creativecommons.org/licenses/...
Source: incompetech.com/music/royalty-...
Artist: 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:
- / thanks-for-watching
- / the-fog
#SoME2 #Mathematics #Education

Пікірлер: 1 300
@LinesThatConnect
@LinesThatConnect Жыл бұрын
Thanks for watching everyone! I'm overwhelmed by the response to this video - 100k views is more than I dared to hope for! 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: 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.
@Jacob.Peyser
@Jacob.Peyser Жыл бұрын
Your videos are top-tier! Keep on doing what you're doing because whatever it is that you are doing is awesome!
@Memories_broken_
@Memories_broken_ Жыл бұрын
As a learning student,I find this video really informative, thank you :) [also ,i suggest you to pin your comment as it might go unnoticed with several other comments^^]
@fatitankeris6327
@fatitankeris6327 Жыл бұрын
This video is very well done!
@michaelwaters1358
@michaelwaters1358 Жыл бұрын
at this point, you have a duty to the math world to keep producing videos. These two have been fantastic, I hope you can release another one sooner than 1 year from now.
@mihirramaswamy1313
@mihirramaswamy1313 Жыл бұрын
0:45 Hey small mistake in the video. The factorial is defined as the product of all "natural" numbers up to that number, not "whole." Great video anyways. Congrats on getting featured on 3B1B
@ToastyEggs
@ToastyEggs Жыл бұрын
You could make a series out of this where you explain how extensions of different discrete functions are derived! You could call it “Points that connect.”
@ShankarSivarajan
@ShankarSivarajan Жыл бұрын
That'd be neat, but what other such function can you think of? The gamma function is the only one that comes to mind. If you pick, say, 2^x, you run into a problem. Let's say we understand exponentiation as repeated multiplication, and want to extend that from the natural numbers to the Reals. 2^1 = 2, 2^2 = 4 …. Declare by fiat 2^(x + 1) = 2^x × 2. ⇒ 2^(x - 1) = 2^x/2. ⇒ 2^0 = 1, 2^-1 = 1/2, etc. Great, but non-integers are what we're here for. So following the steps in this video, we get 2^x = e^(x ln 2). This is a nice result, but the problem is that this is circular as a definition of exponentiation. The best way to define it would be as its Taylor series expansion, but that's nowhere near as interesting. Maybe something like x^x (see kzbin.info/www/bejne/lZ3FYnSurL1_l68) would lend itself to this approach, but I think you'd want something that goes from Reals to Reals.
@TheBlindfischLP
@TheBlindfischLP Жыл бұрын
@@ShankarSivarajan The Fibonacci numbers could be nice with Binet's Formula.
@mihailmilev9909
@mihailmilev9909 Жыл бұрын
@@ShankarSivarajan can't u just use roots? Since they're the same as rational exponents
@mihailmilev9909
@mihailmilev9909 Жыл бұрын
@@TheBlindfischLP oh what is that
@mihailmilev9909
@mihailmilev9909 Жыл бұрын
@@TheBlindfischLP that sounds interesting. Lemme guess, does that formula contain all the Fibonacci numbers, and then the line approaches x times phi?
@Carl-Gauss
@Carl-Gauss Жыл бұрын
2:30 This so true! Lectures in university are usually about proving as many theorems, lemmas and formulas as possible during certain period despite the fact that it completely misses the point of sharing a proof with students. The fact itself that you’d shown a certain proof to a student doesn’t matter, what matters is student understanding why formula or theorem is the way it is and gaining additional intuition about the topic.
@kylaxial
@kylaxial Жыл бұрын
yeah... I first experienced this with the quadratic formula they gave to me. but at least they told me about the similarities with the vertex finding equation... which they also just gave to me
@casualoutlaw540
@casualoutlaw540 Жыл бұрын
​@@kylaxial Most schools usually force you to factorize and complete the square before the quadratic formula, so it's not as magical as the gamma function which is given to you and then you maybe see a proof that it works using integration by parts, and that's about it.
@katakouzina
@katakouzina Жыл бұрын
a lot of theorems lemmas blabla, do not have a "logical" explanation. it is what it is, because the proof (lines of implies) is true. or if there is some kind of eplanation it can only be understood from the clever ones
@itellyouforfree7238
@itellyouforfree7238 Жыл бұрын
That's because understanding is the student's job. Given the amount of topics that have to be covered in a fixed amount of time, there is no other way. The teacher gives an explanation (proves a theorem, lemma, etc.) then the students can go home and think about it for as long as they wish. If they don't do that it's because they are lazy. It's unrealistic to believe that university lectures can be so complete to satisfy every student and have each of them completely understand everything on the spot. This is not how it's meant to be. If a Calculus 1 course were to be organized such that every student completely understand everything in class, if would take ~1000 hours in total (and some students won't even get it after 5000 hours...) instead of ~100. Stop bullshitting university: it's the most efficient way to learn a significan amount of knowledge, much more efficient than youtube or crappy paid courses.
@ShanBojack
@ShanBojack Жыл бұрын
@@itellyouforfree7238 damn my man calm down
@theauthor8882
@theauthor8882 Жыл бұрын
I was shocked to see that you only have two videos. The production of this and the explanation were both fantastic. Keep it up, I'll be there to watch anything else you put out!
@adamantii
@adamantii Жыл бұрын
Thanks for shocking me as well
@BambinaSaldana
@BambinaSaldana Жыл бұрын
Maybe the animations take a long time
@R4y-06
@R4y-06 2 ай бұрын
Bro has 3 videos wtf
@ethandennis368
@ethandennis368 Жыл бұрын
This was one of the most well put together math videos I have ever seen. Please do not stop making content because you truly have incredible potential as a math explainer
@brunesi
@brunesi Жыл бұрын
I second that. Also, being transparent when assumptions were made make this video even more valuable. I liked it a lot too.
@tommasobonaccorsi8935
@tommasobonaccorsi8935 Жыл бұрын
I totally agree! Everything was so well explained and extremely clear, as a 12th grade student I understood almost everything. Keep up with the work! :)
@Normal_user61
@Normal_user61 6 ай бұрын
why i see so much of my clones?????????????????????????????????
@morphocular
@morphocular Жыл бұрын
This was very well done! I actually used the gamma function in my own SoME2 submission and wished I could have included a derivation of it, at least as a side resource. But now I can just point to this video!
@tommero6584
@tommero6584 Жыл бұрын
Your submission was amazing!
@Ratigan2
@Ratigan2 Жыл бұрын
10:37 Okay, that caught me off guard lmao
@theothetorch8016
@theothetorch8016 Жыл бұрын
10:36 made me laugh out loud. I love the Vsauce channel.
@DavidLindes
@DavidLindes 2 ай бұрын
Right?!?? Me too. 😂
@enbyarchmage
@enbyarchmage Жыл бұрын
Dude, your channel is out of this world! I already considered this video one of the best math-related ones I've seen in a long while, several mitutes befor its end. However, when I saw the definition of gamma appear so naturally from the derivative of x!, I literally started screaming "It's gamma! GAMMA!" before the limit even appeared. This video reminded me of how much I - who dropped of a STEM major in favor of a Humanites one - still love math, and why. Thank you so, so, SO much! 😍
@mihailmilev9909
@mihailmilev9909 Жыл бұрын
Wow
@mihailmilev9909
@mihailmilev9909 Жыл бұрын
So what did you choose to pursue specifically? And how's it going? And how r u doing
@enbyarchmage
@enbyarchmage Жыл бұрын
@@mihailmilev9909 That was SO kind/cute of you to ask! 😁 I'm a History undergrad now. In spite of all of the stress (LOTS of dense, often boring stuff to read), I feel like I'm where I was always meant to be. Life was never so meaningful! 🤩
@arctic7526
@arctic7526 Жыл бұрын
Out of all the submissions for SoME2, I can say that this one is definitely my favorite. It was easy to follow along and had amazing explanations. Very cool proof too!
@aradziv89
@aradziv89 Жыл бұрын
Man, this is the type of video I like most. Simple enough to appeal to inexperienced viewers, yet doesn't linger on the simple and teaches me something new... far enough than what I already know but touching on the familiar... great explanation, and great visuals! Knows when something is irrelevant, but throws it in for the curius. Bravo man
@crispywhiskers9365
@crispywhiskers9365 Жыл бұрын
this video was simply amazing! the humor, the math and the understanding, everything was it's absolute forefront! looking forward to more of what this channel has to offer :D
@eriktempelman2097
@eriktempelman2097 Жыл бұрын
Great stuff! I'm in design engineering and there we often use the "forget-me-nots" for beam deflection in bending. Few around me know the beautiful maths behind it. And if you know that, you appreciate those formulas so much more!
@rmw6151
@rmw6151 Жыл бұрын
Stunning video. It will take me days, if not weeks, to recreate the math presented here, step by step. Thank you for posting!
@enkialonsobarramelendrez1114
@enkialonsobarramelendrez1114 Жыл бұрын
I study math at college and well I gotta say that I LOVED the two videos on your channel, so I subscribed right away. Keep it up pal, you´re doing an amazing job. I really liked your content. This video without exaggeration is the best video out there on KZbin that I´ve seen about the derivation of the gamma function. Felicidades amigo :)
@5ucur
@5ucur Жыл бұрын
Found you in one of my treks down the maths rabbit hole. You immediately deserved a subscription! :D You're one of those people who make maths fun again :D
@mattgsm
@mattgsm Жыл бұрын
I really enjoy how you're so rigorous and show all subjective assertions
@baptiste5216
@baptiste5216 Жыл бұрын
Really cool stuff and the connection with the previous video is just amazing.
@Krunschy
@Krunschy Жыл бұрын
Can't overstate how much I appreciate this video. When I first got to know the gamma function I was in the same boat as you were, desperately wanting to know how one would ever think that up. I got a bit into it, but eventually it just became too much work for me. But I never stopped wondering. Being able to finally achieve an understanding thanks to such a great presentation... it is almost cathartic.
@IamYee
@IamYee Жыл бұрын
Wow... I was totally impressed by how you derive this beautiful factorial formula. It was one of the most satisfying math videos in YT! I'm looking forward to your future works!
@jgperes
@jgperes Жыл бұрын
this video is amazing man! always nice to see math presented in such a neat way
@kristoff_t2013
@kristoff_t2013 Жыл бұрын
These videos are AMAZING! Captions, animations, explainations, sound quality, etc. all 10/10. I can imagine how many time and hard work you're putting in these. Can't wait for the next one.
@M1551NGN0
@M1551NGN0 Жыл бұрын
0:14 "Plugging in different functions in a graphing calculator is a weird pastime" *You know I'm something of a mathematician myself.*
@mushykitten
@mushykitten Жыл бұрын
this is amazing! everything was so neatly and beautifully explained, especially with a subject where it's very easy to get lost in all the math. the music choices really great and added a lot to the video. thank you !
@cancercurry7278
@cancercurry7278 Жыл бұрын
I'm just a year 8 student, but this video is just amazing, I've probably watched it 20 times by now and I still enjoy it because it turns the topic of something as simple to understand such as factorials in a more complex topic, but making the explanations simple enough to be understood by those who are inexperienced by touching on a few of the finer details so that it's understandable. Thanks for the great content. I hope to see more videos produced by you in my recommended.
@aditya95sriram
@aditya95sriram Жыл бұрын
The taxicab running along the bottom when 1729 is mentioned at 20:37, chef's kiss! Overall, great video, keep 'em coming :)
@kaifenjoyer
@kaifenjoyer Жыл бұрын
What a great content! Dude, do not stop. Making math videos is absolutely your cup of tea
@Rot8erConeX
@Rot8erConeX Жыл бұрын
4:18 I *love* the bounce you give the ends of the function when you condense it. It's a little tactile decision that shows you that a *person* made the video in order to show others something cool, rather than a textbook company making a video because they want all teachers teaching the same thing.
@estebanvasquez-giraldo5770
@estebanvasquez-giraldo5770 Жыл бұрын
This is a great video, thank you sooo much! I have also thought a lot about the definition of the gamma function and I didn't know this infinite product representation, just the integral form you showed by Euler, it would be great if you could make a video explaining the connection between those 2. I learnt a lot from this video, again, thanks!
@jakebruner2719
@jakebruner2719 Жыл бұрын
Loved this video!!! Also, as a fellow Manim-learner, you’ve really gone above and beyond with this. I can tell you’ve spent hours upon hours mastering it; no easy feat!
@JCake
@JCake Жыл бұрын
Hey just to make you aware, I find videos like these super fascinating, but I always struggle to follow the plot. But your video was so easy to follow and rewarding to watch, I just had to mention how great I found it. 20/10
@DanielRodrigues-oe1bw
@DanielRodrigues-oe1bw 11 ай бұрын
Your videos are so relaxing and entertaining! Love rewatching them for some chill time! Keep up the good work!
@ery5757
@ery5757 Жыл бұрын
Another great video! I am just so used to using the Gamme function instead of the factorial and I never wondered why that was allowed. But it was great to see the derivation!
@danilofigueiredo4532
@danilofigueiredo4532 Жыл бұрын
Thank you for making and sharing such an amazing video with your brilliant explanation! I just now have become aware of this python library created by 3Blue1Brown that you used for the animations. I will learn more about that. I see your inspirations, and also liked that @Vsauce vibe at 10:30... Your content is indescribably necessary, sir.
@Scratchfan321
@Scratchfan321 Жыл бұрын
I watched this video and understood EVERYTHING. You have explained this perfectly, I have liked this video and subscribed. You have done an amazing job and have satisfied my curiosity for how this works. Thank you!
@cyndicorinne
@cyndicorinne Жыл бұрын
This is the first video from your channel that was recommended to me, and I find it quite interesting and helpful. I like the recursive definition of factorial.
@stevenschilizzi4104
@stevenschilizzi4104 Жыл бұрын
Great video! Fantastic animations. Thanks for all your effort. 👏👏👏
@efedevirgen5835
@efedevirgen5835 Жыл бұрын
18:00 i dont even understand anything anymore im here for the animation ASMR
@prince-hb8qk
@prince-hb8qk Ай бұрын
I lost him at 11:58 but still watched till the last. Dunno why, may be maths asmr🙃
@roeyshapiro4878
@roeyshapiro4878 Жыл бұрын
What a truly awesome twist. Great explanation and pacing, too.
@Magnasium038
@Magnasium038 Жыл бұрын
Such a great video. It's really cool that you first look at the differences of near-infinite terms of the function, to derive an infinite-series expression at finite values. Also, it just hit me that whenever a function is represented by an integral expression, that's basically an infinite series expansion in the real numbers.
@mebamme
@mebamme Жыл бұрын
I actually forgot I'd subscribed to you, but KZbin went and recommended me this video 30 seconds after you uploaded it. (: You're on the way to being one of my favorite math channels! Original topics, and great presentation.
@diplomaticfish
@diplomaticfish Жыл бұрын
Very cool, you made it seem almost obvious why factorials are extended the way they are!
@deytd1507
@deytd1507 Жыл бұрын
Much awesome! I was genuinely looking for this exact kind of video at some point after watching yours on the harmonic numbers, and however disappointing didn't find any. So now that you made it into reality I'm super happy.
@yu5016
@yu5016 Жыл бұрын
Great explanation! Definitely one of my favorite explanations in KZbin. This video has some serious quality and I’m getting blue brown vibes form it too!
@a52productions
@a52productions Жыл бұрын
I did the exact same thing in middle school (or maybe high school, I don't remember). I think Desmos was a big part of making me interested in math, as well as training my visual intuition.
@SzanyiAtti
@SzanyiAtti Жыл бұрын
Please do make more videos if your time allows, I have really enjoyed them so far, especially because they had been about questions I often wondered about, but never took the time to dive deeper into them.
@audigamer8261
@audigamer8261 Жыл бұрын
Man this video is amazing. The "prequel" was also quite interesting but the connection of the factorial with the harmonic series kinda blew my mind. I can't wait for the next video.
@cmilkau
@cmilkau Жыл бұрын
Never seen such a natural motivation for the gamma function. Love it!
@reamartin6458
@reamartin6458 6 ай бұрын
“I can show that Mascheroni is actually an imaginary number masquerading as an irrational, I have a proof of this theorem, but there is not enough space in this margin"
@azzteke
@azzteke 2 ай бұрын
This is B.S.
@reamartin6458
@reamartin6458 2 ай бұрын
It’s a joke
@oricraft6747
@oricraft6747 Жыл бұрын
The Vsauce music-
@colinsaska3467
@colinsaska3467 3 ай бұрын
The comment I was looking for. Fit in flawlessly and made me feel so at home... or did it? 🎶
@SaagarNayak
@SaagarNayak 2 ай бұрын
​@@colinsaska3467It definitely makes you feel at home, I know your address
@lordstevenson9619
@lordstevenson9619 Жыл бұрын
Finally a great video explaining not only the factorials many forms, but where the Euler-Mascheroni constant comes from. Great video all round, definitely deserves a sub ❤
@suicraft8395
@suicraft8395 Жыл бұрын
What a show, i have seen a lot of math videos related with this topic, but yours is kinda special becausr it made rhe connection between a lot of thing i have seen. This video is not just a divulgation video, is a piece of art.
@JobBouwman
@JobBouwman Жыл бұрын
There was nothing new here for me, but the concise line of reasoning and the editing is amazingly good. Thanks a lot
@iwunderful3117
@iwunderful3117 Жыл бұрын
Maybe you can explain to me why (-1)! Inevitably has you dividing by zero when plugged into the given formula. Because it seems to me that he just replaced -1 with 0 and divided by that
@shophaune2298
@shophaune2298 Жыл бұрын
​@@iwunderful3117 I'm late and not who you replied to but: x! = (x-1)! * x Let x = 0 0! = (-1)! * 0 1 = (-1)! * 0 1/0 = (-1)!
@dipankarhowladar9949
@dipankarhowladar9949 9 ай бұрын
​@@iwunderful3117yeah let gamma x+1=(x)gamma(x) from here (x)!=x(x-1)! now putting 0 in x (0)!=0(-1)! i.e 1/0=(-1)! that tends to me infinity
@programablenuance
@programablenuance Жыл бұрын
A true challenger to 3Blue1Brown
@timothemalahieude5076
@timothemalahieude5076 Жыл бұрын
Saw this after 3blue1brown's recommandation, very neat video! Great explainations, nice animations (that reminds 3blue1browns' style) and gives a cool new perspective of the gamma function! I'll sure check out your other videos, this is quality content!
@privatemind
@privatemind Жыл бұрын
Phenomenal video, had never seen this piece of math before and here it was presented so beautifully
@larzcaetano
@larzcaetano Жыл бұрын
Can you make a video deriving Laplace’s Transform? Loved your explanation!
@pianoconlatte
@pianoconlatte Жыл бұрын
I lack words to express how great your video is. Both musically and mathematically... Thank you for this treat.
@kooshough5893
@kooshough5893 Жыл бұрын
It is really sad to see that so much work was put in to such an amazing video, and so less have seen it! This video has once again sparked up my love for graphs Thank You!
@symbolspangaea
@symbolspangaea Жыл бұрын
Wow!!!! First time I see this one full length !!! This is soo amazing , I'm so grateful for this piece of art. Thank you so much
@octopus1003
@octopus1003 Жыл бұрын
That was absolutely amazing! I didn't understand everything, since I'm a highschool student, but it is extremely interesting (probably I will understand more if I watch it a few more times)! I wanted to point that out that not just te explanation was incredible but the animations looks so nice and your voice is so good to listen to that this video feels as a mathematical piece of art form a museum! I'm looking forward to see more video from you!
@JLM-iq7gz
@JLM-iq7gz Жыл бұрын
Thank you for this very interesting video. The characterization of the gamma function is called Bohr-Mollerup's theorem. A far-reaching generalization of this theorem was recently published in the OA book "A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions". What about making a video about this generalization?
@raph2550
@raph2550 Жыл бұрын
I have been pretty invested from the beginning of the video, but when you introduced the logarithms, I had to stop the video and to it by myself. You are doing a great job!
@TheBooker66
@TheBooker66 2 ай бұрын
Very good video, and very good channel overall. I watched this video for the first time over a year ago, and just came back for a second watch, after watching your video about the harmonic numbers. Will definitely go on to watch your other videos, and await new ones.
@rube9169
@rube9169 Жыл бұрын
Love your derivations. This was a bit hard to follow. Maybe include relevant definitions you found earlier on screen when using them to further derive the solution... if that makes sense lol. Just as mind-blowing as the last. Can't wait to see more! I remember almost deriving the general solution for some formula while trying to solve a difficult problem in an ECE class. My method was close, but I hit a point where I couldn't go on. It was still super satisfying to understand the formula a bit deeper by trying to get more general solutions. You take that to such a higher level though and I love it!
@logestt
@logestt Жыл бұрын
didnt expect to see you here (im logeton from frhd if you remember, i dont play that game anymore lol)
@1s3k3b5
@1s3k3b5 Жыл бұрын
@@logestt didn't expect to see either of you here
@logestt
@logestt Жыл бұрын
@@1s3k3b5 lmao
@LinesThatConnect
@LinesThatConnect Жыл бұрын
I did what I though would get the fanciest animations, which isn't quite the best priority in hindsight. I'll keep this in mind for future videos!
@pricklesthecactus6183
@pricklesthecactus6183 Жыл бұрын
@@LinesThatConnect perhaps you could consider adding explanations in the closed captions
@timurpryadilin8830
@timurpryadilin8830 Жыл бұрын
the visauce reference on 10:30 made me laugh
@sercoury
@sercoury Жыл бұрын
This is just an amazing video. Very well explained and a real joy to watch. Thanks very much!
@MuffinsAPlenty
@MuffinsAPlenty Жыл бұрын
An astonishingly good video! I would put this on par with some of the best mathematics channels on KZbin at this time. Nice work!
@TheZorbeck
@TheZorbeck 9 ай бұрын
Very good stuff. But I still cannot grasp the fact that the difference between two diverging series (Hn and ln(N) )can converge, into gamma in this case (the Euler Mascheroni constant). This is just blowing my mind, it is counter-intuitive...
@spacelightning6587
@spacelightning6587 Жыл бұрын
Ooh, that was an excellent video! I haven't seen this version before; I only knew about the gamma function. As for 0! = 1, there is another fun way that sort of relates back to the "number of ways to rearrange a set" definition we are often first presented with. The symmetric group on N objects is defined as the number of bijective self-maps for a set of size N under function composition. Since that is basically the fancy-pants algebra way to define permutations, it is not surprising that there are N! such functions. Well, let's think about our good friend the empty set, which is the only set of size 0. If we look at all the key bits in defining a function (left-total, univalent), we vacuously satisfy them all if we consider a function from the empty set to itself (this is often called the empty function). It is the identity function on the empty set and is the only bijective self-map (easy exercise) for the empty set, so the symmetric group on 0 objects had exactly 1 element. Hence 0! = 1.
@PowerhouseCell
@PowerhouseCell Жыл бұрын
Absolutely beautiful! I can't believe I just found your channel - as a video creator myself, I understand how much time this must have taken. Liked and subscribed 💛
@D7A1
@D7A1 26 күн бұрын
Amazing! Every bit of the video and of course the math. I feel you'll inspire a lot of people and your channel will be very popular. Keep going!
@brown56765
@brown56765 Жыл бұрын
A highschool friend and I thought it would be fun to figure out if you could find the "half derivative" of a function (take the half derivative twice and you get the derivative), and our Calculus teacher agreed to give us some extra credit if we compiled our findings into a small paper. We quickly fell into the fractional calculus rabbit hole, and the Gamma function quickly became our best friend Good times XD
@StevenSiew2
@StevenSiew2 Жыл бұрын
It's called fractional derivatives. I still do not know what uses a half derivative has other than mental masturbation.
@Shyguy5104
@Shyguy5104 Жыл бұрын
some quantum fields or electricity related stuff use fractional derivatives
@2003ToyotaVitz
@2003ToyotaVitz Жыл бұрын
why is this in my recommended i literally have never watched anything about math before
@awesomethegreatamazing2651
@awesomethegreatamazing2651 2 ай бұрын
You know you want it
@haabyalexis1157
@haabyalexis1157 2 ай бұрын
If you don't come to maths, maths comes to you.
@HazhMcMoor
@HazhMcMoor Жыл бұрын
When i first see the title i thought this will be just another gamma function video so i skip it. But when this wins the entire some2 i have to look at this video again and turns out it's much better than I ever expected. You really deserve the win.
@emokiller159
@emokiller159 Жыл бұрын
Seriously a banger of a video. Currently in a stat mech course which has gamma functions and factorials all over the place so I'll definitely be looking at that math a bit differently from now on.
@eclipse6859
@eclipse6859 Жыл бұрын
That was a fantastic Vsauce "or is it" with the music
@element1192
@element1192 2 ай бұрын
I noticed you drew the Hadamard gamma function at 3:10! What's the use of that particular function besides extending the factorials to the negative integers? I've been dying to know
@LinesThatConnect
@LinesThatConnect 2 ай бұрын
I'll let you know if I find out lol
@tani6990
@tani6990 Жыл бұрын
Fantastic video. This was beautiful, and the introduction of the harmonic series at the end was shocking.
@progsprous1
@progsprous1 Жыл бұрын
This Video is really amazing. I appreciate the insane amount of work you put into it and it has such a beautiful result. Thanks :)
@nothingtoseehere8063
@nothingtoseehere8063 Жыл бұрын
The vsauce music caught me off guard
@JojoJere
@JojoJere Жыл бұрын
10:41 *Vsauce music*
@aayushbajaj2260
@aayushbajaj2260 Жыл бұрын
this is one of the most high quality things I've ever seen. thank you. mind blown multiple times.
@einfachpaul17
@einfachpaul17 Жыл бұрын
What about Stirlings formula
@LiftingPhilosophy
@LiftingPhilosophy 22 күн бұрын
YEAH WHAT ABOU5 STRILINGS FORMULA
@theidioticbgilson1466
@theidioticbgilson1466 Жыл бұрын
how dare you not call the oily macaroni constant by its true nsme
@DarkCloud7
@DarkCloud7 Жыл бұрын
The animations are spot on. So satisfying to watch. Thanks.
@LoZander
@LoZander Жыл бұрын
I love this. I will definitely continue watching if you continue to make these videos ☺️
@FalcoGer
@FalcoGer Жыл бұрын
if n! = (n-1)! * n, then obviously 0! is 0. 0! = (-1)! * 0. Since any number multiplied by 0 results in 0, 0! must be 0. given this 1! = (0)! * 1, must be 0, and so any number factorial must be 0. On the other hand 1! is defined as the product of all integer numbers from 1 to 1, which is obviously 1. The only reasonable conclusion to make here is that 0! is not defined, since that will cause a contradiction.
@LinesThatConnect
@LinesThatConnect Жыл бұрын
"0! = (-1)! * 0. Since any number multiplied by 0 results in 0, 0! must be 0." That would be true, except (-1)! is undefined, which I neglected to mention until 6:30. In fact, since there is a vertical asymptote at -1, we can think of (-1)! * 0 as infinity * 0, which is indeterminate, so the contradiction is avoided.
@mahendrabende5458
@mahendrabende5458 Жыл бұрын
@@LinesThatConnect maybe i am missing something here , But upon putting this inderminate value of (-1)! We got back into the equation of 0!=(-1)!*0 We must conclude that 0! Does not exist as well?
@FalcoGer
@FalcoGer Жыл бұрын
@@LinesThatConnect at that point we have not yet defined what factorial means for any other number other than positive integers. We're trying to determine just that. Since you determine it from that recursive definition it is unreasonable to assume (-1)! is undefined, since that would lead to every factorial of a natural number to be undefined using that very same recursive definition. That is in contrast to the definition we started with. This contradiction leads to the only logical conclusion that the recursive definition doesn't work in all cases and we can't use it as a basis for a general definition. Even if we define (-1)! to be NaN, that leaves us with 0! = (-1)! * 0 = NaN, 1! = 0! * 1 = NaN, 2! = 1! * 2 = NaN, etc, using n! = (n-1)! * n, for n element of R Only if we add, by decree, that 0! = 1 and exempt 0! from the recursive function, things can make sense.
@vaakdemandante8772
@vaakdemandante8772 Жыл бұрын
Hey, Vsauce
@fuzionfury7119
@fuzionfury7119 Жыл бұрын
I literally understand nothing but I can appreciate the amount of work put in. Nice job!
@Krunschy
@Krunschy Жыл бұрын
Absolutely love the final version of the formula. Whenever I have to imagine some big factorial x! I get a sense of scale by thinking of x^x instead. And the final result at (19:08) gets pretty close to that if you plug in x for N.
@the_forgotten_king_of_simps
@the_forgotten_king_of_simps Жыл бұрын
Such an awesome, well explained video! thank you for your hard work!!
@theoneclutchgod2885
@theoneclutchgod2885 Жыл бұрын
Truly an incredible channel. I am very uncomfortable while using limits and you made it muchhhhh easier to understand. Wall done. You are brutally underrated. You deserve my subscribe
@kikilolo6771
@kikilolo6771 Жыл бұрын
bro your video is just so clean amazing !
@dhruvkumarkanaujia
@dhruvkumarkanaujia Жыл бұрын
Thank you for the video and the insight of factorial , i was really frustrated by the factorial as i was not able to imagine it beyond a certain limit and left a major part of algebra and my syllabus too because of this but now you gave the very reason and inspiration to actually learn and solve these problems . You gained yourself a new subscriber , i actually thought this video was from a bigshot or something with over few million subscribers
@DrunkenUFOPilot
@DrunkenUFOPilot 6 ай бұрын
This a slick derivation of an important formula, and also good publicity for Manim!
@govindagarwal3310
@govindagarwal3310 Жыл бұрын
this is beautiful, please don't stop making math videos.
@paulofreitasgomes6389
@paulofreitasgomes6389 Жыл бұрын
amazing, excellent! congratulations for the video. I love these curiosities in mathematics, specially about weird functions as the Gamma function.
@vedantbhat9950
@vedantbhat9950 Жыл бұрын
great job man! you are definately going to get a lot of subscribers
@Killuh87
@Killuh87 Жыл бұрын
This is genuinely such a good math channel
Extending the Harmonic Numbers to the Reals
15:17
Lines That Connect
Рет қаралды 312 М.
The Bubble Sort Curve
19:18
Lines That Connect
Рет қаралды 452 М.
Please be kind🙏
00:34
ISSEI / いっせい
Рет қаралды 183 МЛН
The Trig Hiding Inside the Factorials (And the Harmonic Numbers)
19:06
Lines That Connect
Рет қаралды 145 М.
How to lie using visual proofs
18:49
3Blue1Brown
Рет қаралды 3,1 МЛН
What Happens If We Add Fractions Incorrectly? #SoME3
29:04
How To Catch A Cheater With Math
22:38
Primer
Рет қаралды 4,7 МЛН
The Incomprehensible Scale of 52!
7:44
But Why?
Рет қаралды 7 МЛН
You Need To See This At Least Once
11:47
BriTheMathGuy
Рет қаралды 484 М.
Cursed Units 2: Curseder Units
20:18
Joseph Newton
Рет қаралды 269 М.
Why is Pi here? | Half factorial without Gamma function #SoME3
13:14
This pattern breaks, but for a good reason | Moser's circle problem
16:13
Please be kind🙏
00:34
ISSEI / いっせい
Рет қаралды 183 МЛН