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

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: kzbin.info...
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

[@aryamankejriwal5959]

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

[@easymathematik]

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]

@@easymathematik r/whoooosh

[@easymathematik]

@@avikdas4055 What?

[@ishworshrestha3559]

Yui

[@archanamotagi1675]

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

[@KaranSingh-np8ut]

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

[@gedlangosz1127]

Tomorrow. Proof for the Riemann hypothesis.

[@haydenwong7bm]

Tomorrow. Proof for pi is transcendental

[@AAAAAA-gj2di]

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

[@GR0907]

Lol 🤣

[@accipiterignitus5123]

Then, wau

[@LeftPinkie]

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

[@NarutoStorm3Rocks]

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

[@gameofday5299]

😂😂😂

[@giantsfan7733]

I too went to Stanford... taqueria.

[@NorthernlionLP]

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

[@sheggle]

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

[@michaelmcgruder874]

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

[@charliekingsbury]

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

[@namangaur1551]

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

[@stevehorne5536]

@@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]

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]

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

[@stevehorne5536]

@@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.

[@DarkLightning96]

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

[@Maxence1402a]

Yet, the proof is simple.

[@zacharymogel9087]

Vedanth Mohan it is if you know what irrational means

[@pbenikovszky1]

@@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]

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

[@easymathematik]

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]

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]

Yeah

[@arthurg.machado6803]

@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]

there is a difference between hard and complex after all

[@angelmendez-rivera351]

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.]

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]

this is the part I needed explained

[@peterandersson3812]

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

[@TheRealFlenuan]

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]

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

[@HarshSharma-wj8mc]

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

[@xcarnage8632]

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

[@ronaldlee5311]

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

[@gedlangosz1127]

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]

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

[@user-sf7qz5kg3b]

The vid was unlisted I think

[@Tuupoification]

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]

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]

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

[@kespeth2]

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

[@cmarley314]

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

[@kespeth2]

@@cmarley314 LOL that too.

[@dlevi67]

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

[@ValugaTheLord]

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

[@excusemewhat8904]

Underrated comment imo

[@henryalexander9152]

Pi is pretty unstable though

[@kathy9572]

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

[@Pedritox0953]

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

[@dariobarisic3502]

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

[@Vidrinskas]

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

[@Vidrinskas]

That is not answering the question.@@grottjam

[@elchingon12346]

@@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]

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

[@xminterminator8632]

But it doesn't

[@xdragon2k]

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]

Its an approximation

[@largenaq2935]

335/113

[@__-nt2wh]

π = √g

[@fahmiabdillahsambodo8972]

Engineer be like π=3 π^2=g

[@naveensundar4765]

lol

[@shweatypalms4423]

Pi squared is suspiciously close to g tho

[@leonlafosse8401]

g = 9,81 m/s^-2 pi^2 around 9,86

[@kentjordan4658]

π = π / 1 rational

[@_.Infinity._]

In engineering π≈e≈3.

[@Keldor314]

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]

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

[@elementalic1520]

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

[@yath3681]

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

[@lilyyy411]

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

[@awesomedavid2012]

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

[@Xaelium]

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

[@liamoneillll123]

Achelois Nonce

[@rohitsajeev]

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

[@arikwolf3777]

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

[@MK-wm9zi]

Zombies lives don't matter, don't care

[@BitcoinMotorist]

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

[@yourlordandsaviouryeesusbe2998]

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

[@hello_2632]

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

[@jayfredrickson8632]

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

[@I_leave_mean_comments]

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

[@TheRealFlenuan]

That wasn't even the hard part

[@ErikBongers]

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

[@juyifan7933]

@@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]

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]

This was not the simple proof I was looking for 😅

[@TheOfficialCzex]

"Simple Proof" _11 minutes_

[@davguev]

And leaves a lot of details for us to complete.

[@MK-13337]

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]

@@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]

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

[@dlevi67]

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

[@MarcusCactus]

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.

[@botanifolf9767]

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

[@bobstevenson3130]

Did you figure it out? 🤔

[@NorthernlionLP]

Did YOU figure it out?

[@dissmo706]

@@NorthernlionLP did YOU figure it out?

[@maheshpatel7691]

@@dissmo706 Did you figure it out?

[@maheshpatel7691]

@I love Gaming Did you figure it out?

[@sharoonaftab8894]

Did you figure it out ?

[@SleepMastR]

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

