Giả sử căn 2 là một số hữu tỷ => căn 2 = a/b (a, b = 1 và a, b thuộc Z).
Ta có :
căn 2 = a/b <=> 2 = a2 / b2 (1)
<=> a2 = 2b2 => a2 chia hết cho 2 <=> a chia hết cho 2 => a = 2k (k thuộc Z)
Thay a = 2k vào (1) ta có :
2 = 4k2 / b2 <=> 2b2 = 4k2 <=> b2 = 2k2 => b2 chia hết cho 2 => b = 2k (k thuộc Z)
Từ đó => Ước chung của a và b là 2 => Điều này trái giả thiết.
Do đó căn 2 là số vô tỉ.
---Tớ ko biết dùng CT---