Giả sử căn 3 không phải số vô tỉ suy ra:
tồn tại số m và n sao cho căn 3 = m/n (m,n là nguyên tố cùng nhau)
khi đó 3n^2 = m^2
=> m chia hết 3, đặt m=3p ( p là số nguyên)
thay m = 3p ta có
3n^2 = 9p^2
n^2 = 3p^2
=> n chia hết cho 3
=> m và n cùng chia hết cho 3
mâu thuẫn với giả thiết ban đầu , m/n tối giản , m,n là nguyên tố cùng nhau
=> căn 3 là số vô tỉ