Тёмный
No video :(

extending the factorial (the Gamma function & the Pi function) 

blackpenredpen
Подписаться 1,3 млн
Просмотров 370 тыс.
50% 1

The usual definition for a factorial only works for positive whole numbers, but how can we take the factorial of any number? Here we will discuss the Pi Function which is defined in terms of an improper integral and it is also the cousin of the Gamma function. I also show the properties of the Pi function, which helps to extend the factorial. As a bonus, I also show why zero factorial is equal to 1.
Read more: en.wikipedia.o... ,
subscribe ‪@blackpenredpen‬

Опубликовано:

 

22 авг 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 463   
@U014B
@U014B 4 года назад
Fermat, on proving his Last Theorem: 17:30
@bayzed
@bayzed 4 года назад
Hahaha nice one!
@thedoublehelix5661
@thedoublehelix5661 4 года назад
This is my favorite comment on youtube
@danielreed540
@danielreed540 4 года назад
Interesting proof ... as soon as you find it for yourself. (If a proof is never found, is it still interesting? If a tree falls in the forest when I'm not there, does it make an interesting sound? But interest is in the mind/eye/ear of the beholder, so is it in the ... .)
@luker.6967
@luker.6967 4 года назад
@@danielreed540 Very meta
@griffisme4833
@griffisme4833 4 года назад
@@danielreed540 r/iamverysmart
@Hello-fb7sp
@Hello-fb7sp 6 лет назад
"-Hey mate can you tell me what's the factorial of 1? -Yeah sure *pulls out integration formulas and l'Hopital's rule*"
@aadityabhetuwal5990
@aadityabhetuwal5990 4 года назад
the answer seems near to 2 that is near to 3 that is π
@darwinvironomy3538
@darwinvironomy3538 3 года назад
But it's near 2. Which mean it's e
@pbj4184
@pbj4184 3 года назад
You don't need the gamma function for that. You can figure that out just by using the two chosen properties listed in the beginning although this is only valid for whole numbers (which 0 thankfully is) which is why we needed the gamma function to extend the factorial (or rather some of its properties, which is actually what's happening here) And after all that, so what if you need to apply by parts and L'Hopital? They're not _conceptually_ hard even though it might be a tenuous task to apply them. There's a big difference between something being logically hard and something being manually hard
@nikkonikko371
@nikkonikko371 3 года назад
the hospital
@theblinkingbrownie4654
@theblinkingbrownie4654 3 года назад
​@@pbj4184 yo dude it's a joke
@1972hattrick
@1972hattrick 6 лет назад
It is incredible what can be done with Euler's number. As time goes by you really begin to appreciate that number more than older societies appreciated pi
@brycelunceford6549
@brycelunceford6549 5 лет назад
"That box means a lot to us" 😂 I died.
@blackpenredpen
@blackpenredpen 5 лет назад
Bryce Lunceford hahaha. It does! The box is proofs just like +C is to integrals!
@trogdorbu
@trogdorbu 4 года назад
I didn't understand the import of the box?
@AymanSussy
@AymanSussy 4 года назад
@@trogdorbu same here but from what I understand it should be put when you end a proof of something 🤔
@davidbrisbane7206
@davidbrisbane7206 3 года назад
Black box good. Red box bad 😁.
@lgooch
@lgooch 2 года назад
@@protondecay4607 yes it is
@spiritgoldmember7528
@spiritgoldmember7528 6 лет назад
e^t never dies
@nigit7451
@nigit7451 6 лет назад
87392739233935 637 is a lot
@Tentin.Quarantino
@Tentin.Quarantino 5 лет назад
But he does phone home
@satrickptar6265
@satrickptar6265 5 лет назад
Lol
@davidpark1198
@davidpark1198 5 лет назад
Partial derivative kills e^t
@alephnull7410
@alephnull7410 5 лет назад
ln(e^t) t=0 dead
@josealbertolopezlopez8282
@josealbertolopezlopez8282 2 года назад
Why is Gamma more popular and used than Pi? Pi seems more logic if you want a function that extends factorial.
@zecaaabrao3634
@zecaaabrao3634 Месяц назад
The guy that invented the gamma function for some reason chose to make it off by one for some reason, and it became the most popular Pi was probably done later
@aaronbs8436
@aaronbs8436 4 года назад
Teacher: "Can you find a function so that f(1)=1 and..." "a million brain cells pops up at once on your head"
@oliverhoare6779
@oliverhoare6779 4 года назад
That’s surprisingly only ~0.001% of your brain mass.
@hamez1324
@hamez1324 6 лет назад
I am so happy you are doing this! Ive looked online for a reasonable way to understand the factorial function outside of just positive integers and have found nothing so far except this!
@Patapom3
@Patapom3 6 лет назад
Yup but it doesn't really explain anything about why choose such a function? Where does it come from?
@TheYoshi463
@TheYoshi463 6 лет назад
Patrick Apom You can prove that the Gamma-function is the only logarithmically-convex function interpolating the factorial.
@0ArshKhan0
@0ArshKhan0 6 лет назад
Gamma function is one of the most popular functions, and is used extensively in evaluating various other integrals...
@bonbonpony
@bonbonpony 6 лет назад
+Flewn: It doesn't really EXPLAIN much :q +Arsh Khan: Neither does that. Expressing those functions as integrals is putting the cart before the horse. A better way is to study the history of how the Gamma function has been discovered. Euler stated it for the first time with an infinite product, not an integral, which was much more close to the definition of factorial for natural numbers (which is also a product). Only then, when he tried to calculate its value for half-integers, starting from `(1/2)!`, he noticed that it results in Wallis's infinite product for `π/2`, and this gave him an idea that circles might be involved, so he switched to quadratures of the circle, trying to use trigonometric integrals to calculate the area of the circle. And this led him to the integral form used today. (Well, almost: it was closer to the Pi function mentioned in the video; the Gamma function with its "shift by 1" discrepancy is due to Legendre.)
@TheYoshi463
@TheYoshi463 6 лет назад
Yes and no. People have been experimenting with x²e^(-x) etc before, so they might have noticed some stuff. Also there are other ways to express the Gamma-function. When we proved Bohr-Møllerop (the explicitness of the Gamma-funtion) in our last homework we also happened to show the Gaußian-Limit form of the Gamma-function (which could be the original Gamma-function maybe). There is also the Weierstraß one which uses Euler-Maccharoni-constant. You have to consider that it took decades for some of the greatest mathematicians out there to find all these crazy identities.
@derendohoda3891
@derendohoda3891 6 лет назад
Around 12:00 you're discussing using L'H n times to kill the term but the whole point of this exercise is to create a function when n isn't an integer. If n isn't an integer in this step, you can't apply L'H n times to get a factorial like you say. Really you're getting n*(n-1)*... until the t term moves to the denominator, then you get a constant divided by infinity which does have the limit 0. Minor technical point. I love your love for math please never stop!
@ZipplyZane
@ZipplyZane 6 лет назад
It seems to me that you don't need the gamma or Pi functions to show that 0! = 1. You just need the two definitions you gave. 1! = 1 n! = n * (n-1)! Plug in 1 for n, you get 1! = 1 * (1-1)! 1 = 1 * 0! thus *1 = 0!*
@Jodabomb24
@Jodabomb24 6 лет назад
You have to be careful, though, because you can't just apply those formulas willy-nilly. Γ(1) = 0! = 1, but if you try to argue that since Γ(s+1)=sΓ(s), Γ(0) = 0 * 1 = 0, you run into trouble, because in actuality Γ(0) = ∞
@pj4717
@pj4717 6 лет назад
Hi. You seemed to have made an error in your explanation: Γ(s+1)=sΓ(s) Set s=0 Γ(1)=0*Γ(0) It is clear that one cannot decide the value here because division by 0 is undefined.
@bernandb7478
@bernandb7478 6 лет назад
I think the point was calculating the integral rather than 0!.
@pj4717
@pj4717 6 лет назад
Different points lay here.
@mridulk81
@mridulk81 3 года назад
@@Jodabomb24 doesn't gamma(s+1) = (s+1)•gamma(s)??
@anjanmukherjee7997
@anjanmukherjee7997 5 лет назад
pure mathematics is the most beautiful subject according to me
@eboian_x6522
@eboian_x6522 2 года назад
I agree brother next to physics, for me its the most thrilled sub ever
@sakketin
@sakketin 2 года назад
@@eboian_x6522 This exact subject is being taught to us in physics and I’m only a 2nd year student. It’s not as ”pure” as one might think.
@scottjames4057
@scottjames4057 6 лет назад
If you want more, here is the wikipedia page. Wise words
@kanishk9490
@kanishk9490 2 года назад
of a wise man.
@imnimbusy2885
@imnimbusy2885 Год назад
@@kanishk9490in wise pen.
@chimetimepaprika
@chimetimepaprika 5 лет назад
Dude, you're such a good teacher! I never fully got why this worked until now.
@skoockum
@skoockum 6 лет назад
This is fantastic. I am so glad I found this channel. Kelsey's videos and Mathologer are terrific, but the best way to explain math is to walk through it step by step on the board. I've looked at the gamma and pi functions on Wikipedia and the bit with x and t in the integrals had me stymied, but here at the end of your video when I looked back at the first integration I had none of my earlier confusion-- the x's role was immediately obvious, and I never even thought about it during the entire video. Looking at a page full of calculations it takes a lot of work to decode the operations and relationships. But watching it unfold in front of you is a cakewalk. LOL It's the next best thing to homework.
@deeptochatterjee532
@deeptochatterjee532 6 лет назад
skoockum Who is Kelsey?
@MarioFanGamer659
@MarioFanGamer659 6 лет назад
@Deepto Chatterjee: Former host of PBS Infinite Series.
@skoockum
@skoockum 6 лет назад
PBS Infinite Series
@Gold161803
@Gold161803 6 лет назад
You'll see this recommendation all over the comments on this channel, but 3blue1brown is another terrific math channel which uses clever and well-executed visuals to bring complicated concepts within range of your intuition
@aayushpaswan2941
@aayushpaswan2941 2 года назад
intresting fun fact:- ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-YIs3th01NV0.html
@AviMehra
@AviMehra 6 лет назад
We are not playing hangman
@RB_Universe_TV
@RB_Universe_TV 16 дней назад
Or we are? **Vsauce music starts playing**
@sarojpandeya9762
@sarojpandeya9762 5 лет назад
You are one of the great youtubers. And very good maths teacher I like.
@blackpenredpen
@blackpenredpen 5 лет назад
Thank you!
@mrnogot4251
@mrnogot4251 3 года назад
You are the best math channel on RU-vid. 3blue1brown is great and all but you get much more into the nitty gritty. Thanks man.
@Zonnymaka
@Zonnymaka 6 лет назад
Euler again of course :) Usually these kind of function are "deducted" by reasoning about "what you want" (as RedPen stated clearly in the video) and "which function is more suitable to fulfill the requirements". Usually e^x comes up everywhere because of his extraordinary properties. Well done RedPen!
@injanju
@injanju 6 лет назад
Finally! But how dd they come up with the Pi and Gamma functions?
@blackpenredpen
@blackpenredpen 6 лет назад
Hmm, you may have to ask Euler or Gauss for that. I guess they saw how we can use IBP on those integrals and resulted some kind of factorial properties... I am not entirely sure tho...
@materiasacra
@materiasacra 6 лет назад
Here is a nice summary of the actual history: www.maa.org/sites/default/files/pdf/editorial/euler/How%20Euler%20Did%20It%2047%20Gamma%20function.pdf As is often the case, the historical context and development is not very useful to the modern learner. People of different eras have different perspectives.
@jeromesnail
@jeromesnail 6 лет назад
Somtimes the historical context is really important to understand how things came up and avoid some circular reasoning. I'm thinking particularly of the log and exponential function, which each have many different definitions.
@sss-ol3dl
@sss-ol3dl 6 лет назад
Experimentation, wealthy people had a lot of time on their hands back then. Think about how many times people have integrated x^2 e^x for calculus exams or x^3 e^(-x), its maybe not so hard to imagine people trying to generalize it and find properties.
@MuchHigherInterestRATEs
@MuchHigherInterestRATEs 6 лет назад
parsenver [Wealthy] people don't experiment, they [don't] need to ¡!
@lightningblade9347
@lightningblade9347 4 года назад
I never laughed so hard while watching a mathematics video on RU-vid - 16:06. Thank you so much for the video man, I've been trying to understand the Gamma function for so long and your video explained it flawlessly.
@nrpbrown
@nrpbrown 2 года назад
This was juat the explanation for both these functions ive been looking for, thank you.
@ftbex9224
@ftbex9224 2 года назад
原來pi function 和 gamma function 這麼相近! very clear explanation!
@Patapom3
@Patapom3 6 лет назад
Great! How Gauss did come up with this anyway? And why is the gamma using x-1? Why not using the PI function directly?
@deadfish3789
@deadfish3789 6 лет назад
Patrick Apom. I was wondering why Gamma is most famous too
@unrulyObnoxious
@unrulyObnoxious 6 лет назад
DeadFish37 the pi function works only for x > 0. But the gamma function is defined for all real numbers except the negative integers. That's why gamma is more famous.
@unrulyObnoxious
@unrulyObnoxious 6 лет назад
Zacharie Etienne Oh I'm very sorry! 😅 It's an error on my part.
@ahmedshaikha8938
@ahmedshaikha8938 6 лет назад
Ask Euler
@ffggddss
@ffggddss 6 лет назад
To me, the ∏ function always seemed more natural, because it hasn't got the extra "-1" in the exponent of t. But they're exactly the same function, just shifted one unit horizontally, relative to one another.
@michaelgutierrez7220
@michaelgutierrez7220 6 лет назад
I love these videos on interesting mathematical bits! Can you do one on Weierstrass functions?
@wkingston1248
@wkingston1248 6 лет назад
Whats 3! BRB time to do a wall of calculus to find the answer XD. EDIT: its 6 apparently
@danibaba7058
@danibaba7058 4 года назад
actually its very easy to find gamma(n),n is natural...but i need to do this for pi and i have no idea how to XD
@peasant7214
@peasant7214 5 лет назад
whats that box?
@adrienmasoka6033
@adrienmasoka6033 Год назад
There will be a day when i will need this type of teacher
@bart2019
@bart2019 Год назад
So, what is the reason why the definition of the Gamma function is chosen in this weird way?
@jeremyr6034
@jeremyr6034 6 лет назад
Nice video, It would be cool to see you make a video explaining the properties of the gamma function, overall great stuff.
@KillianDefaoite
@KillianDefaoite 6 лет назад
Supreme jacket CL0UT
@lukapacak258
@lukapacak258 6 лет назад
I looked for a video for this function just yesterday, perfect timing!
@doktorklaus300
@doktorklaus300 4 года назад
Love videos of Blackpenredpen
@Chai_yeah
@Chai_yeah 6 лет назад
Nyc video!! Are you going to do Beta function also? & their relation , It turns out to be helpful in many cases!
@blackpenredpen
@blackpenredpen 6 лет назад
Chaitanya Paranjape i can. But prob next week or so. Thank you.
@Chai_yeah
@Chai_yeah 6 лет назад
blackpenredpen Yay!
@MrRyanroberson1
@MrRyanroberson1 6 лет назад
make a playlist of all the alphabet functions! make sure to keep them in order.
@ahmedfarid8691
@ahmedfarid8691 3 года назад
Really, you are a great teacher and I'm excited to watch more videos about your lessons. Thanks for help
@vexrav
@vexrav 6 лет назад
In this video you show that the pi/gamma family of functions are able to extend the factorial function to the reals. Could you prove that this family of functions is unique? ie no other function maintains the listed properties for the reals.
@General12th
@General12th 6 лет назад
Great question!
@officialEricBG
@officialEricBG 6 лет назад
iirc he needs to also add the condition of log-convexity
@vexrav
@vexrav 6 лет назад
Why must the function be logarithmically convex? My guess is that the first two properties imply that the function will be log-convex, but idk.
@dlevi67
@dlevi67 6 лет назад
Because otherwise it's not unique (in this case). Look up "Hadamard's gamma function" (it maintains the two properties of f(1) = 1 and f(n) = n * f(n-1) but it's not log-convex)
@vexrav
@vexrav 6 лет назад
a convex function is the same as a function which is concave up. more specifically if you pick any two point on the function the connecting segment will be either on or above the graph. You may have checked for this calc class using the second derivative test. a function is logarithmically convex if the function log(f(x)) is convex. en.wikipedia.org/wiki/Logarithmically_convex_function
@ferudunatakan
@ferudunatakan Год назад
Why there is a gamma function? Gamma is NOT the generalization (English is not my first language) for factorials. Genaralization for factorials is Pi function. And pi function includes x, but gamma includes x-1 and gamma(x)=(x MINUS ONE)!. Pi is pretty useful.
@arminbolouri8083
@arminbolouri8083 3 года назад
Great Explanation! I had alot of fun watching the video. Thank you.
@jivjotsingh2668
@jivjotsingh2668 6 лет назад
Best Content on Whole RU-vid!!
@nanashi_74_
@nanashi_74_ 4 года назад
3:33 f(1)=1 f(x)=x*f(x-1) uh i think that's exactly what i used for function factorial -in javascript-
@pablojulianjimenezcano4362
@pablojulianjimenezcano4362 6 лет назад
You make it seem easy!!! So brilliant :D
@fahim1943
@fahim1943 3 года назад
Dahm, this is a whole new level of fascinating
@xshortguy
@xshortguy 4 года назад
LHopital's rule is overkill for these limits. Just use arguments using inequalities.
@nehalkalita
@nehalkalita Год назад
Very good explanation
@premdeepkhatri1441
@premdeepkhatri1441 Месяц назад
Thanks for video
@matthewtallent8296
@matthewtallent8296 6 месяцев назад
14:33 best part 😊
@coolbionicle
@coolbionicle 6 лет назад
I finally understand the gamma function. thankyou!
@mathbattles1471
@mathbattles1471 2 года назад
e^t never dies.....!
@FourthDerivative
@FourthDerivative 6 лет назад
So what's the point of the gamma function, anyway? The pi function seems like a much more natural extension of the factorial. But for some reason the version that's confusingly shifted over by 1 is the one that's always taught?
@ahmedshaikha8938
@ahmedshaikha8938 6 лет назад
FourthDerivative The gamma function pops up everywhere.
@FourthDerivative
@FourthDerivative 6 лет назад
Okay, but still, why not use the Pi function in those cases instead? They're literally the same function, just shifted over by one, and Pi has the advantage that it has a more straightforward correspondence with the factorial over the integers. It's like the tau vs. pi debate, the baggage of historical notation just makes things unnecessarily complicated.
@theflaggeddragon9472
@theflaggeddragon9472 6 лет назад
The only good use of gamma over pi is that the first "pole" or blowup of the gamma function is at the origin rather than 1. This makes some contour integration in the complex plane a little bit simpler, but other than that it ruins all the formulae. I wish the mathematical community had stuck with pi.
@KartonRealista2
@KartonRealista2 6 лет назад
Well, sometimes things appear so often they need another name. In chemistry/physics we use the Dirac constant all the time, even though it can be expressed in terms of the Planck constant. ħ=h/2π. Why? Because it pops up so much it just makes the notation cleaner.
@JashanTaggar
@JashanTaggar 6 лет назад
Hey ! You made it !!!! Do the integral of 1/1+sqrt(tanx) !
@jeromesnail
@jeromesnail 6 лет назад
Great video! Can we get the Π (or Gama) function(s) from the initial equation, or is just an happy accident, i.e but studying this integral we figured out is had the same property as factoreo?
@c-m9077
@c-m9077 6 лет назад
We can. I think it was weierstrass that extracted this integral from euler's infinite sum, but i could be mistaken.
@yufeizhan726
@yufeizhan726 3 года назад
That is really a good video. I also learnt how to do integration by parts quickly aside from the main content
@brucelilelo1445
@brucelilelo1445 4 года назад
Great... I am always appreciating to you.
@kevincaotong
@kevincaotong 6 лет назад
:O This was an amazing video! Can you do a video on the Riemann Zeta function (and maybe the Riemann Hypothesis and the infinite sum of 1/n^2 =pi^2/6)? I'm curious as to how Riemann was able to come up with the integral.
@dovidglass5445
@dovidglass5445 3 года назад
Thank you so much for your brilliantly clear and enthusiastically explained videos! I have a question though: what's the point of having both the Pi and Gamma function? Surely having only one also does the job of the other? What do they add to each other that the other doesn't have?
@adamkangoroo8475
@adamkangoroo8475 6 лет назад
The best video of the year :D
@takyc7883
@takyc7883 3 года назад
Two things I’m curios about, so if someone could explain it’d be much appreciated: 1. How did gauss come up with the function? It seems very arbitrary for the exponential integral to be used as an extension of the factorial function and doesn’t seem to derived very directly, except by comparison of results. 2. Why is the Pi function called the pi function? It doesn’t have pi in it unless you use eulers identity. 3. Where do the imaginary results come in?
@Imperio_Otomano_the_realest
@Imperio_Otomano_the_realest 2 года назад
because people are too uncreative to name a function so they just plug in random greek letters. nothing to do with the 3.1415926 constant.
@aneeshsrinivas9088
@aneeshsrinivas9088 2 года назад
the capital Pi is for product, which the factorial basically is[at least for integers].
@lambda2693
@lambda2693 2 года назад
thats not 2 things its 3
@sageunix3381
@sageunix3381 2 года назад
Love your content. Keep it up 💯
@rybaplcaki7267
@rybaplcaki7267 6 лет назад
Please make more videos like that, about more complicated maths!
@rj-nj3uk
@rj-nj3uk 6 лет назад
Blackpenredpenbluepen.
@David-km2ie
@David-km2ie 4 года назад
You need at least one extra property to continuing the factorial, since now Π+sin(πx) is also a solution. You could introduce the property ln(Π) is convex
@Anonymous-df8it
@Anonymous-df8it 2 года назад
It's even worse as pi(x)+sin(pi*a*x) is a solution for all integer values of a.
@sandorfogassy3007
@sandorfogassy3007 5 лет назад
This video is fantastic. Thank you.
@luizantoniomarquesferreira1468
@luizantoniomarquesferreira1468 4 года назад
It is too crazyyyyyy!!! Loved it!!!
@ffggddss
@ffggddss 6 лет назад
+ bprp - I understand the "pin" has already been won; I don't see it right now (haven't searched through these comments enough), but I'll weigh in anyway, because I suspect no one has (yet) invoked the following method. The infinite product at the end of your video can be written P = ∏ᵢ₌₁ºº (1 + aᵢ ), where aᵢ = -1/(2i) Now such an infinite product converges or diverges, as the infinite series, ∑aᵢ , does. But that series is harmonic and is well known to diverge (to -∞). Therefore, the infinite product diverges to 0. [An infinite product is said to diverge if its limit is either infinite or 0; in other words, if its log(absolute) goes to ±∞.] Fred
@toddtrimble2555
@toddtrimble2555 Год назад
Regarding Pi being "cooler" than Gamma: that depends. The functional equation for the Riemann zeta function, expressed in the form Z(1-s) = Z(s) where Z(s) = pi^{-s/2}Gamma(s/2)zeta(s), would be way less cool-looking if we had to use Pi instead of Gamma. Ultimately, this is connected with the fact that when integrating over the multiplicative group (0, infinity), it's usually way cooler to use the Haar measure dt/t than dt, and this offset by a factor of t explains why it's often advantageous to use Gamma instead.
@utuberaj60
@utuberaj60 Год назад
Very nice intro to the factorial in terms of the Pi function. Then why do we need a Gamma function at all? Can you please explain that? As I understand, the Gamma function ALSO generalizes the factorial idea to ALL real (or complex) nos. Then why do we need the Pi function at all? Honestly, I am seeing the Pi function for the first time. Would be grateful if you can share a link about the Pi function and it's application
@namanladhad6770
@namanladhad6770 5 лет назад
0! can be found using the two conditions itself. since f(1)=1 and f(n)=n•f(n-1) From the second condition , if we put n=1 , we get f(1)=1•f(1-1) => 1=f(0) => 0!=1
@bonbonpony
@bonbonpony 6 лет назад
00:40 Also for `n=0` ;J And if you find empty products fishy, as some people do (not me; for me, an empty product is just "take the unit and don't transform it in any way, so it stays unchanged"), you can derive `0! = 1` from the second property you mentioned in 3:14: Since `n! = n·(n-1)!`, we can divide both sides by `n` to get: n! / n = (n-1)! We can easily calculate `n! = 1`, no problem with that. But if `n=1`, then the right-hand side is `(n-1)! = (1-1)! = 0!`, isn't it? :> And it has to be equal to the right-hand side, which is `n! / n = 1! / 1 = 1/1 = 1` :> So it must be that `0! = 1` ;) It also shows why the factorials of negative integers are undefined: choosing `n=0` we find that there's 0 in the denominator on the right-hand side, so although we can calculate `0!` now, division by 0 turns out to be problematic :q This will also render it undefined for all other negative integers, because of `n!` in the numerator being undefined for their plus-ones. 04:15 Yay! Finally someone else who knows the `Π` function! :> I always wondered why do people prefer `Γ` even if it's more cumbersome than `Π` due to that "shift by one" :P I smell a rat here, because when you check out the history, it didn't even started out as the integral we know today. Euler introduced it (when studying Goldbach series - a sum of subsequent factorials) in a form of an infinite product, which is much more clear, because it obviously connects with the product in the factorial. The integral form is a later invention which only muddies the issue and makes it undefined for negative arguments :P (contrary to the infinite product, which is defined for all complex-valued arguments all fine :P ). Euler came up with it when he noticed that his infinite product reduces to the Wallis's product for `π/2`, and once he saw that `π` is involved, he immediately thought about circles, so he switched to quadratures of the circle expressed with integrals. But now we're being taught backwards, putting the cart before the horse :P Not only that, but no one explains us where do these fancy integrals come from and how did Euler and Gauss figure them out :P And we have to deal with that incomplete definition with integrals that don't work for negative arguments and "restore the order" by some pesky ways of analytic continuation :P Why, I ask?! But no one answers... 15:27 Indeed :> It's like with `π` and `τ` :q 16:19 That look ;D Like "Seriously, guys?" :q 16:45 Mah maaan ;J
@nickfuhr8589
@nickfuhr8589 3 года назад
Great video
@privateaccount4356
@privateaccount4356 3 года назад
"As always, that's it" ahahah. Good video, thanks
@jeffrysteck6314
@jeffrysteck6314 2 года назад
14:39 made me laugh unreasonably hard
@paulfaigl8329
@paulfaigl8329 5 лет назад
what a smart guy!
@andywright8803
@andywright8803 4 года назад
I contest that there are an infinity of different functions that pass through the points (1,1),(2,2),(3,6) etc, it's just that you have shown the simplest such function. For instance, the functions could be sinusoidal, but multiplied by the pi function. That would work. I understand why people have hit upon the pi function, after all, it's simple to work with, but there ARE other solutions
@coldmash
@coldmash 6 лет назад
so why even bother with learning the regular definition of the factorial when this seems to be the "better" way? has the pi function already replaced it or is there still a problem and if so what is it?
@angelmendez-rivera351
@angelmendez-rivera351 5 лет назад
coldmash Why bother learning the arithmetic definition of exponentiation when one could just learn the Taylor expansion of it and then already have this be well-defined for all complex numbers?
@shayanmoosavi9139
@shayanmoosavi9139 5 лет назад
We're not playing hangman here😂😂😂😂
@MrThomazSatiro
@MrThomazSatiro 6 лет назад
So if pi (0)= pi (1)= 1 then the pi function have a minimum between 0 and 1 right? What are the minimum coordinates?
@redvel5042
@redvel5042 6 лет назад
Yes, it does indeed have a minimum between 0 and 1. The minimus is at (0.4616, 0.8856).
@nendwr
@nendwr 6 лет назад
Close to (e^2)/16, but not quite. How is 0.4616 actually derived?
@redvel5042
@redvel5042 6 лет назад
I just used Desmos to graph x!, and looked at the min co-ordinates. You can try to derive it yourself, I just don't think it will be easy.
@msolec2000
@msolec2000 6 лет назад
Use the derivative and set it equal to 0.
@ffggddss
@ffggddss 6 лет назад
+ simon rothman: Or use Grapher in MacOSX; or Wolfram Alpha (math calculation free website extraordinaire). Not sure what that number is, mathematically. But shifted by one unit; ∏(x) = Γ(x+1); it's a zero of the digamma function, which is the derivative of Γ(z). But it (x ≈ 0.4616) almost satisfies (x+1)² = 1/x; i.e., x³ + 2x² + x - 1 = 0.
@tonypalmeri722
@tonypalmeri722 6 лет назад
Thank you for doing this video.
@ufukkoyuncu3408
@ufukkoyuncu3408 Год назад
It was a useful and enjoyable lesson for me. Thank you
@leonardoalfaro6007
@leonardoalfaro6007 6 лет назад
loveee that supreme sweater man!
@mptyyegdlc
@mptyyegdlc 2 года назад
5:45 - 9:57 The most convoluted way in the world to calculate 1! = 1😂
@mtaur4113
@mtaur4113 4 года назад
Good use of color.
@mtaur4113
@mtaur4113 4 года назад
There are other reasons why 0! = 1 is the "right choice". Almost every formula that has factorials reduces down to the "right thing" when you make that definition. So it's good that Pi agrees with that. For starters, consider "n choose m" when m = n. How many ways are there to pick 5 objects from a collection of 5 things? Well, you clearly just take the set itself. And n choose 0. How many ways are there to pick nothing? Well, there's only one empty set. n!/(n! 0!) = 1, so we're good.
@VectorMonz
@VectorMonz Год назад
Maybe x! should be defined as a family of functions rather than a function itself. x! = { x when x = 1 x(x - 1) when x = 2 x(x - 1)(x - 2) when x = 3 x(x - 1)(x - 2)(x - 3) when x = 4 . . . } Each of them is its own polynomial function that can be used to compute a unique factorial.
@pichass9337
@pichass9337 4 года назад
I like the kokoro odoru look
@mmebled31sansnom26
@mmebled31sansnom26 2 года назад
Interesting extending factorial Could you bring the caméra a little closer please sir the teacher Thank you teacher 🙏
@tonyhaddad1394
@tonyhaddad1394 3 года назад
15:08 you have prooved by induction 😍
@zombiedude347
@zombiedude347 4 года назад
12:20. People who are familiar with big O notation could probably skip over this lhopital's rule because O(constant^x) > O(x^constant). This makes all instances of lim(x^constant / constant^x) as x -> inf return 0.
@JohnSilvavlogs
@JohnSilvavlogs 6 лет назад
Awesome mate , as always! I have a question, sorry if I find misinformed but I learned to integrate by parts using another method. Int u*dv = uv - int{v*du} And this DI method I’ve never seen, specially when you used a third column to give the answer to the integral . Would you mind sharing where I could learn it? Always nice to get to know other ways. Thanks a lot e keep it up my friend
@BikeArea
@BikeArea 2 года назад
I second that! 😉
@doobinl8505
@doobinl8505 3 года назад
came to learn about gamma function... It is a video about Pi function + gamma function equation no explanation
@vashushukla1727
@vashushukla1727 6 лет назад
Thank you it is really helpful
@timehasstoppedandthefunbeg4467
@timehasstoppedandthefunbeg4467 3 года назад
Man, i actually understand this at some point
@camishere4584
@camishere4584 3 года назад
I have not found any concrete evaluation of gamma(1/5) anywhere online, not even approximations. the simplified integral diverges and I can't find a close enough series to find what values its riemann sums converge towards It would be cool if you could cover that in a future video
@Paul-222
@Paul-222 Год назад
e^t never dies!
@gongasvf
@gongasvf 6 лет назад
This is awesome!!
@Rtong98
@Rtong98 5 лет назад
You have so much content 😍
@RicardoOliveiraRGB
@RicardoOliveiraRGB 6 лет назад
What is this method for integral by parts? Do you have some video about that?
@Tranbarsjuice
@Tranbarsjuice 6 лет назад
Ricardo O. It’s just the regular definition of integration by parts. Integral(f(x)g(x)dx) = [F(x)g(x)] -integral(F(x)g’(x)dx) Where f(x), g(x) are functions of x and F(x) is the primitive function of f(x) and g’(x) is the derivative of g(x). He is just using that “box method” as an easy way to remember how to assemble the right hand side.
@RaphaBaruffi
@RaphaBaruffi 6 лет назад
He calls it the DI method. He has a video explaining it
@RicardoOliveiraRGB
@RicardoOliveiraRGB 6 лет назад
Raphael Antunes thanks
@aarohgokhale3650
@aarohgokhale3650 5 лет назад
This is beautiful
@HxTurtle
@HxTurtle 6 лет назад
• 14:24 • press C • discover a new 'limit' .. namely that of automated speech recognition.
@medgazzeh9884
@medgazzeh9884 4 года назад
"e to the t never dies" that should be a song title
@iraklibuliskeria3877
@iraklibuliskeria3877 6 лет назад
noone can explain mathematicaly why is 0!=1, its cool! explain was excelent!
@MrIndomit
@MrIndomit 6 лет назад
If n is not an integer you can't just take n'th derivative of t^n in lim t-> inf (-t^n/e^t)
@jeromesnail
@jeromesnail 6 лет назад
indomit here (t^alpha)' = alpha*t^(alpha-1) even if alpha is real. So at one point the exponent it to will be negative so the numerator will approach 0.
@MrIndomit
@MrIndomit 6 лет назад
yes, I know it. I just think this remark should be in the video.
Далее
How to Take the Factorial of Any Number
26:31
Просмотров 1,1 млн
#JasonStatham being iconic
00:38
Просмотров 205 тыс.
zero factorial, why 0! should be 1, 4 reasons
12:58
Просмотров 530 тыс.
The Mystery Behind This Math Miracle
11:01
Просмотров 94 тыс.
how Laplace solved the Gaussian integral
15:01
Просмотров 738 тыс.
Caught Cheating With Phone In His SOCK!
14:29
Просмотров 59 тыс.
Researchers thought this was a bug (Borwein integrals)
17:26
what is half factorial? (1/2)!=? via. Gamma function
10:53
7 factorials you probably didn't know
12:59
Просмотров 394 тыс.
i^i
12:27
Просмотров 1,2 млн