Lemma
EasyWrite a proof
#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

Attach photos of your pages (up to 3) or one PDF — or check what you typed above. Lemma reads the work and verifies the reasoning, not just the answer.

Your first check today doesn't need an account.

Your photos and PDFs are read once and not stored — only the transcription is kept.