The Heart of Fermat's Last Theorem - Numberphile
HTML-код
- Опубликовано: 22 июл 2024
- Modularity... Simon Pampena gets to the heart of proving Fermat's Last Theorem.
More links & stuff in full description below ↓↓↓
Audible: www.audible.com/numberphile
More Numberphile videos on Fermat: bit.ly/fermat_videos
Simon Pampena is Australia's Numeracy Ambassador --- / mathemaniac
Support us on Patreon: / numberphile
NUMBERPHILE
Website: www.numberphile.com/
Numberphile on Facebook: / numberphile
Numberphile tweets: / numberphile
Subscribe: bit.ly/Numberphile_Sub
Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): bit.ly/MSRINumberphile
Videos by Brady Haran
Brady's videos subreddit: / bradyharan
Brady's latest videos across all channels: www.bradyharanblog.com/
Sign up for (occasional) emails: eepurl.com/YdjL9
Numberphile T-Shirts: teespring.com/stores/numberphile
Other merchandise: store.dftba.com/collections/n... Наука
Now that we have the heart of Fermat's last theorem, we just need its liver, kidneys, gallbladder, etc...
+TheAnubis022 waaah
+DekuStickGamer well said!
one of my favorite channels on one of my other favorite channels!
***** He's just replying dude. Never does he mention "Please come to my channel" or any sort of begging. He's just making a funny comment, which in turn may result in noticement for him, BUT he does not "advertise". He's not spamming, or self-promoting excessively.
If he wanted attention, he could go to much more popular education channels. I mostly just see him on Numberphile.
Physics Videos by Eugene Khutoryans
I love how excited Brady sounds when he says "it's like a slinky."
Slinkies are easy to like :)
@@michaelbauers8800 They are :).
*whispers* My attempt at a circle.
-Yea it's not bad.
-Thanks man.
i lol'd
Same xD
+PIME32
"That was an oval! It has to be a circle!"
+PIME32 I lol'd too.
Simon
"That's my attempt at a circle" - "its not that bad" ... "Thanks man" idk why I laughed so much at this ffs😂😂
+Jerome Hart The way he said "Thanks, man" was definitely what did it for me :D
+Lime Icing same OMG 😂😂
Jerome it's*
??
One of my favourite Numberphile videos now. With visual intuition, it really makes modular elliptic curves accessible.
I know there is a lot more to it, but this is the single best explanation of the Taniyama-Shimura conjecture I’ve ever seen! “modular forms with many symmetries are actually elliptic curves in disguise”. I never really could wrap my head around modular forms until now.
"That's not bad"
"Thanks man"
this all goes way over my head (and probably most of our heads), but i think we can all agree that's a pretty great shirt
*reading the comment*
"oh ikr , yea yea ikr "
*reaches the shirt part*
oh
+・ヘリオディン what are you talking about? He's talking about his shirt not mathematics
+Joe Brown I laughed really hard at this comment :D
Greit shiet, Dolan
Oh! Ok. I get it now. All the explanations i saw before were kind of confusing.
This is exactly the kind of math vid I look for - I'm a long way from being able to understand advanced math but I love attempts to paint an intuitive analog (difficult as it may be on it's own as well) to extremely technical stuff that seems so alien. Nobody can just look at a wikipedia summary of modular forms and elliptic curves and even begin to get an idea like one that is conveyed here for example. This is the kind of thing I want to get out of learning more and more advanced math.
fisrt numberphile video i understand nothing
same
+fSateQ A function f(x) that is infinitely tileable repeats every distance k. That is:
f(x) = f(x + nk) for all integer n
A circle x^2 + y^2 = r^2 has a similar property. Every time it repeats, it loops back to the start and then draws over itself for the next cycle. This is akin to f(x) getting back to the point where it starts to repeat (i.e. any value nk).
Because of this property, you can write an equation that transforms f(x) to the circle, such that k is the circumference of that circle.
Fermat's last theorem states that a^n + b^n = c^n for all n > 2 does not hold for integral values of a, b and c. Thus, the inverse of that you would use in a proof by contradiction is that you can find integral values for that equation at all n > 2.
Where modularity would come in is that I assume that if it is used in the proof, that proof would then be alternatively expressed as a generalised modularity (mapping tileable functions to x^n + y^n = r^n) being valid (i.e. there exists a mapping that can get you exactly back to the start of the hypercircle for tileable functions). If you could prove this to be false, you could prove Fermat's last theorem.
+msclrhd oh wow that really clears it up thanks
+fSateQ Really? You understand the higher dimension videos and have no difficulty visualizing those?
+Hasnain Hossain I think he was being sarcastic...
This video is just great. I'm tempted to say it's my favorite video of all numberphile videos so far (although the coin flip ones are a strong contestant for my favorite video as well). I've watched all videos on this channel and all your other channels Brady and ever since I saw your videos on Fermat's Last Theorem wondered how the conjecture works. Great stuff, keep up the good work!
This is a truly marvellous demonstration of Fermat's last theorem.
+Owen Lever Pauca sed matura.
Oops. Sorry. Wrong mathematician. Me bad.
The infinite plane joke at 1:40 hahaha
Please do more about this topic, this is exactly the video where I've expected an extra content.
The best video I saw it on this channel so far. Thank you guys 😃 see you next year!
just came home from a royal society lecture on ramanujan where his work on modular mathematics came up. Was reading Fermat's Last Theorem on the train and planned to search up about modular forms. Then this happens... love you guys
Well done!
Simon actually accomplishes what he started out to do. Namely, to give a FEELING for what is involved in the proof of FLT.
I'm not really a mathematician, but I can "sense" that there is a 'situation' which Simon's explanation is a metaphor of.
3:22-3:25 is my favorite part tbh
"That's not bad" "Thanks man" real bros there, I loved it too
what an absolutely amazingly elegant basic explanation. Thank you!
The "infinite plane" animation: ICWYDT and laughed, (so thanks), but I wondered if that might confuse newer students that don't play as comfortably with math. My second thought was that I love Dr Pampena's calmed-mania style of presentation, and the irony of describing a helix with his fingers while we are looking at many lovely examples attached to his head.
Thanks for making so many high quality videos!
Severely well explained ... to get the core of the idea of modularity and whole numbers.
That was pretty awesome! We actually glimpse some of the meat without being blasted away by the nitty gritty. Great work!
He’s so passionate that’s beautiful to see
Like Simon's way of teaching and he seems a really cool, chilled dude.
amazing video. this is a great high level description mathematicians usig graphs & conceptual spaces to demonstrate things about numbers & priciples
I am so glad I started watching this channel as it reignited my love of math. This particular video really blew my mind (and annoyed the family a tad haha)
Je n'ai jamais écrit ça !
Je n'ai jamais écrit ça !
An incredibly brave topic to go for guys, keep it up and thanks a bunch!
Why was it brave?
@@Srsbzns_5150 because this is ridiculously dumbed down for normal people to grasp
An amazing explaination! I already knew some stuff about it because of the book from Simon Singh about fermats last theorem, but this was a great visualisation though.
Loved it!
More videos about this please!
I've read love & math and I absolutely loved it! Even as a mathematically illiterate person I was able to grasp a huge amount of what Mr. Frenkel is talking about and his own story is absolutely fascinating. I definitely recommend checking it out!
Hi Brady
Thanks for continuing to put out superb content. Computerphile and Numberphile are my most favourite channels on youtube. I can't get enough!
I'm not sure if you're aware, or maybe it's just me, but all of you videos seem a lot quieter when compared to other videos on RUclips. This results in me having to crank my speakers up quite a bit.
Looking forward to more.
Piers
Je n'ai jamais écrit ça !
Brady, the slinky footage off the brown paper is really clever. Well played sir, well played.
MORE VIDEOS ON THIS STUFF: I LIKE IT LOTS.
might be appropriate to put it in numberphile2 but still, MORE PLEASE.
+hakkihan tunbak who knew there was a numberphile2. Thanks.
+Cory Robertson no prob, :D
Yes Simon! The enthusiasm us palpable!
one of the better numberphile videos
The volume in the video seems kinda low
seems pretty normal on my end.
WHAT?
+veggiet2009 then turn it up
+veggiet2009 Some of its contents must have spilled between their end and yours. Be sure to mop it up, will you?
+MichaelKingsfordGray professional software? must be right then
Great film! I was watching it with a smile.
yay!! some concrete math appreciation! loved it
Absolutely Fabulous. I wish could understand any of it , but you are so convincing I almost want to study maths again.
This presentation is like trying to give a person a taste of what "calculus" is about by introducing them to the addition of fractions. I personally dont see the point. It would have been better to post this video as a description of what modular forms were (and perhaps make a reference at the end to how it was useful in the early work carried out to develop a proof of Fermat's Last theorem)
+Peter Kan calculus? nope.
I'd love to see a full numberphile video about the proof of Fermats last theorm. Even if it is like 2-3 hours long, I'd watch it.
That coil shape is also used to describe wave phase transitions, except it's displayed from the "side" rather than from the "top".
I'd love to see more on this or any of the Millennium Problems.
Well, only one of them has actually been solved
+Mark G I'd love to learn more about Navier-Stokes! I'm sure any engineers watching would also be interested in seeing them discuss it.
The riemann hypothesis and Poincaré Theorem / Conjecture have been done on Numberphile. I think the issue with many of the other problems is that they're so abstract that it would take way too many videos to explain them.
Now I wish you would break down this video to a simpler explanation again, because I have been out of school for ten years now and my native language is not English so I only have a very vage idea on what elliptic curves might be. You explained the modular forms well enough that I understood that part.
Very well done. Thank you.
I just love this guy. Why couldn’t I have a maths teacher like this at school.
I sit here and try to imagine my feeling if Simon was my grandson... would be lovely to have a chat with his grandfather !!
Can anyone link me to an image of an elliptical curve that becomes a modular form? I'd really like to see how that 2d curve or 3d doughnut becomes a highly symmetrical object.
What about Fermat's first theorem?
+TechXSoftware Baby+food=shit.
Nicely done.
4:15"Let's have fun"That looked so wrong in all the right ways. thanks Simon.
I was once asked to leave the Mitchell library, the main public library in Sydney, when I was discussing Fermat's Last Theorem with a friend. We were talking too loudly so we were both showen the exit.
I am doing my senior capstone on Fermat's Last Theorem. And this is basically what my capstone was about lol. This worked out perfectly.
He was having way too much fun playing with that circle.
This guy is unreally cool, my favourite in the great set of mathematicians on this channel.
Thanks so much for taking up modularity i kept coming across it (mainly in the proof of the abc conjecture ) once i saw ur video with the bridges (says a lot about my mathematical knowledge that bridge was the word i chose to refer to it), probably cause of the Baader-Meinhoff phenomenon but still my mind feels much more clarified.
U make me want to become a mathematician BRADY, U R JUST FUCKIN AWESOME
Enjoyed that - any extra footage ;-)
This guy is totally the real guy from numb3rs
So am I correct in thinking that proving the conjecture was actually a greater addition to mathematics than proving Fermat's last theorem? I know the last theorem was what motivated Wiles but it sounds like proving the conjecture will have a long lasting impact while Fermat's last theorem is more of a curiosity.
+isaacc7 The conjecture was a key part in the proof of Fermat's last theorem, so yeah, in a way the theorem is just a concrete application of this very general and surprising conjecture. Mathematicians had a harder time believing it than the theorem itself, it's almost like cheating yourself some symmetry out of the aether into your problem.
+isaacc7 correct, the proof of fermats theorem only gained so much attention mainly because no one has solved it for over 350 years. Andrew wiles proved the theorem by proving the conjucture which was a relatively new discovery that will have a greater impact on mathematics.
Hot damn thats neat. My calc 3 teacher metioned this when we graphed a coil, but never explained how it was applied. I now want to know more about modularity.
I don't know why but I just love how he says "now".
I'm trying to grasp the intuition of it and tying it with words I know, in a very informal manner. Does a modular form has some relevance with modules? Also, we say 1-form (linear form), 2-form (bilinear form), etc. for linear transformations, bilinear transformations, etc. Does a modular form is to a module, what a linear form is to a vector space?
Great Explanation 👍👍👍 Thanks.
What.
Same.
yeah...
+TheMrvidfreak wat
Who
Simon Pampena is one of my favorites.
that's my attempt at a circle
its not bad
thanks man
This is amazing, the transition of a seemingly finite object or number to an infinite wave which loops back onto itself on a different plane... am I missing something, or completely wrong altogether?
Infinite plane FTW!
And Simon, you're a great speaker.
Where do yall get that big brown paper?
Reading the title I thought the video would be about the pedal curves of Lamé curves - so I got excited as Lamé curves are among the best things that exist - but alas no geometry for today. Still, interesting video.
In chess you have light square bishops and dark square bishops. The bishops move along diagonals, so the color of the square the bishop is on never changes. In the end game, if you opponent only has a dark square bishop, you try to keep all your pieces on light squares, because you know that no combination of legal bishop moves will ever allow that dark square bishop to threaten the light squares.
This is similar to the Galois Theory proof that you can't square a circle. Using construction, you can start with length one and create line segments of irrational length. For example the square root of two is pretty easy to construct. You can create an infinite number of different irrational lengths, like seven plus the square root of two divided by two. But you can't create ALL irrational lengths. Like the dark square bishop, you can get lots of places within the rules of the game, but you can't get everywhere. The proof shows that squaring the circle involves the wrong sort of irrational numbers -- the square root of pi I think, but that is just detail.
The video seems to be suggesting that similar restrictions apply to curves and modular forms. If I understand correctly, the Fermat equations look like elliptic equations, but they represent places on the playing field that the rules of modular forms don't allow.
So is the slinky a representation of the modularity theorem?
And who decides when a proof is a proof and what sort of exclusions, substitutions, omissions, and limitations are permitted in developing one?
Is there any connection between patterns observed in the natural world (in flora, fauna, patterns on the surface of water, etc.) and the modularity theorem?
That was explained really well. I just graduated architecture school and we spent a lot of time doing partis utilizing modulars and the variations they produce (think golden triangle), so maybe that's why the visuals you used explained it to me so well. Regardless, we'll done.
I came here for answers but found none and found many questions
X dark congratulations, you have reached the first stage of enlightenment.
Listen to Denis
What if the width of the sections of the plane were the same as the diameter of the circle?
@Brady: I know sometimes new discoveries in math allows for simpler / more elegant versions of old proofs. I'm curious if Simon thinks that will ever happen with Fermat's Last Theorem.
I almost understood what he said but that made me plenty happy
I appreciate this almost as much as I do the hyacinthine curls :D
This is awesome.
4:40 This must look so ridiculous for someone who doesn't know what is he trying to say...
You made me laugh, thank you :D
Please a video with more explanation, this looks really interesting but this video is really hard to understand with so little information
I got that the proof entailed merging, or at least connecting, two different branches of mathematics and how one branch can soft of be represented in another. Also the proof hinged on a contradiction. Finally, the proof is actually very complicated and probably is best done by following the argument as trying to visualise what is going on is too mindbending. Is that the feeling I was supposed to get?
I liked this video.
I have always wanted to understand this one!
Oh well, I guess it's a bit too complicated to fit on a 10 minute video.
Also I would need to get a few courses of background info.
+Anston [Music] I'd really recommend Simon Singh's book "Fermat's Last Theorem" from 1997. While it doesn't delve very deeply into the mathematics, it presents the story in an accessible and readable manner.
Matthew Shepherd Ok then.
+Matthew Shepherd Agreed, that book is a great read!
You lost me at 3:22 because I went to watch freehand circle drawing vids.
+EGarrett01 You just made a (probably unintentional) far-fetched joke for people who play DotA 2, just so you know ;)
+metallsnubben I am dota 2 player and didn't understand the joke. Could you explain it please
I see You!
Have you heard about 322? It's basically about how some half famous player lost a game on purpose because he bet against himself on betting sites, which earned him 322$ apparently but for understandable reasons got him banned from further competition.
So "322" has become an in-joke in the DotA community that you use when someone makes a really bad mistake, sort of jokingly implying that the only way you could screw up that bad was by doing it on purpose. So that's why "you lost me at 3.22" could kinda be thought of as a dota joke :)
It's not really something that you see a whole lot in-game, it's more common if one watches pro games or read forums such as the dota 2 subreddit and such
+metallsnubben Lol
Seriously?
metallsnubben Yeah I've heard about it but I didn't linked the comment with it. I guess I am getting rusty
Can you make a video about Perrin Numbers?
When is dr James grimes going to come back?
+SwaggerCR7 when he has a new numbah to show us
+SwaggerCR7 I'm pining for the G-man
+SwaggerCR7 You can always go to his channel, singingbannana, if you're yearning for him.
+SwaggerCR7 he has his own channel too (singingbanana)
NickCybert thanks
Are those books available as Ebooks?
We have Ron Graham explaining Graham’s number. We have Neil Sloane explaining many of the great things he’s had a hand in. We need Andrew Wyles going through Fermat’s last theorem.
This is magical stuff.
There goes my hero. He's ordinaaaaryyyy!!!!! ;)
Great video! Great guy.
Fascinating
This is awesome, but still a lot confusing. Please make more videos on Fermat's last theorem!!! What exactly is a modural???
4:38: Perfect opportunity lost of using Simon's own hair to illustrate the problem !
where did he get that shirt?
If I want more discussion on Fermat's Last Theorem (in video form (I prefer complex maths be spoon fed to me)) where would I go?
Brady, I like how excited you get: "Like a SLINKY!!" :) .......PS: The volume's been low on your videos lately.....
Of course the really infuriating thing is that Fermat made a note in the margin of his book where he stated this theorem which said that he had a proof but it wouldn't fit in the margin. Even Wiles said that even though he proved the theorem he still wondered what Fermat had done.
Ong this made sense for the first time. Every time he said modularity, think periodicity like periodic functions,ones that rePEat
I love this guy.