How do we know π is infinite and never repeats? Proving pi is irrational

Sdílet
Vložit
  • čas přidán 20. 05. 2024
  • Happy Pi Day (3/14)! Everyone knows that pi is an irrational number, but how do you prove it? This video presents one of the shortest proofs that pi is irrational, and the proof requires only high school calculus to understand.
    Niven's proof
    www.ams.org/journals/bull/1947...
    mathschallenge.net/full/irrati...
    wp.me/p6aMk-8jZ
    Images
    en.wikipedia.org/wiki/Archime...
    en.wikipedia.org/wiki/File:%E...
    en.wikipedia.org/wiki/William...
    commons.wikimedia.org/wiki/Fi...
    References
    en.wikipedia.org/wiki/Proof_t...
    en.wikipedia.org/wiki/Aryabha...
    www.sccfsac.org/science_math.html
    wp.me/p6aMk-8jZ
    Textbooks (links to Amazon page where I may earn a commission if you buy)
    Abstract Algebra: amzn.to/2Ukcgwo
    Elementary Classical Real Analysis: amzn.to/2XHTotd
    Hemingway
    en.wikipedia.org/wiki/Iceberg...
    en.wikipedia.org/wiki/For_sal...
    • Write Like Hemingway
    Subscribe: czcams.com/users/MindYour...
    Playlist to watch all videos on MindYourDecisions: • Uploads from MindYourD...
    This is the only channel to feature math topics suggested by people around the world. Support on Patreon to inspire mathematical discovery and make the world a better place:
    / mindyourdecisions
    If you buy from the links below I may receive a commission for sales. This has no effect on the price for you.
    Show your support! Get a mug, a t-shirt, and more at Teespring, the official site for Mind Your Decisions merchandise:
    teespring.com/stores/mind-you...
    My Books
    "The Joy of Game Theory" shows how you can use math to out-think your competition. (rated 4.0/5 stars on 39 reviews)
    amzn.to/1uQvA20
    "The Irrationality Illusion: How To Make Smart Decisions And Overcome Bias" is a handbook that explains the many ways we are biased about decision-making and offers techniques to make smart decisions. (rated 3.5/5 stars on 4 reviews)
    amzn.to/1o3FaAg
    "Math Puzzles Volume 1" features classic brain teasers and riddles with complete solutions for problems in counting, geometry, probability, and game theory. Volume 1 is rated 4.4/5 stars on 13 reviews.
    amzn.to/1GhUUSH
    "Math Puzzles Volume 2" is a sequel book with more great problems. (rated 4.5/5 stars on 6 reviews)
    amzn.to/1NKbyCs
    "Math Puzzles Volume 3" is the third in the series. (rated 4/5 stars on 6 reviews)
    amzn.to/1NKbGlp
    "40 Paradoxes in Logic, Probability, and Game Theory" contains thought-provoking and counter-intuitive results. (rated 4.4/5 stars on 13 reviews)
    amzn.to/1LOCI4U
    "The Best Mental Math Tricks" teaches how you can look like a math genius by solving problems in your head (rated 4.8/5 stars on 5 reviews)
    amzn.to/18maAdo
    "Multiply Numbers By Drawing Lines" This book is a reference guide for my video that has over 1 million views on a geometric method to multiply numbers. (rated 4.3/5 stars on 6 reviews)
    amzn.to/XRm7M4
    Connect with me
    My Blog: mindyourdecisions.com/blog/
    Twitter: / preshtalwalkar
    Facebook: / 168446714965
    Pinterest: / preshtalwalkar
    Tumblr: / preshtalwalkar
    Instagram: / preshtalwalkar
    Patreon: / mindyourdecisions
    Newsletter (sent only for big news, like a new book release): eepurl.com/KvS0r
  • Věda a technologie

