Giả sử căn bậc 2 của 2 là 1 số hữu tỉ ( nếu kết quả ra số hữu tỉ thì điều giả sử là đúng còn nếu ko thì điều giả sử là sai)
Vậy căn 2 = a/b
với a,b thuộc Z, b khác 0 và a/b là 1 phân số tối giản.
bình phương hai vế ta được: 2=a^2/b^2
suy ra: a^2=2b^2
Vậy a^2 là số chẵn, suy ra a là số chẵn.
nên a=2m, m thuộc Z(m là 1 tham số), ta được:
(2m)^2=a^2=2b^2
suy ra: b^2=(2m)^2/2=2m^2
Vậy b^2 là số chẵn suy ra b là số chẵn.
nên b=2n, n thuộc Z(n là tham số)
Như vậy: a/b = 2m/2n ko phải là phân số tối giản, trái với giả sử ban đầu.
Vậy căn bậc 2 của 2 là 1 số vô tỉ.
Giả sử tồn tại số hữu tỉ có bình phương bằng 2, là \(\frac{m}{n}\) ( ƯCLN(m;n) = 1 )
\(\Rightarrow\frac{m^2}{n^2}=2\)
\(\Rightarrow m^2=2n^2\)
Mà ƯCLN(m;n)=1 nên \(m^2\) chia hết cho 2
⇒mchia hết cho 2 ( vì 2 là số nguyên tố )
Đặt \(m=2k\)
\(\Rightarrow4k^2=2n^2\)
\(\Rightarrow n^2=2k^2\)
Tương tự, n phải chia hết cho 2
DO đó ƯCLN(m;n) = 2, trái với điều kiện.
Vậy ...