The Most Beautiful Proof sqrt(2) is Irrational

The irrationality of sqrt(2) was known to the Greeks, and the classic proof of this fact appeared in at least some versions of Euclid's elements. The proof most commonly shown, often attributed to Hippasus, is arithmetical and not geometric whatsoever. But in year 2000 a proof appeared from Tom Apostol, showing the irrationality of the square root of 2 in a beautiful stroke of geometric construction. We discuss the proof, concerning isosceles right angled triangles, today. #mathematics #maths

Join Wrath of Math to get exclusive videos, lecture notes, and more:
   / @wrathofmath  

The Classic Proof that sqrt(2) is Irrational:    • Proof: Square Root of 2 is Irrational  

More math chats:    • Math Chats  

SOURCES
https://fermatslibrary.com/s/irration...
https://www-fourier.ujf-grenoble.fr/~...

★DONATE★
◆ Support Wrath of Math on Patreon:   / wrathofmathlessons  
◆ Donate on PayPal: https://www.paypal.me/wrathofmath

Follow Wrath of Math on...
● Instagram:   / wrathofmathedu  
● TikTok:   / wrathofmathedu  
● X: https://x.com/wrathofmathedu

0:00 Intro
3:38 Proof Begins!
5:48 There Exists an Integer Triangle
7:36 Construction!
9:26 The Key Triangle
13:26 Conclusion