Giả sứ căn 2 là số hữu tỉ=> căn 2 có thể viết dưới dạng m/n.(phân số m/n tối giản hay m,n nguyên tố cùng nhau)
=>(m/n)^2=2
=>m^2=2n^2
=>m^2 chia hết cho 2
=>m chia hết cho 2
Đặt m=2k (k thuộc Z)
=>(2k)^2=2n^2
=>2k^2=n^2
=> n^2 chia hết cho 2
=> n chia hết cho 2.
Vậy m,n cùng chia hết cho 2 nên chúng không nguyên tố cùng nhau
=> Điều đã giả sử là sai => căn 2 là số vô tỉ.