Do n không chính phương nên trong phân tích ra thừa số nguyên tố của n có ít nhất một thừa số p với số mũ lẻ, viết n=m^2.k với k không chia hết cho số chính phương nào, dễ thấy p chia hết k.
Vậy Căn (n) = m.Căn (k) do đó chỉ cần chứng minh Căn (k) vô tỷ.
Bây giờ giả sử Căn (k) = a/b với (a,b) = 1 => k.b^2 = a^2
=> p chia hết a^2, vì p nguyên tố nên p chia hết a, dẫn đến p^2 chia hết a^2.
Như vậy b^2 phải chia hết cho p vì k không chia hết cho p^2, dẫn đến p chia hết b, điều này chứng tỏ (a,b) = p > 1. (Mâu thuẫn)
Tóm lại Căn (k) là vô tỷ, nói cách khác Căn (n) vô tỷ.