Uploaded October 2025 | Updated September 2026, 2 weeks ago
In this video, we use the "Carpets Theorem" to prove that the square root of three is irrational by a visual infinite descent argument.
If you like this video, consider subscribing to the channel or consider buying me a coffee: 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):
http://dev.mccme.ru/~merzon/mirror/mathtabletalks/files/irrational-conway.pdf
For a longer version with root two, see:
youtu.be/-dbzvN4jnfY?si=6uT5EFkUCp8D8eh7
And for a short about root two:
youtu.be/s4pdePg_m3w?si=yzG-h2YJUmuYJ9Sy
Here is an alternate irrational visual argument:
youtube.com/watch?v=uWZsVx7wqeA
#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:
https://manim.community
In this video, we use the "Carpets Theorem" to prove that the square root of three is irrational by a visual infinite descent argument.
If you like this video, consider subscribing to the channel or consider buying me a coffee: 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):
http://dev.mccme.ru/~merzon/mirror/mathtabletalks/files/irrational-conway.pdf
For a longer version with root two, see:
youtu.be/-dbzvN4jnfY?si=6uT5EFkUCp8D8eh7
And for a short about root two:
youtu.be/s4pdePg_m3w?si=yzG-h2YJUmuYJ9Sy
Here is an alternate irrational visual argument:
youtube.com/watch?v=uWZsVx7wqeA
#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:
https://manim.community










