Giả sử 2 là số hữu tỉ.

Như vậy, 2 có thể viết được dưới dạng mn với m, n N và (m, n) = 1.

Ta có 2 = mn nên (2)2 = (mn)2hay 2 = m2n2. Suy ra m2=2n2.

Mà (m, n) = 1 nên m2 chia hết cho 2 hay m chia hết cho 2. Do đó m = 2k với k N và (k, n) = 1.

Thay m = 2k vào m2=2n2 ta được 4k2=2n2 hay n2=2k2

Do (k, n) = 1 nên n2 chia hết cho 2 hay n chia hết hết cho 2.

Suy ra m và n đều chia hết cho 2 mâu thuẫn với (m, n) = 1

Vậy 2 không là số hữu tỉ mà là số vô tỉ.