Giả sử căn 3 là số hữu tỉ thì căn 3 viết được dưới dạng m/n với m,n với m,n thuộc N , n ≠ 0 và (m,n)=1
Ta có thể CM n>1
Ta có: m^2 = 3.n^2
=> m^2 chia hết cho n^2
=> m^2 chia hết cho p (p là 1 ước nguyên tố nào đó của n)
=> m và n có ước chung là p ; trái với giả sử (m,n)=1
Vậy căn 3 là số vô tỉ