giả sử \(\sqrt{7}\) là số hữu tỉ
=> \(\sqrt{7}\) = \(\dfrac{a}{b}\)(a,b ∈ Z ; b ≠ 0)
Không mất tính tổng quát giả sử (a;b) = 1
=> 7 = \(\dfrac{a^2}{b^2}\)
<=> \(a^2 = b.7^2\)
=> a² ⋮ 7
7 nguyên tố
=> a ⋮ 7
=> a² ⋮ 49
=> 7b² ⋮ 49
=> b² ⋮ 7
=> b ⋮ 7
=> (a;b) ≠ 1 (trái với giả sử)
=> giả sử sai
=> \(\sqrt{7}\) là số vô tỉ