ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P2062 on R590: Square root of two is irrational

P2062

This result is a particular case of R2744: Square root of prime is irrational. $\square$