Proof the the square root of 2 irrational January 04, 2024 Supposedly dates to Pythagoras. (2 minute video.)