Grant Sanderson (3Blue1Brown) | Unsolvability of the Quintic | The Cartesian Cafe w/ Timothy Nguyen

Подписаться 13 тыс.

Просмотров 63 тыс.

50% 1

Grant Sanderson is a mathematician who is the author of the RU-vid channel “3Blue1Brown”, viewed by millions for its beautiful blend of visual animation and mathematical pedagogy. His channel covers a wide range of mathematical topics, which to name a few include calculus, quaternions, epidemic modeling, and artificial neural networks. Grant received his bachelor's degree in mathematics from Stanford University and has worked with a variety of mathematics educators and outlets, including Khan Academy, The Art of Problem Solving, MIT OpenCourseWare, Numberphile, and Quanta Magazine.
In this episode, we discuss the famous unsolvability of quintic polynomials: there exists no formula, consisting only of finitely many arithmetic operations and radicals, for expressing the roots of a general fifth degree polynomial in terms of the polynomial's coefficients. The standard proof that is taught in abstract algebra courses uses the machinery of Galois theory. Instead of following that route, Grant and I proceed in barebones style along (somewhat) historical lines by first solving quadratics, cubics, and quartics. Along the way, we present the insights obtained by Lagrange that motivate a very natural combinatorial question, which contains the germs of modern group theory and Galois theory and whose answer suggests that the quintic is unsolvable (later confirmed through the work of Abel and Galois). We end with some informal discussions about Abel's proof and the topological proof due to Vladimir Arnold.
#3blue1brown #grantsanderson #math #maths #mathematics #algebra #grouptheory #pedagogy #equations #polynomials
Patreon: / timothynguyen
Part I. Introduction
00:00: Introduction
00:52: How did you get interested in math?
06:30: Future of math pedagogy and AI
12:03: Overview. How Grant got interested in unsolvability of the quintic
15:26: Problem formulation
17:42: History of solving polynomial equations
19:50: Po-Shen Loh
Part II. Working Up to the Quintic
28:06: Quadratics
34:38 : Cubics
37:20: Viete’s formulas
48:51: Math duels over solving cubics: del Ferro, Fiorre, Tartaglia, Cardano, Ferrari
53:24: Prose poetry of solving cubics
54:30: Cardano’s Formula derivation
1:03:22: Resolvent
1:04:10: Why exactly 3 roots from Cardano’s formula?
Part III. Thinking More Systematically
1:12:25: Takeaways and Lagrange’s insight into why quintic might be unsolvable
1:17:20: Origins of group theory?
1:23:29: History’s First Whiff of Galois Theory
1:25:24: Fundamental Theorem of Symmetric Polynomials
1:30:18: Solving the quartic from the resolvent
1:40:08: Recap of overall logic
Part IV. Unsolvability of the Quintic
1:52:30: S_5 and A_5 group actions
2:01:18: Lagrange’s approach fails!
2:04:01: Abel’s proof
2:06:16: Arnold’s Topological Proof
2:18:22: Closing Remarks
Further Reading on Arnold's Topological Proof of Unsolvability of the Quintic:
1) L. Goldmakher. web.williams.edu/Mathematics/...
2) B. Katz. • Short proof of Abel's ...
Twitter:
@iamtimnguyen
Webpage:
www.timothynguyen.org
Apple Podcasts:
podcasts.apple.com/us/podcast...
Spotify:
open.spotify.com/show/1X5asAB...

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

12 окт 2022

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 91

@ariisaac5111 13 дней назад

Tim, please keep up your fantastic work, and bringing Grant on is hopefully the new addition that you will revisit on many other important topics. I learned a lot from this one and stepping through history is another way of motivating the intuition for the modern versions of these core concepts and how to problem solve and the mechanics involved in mathematical insight and intuition in general. I picked up one or two new concepts that I'm going to try to apply to my own research. Thanks a bunch!

@andrewroberts7301 Год назад

I think Feynman said that the solution of the cubic was the most important development in mathematics because it proved that we could know more than the ancients - ie, that there could be progress.

@oldboy117 8 месяцев назад

Ok buddy

@umbraemilitos 7 месяцев назад

@@oldboy117?

@theboombody 2 месяца назад

And yet I have no clue how the cubic solution works.

@KipIngram 10 месяцев назад

Bless your calculus teacher, and everyone else like him or her - the ones who see potential in a child and make a point to encourage them. Those people are heroes.

@evcoproductions Год назад

This format is awesome, you really get into the meat and bones of the topics and learn so much more than just popular level STEM communication.

@Mutual_Information Год назад

