Square root/2/Irrational/Fact

Irrationality of the square root of 2

There does not exist a rational number such that its square equals ${}2$.

This means that the real number ${}{\sqrt {2}}$ is irrational.

Proof, Write another proof