Dùng phương pháp chứng minh phản chứng để chứng minh mệnh đề sau: Với n là số nguyên dương, nếu n^2 chia hết cho 3 thì n chia hết cho 3. Chứng minh √2 là số vô tỉ