Hôm nay, chúng ta sẽ cùng nhau giải một bài toán rất thú vị và kinh điển trong chương trình Toán học, đó là chứng minh rằng số \(1/\sqrt{2}\) là một số vô tỉ. Đây là một dạng toán rất hay giúp các em rèn luyện tư duy logic và kỹ năng chứng minh.

Trước khi bắt đầu, chúng ta hãy nhắc lại một chút về khái niệm “số hữu tỉ” và “số vô tỉ”:

Số hữu tỉ là những số có thể viết được dưới dạng phân số tối giản \(a/b\), trong đó \(a\) và \(b\) là các số nguyên, với \(b\) khác 0. Điều quan trọng là \(a\) và \(b\) phải nguyên tố cùng nhau (tức là ước chung lớn nhất của chúng bằng 1, hay phân số đã ở dạng tối giản).

Số vô tỉ là những số không thể viết được dưới dạng phân số \(a/b\) như trên.

Để chứng minh một số là vô tỉ, phương pháp chúng ta thường dùng là phương pháp chứng minh bằng phản chứng. Tức là, chúng ta sẽ giả sử điều ngược lại là đúng (số đó là hữu tỉ), sau đó thực hiện các bước suy luận. Nếu quá trình suy luận này dẫn đến một điều mâu thuẫn (không hợp lý), thì có nghĩa là giả định ban đầu của chúng ta là sai, và từ đó kết luận điều cần chứng minh là đúng.

Bây giờ, chúng ta cùng bắt tay vào bài toán nhé!

Bài toán: Chứng minh rằng \(1/\sqrt{2}\) là số vô tỉ.

Lời giải chi tiết:

Bước 1: Giả sử điều ngược lại (Phản chứng)

Chúng ta sẽ giả sử rằng \(1/\sqrt{2}\) là một số hữu tỉ.

Nếu \(1/\sqrt{2}\) là số hữu tỉ, theo định nghĩa, chúng ta có thể viết nó dưới dạng một phân số tối giản:

\(1/\sqrt{2} = a/b\)

trong đó \(a\) và \(b\) là các số nguyên, \(b \neq 0\), và điều cực kỳ quan trọng là \(a\) và \(b\) phải nguyên tố cùng nhau (phân số \(a/b\) là tối giản).

Bước 2: Biến đổi phương trình

Từ đẳng thức \(1/\sqrt{2} = a/b\), chúng ta có thể thực hiện một số biến đổi đại số.

Để dễ dàng hơn trong việc tính toán, chúng ta có thể đảo ngược cả hai vế của phương trình (vì cả hai vế đều khác 0):

\(\sqrt{2} = b/a\)

(Lưu ý: Vì \(b \neq 0\), nên \(a\) cũng phải khác 0 để phân số \(b/a\) có nghĩa. Nếu \(a=0\), thì \(1/\sqrt{2} = 0\), điều này vô lý).

Tiếp theo, để loại bỏ dấu căn bậc hai, chúng ta sẽ bình phương cả hai vế của phương trình:

\((\sqrt{2})^2 = (b/a)^2\)

\(2 = b^2/a^2\)

Bây giờ, chúng ta nhân \(a^2\) lên cả hai vế để loại bỏ mẫu số:

\(2a^2 = b^2\)

Bước 3: Phân tích và tìm mâu thuẫn

Chúng ta có đẳng thức \(2a^2 = b^2\).

Từ đẳng thức này, chúng ta thấy rằng \(b^2\) phải là một số chẵn (vì \(b^2\) bằng 2 nhân với một số nguyên \(a^2\)).

Nếu \(b^2\) là một số chẵn, suy ra \(b\) cũng phải là một số chẵn.

(Giải thích thêm: Nếu \(b\) là số lẻ, thì \(b\) có dạng \(2k+1\) với \(k\) là số nguyên. Khi đó \(b^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2+2k) + 1\), là một số lẻ. Điều này mâu thuẫn với việc \(b^2\) là số chẵn. Vậy, \(b\) phải là số chẵn).

Vì \(b\) là một số chẵn, chúng ta có thể viết \(b\) dưới dạng \(2k\) với \(k\) là một số nguyên nào đó (ví dụ: \(b=2, 4, 6, …\) thì \(k=1, 2, 3, …\)).

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

\(2a^2 = (2k)^2\)

\(2a^2 = 4k^2\)

Chia cả hai vế cho 2, chúng ta được:

\(a^2 = 2k^2\)

Tương tự như trường hợp của \(b^2\), từ đẳng thức \(a^2 = 2k^2\), chúng ta thấy rằng \(a^2\) phải là một số chẵn (vì \(a^2\) bằng 2 nhân với một số nguyên \(k^2\)).

Nếu \(a^2\) là một số chẵn, suy ra \(a\) cũng phải là một số chẵn (theo lập luận tương tự như của \(b\)).

Bước 4: Kết luận mâu thuẫn

Qua các bước phân tích, chúng ta đã đi đến hai kết luận quan trọng:

1. \(b\) là số chẵn.

2. \(a\) là số chẵn.

Điều này có nghĩa là cả \(a\) và \(b\) đều chia hết cho 2. Hay nói cách khác, \(a\) và \(b\) có một ước chung là 2.

Tuy nhiên, ban đầu chúng ta đã giả sử rằng \(a\) và \(b\) là các số nguyên tố cùng nhau (phân số \(a/b\) là tối giản), tức là chúng không có ước chung nào khác ngoài 1.

Đây chính là một sự mâu thuẫn!

Bước 5: Kết luận cuối cùng

Vì giả định ban đầu của chúng ta (rằng \(1/\sqrt{2}\) là số hữu tỉ) đã dẫn đến một mâu thuẫn logic, điều đó có nghĩa là giả định đó là sai.

Vậy, \(1/\sqrt{2}\) không thể là số hữu tỉ.

Do đó, \(1/\sqrt{2}\) là một số vô tỉ.

Các em thấy đấy, phương pháp phản chứng thật mạnh mẽ phải không nào? Nó giúp chúng ta chứng minh được những điều tưởng chừng như hiển nhiên nhưng lại cần lập luận chặt chẽ. Hi vọng bài giải này giúp các em hiểu rõ hơn về số vô tỉ và cách chứng minh chúng.

Chúc các em học tốt!