Komentáře • 954

  • @aryamankejriwal5959
    @aryamankejriwal5959 Před 5 lety +1437

    Why did it take so long to prove that pi is irrational?
    ANS: It is not simple to prove that pi is irrational.

    • @easymathematik
      @easymathematik Před 4 lety +29

      To understand this proof it needs more. Showing f(0) is natural and the symmetry property is boring and more or less trivial.
      The difficult part of this proof is the idea to choose f(x) like it was done.
      Why this f(x) should help?
      If u figure out this, then one has understood this proof. :)
      But the big problem is following.
      Mathematicians play around with stuff. Try this. Try that. At the end u get a result if you are lucky.
      Problem?
      The following paper u write is scientific and not "My thouggt was this, and that."
      It's just:
      Theorem: blabla
      Proof.
      The specific thoughts of the author are not given.
      This makes it really hard to understand this proof.
      On the other hand:
      What makes this proof so difficult?
      Showing Pi is not a ratio is difficult because u can't use a explicit definition of Pi.
      Try to use the analytic definition:
      Pi is the double of the smallest positive zero of the cosine function.
      Good luck. That makes it difficult.
      So u have to be smart and find something what will help u.
      This is the chosen f(x).
      The choose is genius.

    • @avikdas4055
      @avikdas4055 Před 4 lety +8

      @@easymathematik r/whoooosh

    • @easymathematik
      @easymathematik Před 4 lety

      @@avikdas4055 What?

    • @ishworshrestha3559
      @ishworshrestha3559 Před 4 lety

      Yui

    • @archanamotagi1675
      @archanamotagi1675 Před 4 lety +11

      @@avikdas4055 You don't know the meaning of r/whoosh.

  • @KaranSingh-np8ut
    @KaranSingh-np8ut Před 5 lety +1348

    Last video : 2+2=4
    Today video : prove that pi is irrational

  • @michaelmcgruder874
    @michaelmcgruder874 Před 5 lety +317

    “It is not easy to prove that pi is irrational”
    Thank you for your profound insight!

  • @charliekingsbury
    @charliekingsbury Před rokem +132

    I love the irony that pi, a number that is most basically defined by a ratio, is irrational.

    • @namangaur1551
      @namangaur1551 Před 4 měsíci

      But isn't there an irrational number present in the ratio?
      So it's not really in the p/q rational form...

    • @stevehorne5536
      @stevehorne5536 Před 4 měsíci +4

      @@namangaur1551 Yes, you're precisely correct in a "whoosh!" kind of way. Pi is defined by a ratio, but that ratio doesn't fulfill the requirements to guarantee that it expresses a rational number and therefore there's no contradiction in the fact that pi is irrational. But the key detail you highlighted isn't explicit in the *construction* of the word "irrational", which in itself only says "not a ratio" - that discrepancy between construction/apparent meaning and formal/actual meaning is the source of the "irony".

    • @ffggddss
      @ffggddss Před 3 měsíci +4

      The same could be said of φ, the Golden Ratio. Its construction by line segments used to go by the name, "mean and extreme ratio."
      Fred

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

      Generally mathematicians defined pi as the periodicity of the exponential function, but I take your point.

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

      @@StoicTheGeek Makes sense, but that's a pretty modern redefinition. Euler's number and the natural exponential function are much more recent discoveries than pi, and for the exponential function to have a periodicity the exponent must have an imaginary part, so it's not even just about using Euler's number as a base. It always seems odd to me when mathematicians claim the most basic definition of an ancient and simple concept is to derive it from much more recent and sophisticated ideas.

  • @LeftPinkie
    @LeftPinkie Před 5 lety +2233

    Yes, we get it... you went to Stanford

    • @NarutoStorm3Rocks
      @NarutoStorm3Rocks Před 5 lety +337

      Yeah but, did you know about this textbook that i took in Stanford?

    • @gameofday5299
      @gameofday5299 Před 5 lety +17

      😂😂😂

    • @giantsfan7733
      @giantsfan7733 Před 5 lety +30

      I too went to Stanford... taqueria.

    • @NorthernlionLP
      @NorthernlionLP Před 5 lety +149

      Let him, he never boasted about it in his earlier videos. Man deserves a self plug.

    • @sheggle
      @sheggle Před 5 lety +55

      @@NorthernlionLP dude, it's so obvious that he is proud of himself in almost every video

  • @SmileyMPV
    @SmileyMPV Před 5 lety +163

    2:22 I just want to say that many things are not easy to prove, even though they might have a simple proof.

    • @arthurg.machado6803
      @arthurg.machado6803 Před 5 lety +6

      Yeah

    • @arthurg.machado6803
      @arthurg.machado6803 Před 5 lety +17

      @Suani Avila of course it does. Some things might be extremely hard to prove by yourself, but some genius mathematecian might have done a very creative solution which is easy to do if you know it, but veery hard to think on your own.

  • @gedlangosz1127
    @gedlangosz1127 Před 5 lety +321

    Throughout my life I have always known that π was irrational but have never seen a proof for it. And I ALWAYS tell my students to never just accept anything from their teachers - always ask them to prove or justify statements such as
    - Area of circle = π r²
    - Volume of sphere = 4/3 π r³
    So finally I have seen the proof I should have looked for all of those years ago.
    It was well presented and easy to follow. It's also got a decent bit of mathematical meat to it.
    Thanks Presh! I really enjoyed this video.

    • @ankap377
      @ankap377 Před 5 lety +8

      How come your comment is 2 days old but the video came 5 hours ago...?

    • @user-sf7qz5kg3b
      @user-sf7qz5kg3b Před 5 lety +4

      The vid was unlisted I think

    • @Tuupoification
      @Tuupoification Před 5 lety +9

      That's a problem with maths. If you want to teach it rigorously then, e.g. in case of calculus, you need to start from the axioms for real numbers and work from there. After "some" time, you can derive those relations you mentioned (via integration).

    • @wolfie6175
      @wolfie6175 Před 5 lety +6

      Do u teach 5th graders or what? A teacher is expected to know this proof . I'd be really disappointed if my teacher didn't know this.

    • @yath3681
      @yath3681 Před 4 lety +4

      I can bet that merely 1 % teachers in my city knows why π is irrational
      They run over marks and exams

  • @angelmendez-rivera351
    @angelmendez-rivera351 Před 3 lety +87

    For those wondering how one would ever come up with this proof and how one would come up with the definition of, think of a function that is equal to 0 at x = 0 and x = a/b = π. With the fundamental theorem of algebra, one can easily construct the function x(x - π) = x(x - a/b) as satisfying this property. One can multiply by b to get x(bx - a), and it still satisfies this property. Finally, one can multiply by -1 to get x(a - bx), which satifies this property still. How does one transition from x(a - bx) to [x(a - bx)]^n/n! logically? Well, if you sum the latter expression over all natural n, you get e^[x(a - bx)]. And as this is a well known expression, you know the associated infinite series converges. This already lends itself to the proof as presented in the video. The rest can be figured out by taking these things and exploring further

    • @MarieAnne.
      @MarieAnne. Před rokem +1

      You could also have started with x(π - x) = x(a/b - x), then multiply by b to get x(a - bx)
      The reason is because when 0 < x < π, then π-x > 0 and x(π-x) > 0.
      So better to start off with a function that is positive for all values of x in the interval (0, π).

    • @brianjones9780
      @brianjones9780 Před rokem +4

      this is the part I needed explained

  • @albertomelendez5890
    @albertomelendez5890 Před 5 lety +13

    It was a brilliant exposition of the proof! Thanks for your dedication.
    Happy Pi's Day :D

  • @DarkLightning96
    @DarkLightning96 Před 5 lety +669

    Why did it take so long to prove π is irrational?
    *It is not easy to prove that π is irrational*
    Thanks

    • @Maxence1402a
      @Maxence1402a Před 5 lety +13

      Yet, the proof is simple.

    • @zacharymogel9087
      @zacharymogel9087 Před 5 lety +1

      Vedanth Mohan it is if you know what irrational means

    • @pbenikovszky1
      @pbenikovszky1 Před 5 lety +1

      @@Maxence1402a yeah, but you need integrals for the simple proof, and integrals were really hard to do before the 17th century (like it's so much easier now :D )

    • @DarkLightning96
      @DarkLightning96 Před 5 lety

      @Work is worship put * at the beginning and end of your sentence

    • @easymathematik
      @easymathematik Před 4 lety +2

      To understand this proof it needs more. Showing f(0) is natural and the symmetry property is boring and more or less trivial.
      The difficult part of this proof is the idea to choose f(x) like it was done.
      Why this f(x) should help?
      If u figure out this, then one has understood this proof. :)
      But the big problem is following.
      Mathematicians play around with stuff. Try this. Try that. At the end u get a result if you are lucky.
      Problem?
      The following paper u write is scientific and not "My thouggt was this, and that."
      It's just:
      Theorem: blabla
      Proof.
      The specific thoughts of the author are not given.
      This makes it really hard to understand this proof.
      On the other hand:
      What makes this proof so difficult?
      Showing Pi is not a ratio is difficult because u can't use a explicit definition of Pi.
      Try to use the analytic definition:
      Pi is the double of the smallest positive zero of the cosine function.
      Good luck. That makes it difficult.
      So u have to be smart and find something what will help u.
      This is the chosen f(x).
      The choose is genius.

  • @peterandersson3812
    @peterandersson3812 Před 5 lety +234

    So next year (2020) the symbol for pi will be 314 years old!

    • @TheRealFlenuan
      @TheRealFlenuan Před 5 lety +21

      TheSpecialistGamerX2 No, super pi day was 3/14/1592
      Or alternatively it will be in 3141 on September 15, but I don't believe anyone will be celebrating it at that point

    • @xcarnage8632
      @xcarnage8632 Před 5 lety +9

      @@TheRealFlenuan there are only 12 months bruh.....3/14 aint possible

    • @HarshSharma-wj8mc
      @HarshSharma-wj8mc Před 5 lety +17

      @@xcarnage8632 the dates are in MM/DD/YYYY

    • @xcarnage8632
      @xcarnage8632 Před 5 lety +12

      @@HarshSharma-wj8mc well the conventional format is DD/MM/YYYY

    • @ronaldlee5311
      @ronaldlee5311 Před 5 lety

      @@TheRealFlenuan pi wasn't discovered until 1706...

  • @Keldor314
    @Keldor314 Před 5 lety +10

    There's a much easier way to prove (pi^(n+1)*a^n)/n! goes to 0 as n approaches infinity. You're dividing an exponential function by a factorial. The factorial goes to infinity faster than the exponential. Note that pi^(n+1)*a^n = pi*(pi*a)^n = pi*Q^n. Once n becomes greater than Q, n! will increase faster.
    No need to go anywhere near Taylor series.

  • @kespeth2
    @kespeth2 Před 5 lety +104

    As Boromir once said, "One does not simply prove that PI is irrational."

    • @cmarley314
      @cmarley314 Před 5 lety +6

      Karl Speth As Euler once said: "One does not simply walk into Mordor eating pie."

    • @kespeth2
      @kespeth2 Před 5 lety +1

      @@cmarley314 LOL that too.

    • @dlevi67
      @dlevi67 Před 5 lety +1

      @@cmarley314 Or was that "You'd better not walk into Mordor with the One, sweetie pie"?

  • @ValugaTheLord
    @ValugaTheLord Před 5 lety +212

    This is slander, Pi is the most rational guy I know.

    • @excusemewhat8904
      @excusemewhat8904 Před 5 lety +8

      Underrated comment imo

    • @henryalexander9152
      @henryalexander9152 Před 5 lety +5

      Pi is pretty unstable though

    • @kathy9572
      @kathy9572 Před 5 lety +2

      I loved his stripes! 💕
      On another note, can a troll have a CZcams channel? 🤔

    • @Pedritox0953
      @Pedritox0953 Před 5 lety +2

      Sometime is chill like a CIRCLE ... sometimes act like a SERIES killer

    • @dariobarisic3502
      @dariobarisic3502 Před 4 lety

      @@henryalexander9152 Also bipolar, he can be Pi+ and Pi-.

  • @Vidrinskas
    @Vidrinskas Před 5 lety +41

    The difficult thing here is not the proof itself but where did it come from and why does it work.

    • @Vidrinskas
      @Vidrinskas Před 5 lety +3

      That is not answering the question.@@grottjam

    • @elchingon12346
      @elchingon12346 Před 5 lety +3

      @@grottjam the goal of the proof was to create a function for the integers that make up rational pi that has nice cancellation and differention properties. Naturally the mathematician went with polynomial functions for the former and trigonometric for the latter. The choice for the polynomial wasn't exactly elegant, but probably done meticulously so through trial and error to make the cancellation work.
      When doing proofs for irrationality it's typically easiest to assume the opposite and arrive at a contradiction, because rational numbers have a very simple but essential rule baked into the definition, and irrational numbers being the compliment of rationals therefore have a very straightforward definition as well. It's likely that the proof writer realized that their chosen polynomial would be all integers, or all positive, or something. With that being the case, they simply have to find a property that shows that it, and it's contradiction, are both true, which is what they did by finding it's upper bound (a common tool in real analysis)

  • @fahmiabdillahsambodo8972
    @fahmiabdillahsambodo8972 Před 4 lety +184

    Engineer be like
    π=3
    π^2=g

  • @jonaswieczorek3198
    @jonaswieczorek3198 Před 5 lety +293

    No offense, but pi=22/7
    (This comment was brought to you by the engineering gang)

  • @pnkarthik
    @pnkarthik Před 4 lety +3

    Very nice! One of the best videos on this channel from which I learned something I had never seen a proof of until now.

  • @MarcusCactus
    @MarcusCactus Před rokem +6

    I thought that many people are lost from the beginning because of functions f(x) and G(x) that fall from the sky. So I rewrited it for the Applied Math type.
    (1) If π is rational, i.e. =a/b, then bπ is integer (=a) and so is any polynomial formula of the type b^n(c₀π^n+...+c_n) with integer coefficients c. So we are looking for a function that solves to this shape, and which can be proved to NOT being an integer. Best candidaites : functions greater than zero and less than one.
    (2) The use of an integral ∫f(x)sin x dx allows to work with derivatives instead of primitives (=antiderivatives). Trig function is also hinted at by the problem, which concerns π.
    (3) We want a function that zeroes on 0 and on π, since the sinuses are zero and the cosinuses are ±1. The first that comes to mind is f(x)=x(π - x). But its "sine integral" is not less than one (it is equal to 4). Reminding the series expansion of exponential (or equivalently, remembering the term P(n) in a Poisson probability distribution) we know that : z^n/n! tends to zero when n is large. So let us define our f(x) as [ x(π - x) ]^n/n!. (One should write f_sub_n, but here it would be too heavy.)
    (4) Integrating any f(x)sin x is easily done by parts (repetitively). It is actually F(x) =
    - f(x) cos x - f'(x) sin x + f''(x) cos x + and so on.
    Now as we integrate from 0 to π, the sines disappear (equal to zero) and the cosines alternate signs... hence in F(π) - F(0) they actually give the same sign to both terms.
    The integral from 0 to π is consequently :
    - [ f(π)+f(0) ] + [ f''(π) + f''(0) ] - [ f⁽⁴⁾(π)+ f⁽⁴⁾(0) ] + etc. (even derivatives)
    (5) What about those derivatives? Either you expand the [ x(π - x) ]^n terms and derivate the polynomials with binomial coefficients, like in the video. or you derivate the factorized form and get only [ x(π - x) ]^m terms for the n-1 first derivatives ; those same plus one [ (π - 2x) ]^m term for'the (n)th to (2n)th ; and zero afterwards. ALL HAVE INTEGER COEFFICIENTS.
    Meaning that at 0 and π , the first ones disappear and you are left with terms in [ (π - 2x) ]^m = π^m or (-π)^m.
    But remember, we were left with only the even derivatives! So both terms are equal and positive.
    (6) Result: the desired integral results in a polynomial in π with integer coefficients and only even powers from n (or n+1 if n is odd) to 2n.
    Please note that the coefficients can be positive or negative.
    (7) On the other hand it is easy to show that the integral must be larger than zero (all interior values of f and sin are positive) and, as we required, can be made arbitrarily small by increasing n.
    NOTE THAT THIS IS GENERAL RESULTS, VALID WHATEVER THE NATURE OF π.
    Now for the proof.
    Posit π = a / b, positive integers.
    By (1) we know that b^n times any integer-coefficient polynomial of degree n in π must be an integer. That is precisely the result of b^n times the integral.
    So it must be larger than zero and it can be made arbtrarily small (same Poisson argument).
    An integer between zero and epsilon ==> Contradiction.

  • @SleepMastR
    @SleepMastR Před 5 lety +3

    This proof is majestic. Thank you Ivan Niven. ^^

  • @elementalic1520
    @elementalic1520 Před 5 lety +67

    Too high mathematics for me once again lol. Maybe in few years...

    • @yath3681
      @yath3681 Před 5 lety +3

      I am gonna learn these this year..am so excited!!

    • @lilyyy411
      @lilyyy411 Před 5 lety +1

      Geometry dash player on a math video... Suiting...
      -Fellow GD player

    • @awesomedavid2012
      @awesomedavid2012 Před 5 lety +2

      Don't worry you'll get there just stick to it and keep learning

    • @Xaelium
      @Xaelium Před 5 lety

      few years? what age/grade are you now then?

    • @liamoneillll123
      @liamoneillll123 Před 5 lety

      Achelois Nonce

  • @jayfredrickson8632
    @jayfredrickson8632 Před 5 lety +13

    I'm having an irrational impulse to eat some pi.

  • @phasm42
    @phasm42 Před 5 lety +18

    This was not the simple proof I was looking for 😅

  • @saudinho1436
    @saudinho1436 Před 7 měsíci

    Thank you so much. Im studying number theory, and this is gonna be very important for me.

  • @rohitsajeev
    @rohitsajeev Před 5 lety +242

    Damn...
    The "for sale: baby shoes, never worn" hit me hard....

    • @arikwolf3777
      @arikwolf3777 Před 5 lety +65

      Then try this one: Six Zombies, Five Bullets, Two Zombies.

    • @MK-wm9zi
      @MK-wm9zi Před 5 lety +3

      Zombies lives don't matter, don't care

    • @BitcoinMotorist
      @BitcoinMotorist Před 5 lety +29

      @@MK-wm9zi I believe you missed the main point of the story, it is not about the zombies

    • @yourlordandsaviouryeesusbe2998
      @yourlordandsaviouryeesusbe2998 Před 5 lety +5

      @@BitcoinMotorist I didn't get it either. Would you mind telling me?

    • @hello_2632
      @hello_2632 Před 5 lety +24

      @@yourlordandsaviouryeesusbe2998 The guy with the bullets becomes a zombie...

  • @I_leave_mean_comments
    @I_leave_mean_comments Před 5 lety +61

    >Simple
    "Oh cool, this should be good... looks simple so far..."
    4:13
    >:|

    • @TheRealFlenuan
      @TheRealFlenuan Před 5 lety +4

      That wasn't even the hard part

    • @ErikBongers
      @ErikBongers Před 4 lety +3

      Yeah...where on earth did that first function come from???

    • @juyifan7933
      @juyifan7933 Před 4 lety +3

      @@ErikBongers The guy who did the proof surely spent several weeks playing around with several functions to come up with that. This is the kind of proof that looks like magic upon completion because you are not following the full thought process of the creator. The guy no doubt made several falty attempts before arriving at that.

    • @angelmendez-rivera351
      @angelmendez-rivera351 Před 3 lety +1

      Erik Bongers The function has it so that if x = a/b = π, then f(x) = 0, and dividing by n! makes it suitable for taking derivatives because it cancels out the factor. Those are two very desirable properties, and it's easy to construct the function from those properties alone. Hence this gives you a very elementary reason to work with this function.

  • @yausimon9549
    @yausimon9549 Před rokem +1

    A great and clear proof!!! I can understand 85% when I listen to it for the first time!!! and of course, I listen to it serval times!!!
    Please please please video proofs for (1) pi^2 is irrational (2) pi is transcendental (3) e is transcendental.
    You are an excellent professor!!!

  • @sambridhkushwaha779
    @sambridhkushwaha779 Před 5 lety

    Thanks for telling me this thing. It's incredible

  • @kdpwil
    @kdpwil Před 5 lety +6

    My only comment is that I think the function f(x) should be denoted as f_n(x) {the n being a subscript), or f(n,x) to show that your f(x) is a function of both x and n. Other than that minor detail, great video.

  • @botanifolf9767
    @botanifolf9767 Před 4 lety +10

    Reads Liu Hui's estimate
    Me: carries on with the 100 digits of pi song

  • @SouravTechLabs
    @SouravTechLabs Před 5 lety +2

    Hi, for some strange reason, I have to calculate pi upto a millionth decimal places in the shortest possible time. As always, I will be using the Ruby programming language.
    Can you make a video about calculating the infinite series of pi in the most efficient way?

  • @yamansanghavi
    @yamansanghavi Před 5 lety

    It was fantastic, man. Thanks

  • @TheOfficialCzex
    @TheOfficialCzex Před 5 lety +86

    "Simple Proof" _11 minutes_

    • @davguev
      @davguev Před 5 lety +3

      And leaves a lot of details for us to complete.

    • @MK-13337
      @MK-13337 Před 5 lety +14

      If he wanted to present the simple proof it could take 2 minutes. Most things that are difficult to prove don't have "simple proofs" that you can explain to a lay audience.
      Proving Fermat's Last theorem:
      (1) notice, if x^n+y^n=z^n for positive integers x,y,z and n>2, we can form an elliptic curve that is not modular
      (2) It also follows from the axioms that all elliptic curves are modular
      (3) this is a contradiction, proving Fermat's last theorem
      *details left to the reader

    • @gogl0l386
      @gogl0l386 Před 5 lety +5

      @@MK-13337 _Footnote: related to this problem is the Birch and Swinnerton-Dyer conjecture, proof of it is left to the reader, as it is considered trivial._

    • @nowonmetube
      @nowonmetube Před 5 lety +1

      Well I think that's short. You must not have a good attention span.

    • @dlevi67
      @dlevi67 Před 5 lety +1

      @@gogl0l386 Footnote 2: the Taniyama-Shimura conjecture is a trivial corollary of the above.

  • @hansjzeller
    @hansjzeller Před rokem +14

    Thank you for making this profound fact accessible to almost a third of a million of people! You did a fantastic job explaining this! I was happy after watching the video, thinking I understood it, until I realized that I had missed one detail: To be valid, the proof must actually use the assumption that a/b is the ratio of the circumference and the diameter of a circle. Without that, it would just prove that we made a mistake somewhere. It's not mentioned explicitly in the video where that happens. As far as I understand, the point where we use it is at 7:46 in the video, where we assume that sin(a/b) = 0 and cos(a/b) = -1.

    • @natevanderw
      @natevanderw Před rokem +1

      Yes, I also noted that this was the only time in the argument when a/b is assumed to PI. It made me wonder how this could be generalized a bit farther.

    • @natevanderw
      @natevanderw Před 4 měsíci +2

      okay that is strange how I don't even remember writing this a year ago.

  • @danfoster8219
    @danfoster8219 Před 5 lety +2

    Nice job, Presh. It was not too hard to stop the video a few times and fill in the proofs of the pieces, and it was fun.
    It left me wondering, though, just why it goes so wrong. You do a bunch of simple calculus stuff that you should be able to do with any old numbers and then voila--a contradiction! Where would the proof blow up if we tried to tun through these calculations with a rational number a/b which is extremely close to pi? Because of course it would blow up, that's the point of the proof. Perhaps someday I'll try to follow that through and see what happens.... MORAL: Proofs by contradiction are often a bit unsatisfying, because they don't always illuminate the underlying mathematical relationships.
    BUT, the video wasn't unsatisfying. The video was perfect. Thanks again.

    • @RGP_Maths
      @RGP_Maths Před 5 lety +2

      The key is that sin(pi) = 0 and cos(pi) = -1. This was used in finding the definite integral to be an integer, but it wouldn't be true if we replaced pi with a rational number, not even one very close to pi such as 355/113.

  • @mostafaelmassoudelmassoud3152

    Bravo pour cette démonstration. Excellent

  • @himeshviews7622
    @himeshviews7622 Před 5 lety +56

    You missed Bhaskaracharya
    Do you know the indian formula of calculation of pi
    It is
    (12^1/2)×[(1÷(3×3))×(1÷(3×5))] and so on
    If u can understand the later on series

    • @himeshviews7622
      @himeshviews7622 Před 5 lety +1

      @Samurai Jack right bro

    • @dudz1978
      @dudz1978 Před 5 lety +3

      HIMESH VIEWS Correct formula is
      12^(1/2)×(1-1/(3×3)+1/(3^2×5)-1/(3^3×7)+...)

    • @himeshviews7622
      @himeshviews7622 Před 5 lety +5

      @@dudz1978 yes you are right too
      Well, Indians already estimated it in a 700 pages book
      Called Salbatroos
      Thanks for the correctuon of tge fault

    • @cezariusus7595
      @cezariusus7595 Před 5 lety +5

      @@Tianzii2k4 subscribe to pewdiepie though

  • @Not.Your.Business
    @Not.Your.Business Před 5 lety +7

    I think you used another definition for the term "simple", not the one most of us are accustomed to...

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

    I like your timing. After you say something that might warrant some additional thought, you give that pause to compensate

  • @giovannijunior9642
    @giovannijunior9642 Před 5 lety +12

    My boy be flexing that he from Stanford!

  • @bobstevenson3130
    @bobstevenson3130 Před 5 lety +27

    Did you figure it out? 🤔

  • @hosseinmohammadi2800
    @hosseinmohammadi2800 Před rokem

    Thank you
    To think math has creativity within itself, is just amazing

  • @i_am_anxious0247
    @i_am_anxious0247 Před 5 lety

    I can see why you published this video now. :D best day of the year

  • @jimjim3979
    @jimjim3979 Před 5 lety +12

    I wonder why you named this proof simple but you didn't name your : 6/3×(5-2) simple

    • @juyifan7933
      @juyifan7933 Před 4 lety

      It wasnt him who named it simple, it was the author of the original paper. And indeed it is simple, if compared to other known proofs which generaly use several tools from mathematical analysis or abstract algebra. This one is simple in the sense that it is short and only uses basic calculus. It is however very hard to come up with, so much so that it was only found in the 40s.

  • @raileite5994
    @raileite5994 Před 5 lety +5

    3:46 Started

  • @zucchinibyday
    @zucchinibyday Před rokem

    Did you take a literature class at Stanford too?

  • @sadhanmahajan8727
    @sadhanmahajan8727 Před 4 lety

    Plzz can you prove it by aryabhatta 's geometrical methood

  • @ln-physics6608
    @ln-physics6608 Před 5 lety +8

    You know what pizza exactly means.
    The volume of a solid cylinder having radius z and height a
    pi×z×z×h

    • @yurenchu
      @yurenchu Před 5 lety +2

      Wait, didn't pizza mean the area of a circle with diameter Z? (Unlike American deep-dish pizzas, real traditional pizzas are flat; they aren't supposed to have "height".)
      Pi*Z*Z/4

  • @michaeldakin1474
    @michaeldakin1474 Před rokem +3

    Hi Presh, I’m wondering, whilst the modern study of Pi has progressed somewhat beyond the Archimedes Method, does the Method actually quite neatly prove that Pi is irrational? If we think in terms of polygons with ever-increasing numbers of sides, we also polygons with ever-increasing (assuming inscribed polygons) perimeters, and thus an ever-changing precise ratio to the widest measurement of the polygon (or circle diameter, again assuming inscribed polygons) - I suggest that the simple fact that the ratio (specifically in relation to a polygon) will never exactly stabilise (but only ever approximate) is pretty good proof that the ratio is irrational, and thus that Pi (as the value of the precise ratio relating to a circle, or to a polygon of infinite sides) is irrational.

    • @arnoudrattink1572
      @arnoudrattink1572 Před rokem +1

      Interesting. But if I take a 90 degree step size I get an approximation of pi of 4*sqrt(1/2), which is already irrational (2.82...). As a counter example: the sum of an infinite amount of fractions can be fully integer too. Like 1/1 + 1/2 + 1/4 + 1/8 + .... == 2. So why can the sum of an infinite amount of smaller and smaller fractions not be a fraction as well?

  • @sagarraj4721
    @sagarraj4721 Před 5 lety

    Thanu very much sir!I an your big fan from India.sir,u r doing a great job,u r god for math enthusists like us.so sir,it is my humble request to you to make more and more videos.thanku!

  • @scoremorecbsemathematics9995

    Good explanation. 👍

  • @aryamankejriwal5959
    @aryamankejriwal5959 Před 5 lety +28

    I wonder who would dislike this video.
    Maybe it was the Pythagoreans

    • @screambmachine
      @screambmachine Před 5 lety +1

      i might as i don't understand all this and he says it's not hard too often

    • @joso5681
      @joso5681 Před 5 lety +2

      Lvl 1 guy with nothing special
      Gets killed by random cult for no reason
      lvl 100 mathematician
      Drowned in the sea by the Pythagoreans for demonstrating that √2 is not a rational number
      That's how mafia works

  • @truebeliever174
    @truebeliever174 Před 5 lety +25

    I actually understood nothing 😅

  • @KKPal-iitk
    @KKPal-iitk Před 5 lety

    Sir ,where are available your books.

  • @stepone3040
    @stepone3040 Před 4 lety

    Is it possible to give me a reference plz. Cause i found that is complicated to me. I would like undertand it. Thanks

  • @cjstudios8850
    @cjstudios8850 Před rokem +9

    For those who didn’t know what happened to the baby it got abducted by aliens and the parents had already bought the baby shoes, so they decided it would be worth selling the baby shoes, because there was other ways of remembering their child , and they needed some money. Honestly a complete tragedy… I am in tears rn

  • @mrvinager2362
    @mrvinager2362 Před 4 lety +3

    Correction: proving that π is irrational its highly not trivial

  • @evanbranham4319
    @evanbranham4319 Před 5 lety +1

    Dude went to Stanford and started a CZcams channel. I love this community.

  • @future62
    @future62 Před 5 lety

    Is it possible to just integrate the arc length of a circle?

  • @disguisedhell
    @disguisedhell Před 5 lety +10

    Happy π day to everyone

  • @3omarr744
    @3omarr744 Před 5 lety +3

    The proof actually starts at 3:54

  • @IchErwin
    @IchErwin Před 4 lety

    Thanks! Brillant!

  • @wojciechwisniewski6180

    Beautiful proof!

  • @mynameisamovieaboutadog1441

    When you realise that John Courant's Introduction to Calculus and Analysis proved this on page 29/30 with simple algebra

  • @LogicalMath
    @LogicalMath Před 5 lety +12

    The product of three prime numbers is equal to 11 times their sum.
    What are these three numbers?

    • @xalluniverse9028
      @xalluniverse9028 Před 5 lety +7

      (11,13,2) and (11,7,3) with all permutations.

    • @david21686
      @david21686 Před 5 lety +1

      5,2,2.
      Also, if you'll allow numbers that aren't prime, then 14, 1, and 2 are also acceptable. No other solutions exist.

    • @LogicalMath
      @LogicalMath Před 5 lety +5

      david21686 5 * 2 * 2 = 20, but 11 * (5 + 2 + 2) = 99

    • @nyafai02
      @nyafai02 Před 5 lety +1

      Xall Universe missing (11,4,5)

    • @LogicalMath
      @LogicalMath Před 5 lety +3

      Paul Gagneur 4 is not a prime number

  • @dropshot1028
    @dropshot1028 Před 10 měsíci

    How can i create this video?

  • @ameliajane8355
    @ameliajane8355 Před 2 lety +2

    I was randomly laying in my bed when the thought occurred to me “how the hell did we prove that pi is irrational” but I haven’t learned calculus yet and don’t understand any of this whatsoever

  • @utsav8981
    @utsav8981 Před 5 lety +5

    Wow! A video kept secret woah

  • @Aj-ch5kz
    @Aj-ch5kz Před 5 lety +6

    Couldn't be simpler... :p

  • @gregoryfenn1462
    @gregoryfenn1462 Před 5 lety

    Why does Ivan Niven define f(x, n) in this way? As in, if you were challenged to prove pi is irrational, which logical steps would you go through to suspect that such an f(x,n) would be a useful function to play with? I understand why sin(x) comes up as a factor, because that is a function closely linked to pi, but I don't understand where we pulled f from.

  • @nicholaskhawlu600
    @nicholaskhawlu600 Před 2 lety

    To which college did u go?

  • @giorgoslor_5399
    @giorgoslor_5399 Před 5 lety +38

    Archimedes and Pythagoras have left the chat
    Btw im Greek and im proud of them

    • @BlindBosnian
      @BlindBosnian Před 4 lety +1

      Good. But don't let that pride grow into arrogance. Learn, grow and become something your ancestors would be proud of in return.

    • @technicalgamers7324
      @technicalgamers7324 Před 4 lety

      But in india they r not proud of their ancestors

    • @dogling4069
      @dogling4069 Před 3 lety

      @@technicalgamers7324 why not

  • @aaargyrou
    @aaargyrou Před 2 lety +4

    Why everyone pronounce it pi (πάι)? In Greece, we pronounce it pe (πι)

    • @vincemarenger7122
      @vincemarenger7122 Před 2 lety +3

      Most european languages pronounce the letter “i”, i.
      The english say it’s the letter aï.
      All comes down to their alphabet.

    • @aaargyrou
      @aaargyrou Před 2 lety

      @@vincemarenger7122 Yes, but that doesn't change the way it should be pronounced.

  • @EunKiMin
    @EunKiMin Před 3 lety

    Sterling's approximation of n! for property 2? (can be another iceberg though)

  • @udayraj6976
    @udayraj6976 Před rokem

    we did this in ninth grade and it was really simple back then but now when i see this i think i might have to spend months just to get a taste of it.

  • @shripriyasharan9_7
    @shripriyasharan9_7 Před 5 lety +5

    Happy pi day 😘😘😘🎊🎊🎊🎊🎊

  • @johnchristian5027
    @johnchristian5027 Před 5 lety +13

    where did you get ther original f(x) function from? seems like pulling thngs out of thing air!

    • @punya1621
      @punya1621 Před 5 lety

      There's a word for it, I don't remember what the word is.

    • @Macieks300
      @Macieks300 Před 5 lety +5

      you derive it by looking at what properties you want it to have

    • @easymathematik
      @easymathematik Před 5 lety

      The answer is simple in pne sense. And sounds silly on the other hand.
      This f(x) is chosen for purpose.
      Problem: How to find this?
      This proof is just genius.

  • @doodelay
    @doodelay Před 5 lety

    Congrats on getting into Stanford my man

  • @betterlife274
    @betterlife274 Před rokem

    I am teaching my son about rational numbers. We understand that Pi is an irrational number. But thr book we are using says that (Negative) -Pi is a rational number. Could you please help up understand how that is true?

  • @gaurangagarwal3243
    @gaurangagarwal3243 Před 5 lety +37

    For those who say that presh's videos aren't tough.😁😁

    • @AAAAAA-gj2di
      @AAAAAA-gj2di Před 5 lety +1

      Till not tough.

    • @HeyKevinYT
      @HeyKevinYT Před 5 lety +1

      Imagine if he presents complicated proofs of pi instead. Remember, this is just a simple proof!

    • @AAAAAA-gj2di
      @AAAAAA-gj2di Před 5 lety +4

      @@HeyKevinYT I have seen complicated ones. And he doesn't deserve to present those complicated proofs if he can't solve that Einstier riddle or than Hardest Australian highschool prob
      I may sound rude here, but I used to love his videos and became a big fan of him. Now a days he is just using clickbaits to popularize his channel. His channel ain't anymore about strategical combinatorics and game theory😞

    • @yath3681
      @yath3681 Před 4 lety

      Look for 3 blue 1 brown
      And the π definition stated there will blow your miiiinnnnddddddd

  • @chetanraikwal5766
    @chetanraikwal5766 Před 5 lety +18

    π=π/1
    It's written in a/b form
    **Mind blown**

    • @arghadubey9509
      @arghadubey9509 Před 5 lety +8

      Then you have to prove that numerator ( here π) is also an integer.

    • @arynbhar
      @arynbhar Před 5 lety

      We want integers

    • @chetanraikwal5766
      @chetanraikwal5766 Před 5 lety

      @@arghadubey9509 I know it was a joke... 🙂

  • @sauravbisht2019
    @sauravbisht2019 Před 5 lety +1

    Yr videos are amazing ✌️❤️❤️✌️

  • @MathAdam
    @MathAdam Před 4 lety +1

    Proof Kit for Pi Irrationality. Some assembly required.

  • @Anonymous-jo2no
    @Anonymous-jo2no Před 5 lety +11

    Pretty tough... but I guess I can understand most of it... faintly... I'm sure I'll forget this proof after I sleep :(

  • @titlespree
    @titlespree Před 5 lety +3

    Irrational numbers have far more real life importance than rational numbers..

    • @sayonmondal3454
      @sayonmondal3454 Před 5 lety

      3.14

    • @dlevi67
      @dlevi67 Před 5 lety

      There are far more irrationals than rationals, but that doesn't make them "More important". In some very real, physical way, irrational numbers exist only as mathematical concepts.

  • @sonincheong4811
    @sonincheong4811 Před 4 lety +1

    Surprising simple proof for a problem most think is not easy

  • @DDX01
    @DDX01 Před 5 lety

    Sir PI is the ratio between the diameter and the circumference of a circle. what is e witch is equal to 2.71828?

  • @kazihafiz6024
    @kazihafiz6024 Před 5 lety +5

    Sòoooooo easy.....wait.What was the video
    Again??????

  • @arynbhar
    @arynbhar Před 5 lety +5

    Not so simple?😉

  • @mohd.talhaansari7838
    @mohd.talhaansari7838 Před 5 lety

    Hey! I had a question
    How can we locate 'pie' on a number line ?

  • @davidbrisbane7206
    @davidbrisbane7206 Před 3 lety +1

    0 < integral x^8(1-x)^8*(25+816*x^2)/(3164*(1+x^2)) from x= 0 to 1 = 355/113 - pi, So 355/133 > pi and 355/133 is closer to pi than 22/7 is :-).
    In fact, if you replace 3164(1+x^2) with 3164(1+0^2) and again by 3164(1+1^2) and integrate between x= 0 to 1 and compare these results to the integral above, then we find that 3.14159274 > pi > 3.14159257. Note: pi = 3.141593 ( 6 decimal places).

    • @yiutungwong315
      @yiutungwong315 Před 24 dny

      Or 223/71
      But Irrelevant...
      This is Because In the Riemann Paradox and Sphere Geometry System Incorporated π = 2 (Whole Number)

  • @AAAAAA-gj2di
    @AAAAAA-gj2di Před 5 lety +6

    That Indian infinite series to represent pi. That was the exact value of it. That series is used to estimate the value of pi. I still remember it.

    • @johanliebert6734
      @johanliebert6734 Před 5 lety

      you mean ramanujan's series?

    • @AAAAAA-gj2di
      @AAAAAA-gj2di Před 5 lety

      @@johanliebert6734 Many more Indian scientists were there other than Ramanujan. Although Ramanujan's series are more famous.
      One was Madhava of Sangamagrama who proposed the value of π as:
      4×{1 - 1/3 + 1/5 - 1/7 +...}
      He was of 14th century and Ramanujan was of 20th😱😱😱

    • @gregorykafanelis5093
      @gregorykafanelis5093 Před 5 lety

      @@AAAAAA-gj2di That's the leibnitz series for pi.

    • @AAAAAA-gj2di
      @AAAAAA-gj2di Před 5 lety

      @@gregorykafanelis5093 So isn't it infinite. 😆😆😆

    • @gregorykafanelis5093
      @gregorykafanelis5093 Před 5 lety +1

      @@AAAAAA-gj2di It's still an infinite series but Leibniz used the results of that Indian mathematician to approximate pi. That's the reason that both of their names are used when taking about it. But as with many discoveries, the result carries the name of the one that found it and in this particular case leibniz used the infinite series of Madhava for the inverse tangent to give us this beautiful result.

  • @iabervon
    @iabervon Před 5 lety +4

    Reminds me of a joke:
    A math professor is teaching a class. He's in the middle of a proof, and, referring to a complicated expression, says, "It is intuitively obvious that this is an integer." Then he frowns, looks at his notes, looks at the board, looks back at his notes. He steps to the side, and starts scribbling unreadable shorthand equations in the corner of the board, scratching his head. After five minutes of this, he switches to writing in pencil on his notes. The class is mystified. Another ten minutes go by, with him alternating between writing furiously on the paper and staring intently at what he'd written. Shortly before the class is scheduled to end, the professor suddenly looks up and says, "Aha! Yes, I was right. It *is* intuitively obvious that this is an integer."

  • @ps-naturelife1118
    @ps-naturelife1118 Před rokem +1

    A very high level of degree level maths understanding is required to under this video...✌️

  • @fa-pm5dr
    @fa-pm5dr Před 4 lety

    This one was amazing

  • @premlatasuman3218
    @premlatasuman3218 Před 5 lety +9

    toay is π day 3.14 the 14th of march ,My maths teacher told me this 5 sec ago

    • @sangamharsolia5069
      @sangamharsolia5069 Před 5 lety

      Oh yess

    • @luigiboy72
      @luigiboy72 Před 5 lety

      So, you thought to write this comment, took out your phone, opened CZcams, opened this video and wrote this comment. All in 5 seconds

    • @StRanGerManY
      @StRanGerManY Před 5 lety

      @@luigiboy72 Maybe they watched the video with the math teacher together! Awesome

  • @me_too_thanks5062
    @me_too_thanks5062 Před 5 lety +11

    Yeah real simple, lol

  • @udaysingh5167
    @udaysingh5167 Před 4 lety +1

    You are amazing

  • @NotYourAverageNothing
    @NotYourAverageNothing Před 5 lety

    How do we know the integral is less than 1 for sufficiently large n? More specifically, what would n approach to make the right side approach 1?

    • @gedlangosz1127
      @gedlangosz1127 Před 5 lety

      He's shown that the ∫ < πⁿ⁺¹·aⁿ / n!
      The Taylor Series for exp(x) = 1 + x + .... + xⁿ / n! + .....
      This series converges which means that for any x there will be a point when xⁿ / n! is less than 1 for a sufficiently large n.
      So for π·exp(πa) the nth term in the Talor Series is πⁿ⁺¹·aⁿ / n!
      So again, because the series converges, at some point this term will be less than 1 for sufficiently large n.

  • @DanyaJeyJey
    @DanyaJeyJey Před 5 lety +6

    Damn, if this is simple, I can't even imagine what's complicated for you.