@Kiko Frías Tenza good question. As it turns out, only 4x7 matrices leave the monoidal functor invariant under conformal diffeomorphisms, not to be confused with generators of the poincare unitarity condition.
Worth pointing out that the series is only guaranteed to have non-zero radius of convergence, i.e. convergence in a neighborhood of f(x_0), and so it doesn't necessarily solve all equations outright. Of course, this is obvious in the sense that f may not be invertible, and certain invertible subdomains may not contain a root. For example, x^3 - 3x + 3 has no roots on (-1,1), so if you chose an x_0 in that interval, your inverse series will not converge at y = 0. However, if you have a decent guess of the root or know that the function is invertible, this method works nicely.
One good and important application of this theorem is to solve quintic equations. Quintic equations cannot be solved using radical functions in general, but they can always be transformed into an equation of the form ζ^5 + ζ + a = 0. By having ζ^5 + ζ = -a, one can use the Lagrange inversion theorem and obtained the solutions to the equation for every complex a. This is used in the definition of the Bring radical, which is an algebraic function that cannot be formed from compositions of radicals and rational functions. In general, this can always be used for any polynomial equation, which helps rather significantly with studying algebraic functions in spite of the Abel-Ruffini theorem.
Today I remembered there's something about the theorem in Knuth's "The Art of Programming", checked this, and now I see your video with same subject! What a coincidence!
Awesome video. You know this was also how I introduced solving linear equations in the Introductory Algebra course I was teaching at my local high school. For some reason, the students had a hard time grasping something so straightforward. I guess I forgot to recommend they bone up on Cauchy's residue theorem and the analyticity of functions before the first day. Oops.
I'm currently learning linear algebra - about to move onto calc 3 when I'm done -. So, I don't fully understand what I've seen in this video. But, of what I do understand, you explained it really well and I found it very interesting! Thanks for making such awesome content and I hope you have a lovely day!
Currently doing pre-calc, so I don’t -fully- understand what’s going on here but I _was_ able to use the formula to figure out that when 3x = 6, x = 2. Wild
0:07 Very good meme dude (thumbs up) It is also circular thinking firs number connected with last one in the sequence of numbers 1+100+2+99+3+98+4+97+5+96+... Analytical continuation 1+2+3+4+5+..+infinity=-1/12. Clock has 12 arrows it is also circular summation of mod(12). In every country we hear Gauss fable in Math class, even it has not historian evidence of existence.
This is pretty cool but what happens if you try to use this on a general quintic polynomial? Would it be impossible to determine what the summation converges to since you can't have a generalized, explicit solution for the quintic polynomial?
An explicit formula for the roots of a quintic polynomial function does exist. This formula just cannot be written using addition, multiplication, and radical functions alone. You can, however, use the Lagrange inversion theorem, and use the generalized hypergeometric function to express the roots.
Physics and Math Lectures has a two video series that covers the Lagrange Inversion Theorem and uses it to get a Taylor series for W. Love your channel bruh but I think Physics and Math Lectures's was a bit cleaner on this topic.
hi thanks for your explanation but i have this equation and i don't know how can i solve it ...... 2*cos(x) - beta*sin(x) + beta*sin(alpha*x) = 0 alpha and beta are two parameters and i need to solve x x=f(alpha,beta)
@@PapaFlammy69 Yeah sometimes helping with homework can be a little annoying for him. Your teacher only said that's true because you are working in a field. And dang I remember when multiplication was guaranteed to be commutative. Must be nice. lol
@@PapaFlammy69 Maybe it's a bot. I doubt any human being can actually be that consistent without help from technology. Or maybe I'm underestimating humans.
You're doing too much work here. First you check that it's analytic by finding the Taylor series, then you check that the derivative is non-zero by calculating the derivative. You only need to do one of these! If you can calculate the (complex) derivative, then it's analytic, no need for the Taylor series. Conversely, if you have the Taylor series, then the linear coefficient in the series is the derivative, no need to differentiate it. You're really putting yourself through a lot of extra work for no good reason!
nah this is the most easiest and straightforward, are you denying lagrange's ingenious theorem? He's one of the math GOATs. You should publish your research on arxiv or smth
*_Thanks for watching my dear flammily members
nice another epic lagrange inversion theorem video
Nice
FlammyBabaOP
I weiss grad net mer wo I mein Schwonz reinstecka soll ...
another epic video, do you know where I could find the proof? I can't seem to find it anywhere online?
What’s the theorem? I mean if it’s in physics, it’s invertible, QED.
lol
@Kiko Frías Tenza good question. As it turns out, only 4x7 matrices leave the monoidal functor invariant under conformal diffeomorphisms, not to be confused with generators of the poincare unitarity condition.
@@AndrewDotsonvideos *nodding my head pretending to understand*
Yeah lol, when dealing with canonical transformations and generating functions, we have to assume so much invertibility.
@@houseflyer4014 What I just said was udder nonsense btw.
When Pappy Flammy says something is gonna be wild, your brain is gonna be in for a tough ride
we'll see, we'll see
Bet
a wild Shorthax outside its natural habitat
"Lube up your brain!"
I'm so glad we had this theorem or I never would've been able to solve that equation.
Worth pointing out that the series is only guaranteed to have non-zero radius of convergence, i.e. convergence in a neighborhood of f(x_0), and so it doesn't necessarily solve all equations outright. Of course, this is obvious in the sense that f may not be invertible, and certain invertible subdomains may not contain a root. For example, x^3 - 3x + 3 has no roots on (-1,1), so if you chose an x_0 in that interval, your inverse series will not converge at y = 0. However, if you have a decent guess of the root or know that the function is invertible, this method works nicely.
One good and important application of this theorem is to solve quintic equations. Quintic equations cannot be solved using radical functions in general, but they can always be transformed into an equation of the form ζ^5 + ζ + a = 0. By having ζ^5 + ζ = -a, one can use the Lagrange inversion theorem and obtained the solutions to the equation for every complex a. This is used in the definition of the Bring radical, which is an algebraic function that cannot be formed from compositions of radicals and rational functions. In general, this can always be used for any polynomial equation, which helps rather significantly with studying algebraic functions in spite of the Abel-Ruffini theorem.
I'll save everyone 18 minutes. The answer is 3. (It took me only 10 minutes to figure it out.)
buzzkill
The journey is the destination.
5:55 When the chalk hits hard on a bracket with the word "OF" you know the stuff that comes next is bussin'.
Today I remembered there's something about the theorem in Knuth's "The Art of Programming", checked this, and now I see your video with same subject! What a coincidence!
Awesome video. You know this was also how I introduced solving linear equations in the Introductory Algebra course I was teaching at my local high school. For some reason, the students had a hard time grasping something so straightforward. I guess I forgot to recommend they bone up on Cauchy's residue theorem and the analyticity of functions before the first day. Oops.
smh
I'm currently learning linear algebra - about to move onto calc 3 when I'm done -. So, I don't fully understand what I've seen in this video. But, of what I do understand, you explained it really well and I found it very interesting! Thanks for making such awesome content and I hope you have a lovely day!
Have a great day too, Jay
Currently doing pre-calc, so I don’t -fully- understand what’s going on here but I _was_ able to use the formula to figure out that when 3x = 6, x = 2. Wild
@@redpepper74 I'm also currently doing pre-calc and plan to use this on one of my tests to troll my teacher lol
0:07 Very good meme dude (thumbs up) It is also circular thinking firs number connected with last one in the sequence of numbers 1+100+2+99+3+98+4+97+5+96+... Analytical continuation 1+2+3+4+5+..+infinity=-1/12. Clock has 12 arrows it is also circular summation of mod(12). In every country we hear Gauss fable in Math class, even it has not historian evidence of existence.
It is great to learn new math theorem!
I think you should make a series of videoes in this inversion theorem you explained it well
one of the best videos for a long time, great new topic and learned new way to solve stuff, thank you
17:25 Ending
17:33 Real ending
I see you have blessed the flamily with your presence. Send our regards to Michael Penn 😁
Ooooo
Thanks for the knowledge Pappa Flammy! I learned something new every video. Greetings from American
Dear sir, could you show us how to derive this Lagrange Inversion Formula? I am unable find it on the website. Thanks & regards.
I'm a physics student, I watched to the end to listen to how he said Lagrange
This is pretty cool but what happens if you try to use this on a general quintic polynomial? Would it be impossible to determine what the summation converges to since you can't have a generalized, explicit solution for the quintic polynomial?
I don't think it will be a generalized expression since it's evaluated at a specific point.
An explicit formula for the roots of a quintic polynomial function does exist. This formula just cannot be written using addition, multiplication, and radical functions alone. You can, however, use the Lagrange inversion theorem, and use the generalized hypergeometric function to express the roots.
0:04 that meme tho
14:46 yes papa im interested in Algebruh
nice.
Can you do that for polynomials on both sides?
Physics and Math Lectures has a two video series that covers the Lagrange Inversion Theorem and uses it to get a Taylor series for W.
Love your channel bruh but I think Physics and Math Lectures's was a bit cleaner on this topic.
Lol everytime I learn something, it shows up on your channel in the same week, I swear it's a curse
xD
I was expecting a proof of the theorem, anyways great video. Something new!
=)
papa flammy killin' it
Another awesome video!!!
Yeee watching papa flammy while doing math homework.
That meme in the beginning was wild
you can say it's lit
this video in a nutshell:everything vanishes but the solution
0:05 -gaud- -gamer- Gauss tier mim
You lost me at 5:50. I still like these unreasonable ways to deal with simple problem.
hi thanks for your explanation but i have this equation and i don't know how can i solve it ...... 2*cos(x) - beta*sin(x) + beta*sin(alpha*x) = 0 alpha and beta are two parameters
and i need to solve x
x=f(alpha,beta)
This is so good, thank you, to be vague, lol. I wish i could like 3 times.
That was pretty sweet 👌
The sliding boards made me seasick in part of this
oh man xD
Was it pouring with rain when you filmed this?
I like the "wa~" pronunciation for y
Do you think if I teach my 9th grader to reproduce this in Algebra 1 when they get this problem, he would get full credit?
yeye, he definitely should tbh
@@PapaFlammy69 Yeah sometimes helping with homework can be a little annoying for him. Your teacher only said that's true because you are working in a field. And dang I remember when multiplication was guaranteed to be commutative. Must be nice. lol
LIT GOT mE
Papa you've been hitting the gym harder than my dad hits me! :D
not really lol, I hate working out
Considering flammy’s reply, it’s good to know your dad doesn’t beat you
I only watch the videos for the memes at the start
Plz teach calculus of variations ....🐸
You look tired are ok @Flammable Maths
yeye, just working a bit too much all day long hehe ^^
I lost track of things in the first 6 minutes, but nice video anyway
This video has been out for 15 minutes and it already has a dislike. Somebody is subscribed to this channel just so they can immediately dislike. Wtf
And there are dislikes on every video. I wanna meet these people just to see if they exist
yup, always on time. Someone always dislikes approx. 15- 30min after release lol
ppl with tiny pp be like
@@sharpman5772 big fax
@@PapaFlammy69 Maybe it's a bot. I doubt any human being can actually be that consistent without help from technology. Or maybe I'm underestimating humans.
Shiii, next time imma blow my professor's mind!!
Inverse of Lagrange is Gauss😌
No, it's egnargaL
Yep, I'm lost
Fuck, if I had a child in some intro math I'd make them write this for an answer
:DDD
That's what I'm gonna do in my precalc class lol
Best papa
Has anyone watched mathologers video yet?
ye
Oh yes I was looking forward to this one! Time to become a real man lol
ah yes, Lagronch
Yeah I'm eight
x-1=2 => x=3 *khaby lame comes in*
do I hear a robot vacuum in the background rooming your room?
That was my wife lol
@@PapaFlammy69 😳
You're doing too much work here. First you check that it's analytic by finding the Taylor series, then you check that the derivative is non-zero by calculating the derivative. You only need to do one of these! If you can calculate the (complex) derivative, then it's analytic, no need for the Taylor series. Conversely, if you have the Taylor series, then the linear coefficient in the series is the derivative, no need to differentiate it. You're really putting yourself through a lot of extra work for no good reason!
Yeah I’m second
Yeah I got a heart
@@caseyhokanson1844 Yeah I Replied
Yeah got a reply
@@caseyhokanson1844 got a reply to a reply
Fugacity
Yeah I'm first
okay papa very epic
now show us how to get something useful 😠🔫
I know a much easier way of solving this equation lol
nah this is the most easiest and straightforward, are you denying lagrange's ingenious theorem? He's one of the math GOATs. You should publish your research on arxiv or smth