Giả sử căn 2 là số hữu tỉ
=> √2 = a/b với a, b nguyên, (a ; b) = 1
<=> 2 = a²/b²
<=> b² = a²/2
=> a² chia hết cho 2 hay a chia hết cho 2 (a nguyên tố)
Đặt a = 2k
<=> 2 = (2k)²/b²
<=> b² = 2k²
<=> b chia hết cho hai
Ta được a, b cùng chia hết cho 2 ( trái với (a;b)=1)
Vậy căn 2 phải là số vô tỉ
Giả sử căn 2 là số hữu tỉ
=> √2 = a/b với a, b nguyên, (a ; b) = 1
<=> 2 = a²/b²
<=> b² = a²/2
=> a² chia hết cho 2 hay a chia hết cho 2 (a nguyên tố)
Đặt a = 2k
<=> 2 = (2k)²/b²
<=> b² = 2k²
<=> b chia hết cho hai
Ta được a, b cùng chia hết cho 2 ( trái với (a;b)=1)
Vậy căn 2 phải là số vô tỉ