Số vô tỷ là một khái niệm toán học quan trọng, và việc hiểu cách chứng minh một số là số vô tỷ là nền tảng cho kiến thức toán học sâu hơn. Bài viết này cung cấp phương pháp chứng minh chi tiết, dễ hiểu, cùng các ví dụ minh họa và bài tập vận dụng cho học sinh lớp 7, giúp nắm vững chủ đề này.
I. Phương Pháp Chứng Minh Số Vô Tỷ
Để chứng minh một số là số vô tỷ, chúng ta thường sử dụng phương pháp phản chứng. Phương pháp này bao gồm ba bước cơ bản:
- Bước 1: Giả sử số đó là số hữu tỷ.
- Bước 2: Từ giả thiết, sử dụng các tính chất đã biết (như lũy thừa, chia hết, tính chất số nguyên tố) để đi đến mâu thuẫn hoặc điều vô lý.
- Bước 3: Kết luận rằng giả thiết ban đầu là sai, do đó số đó phải là số vô tỷ.
II. Ví Dụ Minh Họa
Ví dụ 1: Chứng minh $sqrt{2}$ là số vô tỷ.
Lời giải:
Giả sử $sqrt{2}$ là số hữu tỷ.
Khi đó, tồn tại hai số nguyên $a$ và $b$ ($b neq 0$) sao cho $sqrt{2} = frac{a}{b}$.
Ta có thể viết $sqrt{2}$ dưới dạng phân số tối giản $frac{a}{b}$, với $a$ và $b$ là hai số nguyên tố cùng nhau.
Bình phương hai vế, ta được: $2 = frac{a^2}{b^2} implies a^2 = 2b^2$.
Suy ra $a^2$ là số chẵn. Điều này có nghĩa là $a$ cũng phải là số chẵn (vì nếu $a$ lẻ thì $a^2$ lẻ).
Do đó, tồn tại một số nguyên $k$ sao cho $a = 2k$. Thay vào biểu thức trên, ta có $a^2 = (2k)^2 = 4k^2$.
Từ đó, $2b^2 = 4k^2 implies b^2 = 2k^2$.
Suy ra $b^2$ là số chẵn, nên $b$ cũng phải là số chẵn.
Vì cả $a$ và $b$ đều là số chẵn, chúng đều chia hết cho 2. Điều này mâu thuẫn với giả thiết ban đầu là $frac{a}{b}$ là phân số tối giản.
Vậy, giả sử ban đầu là sai. Do đó, $sqrt{2}$ là số vô tỷ (điều phải chứng minh).
Ví dụ 2: Chứng minh $sqrt{3}$ là số vô tỷ.
Lời giải:
Giả sử $sqrt{3}$ là số hữu tỷ.
Khi đó, tồn tại hai số nguyên $m$ và $n$ ($n neq 0$) sao cho $sqrt{3} = frac{m}{n}$ và $(m, n) = 1$.
Bình phương hai vế, ta được $3 = frac{m^2}{n^2} implies m^2 = 3n^2$.
Do đó, $m^2$ chia hết cho 3. Vì 3 là số nguyên tố, nên $m$ cũng chia hết cho 3.
Đặt $m = 3k$ (với $k$ là số nguyên). Thay vào phương trình trên, ta được $(3k)^2 = 3n^2 implies 9k^2 = 3n^2$.
Chia cả hai vế cho 3, ta có $n^2 = 3k^2$.
Suy ra $n^2$ chia hết cho 3, nên $n$ cũng chia hết cho 3.
Vì cả $m$ và $n$ đều chia hết cho 3, điều này mâu thuẫn với giả thiết $(m, n) = 1$.
Vậy, giả sử ban đầu là sai. Do đó, $sqrt{3}$ là số vô tỷ (điều phải chứng minh).
III. Bài Tập Vận Dụng
Bài 1: Chứng minh $sqrt{5}$ là số vô tỷ.
Lời giải:
Sử dụng phương pháp phản chứng tương tự như trên. Giả sử $sqrt{5} = frac{a}{b}$ (phân số tối giản).
Bình phương hai vế: $5 = frac{a^2}{b^2} implies a^2 = 5b^2$.
Do đó, $a^2$ chia hết cho 5. Vì 5 là số nguyên tố, nên $a$ cũng chia hết cho 5.
Đặt $a = 5k$. Thay vào phương trình: $(5k)^2 = 5b^2 implies 25k^2 = 5b^2 implies b^2 = 5k^2$.
Suy ra $b^2$ chia hết cho 5, nên $b$ cũng chia hết cho 5.
Cả $a$ và $b$ đều chia hết cho 5, mâu thuẫn với giả thiết $(a, b) = 1$.
Vậy, $sqrt{5}$ là số vô tỷ.
Bài 2: Chứng minh rằng nếu số tự nhiên $a$ không phải là số chính phương thì $sqrt{a}$ là số vô tỷ.
Lời giải:
Giả sử $sqrt{a} = frac{m}{n}$ với $m, n in mathbb{Z}, m neq 0, n neq 0$ và $(m, n) = 1$.
Bình phương hai vế: $a = frac{m^2}{n^2} implies an^2 = m^2$.
Do $a$ không phải là số chính phương, nên $sqrt{a}$ không phải là số tự nhiên, suy ra $n > 1$.
Nếu $n=1$, thì $a=m^2$, điều này có nghĩa là $a$ là số chính phương, mâu thuẫn với giả thiết.
Do đó, tồn tại ít nhất một ước nguyên tố $p$ của $n$ (vì $n > 1$).
Từ $an^2 = m^2$, ta có $m^2$ chia hết cho $p$. Vì $p$ là số nguyên tố, nên $m$ cũng chia hết cho $p$.
Mặt khác, từ $an^2 = m^2$, ta có $a = frac{m^2}{n^2}$. Vì $m$ chia hết cho $p$, nên $m=pk$ với $k in mathbb{Z}$.
Thay vào, ta có $an^2 = (pk)^2 = p^2k^2$.
Vì $p$ là ước của $n$, nên $n = pj$ với $j in mathbb{Z}$. Thay vào, ta có $a(pj)^2 = p^2k^2 implies ap^2j^2 = p^2k^2 implies aj^2 = k^2$.
Điều này có nghĩa là $k^2$ chia hết cho $a$.
Tuy nhiên, lập luận này có thể phức tạp hơn. Cách tiếp cận đơn giản hơn dựa trên tính chất số nguyên tố:
Từ $an^2 = m^2$, suy ra $a = frac{m^2}{n^2}$.
Nếu $a$ không phải là số chính phương, thì khai căn bậc hai của nó là số vô tỷ.
Giả sử ngược lại, $sqrt{a} = frac{m}{n}$ (tối giản).
Nếu $a$ có một thừa số nguyên tố $p$ với số mũ lẻ, thì $a = p^{2k+1} cdot q$, và $sqrt{a}$ sẽ chứa $sqrt{p}$, là số vô tỷ.
Nếu $a$ không phải số chính phương, nó phải chứa ít nhất một thừa số nguyên tố với số mũ lẻ.
Khi đó, $sqrt{a}$ không thể biểu diễn dưới dạng phân số tối giản $frac{m}{n}$.
Chứng minh chi tiết hơn: $an^2 = m^2$. Nếu $a$ không phải số chính phương, thì số mũ của ít nhất một thừa số nguyên tố trong phân tích thừa số nguyên tố của $a$ là lẻ. Ví dụ, $a = p^{2k+1} cdot q$.
Khi đó, $an^2 = p^{2k+1} cdot q cdot n^2 = m^2$.
Vế phải $m^2$ có số mũ của mọi thừa số nguyên tố là chẵn.
Vế trái $p^{2k+1} cdot q cdot n^2$ có số mũ của thừa số nguyên tố $p$ là lẻ (nếu $p$ không chia hết $n$), hoặc chẵn nếu $p$ chia hết $n$ với số mũ phù hợp.
Do sự không khớp về số mũ của thừa số nguyên tố, đẳng thức $an^2 = m^2$ không thể xảy ra nếu $a$ không phải số chính phương và $sqrt{a}$ có thể biểu diễn dưới dạng phân số.
Bài 3: Chứng minh rằng $sqrt{7}-1$ là số vô tỷ.
Lời giải:
Giả sử $sqrt{7}-1$ là số hữu tỷ.
Khi đó, $sqrt{7}-1 = m$, với $m$ là số hữu tỷ.
Suy ra $sqrt{7} = m+1$.
Vì $m$ là số hữu tỷ, nên $m+1$ cũng là số hữu tỷ.
Điều này có nghĩa là $sqrt{7}$ là số hữu tỷ. Tuy nhiên, theo chứng minh tương tự như ví dụ 1 và 2, $sqrt{7}$ là số vô tỷ.
Mâu thuẫn này xảy ra do giả sử ban đầu.
Vậy, $sqrt{7}-1$ là số vô tỷ.
Bài 4: Chứng minh rằng $2sqrt{3}$ là số vô tỷ.
Lời giải:
Giả sử $2sqrt{3} = m$, với $m$ là số hữu tỷ.
Suy ra $sqrt{3} = frac{m}{2}$.
Vì $m$ là số hữu tỷ, nên $frac{m}{2}$ cũng là số hữu tỷ.
Điều này có nghĩa là $sqrt{3}$ là số hữu tỷ, mâu thuẫn với việc $sqrt{3}$ là số vô tỷ đã được chứng minh ở ví dụ 2.
Vậy, giả sử ban đầu là sai. Do đó, $2sqrt{3}$ là số vô tỷ.
Bài 5: Chứng minh rằng tổng của một số hữu tỷ với một số vô tỷ là một số vô tỷ.
Lời giải:
Giả sử tổng của số hữu tỷ $a$ với số vô tỷ $b$ là một số hữu tỷ $c$.
Ta có: $a + b = c$.
Suy ra $b = c – a$.
Vì $c$ và $a$ đều là số hữu tỷ, nên hiệu $c – a$ cũng là số hữu tỷ.
Điều này có nghĩa là $b$ là số hữu tỷ, mâu thuẫn với giả thiết ban đầu là $b$ là số vô tỷ.
Vậy, giả sử ban đầu là sai. Do đó, tổng của một số hữu tỷ với một số vô tỷ là một số vô tỷ.
IV. Bài Tập Tự Luyện
- Chứng minh $3sqrt{2}$ là số vô tỷ.
- Chứng minh $1 + sqrt{5}$ là số vô tỷ.
- Căn bậc hai của một số tự nhiên không phải là số chính phương có phải luôn là số vô tỷ không? Giải thích.
- Cho hai số $a, b$. Xét xem $a$ và $b$ có thể là số vô tỷ không nếu:
a) $a cdot b$ và $a/b$ là số hữu tỷ.
b) $a+b$ và $a cdot b$ là số hữu tỷ ($a+b neq 0$). - Chứng minh rằng hiệu của một số hữu tỷ với một số vô tỷ là một số vô tỷ.
