Chào các em! Hôm nay, cô sẽ hướng dẫn các em chứng minh một mệnh đề quan trọng trong Toán học lớp 10, đó là căn bậc hai của 3 không phải là số hữu tỉ.

Trước khi đi vào bài chứng minh, chúng ta cùng nhắc lại một số khái niệm đã học nhé.

1. Số hữu tỉ là gì?

Số hữu tỉ là số có thể biểu diễn dưới dạng phân số \(\frac{a}{b}\), trong đó \(a\) và \(b\) là các số nguyên và \(b \neq 0\). Phân số \(\frac{a}{b}\) này có thể rút gọn về phân số tối giản, tức là ước chung lớn nhất của \(a\) và \(b\) bằng 1.

2. Phương pháp chứng minh phản chứng

Để chứng minh một mệnh đề nào đó là đúng, đôi khi chúng ta sẽ sử dụng phương pháp chứng minh phản chứng. Phương pháp này gồm các bước sau:
– Bước 1: Giả sử mệnh đề cần chứng minh là sai.
– Bước 2: Từ giả sử sai đó, chúng ta suy luận logic để dẫn đến một điều mâu thuẫn với giả thiết ban đầu hoặc một điều hiển nhiên là sai.
– Bước 3: Khẳng định rằng giả sử ban đầu là sai, suy ra mệnh đề cần chứng minh là đúng.

Bây giờ, chúng ta sẽ áp dụng phương pháp chứng minh phản chứng để chứng minh căn bậc hai của 3 không phải là số hữu tỉ.

3. Chứng minh \(\sqrt{3}\) không phải là số hữu tỉ

Giả sử \(\sqrt{3}\) là một số hữu tỉ.
Theo định nghĩa số hữu tỉ, ta có thể viết \(\sqrt{3}\) dưới dạng phân số tối giản \(\frac{a}{b}\), với \(a, b\) là các số nguyên, \(b \neq 0\), và ước chung lớn nhất của \(a\) và \(b\) là 1 (tức là \(\text{gcd}(a, b) = 1\)).

Ta có:
\(\sqrt{3} = \frac{a}{b}\)

Bình phương hai vế của phương trình, ta được:
\((\sqrt{3})^2 = \left(\frac{a}{b}\right)^2\)
\(3 = \frac{a^2}{b^2}\)

Nhân cả hai vế với \(b^2\), ta có:
\(3b^2 = a^2\) (1)

Từ phương trình (1), ta thấy \(a^2\) là một số chia hết cho 3.
Nếu \(a^2\) chia hết cho 3, thì \(a\) cũng phải chia hết cho 3. (Đây là một tính chất quan trọng: nếu bình phương của một số nguyên chia hết cho một số nguyên tố \(p\), thì số nguyên đó cũng chia hết cho \(p\). Ở đây, 3 là số nguyên tố.)

Vì \(a\) chia hết cho 3, ta có thể viết \(a\) dưới dạng \(a = 3k\), với \(k\) là một số nguyên nào đó.

Bây giờ, chúng ta thế \(a = 3k\) vào phương trình (1):
\(3b^2 = (3k)^2\)
\(3b^2 = 9k^2\)

Chia cả hai vế cho 3, ta được:
\(b^2 = 3k^2\) (2)

Từ phương trình (2), ta thấy \(b^2\) là một số chia hết cho 3.
Tương tự như lập luận với \(a\), nếu \(b^2\) chia hết cho 3, thì \(b\) cũng phải chia hết cho 3.

Như vậy, chúng ta đã suy luận được rằng cả \(a\) và \(b\) đều chia hết cho 3.
Điều này có nghĩa là \(a\) và \(b\) có ít nhất một ước chung là 3.

Tuy nhiên, ở phần đầu của bài chứng minh, chúng ta đã giả sử rằng phân số \(\frac{a}{b}\) là phân số tối giản, tức là \(a\) và \(b\) không có ước chung nào khác 1 (hay \(\text{gcd}(a, b) = 1\)).

Việc \(a\) và \(b\) đều chia hết cho 3 mâu thuẫn với giả thiết ban đầu là \(\frac{a}{b}\) là phân số tối giản.
Mâu thuẫn này xuất phát từ giả sử ban đầu của chúng ta là \(\sqrt{3}\) là một số hữu tỉ.

Do đó, giả sử ban đầu là sai.
Suy ra, \(\sqrt{3}\) không phải là số hữu tỉ.

Các em thấy đấy, thông qua việc sử dụng phương pháp chứng minh phản chứng, chúng ta đã đi đến một kết luận logic và chặt chẽ.

Các em có câu hỏi nào không? Hãy mạnh dạn đặt câu hỏi nhé!