(Avoiding) Proof by Contradiction: √(2) is Not Rational

2020/05/08 by Larson, C. E.
#FOS: Mathematics #History and Overview (math.HO)

paper · doi:10.48550/arxiv.2005.03878

Abstract

We provide an alternative proof that √(2) is irrational that does not begin with the assumption that √(2) is in fact rational.

Related

• Real numbers as infinite decimals and irrationality of √(2)
• A Proof of Irrationality of π by Contraposition
• Two Motivated Concrete Proofs (much better than the usual one) that the Square-Root of 2 is Irrational
• A geometric proof that \√(3), \√(5) and \√(7) are\n irrational
• Geometric Proof of the Irrationality of Square-Roots for Select Integers