Lemma
EasyThe real numbers
#497 · Real Analysis · The real numbers

The square root of two is irrational

Prove that is irrational.

~3 minProof · checked by AIThe real numbers

Classical — attributed to the Pythagoreans; in Euclid's Elements, Book X

Stuck? A gentle nudge
Something off?
Workspace
Your working

Check your full solution

Upload photos of your handwritten work or a PDF, and Lemma will read it and tell you whether it's right — and where it first goes wrong if not.