What was Fermat’s “Marvelous" Proof? | Infinite Series

แชร์
ฝัง
  • เผยแพร่เมื่อ 22 ธ.ค. 2024

ความคิดเห็น • 430

  • @pbsinfiniteseries
    @pbsinfiniteseries  6 ปีที่แล้ว +164

    "Typo" at 1:10! The prime may divide *at least one* (not exactly one) of the two integers. (Thanks to some of you for spotting this!)

    • @user-iu1xg6jv6e
      @user-iu1xg6jv6e 6 ปีที่แล้ว +6

      Yeah, we all noticed. But we thought it would be rude to mention it.
      Sorry!

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +11

      Not rude at all! I'm glad you all caught it. I don't want anyone thinking the prime integers aren't prime any more! (Although, as we saw in the video, 2 isn't *always* prime....;) )

    • @deoxal7947
      @deoxal7947 6 ปีที่แล้ว +5

      Ya that was messing with my head for a while

    • @RalphDratman
      @RalphDratman 6 ปีที่แล้ว +5

      Since we are all being frank now, I feel I must suggest that the mistake is serious enough to require an edit to the video rather than just a note (whether onscreen or in the comments as you now have).
      I might be wrong -- but that is the way it seems to me.
      In a live class, someone would probably have noticed that mistake almost immediately and would have told you about it. Then you could agree, correct yourself and continue. Unfortunately a youtube video typically has no live audience, so the error becomes sticky, and I think this one is troublesome enough to require an edit.

    • @kgshbteambeasto_o963
      @kgshbteambeasto_o963 6 ปีที่แล้ว

      :D

  • @mheermance
    @mheermance 6 ปีที่แล้ว +331

    Technically Fermat was correct, a proof was too large to fit in the margin of the book.

    • @franzluggin398
      @franzluggin398 6 ปีที่แล้ว +25

      Technically, we do not know that yet. Just because the best proof we could come up with until now is long, does not mean that there is no shorter one. It's just really, really unlikely.

    • @mheermance
      @mheermance 6 ปีที่แล้ว +21

      I've got that case covered. "A proof" means at least one proof is too large to fit in the margin. Even if a shorter proof exists, Wiles's proof is too large to fit in the margin.

    • @stevethecatcouch6532
      @stevethecatcouch6532 6 ปีที่แล้ว +13

      Fermat did not say "a proof" could not fit, but rather that his proof could not fit. We know that Fermat only thought he had a proof. I have a problem saying that a non-existent thing could not fit in that margin.

    • @JM-us3fr
      @JM-us3fr 6 ปีที่แล้ว +7

      Dr. Gerbils, technically it would still be vacuously true

    • @Friek555
      @Friek555 6 ปีที่แล้ว +1

      No he wasn't. He said he _had_ a proof that was too large, which he did not.

  • @BuleriaChk
    @BuleriaChk 7 หลายเดือนก่อน +3

    Proof of Fermat's Last Theorem for Village Idiots
    (works for the case of n=2 as well)
    To show: c^n a^n + b^n for all natural numbers, a,b,c,n, n >1
    c = a + b
    c^n = (a + b)^n = [a^n + b^n] + f(a,b,n) Binomial Expansion
    c^n = [a^n + b^n] iff f(a,b,n) = 0
    f(a,b,n) 0
    c^n [a^n + b^n] QED
    n=2
    "rectangular coordinates"
    c^2 = a^2 + b^2 + 2ab
    Note that 2ab = 4[(1/2)ab] represents the areas of four right triangles)
    "radial coordinates"
    Lete p:= pi, n= 2
    multiply by pi
    pc^2 = pa^2 + pb^2 + p2ab
    Note that pc^2, pa^2, and pb^2 represent areas of circles, wile p2ab = a(2pb) is the product of a radius (a) and a circumference (2pb).
    This proof also works for multi-nomial functions.
    Note: every number is prime relative to its own base: a = a(a/a) = a(1_a)
    a + a = 2a (Godbach's Conjecture (now Theorem.... :)
    (Wiles' proof) used modular functions defined on the upper half of the complex plane. Trying to equate the two models is trying to square the circle.
    c = a + ib
    c* - a - ib
    cc* = a^2 + b^2 #^2
    But #^2 = [cc*] +[2ab] = [a^2 + b^2] + [2ab] so complex numbers are irrelevant.
    Note: there are no positive numbers: - c = a-b, b>a iff b-c = a, a + 0 = a, a-a=0, a+a =2a
    Every number is prime relative to its own base: n = n(n/n), n + n = 2n (Goldbach)
    1^2 1 (Russell's Paradox)
    In particular the group operation of multiplication requires the existence of both elements as a precondition, meaning there is no such multiplication as a group operation)
    (Clifford Algebras are much ado about nothing)
    Remember, you read it here first)
    There is much more to this story, but I don't have the spacetime to write it here.

  • @atrumluminarium
    @atrumluminarium 6 ปีที่แล้ว +33

    A drunk friend once told me:
    "If Φ was really called 'phee', then π would be called 'pee' "

    • @fedem8229
      @fedem8229 4 ปีที่แล้ว +12

      That's actually the correct pronunciation

    • @imCurveee
      @imCurveee 3 ปีที่แล้ว +5

      That's how it's pronounced in Greek

    • @ericmckenny6748
      @ericmckenny6748 2 หลายเดือนก่อน +2

      It would be pronounced exactly the same as our corresponding letter P, which it is, in Greek.

  • @DiegoBQZ
    @DiegoBQZ 6 ปีที่แล้ว +128

    Have you heard the Last Theorem of Lord Fermat, the Wise?
    Of course not, is not a theorem that a mathematician would prove...

    •  6 ปีที่แล้ว +5

      Patricio Borquez Math Lords are our speciality.

    • @whyisthereahandlenow
      @whyisthereahandlenow 6 ปีที่แล้ว +8

      Is it possible to learn this theorem?

    • @hccrle
      @hccrle 6 ปีที่แล้ว

      Lem Lordje Ko: Do you mean to learn the statement of the theorem, or a proof of it? The statement is simple; it is in the video, at the beginning. A proof was discovered in 1993, and it is very long and complicated.

    • @rd-6137
      @rd-6137 6 ปีที่แล้ว +1

      Not from your school's math book.

    • @throwawayuser9931
      @throwawayuser9931 4 ปีที่แล้ว +2

      Meanwhile, we see different alien(mysterious) complex functions dancing in front of us..

  • @MatthewLeeKnowles
    @MatthewLeeKnowles 6 ปีที่แล้ว +4

    "...if and only if your ring has a very special property."
    The one part of this video I actually understood ;-)

  • @lovaaaa2451
    @lovaaaa2451 6 ปีที่แล้ว +38

    Algebraic number theory is like pure satisfaction... I'd love to see more abstract algebra on the channel!

    • @JM-us3fr
      @JM-us3fr 6 ปีที่แล้ว +1

      Yes please, a thousand times! Algebraic number theory is so much more elegant than analytic number theory.

    • @aeniln57
      @aeniln57 6 ปีที่แล้ว

      Couldn't agree more !!!

    • @Super.AmmarI0
      @Super.AmmarI0 6 ปีที่แล้ว

      Jason Martin analytic number theory may not explain things as "neatly" as algebraic number theory, but sometimes we must resort to analysis (which I had always preferred since age 15) to prove theorems.

    • @antoinebrgt
      @antoinebrgt 6 ปีที่แล้ว

      If you understand French you can have a look at my newborn channel : th-cam.com/channels/QFaJoQu0TP7je5HchCNjHA.html

    • @lovaaaa2451
      @lovaaaa2451 6 ปีที่แล้ว

      Ah cool je vais regarder, ca me semble bon! :)

  • @turtleburger
    @turtleburger 6 ปีที่แล้ว +50

    Don't usually comment on videos, but I just want to say: While the transition between hosts was (very) rough, I've really enjoyed the last few videos. I'm glad you've been able to find that sweet spot balancing rigor, entertainment, and video length. Thanks for all you do. =)

  • @halbeard2996
    @halbeard2996 6 ปีที่แล้ว +3

    That was one of the best videos going off on a tangent out of nowhere and then actually answering the question in the titel while really showing the connection with the seemingly unrelated tangent

  • @omargaber3122
    @omargaber3122 ปีที่แล้ว +1

    I'm sad that this channel has stopped posting new videos, but I always wish you guys good luck and happiness.

  • @Ouvii
    @Ouvii 6 ปีที่แล้ว +137

    I know exactly what Fermat was thinking, but the explanation is too long for a TH-cam comment.

  • @SKyrim190
    @SKyrim190 6 ปีที่แล้ว +2

    Credit were credit is due! This was huge improvement with relation to the last video presented by the same host! It is clear, it presents an interesting topic without occulting it with metaphors and comparisons!
    I think you listened very effectively to the public criticism and corrected your course! Congratulations and keep up the great work!

  • @alexmcgaw
    @alexmcgaw 6 ปีที่แล้ว +23

    Eight years as a mathematician and I thought phi was one of the Greek letters we all pronounced the same way. But now here you are with "fee"

    • @franzluggin398
      @franzluggin398 6 ปีที่แล้ว +14

      English has this tendency to butcher anything Latin or Greek. While it is usual (a convention that I follow, too) to use the English pronunciation to refer to these letters and words within an English sentence, there's nothing wrong with the original Greek pronunciations. The ones seemingly every other language has adopted, along with most people studying Latin or Greek.

    • @alexanderf8451
      @alexanderf8451 6 ปีที่แล้ว +15

      I split the difference and call it "foh".

    • @adamthapazz4137
      @adamthapazz4137 6 ปีที่แล้ว +2

      ikr!! I always pronounced it fi... as in hi!

    • @quicksanddiver
      @quicksanddiver 6 ปีที่แล้ว +6

      English is literally the only spoken language in the entire world which doesn't pronounce 'i' as 'ee'

    • @johnemory7485
      @johnemory7485 6 ปีที่แล้ว +6

      @Alexander F, I prefer "fumb"

  • @KcKc-bh6lu
    @KcKc-bh6lu 5 ปีที่แล้ว +3

    A lot of books stated the theorem: if p divides ab, then p divides either a or b.

  • @heaslyben
    @heaslyben 6 ปีที่แล้ว +1

    This video kicked my butt. I didn't know about Definition B and UFDs. Thank you!

  • @amirhomayounnejah822
    @amirhomayounnejah822 6 ปีที่แล้ว +3

    I just want to say congratulations. Your channel is awesome.

  • @L4wLiP0p
    @L4wLiP0p 6 ปีที่แล้ว +9

    Perhaps Fermat thought he could generalize his technique of the infinite descent, which can be used to show the non-solvability of the equation x^4+y^4=z^4.

  • @fibbooo1123
    @fibbooo1123 6 ปีที่แล้ว

    @7:15 check out the references below for why 2 is irreducible- which reference?

  • @tomrivlin7278
    @tomrivlin7278 6 ปีที่แล้ว +3

    Really enjoyed this episode! Great explanations. Keep up the good work :)

  • @wobh688
    @wobh688 6 ปีที่แล้ว +2

    Any episodes on Heegner numbers and UFDs coming up? Because please and thank you!

  • @joshmyer9
    @joshmyer9 6 ปีที่แล้ว +4

    6:30: as soon as those factors popped up, I expected a look up at a second camera, a fist raised in frustrated rage, and “Phiiiiiiii!!!” (Okay, less “expected,” more “chuckled at the mental image of,” but, y’know.)

  • @tsss1179
    @tsss1179 6 ปีที่แล้ว +4

    Can you do a video about p-adic numbers?

  • @cheaterman49
    @cheaterman49 6 ปีที่แล้ว +1

    Hey Gabe, don't hold yourself back in the answers. Most of us indeed don't fully understand when people talk advanced maths, doesn't mean we're not interested in hearing what the discussion is about :-) - IMHO it's rather motivating to see how much is left for us to discover!

  • @FernandoVinny
    @FernandoVinny 6 ปีที่แล้ว +6

    So coooool
    I'm learning Abstract Algebra and so excited to master all this subject

    • @gilberttheisen9270
      @gilberttheisen9270 ปีที่แล้ว

      D'où vient ce ''copié_collé"" d'il y a 5 ans !??? !! c'est une usurpation d'identité.

    • @gilberttheisen9270
      @gilberttheisen9270 ปีที่แล้ว

      Comment faites-vous pour copier mon texte et l'arranger à votre manière ! ! !

    • @FernandoVinny
      @FernandoVinny ปีที่แล้ว

      @@gilberttheisen9270 Calm down and go there eat your baguette

  • @David_Last_Name
    @David_Last_Name 6 ปีที่แล้ว +1

    Wow, very well done video. It was complicated to be sure, but even though there where parts I didn't quite get (I need to watch this again), you taking us through those examples with the detail you gave let me at least follow along and understand your conclusions. I never realized that the properties of primes where so unique to the integers, and I ended up learning something fairly profound about Fermatt's last theorem that I didn't know before. Thank you for this one! :)

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +2

      Fantastic! Glad you enjoyed it!

    • @modolief
      @modolief 6 ปีที่แล้ว

      I’m glad you give the viewer pieces to prove. This material is not trivial, even for people with a pretty advanced understanding of mathematics.

  • @ludvercz
    @ludvercz 6 ปีที่แล้ว +6

    Wait, so at 5:40 does this mean 3 is not a unit in Z but it is a unit in Q?
    For the number u=3 in Q, there is a v=1/3 also in Q, so that uv=1
    Are all rationals considered units under their own set? Or what am I missing?

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +10

      Yes! You're spot on! In fact, because every number in Q is a unit, we give Q a special name: it's called a *field*. More generally, if every non-zero number in an arbitrary ring has a multiplicative inverse (i.e. it's a unit), then we call that ring a field. So Q is a field, but Z is not!

    • @L4wLiP0p
      @L4wLiP0p 6 ปีที่แล้ว +3

      The rationals are a field. In any field, all numbers except 0 are units.

    • @ludvercz
      @ludvercz 6 ปีที่แล้ว +3

      Awesome. Other than having heard of it, I didn't know anything about rings (or fields) but I actually understood most of this video and all of this comment. You guys are the best.

    • @JM-us3fr
      @JM-us3fr 6 ปีที่แล้ว +1

      I can give you a basic introduction:
      Rings are sets with a + and * operation on them that satisfy intuitive operations for + and *, including the existence of a 0 element and "negatives" in a sense. If it also has a 1 element, it is called a unital ring (or a ring with unity). If every nonzero element has a "reciprocal" (multiplicative inverse), then the ring is called a field (Actually it's technically a division ring; a field also assumes * is commutative, but non-field division rings are so rare, the distinction is often ignored).

  • @joeybf
    @joeybf 6 ปีที่แล้ว

    Thanks for the reply and the great video as usual. You nailed that last name Gabe!

  • @coder0xff
    @coder0xff 6 ปีที่แล้ว

    I support PBS Space Time, but all the work PBS does here is excellent.

  • @eofirdavid
    @eofirdavid 6 ปีที่แล้ว +2

    I think that this video was a missed opportunity. The main problem in solving equations like the x^n+y^n=z^n is that they contain both multiplication (the n-th power) and addition. Adding a root of unity to the mix helps a lot because then we can transform the equation to be multiplicative in nature. If we know that primes=irreducibles (which is the main subject of the video), then we can use results about unique factorization to attack this problem. This idea gives a good motivation for why we need this UFD definition, while the video mainly gives the definitions and a claim that it is somehow related to Fermat's last theorem. In particular, for x^2+y^2=z^2, every student should learn that sum of squares should almost always lead to the decomposition (x+iy)(x-iy)=z^2. Then, it is a simple exercise to use the unique factorization property in the Gaussian integers Z[i] in order to find all Pythagorean triples.

  • @Qermaq
    @Qermaq 6 ปีที่แล้ว +26

    1 is the unique product of no primes, it’s like the multiplicative zero. Oh, and I f you pronounce the golden ratio “fee” then you have to pronounce the circumference diameter ratio “pee”. And I think I like that.

    • @egilsandnes9637
      @egilsandnes9637 6 ปีที่แล้ว +2

      Qermaq In some languages, like Norwegian, pi is pronounced exactly like "pee".

    • @dlevi67
      @dlevi67 6 ปีที่แล้ว

      In some languages like Norwegian... or Greek. Except that the "i" in Greek is shorter than "ee" in English.

    • @huckthatdish
      @huckthatdish 6 ปีที่แล้ว +1

      Took Ancient Greek classes. Most classicists do pronounce them phee and pee.

  • @keithmasumoto9698
    @keithmasumoto9698 5 ปีที่แล้ว +1

    Wow, I never thought field extensions would come into play with primality. Thank you.

  • @aeniln57
    @aeniln57 6 ปีที่แล้ว +2

    Awesome episode on Number Theory !!! More ! MORE !!!

  • @SunriseFireberry
    @SunriseFireberry 6 ปีที่แล้ว +91

    Maybe there was no marvellous proof & Fermat was just being mischievous.

    • @hccrle
      @hccrle 6 ปีที่แล้ว +5

      TimeAndChance: Or maybe he was mistaken about the validity of his proof.

    • @ngc-fo5te
      @ngc-fo5te 6 ปีที่แล้ว +5

      Erik Lönnrot He categorically, 100% did not have a correct proof. He either had no proof or some simplistic and incorrect algebraic one.

    • @donkosaurus
      @donkosaurus 6 ปีที่แล้ว

      this seems very likely

    • @Trias805
      @Trias805 6 ปีที่แล้ว +1

      In other words, Fermat was trolling

    • @pravinrao3669
      @pravinrao3669 5 ปีที่แล้ว +2

      I can prove it one line
      if a prime number is a factor of a number then it must always be a part of factor the number since it can't be written by two numbers as
      3.4 =12
      3.2.2=12=3x2.2=12 which =3.2x2 you are writing the same thing
      since 3 can't be divided it must always be a factor. any non prime factor can be expressed as product of primes and hence can be changed but this can't happen. primes are building blocks of any number new number can be made from primes but all factors are just different way of writing product of primes.
      Its by the same logic that any non prime number must contain prime number in its factors the prime number which are a factor of a number can't be dived as they are prime.
      There you go it was pretty easy.

  • @KafshakTashtak
    @KafshakTashtak 3 ปีที่แล้ว

    OK, I didn't understand a lot of things you said, but at least I learned in which space Fermat's theorem was being analyzed.

  • @ralphinoful
    @ralphinoful 6 ปีที่แล้ว +1

    As someone who really struggled with abstract algebra. I really wish this video came out 2 years ago. Would have helped a whole lot. Just giving that little nudge in the right direction, that one of the main motivations for rings is that, a ring is the least amount of information needed to talk about primality, would have been incredibly helpful.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว

      I'm delighted to hear the video was helpful! (Even if it was 2 years late...)

  • @Markovisch
    @Markovisch 6 ปีที่แล้ว

    I have noticed how not a single episode yet has touched upon Coding Theory, to me a very interesting topic with interesting applications. Perhaps even a suggestion to cover for a future episode?

  • @czechthisout
    @czechthisout 6 ปีที่แล้ว +2

    Please do a video on an introduction and overview to ring theory! My apologies if you already have.

  • @Grassmpl
    @Grassmpl 2 ปีที่แล้ว

    7:29 definition A is incorrect over the integers, as it would include 1 as a prime.

  • @someperson188
    @someperson188 3 หลายเดือนก่อน

    I can't remember where I read that Fermat had some difficulty with the (relatively new) exponentiation notation. He may have been talking about: n^x + n^y = n^z, which is easily shown to have no integer solutions when n > 2.

  • @MarcusAndersonsBlog
    @MarcusAndersonsBlog 5 ปีที่แล้ว

    What a great presentation! Here is my theory. We know Fermat's note to himself is all the evidence there is, and he never returned to this problem again. This is behavior (not revisiting a "Marvelous" discovery) is associated with realising we are wrong, and is the single most ignored piece of evidence in FLT. I seem to be the only person who has dared to conjecture that the next time Fermat took a look at his "Marvelous" proof he realised it was a trivial proof to an even more trivial problem and never bothered with it again. Following discovery and publication of his private notes, mathematicians did not see the ambiguity of FLT as written, and misunderstood it as a far more complex problem. However, this assumption ignores the case of a "Marvelous" solution to a trivial problem, so trivial in fact, that it really wasn't that "Marvelous" after all. Fermat realised he was wrong (and he was also sometimes wrong without realising it!). All very human.
    The "trivial" FLT for which the solution is likewise trivial, is to assume the Pythagorean (h^2 = x^2 + y^2) as a given. The "trivial" proof is then one of substitution, requiring about 6 steps. How embarrassing!!! But it is still too long to squeeze into the available space of his margins.
    However after his death, the mathematicians assumed a non-trivial FLT, and set out to prove the Pythagorean a different way (for integers) rather than assume it. In doing so, it fails to take advantage of the particular case in order to prove the general case, but also sets out to prove the general case as if the Pythagorean (reals) was outside the scope of the Diophantine (integers). I fail to see the need to do this. Its quite easy to show graphically by setting h=1 for all N>2 that a right triangle cannot be formed and the Pythagorean no longer applies and this is true for all reals, not just integers. Only for N=2 is it possible to form a right triangle, and for greater or lesser values of N the right angle increases or decreases. The ration (h=1:x:y) then holds for any integer or real (h,x,y).
    The proposition that Fermat would simply walk away from such a claim as he made without realising he was wrong, has far less credibility than the proposition that he wittingly abandoned a "Marvelous" discovery 'just like that'. I, for one, am not convinced one iota that mathematicians ever understood the severe triviality of FLT, but embarked a different problem altogether. That is my position, and it is over to Andrew Wiles et. al. to show why my understanding and solution for FLT - as a trivial solution to a trivial problem - is wrong (my solution it is certainly not wrong).
    Emperor Fermat has no clothes!!!!

    • @MikeRosoftJH
      @MikeRosoftJH 5 ปีที่แล้ว

      I can assure you: 1) The equation a^n+b^n=c^n does have a solution in positive reals and for n being an integer greater than 2 (it also has a solution where a, b, and c are positive integers and n is a real number greater than 2); 2) If a solution using trivial arithmetic existed, chance is that it would have been found ages ago.

  • @tpog1
    @tpog1 6 ปีที่แล้ว +7

    The video is nice but it contains an error: A ring being a UFD is not equivalent to atoms (= irreducibles) being prime. This is only true if the ring is atomic, i.e. if every non-zero non unit is the product of atoms. To be more specific: R is a UFD (R is atomic and every atom is prime), for every domain R.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +10

      Sure, asking for "unique" factorization only makes sense if you have "factorization" in the first place. But this video is an introduction to ring theory (actually, it's a *pre*-introduction---I don't even give the definition of a ring!). So I think, for pedagogical reasons, it's fine (and helpful, in fact) to not mention all the nuances that come with rings (and there are *many*) when sharing the subject with those who might be hearing it for the very first time. But I'm glad you're keeping a sharp eye out. Excellent!

  • @Shyguyyyyy
    @Shyguyyyyy 6 ปีที่แล้ว

    This episode is SO GOOD!

  • @Cliff86
    @Cliff86 6 ปีที่แล้ว +2

    If you want to learn more about rings I recommend "Elements of Number Theory" by John Stillwell
    It's a textbook I used when I took a number theory course in college.

    • @modolief
      @modolief 6 ปีที่แล้ว

      Cliff86 Stillwell is a great author!

  • @Czeckie
    @Czeckie 6 ปีที่แล้ว +35

    1:10 nope, the prime p may divide both factors. The world 'exactly' shouldnt be there

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +20

      Good catch! "At least one" is the correct quantifier.

    • @antoniolewis1016
      @antoniolewis1016 6 ปีที่แล้ว

      Yes! Squares or multiples of squares come to mind.

    • @kilogods
      @kilogods 6 ปีที่แล้ว

      Lol yea, of course p will divide both p^k and p^(n-k) for all 0

    • @JM-us3fr
      @JM-us3fr 6 ปีที่แล้ว

      Nice catch! I was watching carefully to see if she made that mistake ('cause it's really easy to make), but I didn't even notice she made it right at the beginning.

    • @JorgetePanete
      @JorgetePanete 6 ปีที่แล้ว

      Czeckie shouldn't*

  • @3thanguy7
    @3thanguy7 6 ปีที่แล้ว

    Was the music the FTL soundtrack?

  • @Lolwutdesu9000
    @Lolwutdesu9000 6 ปีที่แล้ว

    I find Gabe much more organic and enjoyable than the other presenter. Any one else agree?

  • @hitmanbobina4767
    @hitmanbobina4767 6 ปีที่แล้ว +1

    :o i haven't been watching for a while, and now there's new people!
    Including the old spacetime host!
    :O

  • @Asmor
    @Asmor 6 ปีที่แล้ว

    Apologies if this is already addressed, haven't finished video. But regarding the p|ab implies p|a or p|b thing... what if p is 2, a is 2, and b is 2? 2 divides ab (4), but it also divides both a and b. By this rule, that would mean 2 is not prime. What am I missing?

    • @antoinebrgt
      @antoinebrgt 6 ปีที่แล้ว

      The "or" is inclusive. So 2 is prime.

    • @Asmor
      @Asmor 6 ปีที่แล้ว

      Ah. She'd explicitly said "exactly one" in the video and I'd missed the comment addressing that. Thanks!

    • @antoinebrgt
      @antoinebrgt 6 ปีที่แล้ว

      You're welcome!

  • @thomaskember4628
    @thomaskember4628 5 ปีที่แล้ว

    What about complex numbers? Do they form a ring? Can there be prime complex numbers and if so, can composite complex numbers be factorised into primes?

  • @koutuanmikayela1328
    @koutuanmikayela1328 6 ปีที่แล้ว

    Nice video! Great job, Tai!!

  • @jungjunk1662
    @jungjunk1662 5 ปีที่แล้ว

    Isn’t the def of unit number wrong in this video. u is unit number if uv = v right?

  • @scanerang
    @scanerang 6 ปีที่แล้ว +1

    Here's a puzzle:
    If you scramble a rubik's cube with any arbitrary algorithm (a random set of moves).
    Knowing only the result of the scramble.
    How often do you have to do the same scramble to return to the orignal state?

  • @nujuat
    @nujuat 2 ปีที่แล้ว

    Ring thoery was one of my favourite topics at university. It's such a shame that interesting maths like this isn't really presented at schools.

    • @subhradipporel9598
      @subhradipporel9598 2 ปีที่แล้ว

      can't agree more, with a little bit of understanding of abstractions, things can go smooth and also abstraction is not a new cutting edge or Martian concept either

  • @nashleydias1597
    @nashleydias1597 6 ปีที่แล้ว

    What about complex numbers with this regards to these definition

  • @jonathanbush6197
    @jonathanbush6197 6 ปีที่แล้ว

    Thanks for the great video! Fermat never claimed to anyone that he had a proof. He wrote in the margin of his own book. This was not discovered until after he died. So now he's "the greatest troll ever." Just remember folks, some future archaeologist, digging some landfill, may read some stuff you wrote and threw away.

  • @mattc4653
    @mattc4653 6 ปีที่แล้ว

    I was thinking about something. Could rings with UFDs be used like ℕ in the RSA algorithm? Is there something special about ℤ that make it work only for ℤ, or is there a property that makes it work for more? I was thinking about it because ℤ[i] is a UFD but super tricky to implement RSA in. Is it possible but would require a bit more computing power, or are the integers the *only* ring that RSA works for?

  • @BazicShotz
    @BazicShotz 6 ปีที่แล้ว

    My favorite episode from this new host.

  • @pierrecurie
    @pierrecurie 6 ปีที่แล้ว

    Between irreducible vs prime, does one imply the other?
    I'm tempted to think that all primes are irreducible (probably a proof by contradiction?)

  • @Melomathics
    @Melomathics 6 ปีที่แล้ว

    1:20 Wait, I don't get it.
    We have 54=6*9. 3 divides both of the factors 6 and 9, and yet 3 is prime, so what did I miss? Thanks.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว

      Yes! Sorry for the confusion. This is *perfectly* fine. 3 must divide *at least one* (not *exactly* one) of the factors -- I pinned this correction in a comment up top. So 3 is still a good ol' fashioned prime number ;)

    • @frxstrem
      @frxstrem 6 ปีที่แล้ว

      3 must divide either 6 or 9, but it can also divide both.

    • @Melomathics
      @Melomathics 6 ปีที่แล้ว

      Ah, I see what you mean now. No worries, these things are quite easy to misphrase in a youtube video. Nice video - keep it up.

  • @TheMerryPup
    @TheMerryPup 6 ปีที่แล้ว

    Seeing this video through to the end might give the 'truly marvelous demonstration' Fermat had in mind. But I stopped because my brain is 'too narrow to contain' it.

  • @אילוולך
    @אילוולך 6 ปีที่แล้ว

    Wrong statement at 9:13. Irreducibles are primes if (but not only if) the ring is a UFD. But an IP ring gotta be atomic (aka any number has at least one factorization to irreducibles).

  • @MKD1101
    @MKD1101 6 ปีที่แล้ว +1

    What about zero? Is it prime, composite, nothing or both?

    • @alexanderf8451
      @alexanderf8451 6 ปีที่แล้ว

      Zero is composite. It is divisible by every integer after all.

    • @hccrle
      @hccrle 6 ปีที่แล้ว +1

      Alexander F: If you classify 0 as composite, then you need to exclude it in the statement of the Unique Factorization Theorem, since 0 has infinitely many factorizations, being "divisible by every integer after all".

  • @enlightedjedi
    @enlightedjedi 6 ปีที่แล้ว +1

    Isn't the case that only conjugates "break" the second definition?

    • @franzluggin398
      @franzluggin398 6 ปีที่แล้ว +1

      What conjugates? Complex conjugates? Factors of the form (a+b)(a-b)?

    • @enlightedjedi
      @enlightedjedi 6 ปีที่แล้ว

      To my knowledge in this context, conjugates are used to depict numbers of the for x+y*sqrt(z) & x-y*sqrt(z), where x,y in Z and z in Z not a perfect square. Yes this is akin to the i in complex numbers but simpler I guess :)! As pointed out in the video we can very easily work it out in Q also.

    • @franzluggin398
      @franzluggin398 6 ปีที่แล้ว +1

      Yes, I think you're right, then. The only way to have non-unique factorisation is if you have an integer* in Z[sqrt(5)] that can be factorized either just like in Z or as a product of two terms involving sqrt(5). But if the product is supposed to be an integer, you have to use factors of the form (a+b)*(a-b) where either a or b are integers and the other one is a multiple of sqrt(5).
      One of these cases (a is an integer) is the case of two conjugates, but the other one is also possible, as it is in fact the one in the video: 4=2*2=(-1+sqrt(5))*(1+sqrt(5)). But I guess you can say those are conjugates up to multiplication with a unit: 4=-(1-sqrt(5))*(1+sqrt(5)).
      *) To show that only integers can be factorized two different ways in this ring, I think it suffices to use the facts that Z is a UFD and closed under multiplication and (analogously) Z*sqrt(5) is a UFD, too.

    • @enlightedjedi
      @enlightedjedi 6 ปีที่แล้ว

      So my intuition was correct, thanks. I was unfortunately to lazy to come up with a proof :(! Thanks very much :)!

    • @leonardo21101996
      @leonardo21101996 6 ปีที่แล้ว +2

      Next time you are too lazy, just tell them the margin was too narrow. They might believe you.

  • @terdragontra8900
    @terdragontra8900 6 ปีที่แล้ว +2

    "if you are looking for a buzzword", nice humor there

  • @lukeinvictus
    @lukeinvictus 6 ปีที่แล้ว +14

    Please name the axioms "cheese" and "coco puffs" next time.

  • @jamestolliver9107
    @jamestolliver9107 4 ปีที่แล้ว

    Wonderful presentation

  • @amiramaz
    @amiramaz 6 ปีที่แล้ว +2

    Great video!

  • @vadimuha
    @vadimuha 6 ปีที่แล้ว +2

    Or Fermat was the biggest troll in history of humanity

  • @nicolasdaans9704
    @nicolasdaans9704 6 ปีที่แล้ว +1

    9:00 "According to abstract ring theory, irreducible and prime are equivalent concepts if and only if your ring is a UFD." Well, except for some pathological cases. See ramanujan.math.trinity.edu/rdaileda/teach/m4363s07/non_ufd.pdf for an example of a domain satisfying prime = irreducible, but not unique factorisation.

    • @diribigal
      @diribigal 6 ปีที่แล้ว

      Nicolas Daans thanks for bringing this up!

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว

      Yep, rings come in lots (seriously, I mean *lots*) of flavors, and the key is that your ring must have factorization in the first place. (And the nicer rings that mathematicians work with have this property!)

    • @nicolasdaans9704
      @nicolasdaans9704 6 ปีที่แล้ว

      Then agreed.

  • @matheuspaesdesouza
    @matheuspaesdesouza 6 ปีที่แล้ว +11

    1:10 Didn't you mean at least one of the two integers?

    • @OnTheThirdDay
      @OnTheThirdDay 6 ปีที่แล้ว +1

      Otherwise, that is a mistake.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว +1

      Yes! Good catch. "At least one." I'll pin a note - thanks for catching this!

  • @jeroenvandorp
    @jeroenvandorp 2 ปีที่แล้ว

    How we miss this channel.

  • @Mrnothing1777
    @Mrnothing1777 6 ปีที่แล้ว +1

    hahaha this video ending is amazing XD replayed that more than 5 times haha

  • @BuleriaChk
    @BuleriaChk 8 หลายเดือนก่อน

    In oreder for the multiplication operator to exist, both its elements must exist.
    Russell's Paradox: 1^2 1
    # = 2 = 1+1 (first order)
    Then #^2 = (1 + 1)^2 = [1^2 + 1^2] + [2(1)(1)] = 4(1^2) (second order - via Binomial Expansion)
    where the first term is existence and the second is interaction (multiiplication, entanglement, entropy)
    Note that existence and interaction are not 4D (1,1,1,1) which diagonal is 4 elements without multiplication.
    Every number is prime relative to its own base. n = n(n/n) = n(1_n)
    Goldbach's Theorem: every even number is the sum of two primes: n + n = 2n
    n is odd.
    Godel's characterization of wff's in his meta-language only uses odd numbers (products of primes).
    Therefore, the sums of odd numbers (even numbers) cannot be represented by hhis wff's.
    So it is just Goedel's meta-language that is incomplete, not positive real numbers.
    Together with Fermat's Last Theorem (applied to multinomials of arbitray powers), the arithmetic system is complete and consistent for positive real numbers.
    There are no negative numbers:
    -c = a - b, b > a
    b - c = a, a + 0 = a, a - a = 0..
    If there are no negative numbers, there are no square roots of negative numbers.
    Proof of Fermat's Theorem for Village Idiots (n>2)
    c = a + b
    c^n = a^n + b^n +f(a,b,n) (Binomial Expansion)
    c^n = a^n + b^n iff f(a,b,n) = 0
    f(a,b,n)0
    c^n a^n + b^n QED
    Also valid for n > 1
    c^2 = [a^2 + b^2] + [2ab]]
    2ab < >0
    c^2 a^2 + b^2 QED
    (Pythagoras was wrong; use your imagination)
    Check out my pdfs in physicsdiscussionforum "dot" org.

  • @adamhrankowski1298
    @adamhrankowski1298 6 ปีที่แล้ว

    Maybe I need more coffee. I got lost at 2:52. It seemed like she was making a statement about integers, said it was NOT true, but then said it WAS true for INTEGERS.

  • @AaronQuitta
    @AaronQuitta 6 ปีที่แล้ว +3

    Is sqrt(5) being used as a place holder for i in this video to make it more accesible?

    • @Andrew-Slattery
      @Andrew-Slattery 6 ปีที่แล้ว +7

      Aaron Quitta It turns out that Z[i] is in fact a UFD in its own right, so that example wouldn't have worked.
      If they had wanted they could have chosen Z[√-3] which is not a UFD but I don't think it would have added much to the video.
      Wikipedia (not the easiest source but am on phone right now)
      en.wikipedia.org/wiki/Unique_factorization_domain

    • @flupprazio
      @flupprazio 6 ปีที่แล้ว +2

      No, in the multiplication at 4:40 you can see that it actually squares to 5.

    • @franzluggin398
      @franzluggin398 6 ปีที่แล้ว +7

      While a+bi is the most common "compound number", consisting of a real part and an imaginary part (that can be chosen completely independently), this here is just another such compound number that has nothing whatsoever to do with complex numbers, apart from the fact that both can always be written in the form
      "some number" + "some number" * "fixed number".
      The only prerequisite for this Z[t] (read: Z adjoint t) is that t is not already an integer. Of course, some rings Z[t] that are generated this way are more interesting than others, and Z[i] is one of the more interesting examples*, but Z[sqrt(5)] isn't a stand-in for anything. sqrt(5) is just one choice for t such that the UFD does not hold and therefore the example works.
      *) also called the "Gaussian numbers", if you're interested

    • @hodesdjole1771
      @hodesdjole1771 6 ปีที่แล้ว

      @Andrew Slattery ℤ[√-3] is a UFD

  • @Corcoancaoc
    @Corcoancaoc 6 ปีที่แล้ว +2

    One question about UTF:
    Let's say that a,b,c,d are unique primes. Why is ab≠cd at all times?
    This was obvious to me throughout university studies, but not anymore.

    • @shvoregavim9435
      @shvoregavim9435 6 ปีที่แล้ว +2

      Alex Johansson a divides the left side but not the right side

    • @gilberttheisen9270
      @gilberttheisen9270 ปีที่แล้ว

      @@shvoregavim9435 Je n'ai jamais écrit ça ! ! !

  • @modolief
    @modolief 6 ปีที่แล้ว

    Great vid!!! Will comment more later, thanks.

  • @jinchoi2493
    @jinchoi2493 6 ปีที่แล้ว

    There's a small mistake in the video. The video states that a (commutative, unital) ring is a UFD iff primality is equivalent to irreducibility. But this only gives you uniqueness of factorization if it exists, but you may not have existence of a factorization into irreducibles. So you need some other condition like that the ring needs to be Noetherian or whatever.
    This is obviously unimportant to viewers who don't know any ring theory, but just in case it confuses any students studying this who come across this video.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว

      It's often tricky to balance accessibility with nuanced precision, but thanks for keeping a sharp eye out! Rings do indeed come in lots of flavors. But to avoid overloading viewers with heavy terminology on an introductory video on ring theory (in which I don't even provide the definition of a ring), I chose to omit many of the nuances of ring theory (and there are tons. I mean *tons*...), including refraining from using the phrase "commutative, unital ring."
      Fortunately, all of the nicer rings that mathematicians work with have factorization into irreducibles (so that it then makes sense to talk about *unique* factorization). Rings with this property are quite nicely called 'factorization domains' or sometimes 'atomic domains.' Noetherian rings show up all over the place, too, but they exhibit a different property.

  • @neilmasson3609
    @neilmasson3609 6 ปีที่แล้ว

    Well it's nice to see something about ring theory which I found impenetrable all those years ago, but does it have anything to do with Fermat's proof?

    • @jonathanbush6197
      @jonathanbush6197 6 ปีที่แล้ว

      Neil Masson did you watch the entire video?

  • @Pika250
    @Pika250 6 ปีที่แล้ว +3

    Proof of def A if and only if def B:
    Let P = XY. Then P divides XY, so that P divides either X or Y. If P = XY divides X, say XYZ = X, then we are led to YZ = 1 and thus Y = 1 or Y = -1.
    Now let P divide XY. Suppose P does not divide Y. Suppose we know that GCD (P, Y) = 1. Then GCD (XP, XY) = X GCD (P, Y) = X. Since P divides both XP and XY, P must divide X. So all we need is GCD (P, Y) = 1. Clearly GCD (P, Y) must divide P, say Z GCD (P, Y) = P. Since GCD (P, Y) is positive we are led to either Z = 1 or GCD (P, Y) = 1. Assuming Z = 1, we are led to GCD (P, Y) = P which cannot happen since P does not divide Y.

    • @hccrle
      @hccrle 6 ปีที่แล้ว

      Pika250: I am having a difficult time following your proof. It appears that in the first paragraph, you are assuming that P is a prime in the sense of Def. B and trying to prove that it satisfies Def. A. It seems more or less okay, but a statement of what you are trying to prove would help. But it's the second paragraph that has me scratching what I laughingly call my head. It starts out okay, for a proof that Def. A implies Def. B. You say basically, suppose P divides XY. So you need to prove, given that P satisfies Def. A, that either P divides X or P divides Y. Then you suppose P does not divide Y. So you need to prove that P divides X. So far, so good. Then you say, "Suppose we know that GCD (P, Y) = 1." Okay. Then a couple of sentences later you have "GCD (P, Y) = X". That would be consistent if X=1. A couple of sentences later you say, "So all we need is GCD (P, Y) = 1." How can you need that if you started out assuming that? And it goes downhill from there. I'm sorry. I can't keep track of what you're assuming or what you're trying to prove anymore.

    • @Pika250
      @Pika250 6 ปีที่แล้ว

      I put X GCD (P, Y) = X, not GCD (P, Y) = X. Let's restructure the proof of A implies B as follows: Let P divide XY and suppose P does not divide Y. Clearly GCD (P, Y) must divide P, say Z GCD (P, Y) = P. Since GCD (P, Y) is positive we are led to either Z = 1 or GCD (P, Y) = 1 by def A. Assuming Z = 1, we are led to GCD (P, Y) = P which cannot happen since P does not divide Y. We therefore must have GCD (P, Y) = 1. Since P divides both XP and XY, P must divide GCD (XP, XY) = *X GCD (P, Y)* = X. Ergo, def B.

    • @hccrle
      @hccrle 6 ปีที่แล้ว

      Pika250: OK, I think I see what happened. I mistook the space between X and GCD, and later between Z and GCD, as a separation between two sentences or phrases, with a missing period or semicolon as a typo, rather than an indication of multiplication. I would have used a symbol such as x or parentheses to make it clear I was multiplying, and maybe put the equation on a line by itself, like this:
      GCD (XP, XY) = X[GCD (P, Y)] = X
      It also helps that you didn't put "Suppose we know that GCD (P, Y) = 1" at the beginning of the argument. Now it is much clearer. Thanks for the clarification.

  • @jsmunroe
    @jsmunroe 6 ปีที่แล้ว

    This fairly trivially extends into more than two factors (with integers). No matter how you factorize a number n, a multiple of a prime p, p must exist in at least one of those factors because it is a priori a prime factor of n. Any factor of a number that is itself a prime is a prime factor of that number, again by definition.

    • @jsmunroe
      @jsmunroe 6 ปีที่แล้ว

      A simpler way to express this is this: no matter how one groups the prime factors of a composite n, any of those prime factors p must be in one of those groups. these groups are factors of n.

  • @pierreabbat6157
    @pierreabbat6157 6 ปีที่แล้ว

    Z[sqrt(5)] includes a/2+b×sqrt(5)/2 where a and b are both odd, as well as when they're both even. So it includes Φ and 1/Φ, which are units. So 2×Φ×2/Φ is not essentially different from 2×2.
    This is true for all sqrt(p) where p≡1 mod 4. If p=-3, you get the Eisenstein integers. Z[sqrt(5)] is a UFD, but Z[sqrt(-5)] is not.

  • @marktero
    @marktero 6 ปีที่แล้ว

    You made me lol at the end of the video, Gabe, haha.

  • @andreasgeorgiou9765
    @andreasgeorgiou9765 6 ปีที่แล้ว

    @4 :12 b has to belong to Q* otherwise if b =0 you just have Q

  • @someperson188
    @someperson188 3 หลายเดือนก่อน

    The definitions of irreducible and prime elements should include the proviso that the element isn't a unit. Otherwise, 1 is irreducible and prime in Z.
    Elements in a UFD are not necessarily "uniquely" the product of irreducible elements. For example: in Z, 6 = (2)(3) = (-2)(-3). The definition of a UFD is: each non-unit of the UFD can be factored into irreducible elements and for any two factorizations of each non-unit of the UFD into irreducible elements, there is a 1-1 correspondence between the factors so that each factor of one the factorizations corresponds to an associate of itself (that is, that factor times a unit).

  • @user-iu1xg6jv6e
    @user-iu1xg6jv6e 6 ปีที่แล้ว +1

    But if we assume all rings are UFDs, how would you prove it?
    I mean, what do you think his proof was?

    • @Hwd405
      @Hwd405 6 ปีที่แล้ว +1

      ɐɯɹɐʞ ɐıuɐɯ it's on screen at around 9:50. If x^p+y^p=z^p (p an odd prime) then x^p+y^p can also be factorised in the way shown on screen. By the assumption that all rings are UFDs, this would mean x^p+y^p had two different factorisations and that contradicts unique factorisation. So x^p+y^p cannot equal z^p.
      If you were actually asking how they'd prove that all rings were UFDs, it's been known for a long time that a few of the rings Z[a] were UFDs for a long time. I think, if this is the proof Fermat was going to use, he probably just assumed that there'd be a way of proving the rest of these rings are UFDs too.

    • @plasmaballin
      @plasmaballin 6 ปีที่แล้ว +2

      He probably didn't realize that he was making this assumption, so he didn't try to prove it.

    • @subhradipporel9598
      @subhradipporel9598 2 ปีที่แล้ว

      @@Hwd405 haviing two different favctorization should not invalidate theUFD unless u make it on different irreducibles. Clearly, z^p is not an irrudicible, and the terms of 9:50 of video aren't either guarenteed to be irreducible by themselves aka they have got a unit in thier factorization. So either ways, we cannot reach the contradiction, I think. There is something fishy.

  • @leonardo21101996
    @leonardo21101996 6 ปีที่แล้ว

    I have a small quarry with that definition of prime. Assume we are in a integral domain, so that xy=0 implies x=0 or y=0. Clearly, 0|0, since we can take 0=0*1. But even more, assume that 0|x. Then for some y, we have x=0*y=0 and with that we prove that 0|x iff x=0. Now let's check the given definition for prime when p=0: If 0|ab, then ab=0. But we are in a domain, so a=0 or b=0, but that means that 0|a or 0|b, so 0 is prime. In particular, if we are talking about integers, that definition says that 0 is a prime integer, which is untrue (in fact, it is simple to show that 0 is not irreducible, with the given definition). The proper definition would be that p is a prime iff p is not 0 or a unit, and p|ab implies p|a or p|b.

    • @pbsinfiniteseries
      @pbsinfiniteseries  6 ปีที่แล้ว

      Yes, exactly. To be extra careful, we'd want to toss out both units and 0 when making the definition. (Good catch.)

  • @jsmunroe
    @jsmunroe 6 ปีที่แล้ว

    Does this mean that Q[i] is the complex plane?

    • @antoinebrgt
      @antoinebrgt 6 ปีที่แล้ว

      Well not really, it has only the complex numbers with rational real and imaginary part

  • @davidcampos1463
    @davidcampos1463 6 ปีที่แล้ว

    At the core is prime. Surrounding the core is irreducibility. And surrounding this is unique factorization. Then standard factorization comes next. This is the justifcation I needed to try and pry math away from the intangible and the abstract. Thank you.

  • @otariqoreli5327
    @otariqoreli5327 3 ปีที่แล้ว

    There is a possibility of a very large reduction of the general proof of the Fermat theorem. This proof can only be obtained by analyzing the Pythagorean theorem.

  • @fibbooo1123
    @fibbooo1123 6 ปีที่แล้ว

    At 7:15 $2$ is irreducible proof in the references- which one is it?
    Heres what I have so far:
    Say that $2=ab$, and there does not exist a $c$ such that $ac=1$ or $ac=1$, i.e. a and c are non units.
    Then …????

  • @3of7tricom34
    @3of7tricom34 4 ปีที่แล้ว

    A unique factorization domain (UFD) is not uniquely defined by primes being the same as irreducibles. Consider the ring Z + Q[x]. Not a UFD, but all irreducibles are prime.

  • @sahajamatya
    @sahajamatya 6 ปีที่แล้ว

    Fermat videos will never not be uninteresting

  • @yuda49
    @yuda49 4 ปีที่แล้ว +1

    Fermat's last theorem is a fact.
    Fermat's did not claim that there are no whole solutions to equation.
    Fermat's claim that are no solutions to the equation in whole numbers.

  • @steliostoulis1875
    @steliostoulis1875 6 ปีที่แล้ว

    Very well made video. Keep it up

  • @anthonymarantino8762
    @anthonymarantino8762 6 ปีที่แล้ว

    for any non americans confused by the term “foil” its an acranym for first outside inside last used to remember the distributive rule. americans use the anidote to refer to the action, where the phrase foiling a product comes from or foiled when done in past tense, this is the same as saying I added the numbers as per the law of addivtivity, or in more common terms it is analagious to saying i used long division to divide two numbers rather then simply saying i divided. This is just the weird nomenclature americans use to remember it in high school and the years after learning the anidote the students are quickly taught the more generalized rule for larger problems

    • @modolief
      @modolief 6 ปีที่แล้ว

      Anthony Marantino correct. FOIL, was introduced after my time, so I only encountered it when I was tutoring math. Was convenient, perhaps. It’s funny to observe the things kids have now that didn’t exist 40 or 50 years ago. Car seats for kids. My favorite is the rope they use for really little kids when they’re walking in the street as a group; the kids are told to hold onto the rope so they stick together better.

    • @lucasm4299
      @lucasm4299 6 ปีที่แล้ว

      Anthony Marantino
      It’s not weird nomenclature.
      Don’t be ignorant

  • @lobachevscki
    @lobachevscki 6 ปีที่แล้ว

    For those noticing that Definition B should be 'at least' instead of 'exactly': it's the same in this case, you could use 'exactly' without loss of generality because of associativity, you can always rearrange the product to mean exactly one and the definition holds true for any product, no matter how you associate. It's not that the observation is wrong, is just that you can use the definition to mean exactly the same, and keep it compact and elegant at the same time.

    • @RalphDratman
      @RalphDratman 6 ปีที่แล้ว

      I don't understand what you wrote there. "Exactly one" would not be the case for any composite number that contained p^n with n>1.

    • @lobachevscki
      @lobachevscki 6 ปีที่แล้ว

      I see your point for a number that is (for a lack of a better word) exactly a=p^n with n>1, and in that case i stand corrected. But for p|ab it holds true in the prior case for b different than one, and for any composite number where p|ab you can always associate conveniently. I think i gloss over your particular case because is the trivial case of the definition, but i do see your point. The channel made a correction as "typo". I don't think it necessarily is.

    • @lobachevscki
      @lobachevscki 6 ปีที่แล้ว

      If p|ab and a or b are or contains a power of p you still can associate whatever you want to keep the assertion of 'exactly one', without losing generality. p|p^n(1) is the trivial case indeed. I stand my observation. I misread your comment but im gonna leave my mistaken prior comment.
      Specifically: you have ab = p^n(c)p^m(d) = p^n+m(c)d = c'd (where p doesnt devide c or d) which is exactly what im saying. The definition of 'exactly' is true for the last part of the equality so it holds true for the first one. You don't lost generality.

  • @cheaterman49
    @cheaterman49 6 ปีที่แล้ว

    « I already get a huge pile of cash, that's why my clothes look so nice » hahahahahaha!!

  • @asz2246
    @asz2246 6 ปีที่แล้ว

    You got definition of irr wrong. An element a\in R is called irreducible iff a is not unit nor a 0 and a=pq implies p is a unit or q is a unit.

  • @SeamusCampbell89
    @SeamusCampbell89 6 ปีที่แล้ว

    5:42 One small edit: 3 * 1/3 equals both 1 and .9 repeating

    • @joeybf
      @joeybf 6 ปีที่แล้ว

      They are the same number anyway, just written differently.

    • @TheGeneralThings
      @TheGeneralThings 6 ปีที่แล้ว

      Exactly. The set of real numbers is defined in a way so that 1 and 0.999... have the same value. Even the same for 1.000...
      But watch out. If you're in the set of surreal numbers, it ain't wise to just say that 3×⅓=0.999...
      If you don't construct that surreal right, *you might just be plain wrong.*
      EDIT: should've been as careful as I joked that OP should be.

    • @joeybf
      @joeybf 6 ปีที่แล้ว +1

      I'll have to disagree on that last statement. The equality 3*(1/3) = 0.999... holds in any field containing R (so also in the surreal numbers, if you expand your definition of field).

    • @TheGeneralThings
      @TheGeneralThings 6 ปีที่แล้ว

      Joey Beauvais-Feisthauer
      Alright I just went through the reasoning a bit more, you're right. I should have been just as careful as I was joking that OP should be. Gonna edit my little joke to make it actually correct.
      (Btw please correct me if the following line of reasoning is wrong at any point, I already typed it out so I may as well put it below for anyone interested, and in case I can learn something myself)
      So from my understanding, those two forms can map to the same value in the reals without mapping the same in the surreals, even if the surreal set's domain includes all the reals.
      Example that comes to mind: 0.999..., 1, and 1.000... all map to the same value in the reals: 1. Like how you can rigorously use limits and the reals for derivatives so that you don't need to use the hyperreals and the standard part function.
      However, in the surreals, the equivalents of 0.999..., 1, and 1.000... map to distinct values. So although 3×0.333... could equal 0.999..., it could also equal 1.000..., depending on which value from the pair of surreals you use for 0.333... And if you define 0.333... to map to ⅓ like it does in the reals, then 3×0.333... does equal 1.
      But the part to be careful about is which version of 0.333... you use: one of the two strictly surreal versions, or the real version. And if someone's gonna start throwing the surreals around, they probably aren't just going for ordinary, conventional values.
      Sounds about right?