Square Root of 2 is Irrational

Theorem

There does not exist a rational number $r$ such that $r^2=2$.

Proof

Drawing-2025-02-25-22.59.28.excalidraw