In this video, we introduce and prove the "Carpets Theorem" and then utilize the theorem to prove that both the square root of two and the square root of three are irrational by a visual infinite descent argument.

If you like this video, check out my others and consider subscribing. Thanks!

#irrationalnumbers #realnumbers​ #manim​ #math​ #mtbos​ ​ #animation​ #theorem​​ #visualproof​ #proof​ #iteachmath #mathematics #irrational #carpetstheorem #proofbycontradiction #root2 #algebra #infinitedescent

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

To learn more about animating with manim, check out:
https://manim.community
_________________________________________
Music in this video:
Air Hockey Saloon by Chris Zabriskie is licensed under a Creative Commons Attribution 4.0 license. https://creativecommons.org/licenses/...

Source: http://chriszabriskie.com/vendaface/

Artist: http://chriszabriskie.com/