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

Поділитися
Вставка
  • Опубліковано 12 чер 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: ua-cam.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
  • Наука та технологія

КОМЕНТАРІ • 963

  • @aryamankejriwal5959
    @aryamankejriwal5959 5 років тому +1441

    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 4 роки тому +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 4 роки тому +8

      @@easymathematik r/whoooosh

    • @easymathematik
      @easymathematik 4 роки тому

      @@avikdas4055 What?

    • @ishworshrestha3559
      @ishworshrestha3559 4 роки тому

      Yui

    • @archanamotagi1675
      @archanamotagi1675 4 роки тому +11

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

  • @KaranSingh-np8ut
    @KaranSingh-np8ut 5 років тому +1350

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

    • @gedlangosz1127
      @gedlangosz1127 5 років тому +119

      Tomorrow. Proof for the Riemann hypothesis.

    • @haydenwong7bm
      @haydenwong7bm 5 років тому +37

      Tomorrow. Proof for pi is transcendental

    • @AAAAAA-gj2di
      @AAAAAA-gj2di 5 років тому +31

      Tomorrow: still 1+0 = 1
      Day after tomorrow: Riemann's hypothesis proof

    • @GR0907
      @GR0907 5 років тому +2

      Lol 🤣

    • @accipiterignitus5123
      @accipiterignitus5123 5 років тому +1

      Then, wau

  • @LeftPinkie
    @LeftPinkie 5 років тому +2234

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

    • @NarutoStorm3Rocks
      @NarutoStorm3Rocks 5 років тому +337

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

    • @gameofday5299
      @gameofday5299 5 років тому +17

      😂😂😂

    • @giantsfan7733
      @giantsfan7733 5 років тому +30

      I too went to Stanford... taqueria.

    • @NorthernlionLP
      @NorthernlionLP 5 років тому +149

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

    • @sheggle
      @sheggle 5 років тому +55

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

  • @charliekingsbury
    @charliekingsbury Рік тому +138

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

    • @namangaur1551
      @namangaur1551 5 місяців тому

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

    • @stevehorne5536
      @stevehorne5536 4 місяці тому +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 4 місяці тому +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 3 місяці тому +3

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

    • @stevehorne5536
      @stevehorne5536 3 місяці тому +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.

  • @michaelmcgruder874
    @michaelmcgruder874 5 років тому +319

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

  • @DarkLightning96
    @DarkLightning96 5 років тому +670

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

    • @Maxence1402a
      @Maxence1402a 5 років тому +13

      Yet, the proof is simple.

    • @zacharymogel9087
      @zacharymogel9087 5 років тому +1

      Vedanth Mohan it is if you know what irrational means

    • @pbenikovszky1
      @pbenikovszky1 5 років тому +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 5 років тому

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

    • @easymathematik
      @easymathematik 4 роки тому +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.

  • @SmileyMPV
    @SmileyMPV 5 років тому +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 5 років тому +6

      Yeah

    • @arthurg.machado6803
      @arthurg.machado6803 5 років тому +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.

    • @JustAlphaa
      @JustAlphaa 10 днів тому

      there is a difference between hard and complex after all

  • @angelmendez-rivera351
    @angelmendez-rivera351 4 роки тому +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. Рік тому +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 Рік тому +4

      this is the part I needed explained

  • @peterandersson3812
    @peterandersson3812 5 років тому +234

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

    • @TheRealFlenuan
      @TheRealFlenuan 5 років тому +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 5 років тому +9

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

    • @HarshSharma-wj8mc
      @HarshSharma-wj8mc 5 років тому +17

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

    • @xcarnage8632
      @xcarnage8632 5 років тому +12

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

    • @ronaldlee5311
      @ronaldlee5311 5 років тому

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

  • @gedlangosz1127
    @gedlangosz1127 5 років тому +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 5 років тому +8

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

    • @user-sf7qz5kg3b
      @user-sf7qz5kg3b 5 років тому +4

      The vid was unlisted I think

    • @Tuupoification
      @Tuupoification 5 років тому +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 5 років тому +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 4 роки тому +4

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

  • @kespeth2
    @kespeth2 5 років тому +104

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

    • @cmarley314
      @cmarley314 5 років тому +6

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

    • @kespeth2
      @kespeth2 5 років тому +1

      @@cmarley314 LOL that too.

    • @dlevi67
      @dlevi67 5 років тому +1

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

  • @ValugaTheLord
    @ValugaTheLord 5 років тому +212

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

    • @excusemewhat8904
      @excusemewhat8904 5 років тому +8

      Underrated comment imo

    • @henryalexander9152
      @henryalexander9152 5 років тому +5

      Pi is pretty unstable though

    • @kathy9572
      @kathy9572 5 років тому +2

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

    • @Pedritox0953
      @Pedritox0953 5 років тому +2

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

    • @dariobarisic3502
      @dariobarisic3502 4 роки тому

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

  • @Vidrinskas
    @Vidrinskas 5 років тому +41

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

    • @Vidrinskas
      @Vidrinskas 5 років тому +3

      That is not answering the question.@@grottjam

    • @elchingon12346
      @elchingon12346 5 років тому +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)

  • @jonaswieczorek3198
    @jonaswieczorek3198 5 років тому +294

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

    • @xminterminator8632
      @xminterminator8632 5 років тому +15

      But it doesn't

    • @xdragon2k
      @xdragon2k 5 років тому +30

      OMG, I haven't seen that ratio in a very long time. Brings back old memories. These days, all I see is how much digits of Pi you can regurgitate.

    • @balakrishnanganesh8613
      @balakrishnanganesh8613 5 років тому +22

      Its an approximation

    • @largenaq2935
      @largenaq2935 5 років тому +25

      335/113

    • @__-nt2wh
      @__-nt2wh 5 років тому +47

      π = √g

  • @fahmiabdillahsambodo8972
    @fahmiabdillahsambodo8972 4 роки тому +186

    Engineer be like
    π=3
    π^2=g

  • @Keldor314
    @Keldor314 5 років тому +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.

  • @albertomelendez5890
    @albertomelendez5890 5 років тому +13

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

  • @elementalic1520
    @elementalic1520 5 років тому +67

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

    • @yath3681
      @yath3681 5 років тому +3

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

    • @lilyyy411
      @lilyyy411 5 років тому +1

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

    • @awesomedavid2012
      @awesomedavid2012 5 років тому +2

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

    • @Xaelium
      @Xaelium 5 років тому

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

    • @liamoneillll123
      @liamoneillll123 5 років тому

      Achelois Nonce

  • @rohitsajeev
    @rohitsajeev 5 років тому +242

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

    • @arikwolf3777
      @arikwolf3777 5 років тому +65

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

    • @MK-wm9zi
      @MK-wm9zi 5 років тому +3

      Zombies lives don't matter, don't care

    • @BitcoinMotorist
      @BitcoinMotorist 5 років тому +29

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

    • @yourlordandsaviouryeesusbe2998
      @yourlordandsaviouryeesusbe2998 5 років тому +5

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

    • @hello_2632
      @hello_2632 5 років тому +24

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

  • @jayfredrickson8632
    @jayfredrickson8632 5 років тому +13

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

  • @I_leave_mean_comments
    @I_leave_mean_comments 5 років тому +61

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

    • @TheRealFlenuan
      @TheRealFlenuan 5 років тому +4

      That wasn't even the hard part

    • @ErikBongers
      @ErikBongers 4 роки тому +3

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

    • @juyifan7933
      @juyifan7933 4 роки тому +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 4 роки тому +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.

  • @phasm42
    @phasm42 5 років тому +18

    This was not the simple proof I was looking for 😅

  • @MarcusCactus
    @MarcusCactus Рік тому +7

    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.

  • @TheOfficialCzex
    @TheOfficialCzex 5 років тому +86

    "Simple Proof" _11 minutes_

    • @davguev
      @davguev 5 років тому +3

      And leaves a lot of details for us to complete.

    • @MK-13337
      @MK-13337 5 років тому +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 5 років тому +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 5 років тому +1

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

    • @dlevi67
      @dlevi67 5 років тому +1

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

  • @botanifolf9767
    @botanifolf9767 4 роки тому +10

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

  • @bobstevenson3130
    @bobstevenson3130 5 років тому +27

    Did you figure it out? 🤔

  • @SleepMastR
    @SleepMastR 5 років тому +3

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

  • @himeshviews7622
    @himeshviews7622 5 років тому +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 5 років тому +1

      @Samurai Jack right bro

    • @dudz1978
      @dudz1978 5 років тому +3

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

    • @himeshviews7622
      @himeshviews7622 5 років тому +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 5 років тому +5

      @@Tianzii2k4 subscribe to pewdiepie though

  • @jimjim3979
    @jimjim3979 5 років тому +12

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

    • @juyifan7933
      @juyifan7933 4 роки тому

      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.

  • @kdpwil
    @kdpwil 5 років тому +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.

  • @Not.Your.Business
    @Not.Your.Business 5 років тому +7

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

  • @hansjzeller
    @hansjzeller Рік тому +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 Рік тому +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 5 місяців тому +2

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

  • @ln-physics6608
    @ln-physics6608 5 років тому +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 5 років тому +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 Рік тому +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 Рік тому +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?

  • @SouravTechLabs
    @SouravTechLabs 5 років тому +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?

  • @aryamankejriwal5959
    @aryamankejriwal5959 5 років тому +28

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

    • @screambmachine
      @screambmachine 5 років тому +1

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

    • @joso5681
      @joso5681 5 років тому +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

  • @pnkarthik
    @pnkarthik 4 роки тому +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.

  • @giovannijunior9642
    @giovannijunior9642 5 років тому +12

    My boy be flexing that he from Stanford!

  • @danfoster8219
    @danfoster8219 5 років тому +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 5 років тому +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.

  • @yausimon9549
    @yausimon9549 Рік тому +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!!!

  • @mynameisamovieaboutadog1441
    @mynameisamovieaboutadog1441 5 років тому +7

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

  • @LogicalMath
    @LogicalMath 5 років тому +12

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

    • @xalluniverse9028
      @xalluniverse9028 5 років тому +7

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

    • @david21686
      @david21686 5 років тому +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 5 років тому +5

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

    • @nyafai02
      @nyafai02 5 років тому +1

      Xall Universe missing (11,4,5)

    • @LogicalMath
      @LogicalMath 5 років тому +3

      Paul Gagneur 4 is not a prime number

  • @mostafaelmassoudelmassoud3152
    @mostafaelmassoudelmassoud3152 4 роки тому +1

    Bravo pour cette démonstration. Excellent

  • @sambridhkushwaha779
    @sambridhkushwaha779 5 років тому

    Thanks for telling me this thing. It's incredible

  • @disguisedhell
    @disguisedhell 5 років тому +10

    Happy π day to everyone

  • @cjstudios8850
    @cjstudios8850 Рік тому +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

  • @austinedwards3076
    @austinedwards3076 6 місяців тому

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

  • @yamansanghavi
    @yamansanghavi 5 років тому

    It was fantastic, man. Thanks

  • @3omarr744
    @3omarr744 5 років тому +3

    The proof actually starts at 3:54

  • @truebeliever174
    @truebeliever174 5 років тому +25

    I actually understood nothing 😅

  • @saudinho1436
    @saudinho1436 8 місяців тому

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

  • @gregoryfenn1462
    @gregoryfenn1462 5 років тому

    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.

  • @raileite5994
    @raileite5994 5 років тому +5

    3:46 Started

  • @giorgoslor_5399
    @giorgoslor_5399 5 років тому +37

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

    • @BlindBosnian
      @BlindBosnian 4 роки тому +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 4 роки тому

      But in india they r not proud of their ancestors

    • @dogling4069
      @dogling4069 3 роки тому

      @@technicalgamers7324 why not

  • @AndrewErwin73
    @AndrewErwin73 5 років тому +1

    You can get REALLY close to rational, though... If you have a circle with a diameter of 113 (whatever unit), the circumference will be 355 (whatever unit)... 355/113 = Pi (at least up to a few decimal places) - but, being more exact, the circumference of such a circle would actually be 354.99997.

  • @johnpaullogan1365
    @johnpaullogan1365 5 місяців тому

    i remember in algebra in 8th grade i got into an argument with the teacher when i claimed it was impossible for both the circumference and diameter of a circle to be rational numbers. same guy i forced to call the high school teacher when he claimed there was no such number as i when he asked us if we could use the same method we used to simplify x^2-1 to (x+1)(x-1) and i said yes.

  • @Anonymous-jo2no
    @Anonymous-jo2no 5 років тому +11

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

  • @chetanraikwal5766
    @chetanraikwal5766 5 років тому +18

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

    • @arghadubey9509
      @arghadubey9509 5 років тому +8

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

    • @arynbhar
      @arynbhar 5 років тому

      We want integers

    • @chetanraikwal5766
      @chetanraikwal5766 5 років тому

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

  • @udayraj6976
    @udayraj6976 Рік тому

    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.

  • @ameliajane8355
    @ameliajane8355 2 роки тому +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

  • @johnchristian5027
    @johnchristian5027 5 років тому +13

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

    • @punya1621
      @punya1621 5 років тому

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

    • @Macieks300
      @Macieks300 5 років тому +5

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

    • @easymathematik
      @easymathematik 5 років тому

      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.

  • @aaargyrou
    @aaargyrou 2 роки тому +4

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

    • @vincemarenger7122
      @vincemarenger7122 2 роки тому +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 2 роки тому

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

  • @evanbranham4319
    @evanbranham4319 5 років тому +1

    Dude went to Stanford and started a UA-cam channel. I love this community.

  • @michaelwilliamson1392
    @michaelwilliamson1392 5 років тому

    I must be missing something. Step one of proving property 1 (6:31 in the video) is to state that f(x) and its derivatives have integer values at x=0, but by simple substitution, f(x) at zero is (a^n)/n!, which means n! must be a factor of a, which cannot be true, given that you can pick n as literally any integer (a then must become infinity factorial). What have I done wrong here?

    • @yurenchu
      @yurenchu 5 років тому +1

      At x = 0, f(x) equals 0, not (a^n)/n! .

  • @Aj-ch5kz
    @Aj-ch5kz 5 років тому +6

    Couldn't be simpler... :p

  • @gaurangagarwal3243
    @gaurangagarwal3243 5 років тому +37

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

    • @AAAAAA-gj2di
      @AAAAAA-gj2di 5 років тому +1

      Till not tough.

    • @HeyKevinYT
      @HeyKevinYT 5 років тому +1

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

    • @AAAAAA-gj2di
      @AAAAAA-gj2di 5 років тому +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 4 роки тому

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

  • @MathAdam
    @MathAdam 4 роки тому +1

    Proof Kit for Pi Irrationality. Some assembly required.

  • @davidbrisbane7206
    @davidbrisbane7206 3 роки тому +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 Місяць тому

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

  • @utsav8981
    @utsav8981 5 років тому +5

    Wow! A video kept secret woah

  • @titlespree
    @titlespree 5 років тому +3

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

    • @sayonmondal3454
      @sayonmondal3454 5 років тому

      3.14

    • @dlevi67
      @dlevi67 5 років тому

      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.

  • @dlmperplex337
    @dlmperplex337 4 роки тому +1

    How do we prove pi is transcendental?

  • @hosseinmohammadi2800
    @hosseinmohammadi2800 Рік тому

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

  • @AAAAAA-gj2di
    @AAAAAA-gj2di 5 років тому +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 5 років тому

      you mean ramanujan's series?

    • @AAAAAA-gj2di
      @AAAAAA-gj2di 5 років тому

      @@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 5 років тому

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

    • @AAAAAA-gj2di
      @AAAAAA-gj2di 5 років тому

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

    • @gregorykafanelis5093
      @gregorykafanelis5093 5 років тому +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.

  • @prakharrai3959
    @prakharrai3959 5 років тому +6

    I can not understand anything.......... Maybe in future i would.!!😌😌😌😌😌👍

  • @betterlife274
    @betterlife274 Рік тому

    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?

  • @mrvinager2362
    @mrvinager2362 4 роки тому +3

    Correction: proving that π is irrational its highly not trivial

  • @premlatasuman3218
    @premlatasuman3218 5 років тому +9

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

    • @sangamharsolia5069
      @sangamharsolia5069 5 років тому

      Oh yess

    • @luigiboy72
      @luigiboy72 5 років тому

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

    • @StRanGerManY
      @StRanGerManY 5 років тому

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

  • @sonincheong4811
    @sonincheong4811 4 роки тому +1

    Surprising simple proof for a problem most think is not easy

  • @i_am_anxious0247
    @i_am_anxious0247 5 років тому

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

  • @shripriyasharan9_7
    @shripriyasharan9_7 5 років тому +5

    Happy pi day 😘😘😘🎊🎊🎊🎊🎊

  • @kazihafiz6024
    @kazihafiz6024 5 років тому +5

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

  • @skilz8098
    @skilz8098 Рік тому

    We can take a unit vector from the origin (0,0) to (1,0) and we can rotate it 180 degrees or PI radians so that the point (1,0) is transformed through rotation to the point (-1,0). The length or magnitude of the vector is 1. The overall distance from (-1,0) to (1,0) is 2. The Arc length that is generated is PI radians. How many unit vectors or line segments of length 1 are there that make up this arc during the rotation between the points (1,0) and (-1,0)? There's an infinite amount. This is similar to asking the question: how many Real numbers are there between the interval [0,1]? We know that some of those values are rational but we also know that the vast majority of them are irrational. There is a very high probability due to the infinite complexity that it would highly suggest that PI is irrational. This is not meant to be a direct nor an exact proof. Yet, I would claim that this would be the simplest possible proof that there is to demonstrate the reasoning that PI is irrational. Well, it's more of a supposition, more of a conjecture than an actual proof.
    Here's an example to support this. The surface of the earth is approximately 70% water and 30% land mass. You have a much higher probability of landing in water than on the ground if you were randomly dropped from the sky. The ratio of Irrationals compared to that of rationals within the Real Number domain is much higher than this 7:3 ratio. So to randomly drop a constant value on the real number line has a much higher probability of being irrational than it does being rational. This is just a way of thinking outside of the box. What more proof do you need? If you keep trying to search and divide into an an infinite domain you will never stop dividing nor will you ever stop diving. Sometimes having a relatively close enough answer is good enough! And I think this was simple enough to explain. Just food for thought.

  • @dastran2731
    @dastran2731 5 років тому +1

    Does this means that the circumference of a circle is always irrational?

    • @muzamilnazir3983
      @muzamilnazir3983 5 років тому +4

      Not at all, if radius is irrational then circumference can be rational. These are relative, suppose if radius is 1/pi then circumference will be 2 units. That is secondry case that we can not draw 1/pi..................

  • @iabervon
    @iabervon 5 років тому +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."

    • @dlevi67
      @dlevi67 5 років тому

      Joke???!!!???

  • @DanyaJeyJey
    @DanyaJeyJey 5 років тому +6

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

  • @sagarraj4721
    @sagarraj4721 5 років тому

    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!

  • @marcosmorales1532
    @marcosmorales1532 4 роки тому +1

    I understood and proved all steps, but there is something I don't get, why is it important to consider pi as the number in the proof?, I mean, I can replace pi for any other number and the proof stays the same, where is it essential to that a/b = pi ? can you explain me please?

  • @me_too_thanks5062
    @me_too_thanks5062 5 років тому +11

    Yeah real simple, lol

  • @arynbhar
    @arynbhar 5 років тому +5

    Not so simple?😉

  • @DavidShlenskiy
    @DavidShlenskiy 4 роки тому +1

    Can someone tell me how the digits of pi are found?

  • @aarohgokhale8832
    @aarohgokhale8832 4 роки тому +2

    Wait but how did you come up with f(x)?

    • @rynin8019
      @rynin8019 4 роки тому

      Coming up with a proof like this is much harder than understanding it. f(x) is defined as it is because such a definition allows the proof to work.

  • @gcross299
    @gcross299 5 років тому +6

    But you should know he went to Stanford cuz wow it’s in his bio. Congrats STANFORD GRAD. Enjoy your debt.

  • @SidneySilvaCarnavaleney
    @SidneySilvaCarnavaleney 3 роки тому +4

    Sou pesquisador Matemático e trago para este singelo canal; MindyourDecisions com sua apreciação e reconhecimento a Racionalização de Pi, sendo Racional e Irreversível, provando Cientificamente e Matematicamente;
    Pi, usado para representar a constante matemática mais conhecida: a razão entre a circunferência de um círculo e o seu diâmetro, é objeto de estudo há muito tempo, e continua despertando a curiosidade matemática. O primeiro cálculo foi feito por um grande pensador e matemático, Arquimedes de Siracusa ( 287 a.C - 212 a.C ) que para aproximar a área de um círculo, utilizou o "Teorema de Pitágoras", para encontrar as áreas de dois polígonos regulares. essa teoria é o ponto de início da qual parte a presente pesquisa. que tem por objetivo gerar conhecimentos para aplicação prática, facilitando e melhorando o aprendizado dos(as)alunos(as). Ao longo do tempo, inúmeros estudos tentaram desvendar esse valor, tendo como base inúmeras hipóteses, a persistência e contínuos esforços. Em um breve relato histórico, conheceremos mais sobre Pi, seus pesquisadores, métodos de estudo e cálculos realizados até hoje, agora também com o auxílio da tecnologia que diminuiu significativamente o tempo gasto nos cálculos, culminando com a demonstração prática deste enigmático número, comprovadamente Racional e Irreversível(Com Três inteiros e quinze centésimos finito depois da vírgula)(3,15). o Autor da obra "A ousadia do pi ser racional" Sr Sidney Silva.

  • @thomaskember4628
    @thomaskember4628 5 років тому

    We are also told that pi is transcendental. Is there any simple proof of this? If there is, it will transcends the proof given here that pi is irrational, because if a number is transcendental, it must also be irrational. Transcendental numbers form a subset off irrational numbers.

  • @scoremorecbsemathematics9995
    @scoremorecbsemathematics9995 4 роки тому

    Good explanation. 👍

  • @easymathematik
    @easymathematik 4 роки тому +6

    "Proving Pi is irrational - What you never learnd in school"
    The idea of your video is nice. U can make it. Why not?
    But it is neccessary to write in the title "what you never learnd in school"?
    Come on. At least be fair and come up with some facts.
    First: I can show you school books where the irrationality of pi is a small topic. Not rigorous but it is part of the book.
    The proof itself is quite easy to follow, I accept that.
    But why you don`t explain other very important points? There you find your answer why it is not part in school.
    You start your video with quotes like "it is not easy...".
    Then you came up with "an easy proof for pi is irrational" in 1 page.
    Following the proof is easy. I accept that.
    The reason why it is actually not easy is following.
    Being irrational is defined by not rational. So there is a "not".
    Being rational is defined by "q is rational if it exist integers m and n, n not zero, such that m / n = q.
    So in the definition is the word "exist". This is the reason.
    A number p is irrational is equivalent to "for all integer ratios m / n we have: m / n != q".
    This makes it difficult. How you can check all ratios?
    So the main problem of beeing irrational is. The definition doesn`t say how you show this property. It is not constructive.
    Another point what makes this proof difficult is the definition of pi. All definitions of pi are not so "nice" in some sense.
    So the reason what makes this proof very difficult is to understand why on earth such a f(x) like it was chosen should help?
    This is the difficult part.

  • @theolbiterator5408
    @theolbiterator5408 5 років тому +4

    **A random clever comment trying to score likes, from a depressed person because they clicked early, to feel get a pseudo sense of achievement.**

  • @stepone3040
    @stepone3040 4 роки тому

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

  • @IvanIvanov-gb5zx
    @IvanIvanov-gb5zx 5 років тому

    just released that its 14th march and i have math test on circles

  • @doodelay
    @doodelay 5 років тому

    Congrats on getting into Stanford my man