Giả sử căn 7 là số hữu tỉ. Khi đó
\(\sqrt{7}=\dfrac{a}{b}\left(a,b\in N;a,b>0;\left(a,b\right)=1\right)\)
\(\Rightarrow7b^2=a^2\)
\(\Rightarrow a^2⋮7\Rightarrow a⋮7\Rightarrow a^2⋮49\Rightarrow7b^2⋮49\Rightarrow b^2⋮7\Rightarrow b⋮7\\ \Rightarrow\left(a,b\right)⋮7\Rightarrow1⋮7\left(VL\right)\)
=> giả sử sai .
Vậy căn 7 là số vô tỉ
giả sử √7 là số hữu tỉ
=> √7 = a/b (a,b ∈ Z ; b ≠ 0)
không mất tính tổng quát giả sử (a;b) = 1
=> 7 = a²/b²
<=> a² = b7²
=> 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
=> √7 là số vô tỉ