The Mathematical Proof That Ended in Murder

Sdílet
Vložit
  • čas přidán 13. 01. 2024
  • To try everything Brilliant has to offer-free-for a full 30 days, visit brilliant.org/EllieSleightholm 🚀 The first 200 of you will get 20% off Brilliant’s annual premium subscription!
    Diving into the proof that resulted in Hippassus's murder...
    🔗 Social Media 🔗
    📸 Instagram: / ellieinstem
    🎵 TikTok: / elliesleightholm
    🎶Spotify: open.spotify.com/user/1162825...
    ▶️My Coding CZcams: / codeofthefuture
    My CV & Personal Statement (+ other documents):
    payhip.com/EllieSleightholm
    ✨Support my channel✨
    / elliesleightholm
    For those of you that are new here, hi there 🌞 my name is Ellie and I'm a Part III Mathematics Graduate from the University of Cambridge and current Astrodynamics Software Engineer! This channel is where I nerd out about maths, physics, space and coding so if that sounds like something you're interested in, click the subscribe button to follow along ☺️
    This video was sponsored by Brilliant 🚀
    Subscribers: 33,900
  • Zábava

Komentáře • 41

  • @EllieSleightholm
    @EllieSleightholm  Před 6 měsíci +8

    brilliant.org/EllieSleightholm - Try everything Brilliant has to offer for FREE for a full 30 days! The first 200 of you that click on the link will get 20% off Brilliant's Annual Premium subscription 👀

  • @alberteinstein3612
    @alberteinstein3612 Před 5 měsíci +12

    I’m glad that we can now advance our understanding of mathematics and science without fear of execution or blasphemy. It’s very sad that these revolutionary people were punished for accepting the truth

  • @johnmaguire2185
    @johnmaguire2185 Před 5 měsíci +8

    The history of mathematics is as dark and twisted as any of Shakespeare’s plays.

    • @epikherolol8189
      @epikherolol8189 Před 5 měsíci +2

      Everything was dark in the early days.
      Even today it is and we don't realise it

  • @davidplanet3919
    @davidplanet3919 Před 5 měsíci +3

    Excellent. You can use “Proof by contradiction” to show the nth root of 2 is irrational for n>2. First assume the nth root of 2 is rational and write it p/q. Then 2 = p^n / q^n. Hence p^n = 2 q^n = q^n + q^n. But this contradicts Format’s Last Theorem. Therefore the nth root of 2 must be irrational.

  • @elent_finance
    @elent_finance Před 5 měsíci +1

    This is so amazing. You make it all seem so simple.

  • @sourabhsoni2930
    @sourabhsoni2930 Před 5 měsíci +1

    M always waiting for your videos😊

  • @hubertorhant8884
    @hubertorhant8884 Před 5 měsíci +1

    Clearly and neatly stated ! The reminders of basic arithmetic is nicely put. Those highlights set the context and prepare the mind to receive the logical argument by contradiction. Loved it.
    PS: One could say the Cartesian way.

  • @armanavagyan1876
    @armanavagyan1876 Před 5 měsíci

    Thanks PROF so much for UR VIDEOS THEY just awesome)

  • @SurajSingh-nx7yj
    @SurajSingh-nx7yj Před 5 měsíci +1

    thank you 🙏

  • @luisakehau1398
    @luisakehau1398 Před 5 měsíci +2

    A classic :) ... Nice video I enjoyed so much. It's a nice question to ask: how many cultures in the world knew about irrational numbers?

  • @KhaledIseed
    @KhaledIseed Před 5 měsíci +1

    Really I love Mathematics in real life,
    When I saw your channel give me more encourage
    Thank you so much !!

  • @ArjanvanVught
    @ArjanvanVught Před 5 měsíci

    Thank you

  • @VIMALKUMAR-dy3xz
    @VIMALKUMAR-dy3xz Před 5 měsíci +1

    Hello maam ...im vimal prakash from india...im teaching Mathematics jee main and advanced student ..your teaching process is very bell....im inspired your teaching....love and light from India 🎉🎉🎉🎉❤❤❤❤😊

  • @VarunAstro
    @VarunAstro Před 5 měsíci +1

    Ellie, can you upload something related to physics also once in a week!!

  • @HunzolEv
    @HunzolEv Před 5 měsíci +1

    I love your videos young woman!

  • @jrb0580
    @jrb0580 Před 27 dny

    There is something missing from the proof. At 16:30 you say that if p^2 is even, by (2) p is even. But in (2) you only show that if p is even then p^2 is even. To show the converse we need a short proof by contradiction: suppose p^2 is even and p is odd. But if p is odd, then by (2) we have p^2 is odd, contradicting the assumption that p^2 is even.

  • @jamesjohn2537
    @jamesjohn2537 Před 5 měsíci

    ❤❤❤nice dear, love love always wins!!

  • @eartphoze
    @eartphoze Před 5 měsíci

    The square root of two is irrational since on february 1st of year 2020, the tangent p to q showed March 1st on the same day of week, but to account for leap year if 2Pi is 1 year then 5.25 is the new year where for another 4 years , february 1st and march 1st arent at the tangent vector of zero ,
    Plot these coordinates y= | 0.1 - 2 | + 9
    To denote the reimann zeta function triviality, where in this case the year 2019, is the +9, and x is 2 of [2]019, and 0.1 is the same root as the square root but not from two as in the triangles that derive the root from tetris game pieces in tesselation, as in the trianlge, but of a square from one single side rubiks cube partition, since tirning any cube side will use Log, so 0.1/sqrt 3, until totaling 0.1-0.9 pieces, and by year 2027 it have been |0.8-2| + 7 ---> 0.8 - 2027, LRC circuits

  • @benbrook469
    @benbrook469 Před 5 měsíci

    yesss I love the new intro music

  • @deepanikarunaratne2075
    @deepanikarunaratne2075 Před 5 měsíci

    New introduction song is great :)

  • @reu.mathematicsacademy8566
    @reu.mathematicsacademy8566 Před 4 měsíci

    My favorite 💝

  • @user-kj2qj9tw1u
    @user-kj2qj9tw1u Před 5 měsíci

    Thanks, please do some applied maths videos.

  • @salahadinmahmud6217
    @salahadinmahmud6217 Před 5 měsíci

    But what if p/q is not a fraction in lowest terms?

    • @dragonfractal6361
      @dragonfractal6361 Před 5 měsíci

      If p/q is not in its lowest terms already, then p and q will share additional common factors, but the common factor of 2 pointed out in the video is there whether p/q is in its lowest terms or not.
      Every rational number can be written as a completely reduced fraction, so specifying that p/q is in its lowest terms shows the contradiction.

  • @eartphoze
    @eartphoze Před 5 měsíci

    In a gesture of symbolic memory, language plays the teeth in the game of evolution, and de evolution. You've heard the expression "kicked in the teeth" or bat the ball, or bat sh***, to imply empty, void, or falsity. In philosophical terms, stuck. To be at a moment where I liked it better when things could have been unchanging, and dynamic. I was left shipwrecked, literally and figuratively. Is east west or west east? If square roots of 2 imply irrational that 3 points make a face in euclidean geometry, the slope would be the brain of Godzilla trying to code, or program. Because your proof in a right triangle 📐 provides short comings, in one direction towards a fraction lowest terms. You can deduce from lowest terms, if the right triangle is a sun dial, or if the shadow is the direction of time with respect to a vector ray, steming from the 90 edge of that triangle , pointing at the top of the triangle at angle theta divided by many vector rays. For the equation of time. Now if you'd assume that a program like PHP, for (i= 0; I< 5; I++); a few things here, tye right triangle accounts for velocity in linear and direction tangent to C squared , a 2 d circle rolling off the top of triangle crosses any vector ray inside the square root of two, implied by the second condition of I5 , to define those rays as the If's and the height or Sin in trig, as the While's loop. So three points make a face but the rest is short of reason, don't forget to add a second triangle over the first with a 2D circle at center, the rotate that new figure 180 in either direction, you'd see the integral curve by triangles and Einstein's or newtons path to space-time fabric of the cosmos with Brian green, and yes the aether is at best the interloping of virtual reality with irrational numbers, because if you take the Google exam with a race of 5 horses then you'd have to add parameters for each horse unless it wss a quantum computation, you'd be back to the bezier curve or Solomon codes in parity check for NPN, PNP while the world's figures out of visual models are better that intuitive ones,

    • @eartphoze
      @eartphoze Před 5 měsíci

      Or where Analog in A/C is converted to D/C and reed Solomon codes from bezier curves , Virtual Memory or Reality in syntaxt alone like ROMs Emulations

  • @julianwilson9919
    @julianwilson9919 Před 5 měsíci

    Great video! One small problem unless I'm mistaken is that you showed that p even implies p squared is even but later on you used the converse without proof (that p squared even implies p even).

    • @silver6054
      @silver6054 Před 5 měsíci

      Right. I think you need to show that every integer is either odd or even. Otherwise an even square could result from an even number or maybe from some other kind. Ignoring this, the converses are easy to prove more or less by inspection (as squaring an odd results in an odd, if you have a square that is even it must have come from an even number).
      There are some other small gaps which are fine for this level of presentation. You would need to mention that p^2 and q^2 are always integers, vital for saying 2q^2 is even for example. But these are nitpicks.
      This is a very well-known proof though so maybe Ellie's talents would be better used on something more novel!

  • @YogendraSingh-ir6dh
    @YogendraSingh-ir6dh Před 5 měsíci +1

    INDIAN NCERT 10 TH BOOK

  • @ksksvsisnsnis
    @ksksvsisnsnis Před 5 měsíci +1

    Do you know Malayalam

    • @jhawar-ji
      @jhawar-ji Před 5 měsíci +2

      What the fuck?

    • @Zetaishere
      @Zetaishere Před 5 měsíci

      I know .. iam a malayali...Malayalam, is the language spoken in Kerala,india

    • @jhawar-ji
      @jhawar-ji Před 5 měsíci +2

      @@Zetaishere Bruh, I know what Malayalam is. My distress is, what's the point of asking that here.

  • @lousleightholm
    @lousleightholm Před 5 měsíci

    Very clear - thanks very much!