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² = 7b²
=> a² ⋮ 7
Vì số 7 là số 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ỉ
Mình đánh trong Word nên phông hơi khác, thông cảm nha
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ỉ.