[@himeshviews7622]

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]

@Samurai Jack right bro

[@dudz1978]

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

[@himeshviews7622]

@@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]

@@Tianzii2k4 subscribe to pewdiepie though

[@jimjim3979]

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

[@juyifan7933]

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.

[@hansjzeller]

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]

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]

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

[@kdpwil]

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]

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

[@ln-physics6608]

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

[@yurenchu]

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

[@aryamankejriwal5959]

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

[@screambmachine]

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

[@joso5681]

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

[@SouravTechLabs]

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?

[@michaeldakin1474]

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]

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?

[@pnkarthik]

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]

My boy be flexing that he from Stanford!

[@danfoster8219]

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]

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]

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]

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

[@hayleyrenee5781]

Lies

[@LogicalMath]

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

[@xalluniverse9028]

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

[@david21686]

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]

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

[@nyafai02]

Xall Universe missing (11,4,5)

[@LogicalMath]

Paul Gagneur 4 is not a prime number

[@mostafaelmassoudelmassoud3152]

Bravo pour cette démonstration. Excellent

[@sambridhkushwaha779]

Thanks for telling me this thing. It's incredible

[@disguisedhell]

Happy π day to everyone

[@cjstudios8850]

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]

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

[@yamansanghavi]

It was fantastic, man. Thanks

[@3omarr744]

The proof actually starts at 3:54

[@truebeliever174]

I actually understood nothing 😅

[@saudinho1436]

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

[@gregoryfenn1462]

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]

3:46 Started

[@giorgoslor_5399]

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

[@BlindBosnian]

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

[@technicalgamers7324]

But in india they r not proud of their ancestors

[@dogling4069]

@@technicalgamers7324 why not

[@AndrewErwin73]

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]

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]

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

[@chetanraikwal5766]

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

[@arghadubey9509]

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

[@arynbhar]

We want integers

[@chetanraikwal5766]

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

[@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.

[@evanbranham4319]

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

[@johnchristian5027]

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

[@punya1621]

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

[@Macieks300]

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

[@easymathematik]

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.

[@Aj-ch5kz]

Couldn't be simpler... :p

[@ameliajane8355]

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

[@michaelwilliamson1392]

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]

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

[@aaargyrou]

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

[@vincemarenger7122]

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

[@aaargyrou]

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

[@gaurangagarwal3243]

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

[@AAAAAA-gj2di]

Till not tough.

[@HeyKevinYT]

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

[@AAAAAA-gj2di]

@@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]

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

[@davidbrisbane7206]

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]

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

[@MathAdam]

Proof Kit for Pi Irrationality. Some assembly required.

[@utsav8981]

Wow! A video kept secret woah

[@titlespree]

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

[@sayonmondal3454]

3.14

[@dlevi67]

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.

[@hosseinmohammadi2800]

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

[@dlmperplex337]

How do we prove pi is transcendental?

[@AAAAAA-gj2di]

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]

you mean ramanujan's series?

[@AAAAAA-gj2di]

@@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]

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

[@AAAAAA-gj2di]

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

[@gregorykafanelis5093]

@@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]

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

[@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]

Correction: proving that π is irrational its highly not trivial

[@premlatasuman3218]

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

[@sangamharsolia5069]

Oh yess

[@luigiboy72]

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

[@StRanGerManY]

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

[@i_am_anxious0247]

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

[@sonincheong4811]

Surprising simple proof for a problem most think is not easy

[@shripriyasharan9_7]

Happy pi day 😘😘😘🎊🎊🎊🎊🎊

[@kazihafiz6024]

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

[@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.

[@sagarraj4721]

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!

[@iabervon]

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]

Joke???!!!???

[@DanyaJeyJey]

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

[@dastran2731]

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

[@muzamilnazir3983]

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..................

[@marcosmorales1532]

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?

[@comuniunecuosho-campulbudi7611]

.

[@me_too_thanks5062]

Yeah real simple, lol

[@arynbhar]

Not so simple?😉

[@DavidShlenskiy]

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

[@thomaskember4628]

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.

[@gcross299]

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

[@SidneySilvaCarnavaleney]

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.

[@scoremorecbsemathematics9995]

Good explanation. 👍

[@aarohgokhale8832]

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

[@rynin8019]

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.

[@easymathematik]

"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]

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

[@doodelay]

Congrats on getting into Stanford my man

[@stepone3040]

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]

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