PokeVideoPlayer v23.9-app.js-020924_
0143ab93_videojs8_1563605_YT_2d24ba15 licensed under gpl3-or-later
ImmersiveAmbientModecolor: #94a5be (color 2)
Video Format : (720p) openh264 ( https://github.com/cisco/openh264) mp4a.40.2 | 44100Hz
Audio Format: 140 ( High )
PokeEncryptID: 0c93f90448f09ecdfa253a56958162d533cf84b6193e8c84af16a28d0943c70588f3810e1ababb4594688c8ac0d39682
Proxy : eu-proxy.poketube.fun - refresh the page to change the proxy location
Date : 1732461672104 - unknown on Apple WebKit
Mystery text : czRwZGVQZ19tM3cgaSAgbG92ICB1IGV1LXByb3h5LnBva2V0dWJlLmZ1bg==
143 : true
159,835 Views • Apr 11, 2024 • Click to toggle off description
If you like this video, consider subscribing to the channel or consider buying me a coffee: www.buymeacoffee.com/VisualProofs. Thanks!
This animation is based on an argument from Stanley Tennebaum. If you are interested, I recommend this article from John Conway and Joseph Shipman about the irrationality of square root of two (and others):
dev.mccme.ru/~merzon/mirror/mathtabletalks/files/i…
#irrationalnumbers #realnumbers #manim #math #mtbos #animation #theorem #visualproof #proof #iteachmath #mathematics #irrational #carpetstheorem #proofbycontradiction #root2 #algebra #infinitedescent
To learn more about animating with manim, check out:
manim.community/
Views : 159,835
Genre: Education
License: Standard YouTube License
Uploaded At Apr 11, 2024 ^^
warning: returnyoutubedislikes may not be accurate, this is just an estiment ehe :3
Rating : 4.92 (201/9,904 LTDR)
98.01% of the users lieked the video!!
1.99% of the users dislieked the video!!
User score: 97.02- Overwhelmingly Positive
RYD date created : 2024-11-09T20:23:08.064566Z
See in json
138 Comments
Top Comments of this video!! :3
I finally understood one of your videos.
I might not understand every video, but I am determined to learn, so thank you for your hard work on these awesome videos.
176 |
I appreciate the elegance of the proof! Especially the last part I feel is more intuitive than the usual “you can always divide by two,” because in this case it’s clear that you’ll eventually just run out of positive integers to work with, which causes the contradiction
48 |
I really like these geometric proofs because I was only ever taught algebraic proofs for proving this such as the classic proof, or other things like the FTA or rational zero theorem. Thank you for teaching me new things
12 |
These videos make me so happy and mad. Where were they when I needed them in geometry and calculus? They make everything so clear and comprehensible.
14 |
Wow. One of the best proofs of irrationality of sqrt(2)
65 |
Luckily 2! is still 2. So the title is still right in a way
115 |
Nice proof, I've haven't seen a visual one of this before! If someone's still not getting it:
If √2 were rational, there would have to exist (finite) integers a and b so that a/b = √2.
a/b = √2, square both sides
a²/b² = 2, multiply by b²
a² = 2b²
So proving the irrationality of √2 is equivalent to proving there is no square of an integer, that is double the square of another integer. The proof by contradiction in the video assumes the opposite. There are no finite a and b to satisfy these equations, so √2 has to be irrational.
Correct me if I'm wrong, thanks!
2 |
If you go in the other direction with increasing pairs, you'll get better and better approximations to sqrt(2). Those should correspond to solutions to Pell's equation a^2-2b^2=±1.
4 |
This is the best explanation of this I've ever seen
2 |
I prefer the following instead of infinite descent:
Take the smallest counterexample. By the step, there's a smaller one. This is a contradiction.
You can note that this is essentially a special case of a reasoning that under a slightly different formulation is known as transfinite induction. It's similar to induction, but more powerful. It's also proven differently. Normal induction is proven from the definition of natural numbers (and 0) as ones reachable by the operations. (By “reachable”, I mean present in every set closed under them.) Transfinite induction is essentially the well-orderedness (existence of the smallest in every subset) of the natural numbers (or whatever set you're using), although for N it may be easier formulated as the normal induction over prefixes
1 |
awesome! love how the well ordering axiom can prop up in fun ways
1 |
Simple and intuitive. Amazing!
2 |
This would have been a perfect video to be made into a loop, but looks like we didn’t get to see that
15 |
I feel like there’s a missing step where it’s explained that b is between a and a/2 so that the small carpets can overlap like that
10 |
I love that proof, proving root two is irrational is part of my favorite proof which proves you can raise an irrational number to an irrational number and get a rational number.
1 |
Took me a minute to figure out why a^2=2b^2 means √2 is rational.
If √2 is rational, then there exists integers a, b where a/b = √2. Multiply both sides by b and then square them.
4 |
simplify sqrt to r
a/b = r(2) for some a,b inZ+, gcd(a,b)=1
a=r(2)b
aa=2bb
lhs has factor 2 but there are two a so 4 | a
Thus 4 | 2bb and this imply 2 | bb
Which means 2 is factor of b
So gcd(a,b) does not equal to one. Therefore, no such coprime integer pair (a,b) exists
I think this is the same to the video but in different way of recursively decreasing a and b
If we use the well ordered property of integer and state (a,b) is the least element satisfying the equation then we do not have to state the recursive part
|
This demonstration is a genius move
1 |
Nice proof, but I’ll propose my personal favorite:
The exponents in the prime factorization of a perfect square are always even. When you multiply this perfect square by a prime number, the exponent in that prime factor becomes odd. This means that you cannot multiply a perfect square by any prime number to get a perfect square. Therefore, the square root of any prime number is irrational.
2 |
@YouTube_username_not_found
7 months ago
Infinite descent!
640 |