Chứng minh số \(\sqrt 2 \) là số vô tỉ.

Giả sử \(\sqrt 2 \) không phải là số vô tỉ. Khi đó tồn tại các số nguyên a và b sao cho \(\sqrt 2 = \frac{a}{b}\) với b > 0. Hai số a và b không có ước chung nào khác 1 và –1.

Ta có: \({\left( {\sqrt 2 } \right)^2} = {\left( {\frac{a}{b}} \right)^2}\)(1)

Kết quả trên chứng tỏ a là số chẵn, nghĩa là ta có a = 2c với c là số nguyên.

Thay a = 2c vào (1) ta được: (2c)² = 2b² hay b² = 2c²

Kết quả trên chứng tỏ b phải là số chẵn.

Hai số a và b đều là số chẵn, trái với giả thiết a và b không có ước chung nào khác 1 và –1.

Vậy \(\sqrt 2 \) là số vô tỉ.