Wow Tim - really impressed with the guest list you have on this channel. And now add Grant to it! This channel is going to blow up. Excited to see it and well deserved! 👌 (Haven’t listened to it yet, but I did just find my listening material for my run later today)

@effy1219 Год назад

Hey, I really like this episode! i like how Grant and you present the origins of group theory in an informal sketchy way, it's improvised but never without authentic opinion and flavored with your own characters, definitely more tasty than text book thank you!

@arthurzaneti-cx2en 5 месяцев назад

Your mood is incredible, thank you for the video

@derschutz4737 Год назад

Man I love working through these with you guys. It's like working on some problems with my friends.

@MatthewWroten Год назад

Hi Tim! Great to see you still doing awesome things with awesome people :)

@a.andacaydn9736 Год назад

this is the one I had enjoyed the most! Thank you

@Raspberry_aim Год назад

Thank you for the excellent content- very informative and well formatted!

@gijsb4708 Год назад

Loved this video! Lots of things clicked for me, and I enjoyed all the historical tangents :).

@3631162 Год назад

what a coincidence! im doing an undergraduate thesis on galois theory because im interested in the origins of groups as well! im also attempting to make sense of how groups manifest when solving solvable polynomials such as in Dummit's paper over solvable quintics.

@dougdimmedome5552 Год назад

The deep importance of Galois theory, just on its own without group theory as a retroactive motivator, goes way beyond just insolubility of quintic and it lies in what can be implied about the structure of our “solution space” by looking at the group of permutations of this “solution space”. As in much of the big algebraic fields, algebraic number theory and algebraic geometry, have to imply some structure about their solution spaces by looking at something simpler, most famously supposing their exists integer solutions to fermats last theorem implies a solution space exists with a specific structure that when that structure is looked at more generally contradicts something about the symmetry of such a structure. That symmetry being understood by the representations of a type of galois group! Galois theory is taught not just because it kind of feels like the most obvious first use case of actual group theory, but because the tools it builds up are still useful in the most modern methods of math today yet doesn’t require the same level of background as algebraic topology or lie theory. This gets much, much deeper than this compared to some of the stuff like class groups and invariant theory which are still important but feel minuscule compared to the massive ways that Galois theory has infested so many fields.

@kyay10 5 месяцев назад

