Giả sử \(\sqrt{7}\) là số hữu tỉ \(\Rightarrow\sqrt{7}=\dfrac{m}{n}\left(m,n\in Z;n\ne0\right)\) sao cho \(\left(m,n\right)=1\)
\(\Rightarrow m^2=7n^2\) \(\Rightarrow m^2⋮7\)
Do 7 là số nguyên tố nên \(m⋮7\Rightarrow m=7k\Rightarrow49k^2=7n^2\Rightarrow n^2=7k^2\)
Suy luận như trên ta được \(n⋮7\)
\(\Rightarrow7\inƯC\left(m,n\right)\) (mâu thuẫn giả thiết \(\left(m,n\right)=1\))
Vậy \(\sqrt{7}\) là số vô tỉ
Giả sử phản chứng √7 là số hữu tỉ ⇒ √7 có thể biểu diễn dưới dạng phân số tối giản m/n √7= m/n ⇒ 7 = m²/n² ⇒ m² =7n² ⇒ m² chia hết cho n² ⇒ m chia hết cho n (vô lý vì m/n là phân số tối giản nên m không chia hết cho n) Vậy giả sử phản chứng là sai. Suy ra √7 là số vô tỉ.
