Giả sử √aa là số hữu tỉ .
Đặt √a=pqa=pq (p; q ∈∈ N; q khác 0 và (p;q) = 1)
=> a=p2q2a=p2q2 => a.q2 = p2
Vì p2 là số chính phương nên a.q2 viết được dưới dạng tích của các số với lũy thừa bằng 2
Mà p; q nguyên tố cùng nhau nên a viết được dưới dạng lũy thừa bằng 2 => a là số chính phương (trái với giả thiết)
=> Điều giả sử sai
Vậy √aa là số vô tỉ