As someone struggling with depression, I love the idea of a depressed polynomial, especially because it's one that's "staying at home" (it's shifted to be around x=0) and needs to get out there more to stop being depressed.

@tanchienhao 9 месяцев назад

Years ago I saw your video on quantum YM in 2D, now I chanced upon the same channel! Subscribed!!

@aninob 7 месяцев назад

Beautiful. Thanks a lot, gentlemen.

@jimmyt_1988 Год назад

Yo! Grant Sanderson. Amazing guest! Well played!

@kabir1048 Год назад

Fantastic podcast! Keep it up!

@ontheballcity71 Год назад

It's amazing how prolific Arnold was. I just bought his mechanics book, based on your talk with Baez. My PhD was a long time ago, on singularity theory, which is an area basically discovered by Arnold. (It was pure maths, nothing to do with black holes or Kurzweil.)

@danielvarga_p Год назад

wow internet what are you doing changing the world forever?

@Jose-tl6uy Год назад

This is great, just subbed!

@joewalker6391 27 дней назад

I am thinking about polynomials from a linear algebra perspective, and I was wondering what you think about looking at polynomials of degree 3 as being the abstract vector space of polynomials of degree 3 or less; which is to say that we imagine having a vector space having some basis. The next thought question would be if we look at each term of the vector space as being an abstract vector, than how many vectors we would need to fully describe the vector space of degree 3 or fewer. Taking Grant's idea of something plus something else, one may intuitively ask about how many sums or "linear combinations" where the "vectors" in our abstract vector space are the linear terms themselves. It would seem like then intuitively each solution would be essentially unique because if they were not, we may write 1 or more of the terms as a linear combination of the others. It would follow that if you did find a root as a solution but you only found 1 real number, than the other 2 solutions must be a different kind of number, given that 1 basis vector can not possibly describe the vector space we are trying to model degree 3 polynomials or less as basis vectors. If we would still need more basis vectors. I wanted to get your thoughts as to whether you believe this motivated the study of what ultimately lead to the fundamental theorem of algebra in reference to complex roots when it comes to finding the coordinates of where the basis vectors got mapped to. I am self studying math, and I am actually completely blind, so I have always been fascinated with applied and pure math. I always wondered if I new the appropriate isomorphism, if I can take anything I hear someone talk about geometrically and rephrase the perspective into something that is more accessible like linear algebra, number theory, combinatorics, or any other branch of mathematics that does not require the immediate need to draw a picture or look at something visual. My personal mission is to make math and science accessible to everyone even blind people. I am inspired by educational videos like yours and Grant's, and keep up the great work!

@cparks1000000 Год назад

I can't believe that Grant doesn't have a PhD. I His work is pretty impressive.

@tinkeringengr Год назад

Two of the dumbest people I've met have a PhD -- 1/10 on creativity and 10/10 for robot behavior. I don't think there is correlation between outdated education system credentials and intelligence.

@Handlebrake2 10 месяцев назад

😂

@vinothnandakumar1058 Год назад

This is work of Neils Abel. Maybe we can also create a clip on Taniyama-Shimura conjecture, as an example of more recent breakthroughs in number theory (i.e. Galois representations)?

@johnmancini3080 Год назад

I enjoyed the first segment about AI and its' potential to impact mathematics. I think once AI is in a place where it is genuinely replacing large parts of what mathematicians do, i.e. proving theorems with cohesive solutions, I can't see why AI wouldn't be able to do so much else that will replace many other activities we consider intrinsically human. I am a software engineer and many have panicked over the potential for AI, like Github Copilot, to replace software engineers. I cannot really see how a tool like Copilot could replace any serious software engineer. I think it's hard for people outside of the field to imagine what it's like, but my best explanation is it's like being a detective, an engineer, and an artist all in one (but usually failing to excel at any of those things). For instance, if I am solving some production bug, this requires me not only understanding the code paths that are involved(this is actually the easiest part and usually comes last) but the services, the contracts between them, the data models for persistent storage, the protocol for transmitting data, etc. Much of this is not explicitly programmed. If I am building a new service, I need to consider scale, existing services, legacy architecture, etc. If an AI can replace that, I don't see why an AI cannot replace anything, meaning we've essentially arrived at general AI. In the next 10-30 years, I think AI in programming will become like AI in writing, where it serves as a tool to make a programmer more productive rather than anything like a replacement. I think this will be true for AI in many fields.

@KipIngram 10 месяцев назад

45:46 - Because we're not talking about emotions. It's an entirely unrelated meaning and we don't even need to bring up emotional depression.

@gtweak7 Год назад

CompSci graduate here. I was always intrigued by polynomials, their nature and solvability. I am halfway into this converation and I can already say that it is a gem. First - because of the guest and how the conversation is conducted, second - the insights and the thought process along the solvability of polynomials of successive degrees are pure amazing. Thank you both. PS Let me bring in my two cents. I stumbled upon Sylvester matrices sometime ago. I just thought to myself if there existed a viable way to 'probe' whether a polynomial of, say, degree 5 had real roots by building a Sylvester matrix with its coefficients and coefficients of lower-degree polynomial of known roots and testing the determinant of that matrix to reason whether a polynomial like that can be effectively 'guess-reduced' to, say, a linear times quartic or quadratic times cubic that can be easily solved. I am not sure it that makes sense, but I just post this idea for you to explore as well (maybe it is a no-brainer in the math community, I don't know - just tossing an idea).

@CorrectHorseBatteryStaple472 Год назад

Grant really is amazing

@paradoxicallyexcellent5138 Год назад

At 1:49:36 Grant makes a great point about this topic: this stuff is complicated, but we're also asking a fairly contrived question, "how can we express solutions in terms of radicals." It's really cool that we found when and how it's possible, but the techniques are so much more important than the solutions by radicals themselves, which are generally a pretty terrible representation of a solution to an equation... for practical or even theoretical purposes!

@AB-et6nj Год назад

Grant is a real math scholar

@gravity0529 Год назад

Keep every permutation once you make it from every step and no step can be intermingled with pervious steps… then you can get a more full way of computation in ways of degrees of freedom

@vilhelmlarsen9565 Год назад

Amazing

@DavoidJohnson Год назад

Well I found that tough. Thank goodness no adverts.

@JoseGonzalezUwU 11 месяцев назад

buen contenido :)

@KipIngram 10 месяцев назад

47:27 - Oh, definitely go with general symbols. Much more informative.

@MosesMode Год назад

"You want to make the cubic depressed so that it's easier to work with." -Grant Sanderson

@aaronrobertcattell8859 Год назад

Felix Klein's Erlangen program proclaimed group theory to be the organizing principle of geometry. Galois, in the 1830s

@HyperFocusMarshmallow Год назад

10:11:00 Some where around here you ask about redundancies. You can give perfectly clear explanations of this that makes it obvious. (Not that I'm helping anyone by just saying so).

@aaronrobertcattell8859 Год назад

interesting stuff

@christophecornet2919 11 месяцев назад

I'm still looking for a "simple" proof of the non-existentence of a quintic formula, I'm guessing that the maths involved is rather esoteric. I'd really love to see a 3b1b-style video on it

@ophello 10 месяцев назад

SAAAME. I just want an explanation that I can see and get intuitively.

@wcsxwcsx 4 месяца назад

You can grind through the solutions to the binomial, trinomial and quartic equations. But when you try to do it with a quintic equation, at what point do you run up against a brick wall?

@columbus8myhw Год назад

This all reminds me of a puzzle. That reminds me of a puzzle: suppose we have access to _cyclically_ ordered tuples, so that (a,b)=(b,a), (a,b,c)=(b,c,a) (but doesn't equal (a,c,b)), etc. For which n can we construct unordered n-tuples? (The analogy here is to think about how Kuratowski constructed an ordered pair out of unordered sets.)

@columbus8myhw Год назад

Spoiler: . . . : : : : . . . n=2: (a,b) n=3: ((a,b,c),(a,c,b)) n=4: Apply the solution for n=3 to ((a,b),(c,d)) and ((a,c),(b,d)) and ((a,d),(b,c)) n=5: Should be impossible.

@swampwiz Год назад

While this is a good video, I'd like to see Grant make one of his great polished videos on this topic. I still couldn't grok the end. BTW, I understand the Arnold proof pretty well.

@ophello 10 месяцев назад

Okay…can 3B1B pleeeeease do an in depth video on this? I am desperate for an intuitive explanation.

@fengshengqin6993 Год назад

He is hot at voice and math ! Thank you ! Grant Sanderson.

@habibououmarou9791 Год назад

the first man who introduces symbolism in mathematics was Alkhawarizmi see (al jabre wal mokabala)

@helpfulmathguy Год назад

If 1,2,4 are the roots of x^3 - 7x^2 + 11x - 8, how would their pairwise products sum to 11? It would have to be divisible by 2 to be plausible...

@justmarvin4926 Год назад

Exactly! I think he made a mistake.

@tomctutor Год назад

UGs should maybe ask a simpler question first: _Is there always a solution (real) to all polynomials of any degree?_ Well we are taught very early that we can answer in the quadratic case using the discriminant. Then we realize that all Odd-order polynomials have at least one solution (they must cross the x-axis somewhere). Then the remainder/factor theorem helps in some arbitrary cases. Then after that we are in uncharted territory in deciding if there is a general answer to my question. Obviously ALL Order-5 quintic polynomials can be factored with one linear term. Maybe 3B1B (or someone here) would like to answer the question of quintic solvebility over the Quarternions or Octonian, Sedonian fields. Might be?

@RogerBarraud Год назад

Which shared whiteboard S/W did you use in this video?

@TimothyNguyen Год назад

Google jamboard.

@shaisimonson3330 9 месяцев назад

Great video, but 1,2,4 are not the roots of x^3 - 7x^2 + 11x - 8. Guessing and checking at about 38:50 was careless; indeed 1*2 + 2*4 + 1*4 = 14 and not 11. Maybe Grant meant to write 14x...

@afuyeas9914 Год назад

It is a proof that for all his genius Grant is a mere mortal when he takes several minutes to notice that the sum of the two cubes in the cubic formula is constant no matter which cube root you take because you always have w^3 = (omega*w)^3 = omega^3*w^3 = 1*w^3 because omega is a third root of unity

@TimothyNguyen Год назад

The root x satisfies x = w + z. No 3rd power and so depends on which cube root you take.

@afuyeas9914 Год назад

@@TimothyNguyen At one point Grant wonders if the choice to make of the cube roots depends on the two conditions set (namely w^3+z^3 = -q, wz = -p/3) but the first one is always fulfilled no matter what choice you make because the different values of w and z differ by a scalar that is a third root of unity so the sum of the cubes is invariant and always equals -q. So only wz = -p/3 matters in the choice of the cube roots and you can bypass the issue of making a choice by setting z =-p/3w and since w has only three values x = w - p/3w only ever takes three values, the three roots of the cubic.

@TimothyNguyen Год назад

@@afuyeas9914 Yes we eventually arrived at that conclusion and it did take awhile. From my experience however, it is quite a different experience doing public math vs private math. In the former case, on my podcast, you have to juggle what you're saying and writing with what the other person is saying and writing (on the fly!), and for me, I additionally have to be alert of tech issues and keeping the podcast on track. Perhaps a more relatable situation would be having a teacher volunteer you to do math in front of the class vs doing math privately. Hopefully our fumblings at times are more instructive than painful to watch!

@afuyeas9914 Год назад

@@TimothyNguyen It was funny, if anything.

@Caturiya 10 месяцев назад

Is there not just for n》 4 just one example with one nonRadical root? I think this would simpel to falsify.

@aleratz Год назад

Insta-subscribed

@columbus8myhw Год назад

I think the note on the bottom-right of 1:18:45 may be confusing because it uses the • symbol in an unfamiliar way. If g is a permutation of variables and p is a polynomial in those variables, g•p refers to the result of permuting the variables of p according to g.

@TimothyNguyen Год назад

Alas, I didn't define the group action in the note since it was implicit in the preceding discussion. Hope that doesn't cause confusion!

@columbus8myhw Год назад

@@TimothyNguyen Sure. I just worry people might confuse it for multiplication.

@kyaume21 5 месяцев назад

But the answer is that the demand for solutions in terms of STANDARD radicals is too restrictive. However, if you generalise the notion of radicals, then the general quintic can be solved. In fact, the general quintic can be solved in terms of so-called 'Bring radicals', which are solutions of the special quintic x^5+x+a=0. The latter cannot be solved in terms of standard radicals, but if you add the real solution as an operation on a , then any quintic can be solved in terms of this new radical.

@TimothyNguyen 5 месяцев назад

Thank you for pointing this out! Didn’t know this at all.

@user-yb9ol8sz7o 3 месяца назад

That's abit of a puzzle because if a = 2 x ^5 + x + 2 = 0 has real solution x = -1 According to Wolfram Alpha if a = 3 or 7 for example it's not solvable by radicals. Take any real or complex number it can be written down in a finite way using Natural numbers 1 2 3... etc and using add , subtract, multiply , division and taking roots OR IT CANNOT. It's so clear, so no problem with Bing Radicals but they are not radicals in the usual sense or am I missing something. I do understand that there are other methods of solving quintics but numbers are radically expressible OR THEY ARE NOT. My question is why are they called ultra radicals? Please let me know I'm very interested - thank you

@user-yb9ol8sz7o 3 месяца назад

I do understand that we think in terms of a formula in terms of coefficients because obviously the coefficients uniquely determine the equation under investigation. Generally and it is the SAME THING a number is radically expressible OR IT IS NOT , let's not consider if it's the root of some polynomial. So question is, why are these other numbers called Ultra Radicals?

@user-yb9ol8sz7o 3 месяца назад

Another question I wish to ask is, How can you generalize the usual definition of Radical? You have the Natural numbers, the four elementary operations and roots, finite expression. How is that generalized?

@user-yb9ol8sz7o 3 месяца назад

It's not the mathematics I'm questioning but the way people are thinking about it and the terminology being used. A number is radically expressible OR IT IS NOT.

@jimyonemoto9020 11 месяцев назад

Grant, couldn’t the formulas for third and fourth order polynomials be derived by a linear transformation of the real and imaginary roots to transform the roots to be the third (or sixth) and the eighth roots, respectively, then the reconversion to the original scale. Obviously this approach does not work for quintic polynomials, in general.

@viniciuscilla2865 6 месяцев назад

I used to think he was the brown π 😮

@Caturiya 10 месяцев назад

One prooves that An, n > 4 is a bad husband that does not love his wife. But how does somrone the idea to study automorphisms? And I would like somrone to find a simpler proof of the 121.

@roger7341 9 месяцев назад

This title confused me. f(x) = x^5 - 1 = 0 is a quintic and may be solved for five roots, which makes it solvable. Many complex quintic functions, expressed in the form f(x) = 0, may be factored or solved by various iterative methods. So should the title read something like "Unsolvability of Some Quintics?"

@TimothyNguyen 9 месяцев назад

The (general) quintic is unsolvable.

@SurprisedDivingBoard-vu9rz Месяц назад

Only zoology people like animals and humans cleaning. Preservation conservation etc. symmetry is not there beyond 5.

@obscurity3027 Год назад

Tartaglia _does_ look pretty pissed off.

@RogerBarraud Год назад

tl;dr: Never die in a duel (or a dual). 😕

@bjornfeuerbacher5514 Год назад

Grant is wrong when he stresses that one "never" has to use the cubic formula - I know of at least two calculations in physics where it is actually necessary. (One in cosmology, for solving the Friedmann equations in a radiation-dominated universe, and one in quantum mechanics, when calculating the energies for an anharmonic oscillator perturbatively.)