Bối cảnh và vấn đề nghiên cứu
Khóa luận tốt nghiệp đại học chuyên ngành Sư phạm Toán với đề tài "Đa thức và một số ứng dụng" do sinh viên Huỳnh Thị Hòa thực hiện tại Trường Đại học Quảng Nam (năm 2017), dưới sự hướng dẫn của ThS. Dương Thị Thu Thúy. Nghiên cứu tập trung giải quyết bài toán hệ thống hóa lý thuyết đại số về đa thức và xây dựng các phương pháp giải toán ứng dụng trong chương trình phổ thông.
- Lý do chọn đề tài: Trong chương trình toán học phổ thông, chuyên đề đa thức được giới thiệu từ cấp Trung học cơ sở (lớp 7) và tiếp tục xuất hiện xuyên suốt chương trình Trung học phổ thông ở cả hai hình thức tường minh và ẩn tàng. Đa thức đóng vai trò là công cụ giải quyết nhiều dạng toán từ căn bản đến nâng cao như phân tích đa thức thành nhân tử, giải phương trình đại số các bậc, chứng minh tính chất số học và bất đẳng thức. Tuy nhiên, nội dung đa thức trong sách giáo khoa hiện hành chủ yếu dừng lại ở mức độ cơ bản, các dạng bài tập ứng dụng phân tán, thiếu tính liên tục, dẫn đến việc học sinh gặp nhiều lúng túng khi vận dụng. Đề tài được thực hiện nhằm củng cố, hệ thống hóa kiến thức chuyên môn đại số để phục vụ trực tiếp cho công tác giảng dạy toán học.
- Mục tiêu nghiên cứu: Cung cấp hệ thống kiến thức cơ sở về lý thuyết đa thức một ẩn; đi sâu nghiên cứu và phân loại các phương pháp ứng dụng của đa thức; xây dựng quy trình giải cụ thể cho từng dạng toán đại số và số học liên quan.
- Nhiệm vụ nghiên cứu:
- Tổng hợp các khái niệm, tính chất và các định lý cơ bản về đa thức một ẩn trên các trường số.
- Phân tích và xây dựng hệ thống bài tập ứng dụng đa thức trong phân tích nhân tử, giải phương trình đại số, số học và các bài toán xác định đa thức.
- Đối tượng nghiên cứu: Các tính chất của đa thức và ứng dụng của đa thức trong việc giải các bài toán số học, giải phương trình đại số, phân tích đa thức thành nhân tử và xác định đa thức.
- Phạm vi nghiên cứu: Các dạng toán đa thức trong phạm vi chương trình Toán Trung học phổ thông và phần kiến thức đại số đại cương nền tảng liên quan.
Cơ sở lý thuyết và phương pháp
Khóa luận xây dựng trên nền tảng đại số trừu tượng và giải tích toán học cơ bản, thiết lập các mối liên hệ giữa cấu trúc vành đa thức và các bài toán sơ cấp.
- Khung lý thuyết và khái niệm sử dụng:
- Cấu trúc vành đa thức: Khái niệm đa thức một ẩn trên vành giao hoán có đơn vị $A$, ký hiệu $A[x]$, tập hợp đa thức trên các trường số hữu tỉ $\mathbb{Q}[x]$, số nguyên $\mathbb{Z}[x]$, số thực $\mathbb{R}[x]$ và số phức $\mathbb{C}[x]$. Khái niệm đa thức khả quy và bất khả quy trên trường cơ sở.
- Bậc và các phép toán: Quy tắc xác định bậc của tổng $\deg(f + g) \le \max(\deg f, \deg g)$ và bậc của tích $\deg(f \cdot g) = \deg f + \deg g$; các tính chất giao hoán, kết hợp, phần tử không, phần tử đối và tính phân phối của phép nhân đối với phép cộng.
- Nghiệm và tính chất chia hết: Khái niệm nghiệm của đa thức, nghiệm đơn, nghiệm bội bậc $k$; Định lý Bézout về số dư trong phép chia đa thức cho nhị thức bậc nhất $x - \alpha$; thuật toán chia qua Sơ đồ Horner.
- Hệ thống định lý nghiệm: Định lý khai triển một đa thức theo các nghiệm; Định lý Vi-ét thuận và Vi-ét đảo cho đa thức bậc $n$ (đặc biệt hóa cho phương trình bậc hai và bậc ba); Định lý về nghiệm hữu tỉ của đa thức hệ số nguyên (điều kiện phân số tối giản $p/q$ là nghiệm thì $p | a_0$ và $q | a_n$); Định lý nghiệm nguyên của đa thức dựa trên tính nguyên của các tỉ số $f(1)/(1 - \alpha)$ và $f(-1)/(-1 - \alpha)$.
- Phương pháp nghiên cứu:
- Phương pháp nghiên cứu tài liệu và đọc hiểu tài liệu chuyên khảo toán học.
- Phương pháp phân tích, tổng hợp và hệ thống hóa kiến thức lý thuyết thành các chuyên đề chuyên sâu.
- Phương pháp trao đổi, thảo luận khoa học với cán bộ hướng dẫn và chuyên gia chuyên ngành toán.
- Nguồn dữ liệu: Các giáo trình Đại số đại cương, tài liệu chuyên khảo bồi dưỡng học sinh giỏi Toán THPT và các bài báo toán học trong nước.
| Khung lý thuyết | Định lý / Công cụ toán học áp dụng | Phạm vi áp dụng trong khóa luận |
|---|---|---|
| Cấu trúc đa thức | Định nghĩa vành $A[x]$, bậc đa thức | Thiết lập nền tảng lý thuyết ở Chương 1 |
| Phép chia đa thức | Định lý Bézout, Sơ đồ Horner | Tìm thương, số dư, nhẩm nghiệm và hạ bậc đa thức |
| Mối liên hệ nghiệm - hệ số | Định lý Vi-ét thuận và đảo | Giải hệ phương trình, biện luận nghiệm, số học |
| Nghiệm đại số | Định lý nghiệm hữu tỉ, định lý nghiệm nguyên | Phân tích nhân tử, giải phương trình bậc cao |
| Đại số phức & Lượng giác | Công thức Moivre, căn bậc $n$ của đơn vị | Phân tích đa thức thành nhân tử trên $\mathbb{R}$ và $\mathbb{C}$ |
Nội dung chính theo từng chương
Chương 1: Kiến thức chuẩn bị
Chương 1 hệ thống toàn bộ cơ sở lý thuyết đại số của đa thức một ẩn, làm tiền đề công cụ cho các ứng dụng ở chương sau:
- Đa thức một ẩn và các phép toán: Trình bày định nghĩa đa thức bậc $n$ dạng $f(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0$ ($a_n \ne 0$) trên vành giao hoán có đơn vị $A$. Phân loại đa thức theo trường số ($\mathbb{Z}[x], \mathbb{Q}[x], \mathbb{R}[x], \mathbb{C}[x]$) và định nghĩa đa thức bất khả quy. Xây dựng các tiên đề và tính chất của phép cộng, trừ, nhân đa thức.
- Bậc của đa thức: Thiết lập các định lý về bậc của đa thức tổng và đa thức tích, kèm theo các chứng minh chặt chẽ và ví dụ minh họa cụ thể cho từng trường hợp bằng các đa thức bậc cụ thể.
- Nghiệm của đa thức và các định lý cơ bản: Định nghĩa nghiệm, nghiệm bội $k$. Chứng minh định lý Bézout: dư của phép chia đa thức $f(x)$ cho $x - \alpha$ chính là giá trị $f(\alpha)$. Trình bày cấu trúc bảng tính Sơ đồ Horner để xác định hệ số của đa thức thương $g(x)$ và phần dư $r$.
- Định lý khai triển và hệ thống định lý Vi-ét: Chứng minh định lý khai triển $f(x) = (x - \alpha_1)^{k_1} \dots (x - \alpha_m)^{k_m} g(x)$ bằng phương pháp quy nạp toán học. Trình bày dạng tổng quát của Định lý Vi-ét thuận đối với đa thức bậc $n$, khai triển chi tiết hệ thức cho phương trình bậc hai và phương trình bậc ba; trình bày Định lý Vi-ét đảo về điều kiện để các số thực là nghiệm của một đa thức.
- Định lý về nghiệm hữu tỉ và nghiệm nguyên: Chứng minh điều kiện nghiệm hữu tỉ tối giản $p/q$ của đa thức hệ số nguyên dẫn đến $p | a_0$ và $q | a_n$. Rút ra hệ quả: mọi nghiệm nguyên của đa thức hệ số nguyên phải là ước của hệ số tự do $a_0$; nếu hệ số cao nhất $a_n = 1$ thì mọi nghiệm hữu tỉ đều là nghiệm nguyên. Chứng minh định lý kiểm tra nghiệm nguyên thông qua tính chia hết của $f(1)$ và $f(-1)$.
Chương 2: Ứng dụng của đa thức
Chương 2 trình bày 4 nhóm ứng dụng trọng tâm của đa thức thông qua hệ thống phương pháp luận và các bài toán điển hình:
- 2.1. Phân tích đa thức thành nhân tử:
- Phương pháp dùng nghiệm phức: Tận dụng tính chất nghiệm phức liên hợp của đa thức hệ số thực để ghép thành các tam thức bậc hai thực. Tác giả giải quyết bài toán phân tích $x^4 + x^2 + 1$, $x^4 + 4$, $x^8 - 1$ và đưa ra bài toán tổng quát phân tích $h(x) = x^{2n} - 1$ trên trường thực $\mathbb{R}$ và trường phức $\mathbb{C}$ thông qua căn bậc $2n$ của đơn vị: $$h(x) = (x - 1)(x + 1) \prod_{k=1}^{n-1} \left(x^2 - 2x\cos\frac{k\pi}{n} + 1\right)$$
- Phương pháp hệ số bất định: Đồng nhất hệ số các hạng tử cùng bậc để tìm thừa số phân tích cho đa thức bậc 4 không có nghiệm hữu tỉ và đa thức chứa tham số $m$.
- Phương pháp đặt ẩn phụ: Chuyển đổi đa thức bậc cao về đa thức bậc hai ẩn phụ để tìm nhân tử.
- Phương pháp sử dụng cách tìm nghiệm nguyên và nghiệm hữu tỉ: Kết hợp định lý nghiệm hữu tỉ và Sơ đồ Horner để tách nhân tử.
- 2.2. Giải phương trình đại số:
- Phương trình bậc hai: Ứng dụng tính chất dấu tam thức bậc hai và định lý Vi-ét để chứng minh nghiệm thuộc khoảng $(-1; 1)$ hoặc chứng minh họ tam thức bậc hai luôn có nghiệm thực.
- Giải phương trình bậc ba: Trình bày công thức nghiệm Cardano thông qua việc triệt tiêu số hạng bậc hai ($y = x + a/3$), đưa về dạng chính tắc $y^3 + py + q = 0$, giải phương trình bậc hai phụ trợ theo ẩn $u^3, v^3$ và biện luận theo biệt thức $\Delta = \frac{q^2}{4} + \frac{p^3}{27}$. Đồng thời, tác giả xây dựng phương pháp lượng giác hóa và đại số hóa để giải và biện luận phương trình dạng $4x^3 - 3x = m$ với các trường hợp $|m| \le 1$, $|m| > 1$ và $m \in \mathbb{R}$.
- Giải phương trình bậc bốn: Trình bày phương pháp khử số hạng bậc ba ($y = x + a/4$) đưa về $y^4 + my^2 + ny + r = 0$, sau đó tạo biểu thức chính phương $(y^2 + t)^2 = (2t - m)y^2 - ny + (t^2 - r)$ với $t$ là nghiệm của phương trình bậc ba phụ trợ $8t^3 - 4mt^2 - 8rt + 4mr - n^2 = 0$. Tổng kết phương pháp giải 5 dạng phương trình bậc bốn đặc biệt: phương trình trùng phương, phương trình dạng $(x-a)^4 + (x-b)^4 = c$, phương trình chứa tích hai tam thức bậc hai, phương trình đối xứng và phương trình dạng hồi quy $ax^4 + bx^3 + cx^2 + dx + e = 0$ với $ad^2 - eb^2 = 0$.
- Giải phương trình bậc cao hơn bốn: Phương pháp nhẩm nghiệm bằng hệ số (tổng hệ số bằng 0 có nghiệm $x=1$, tổng đan dấu bằng 0 có nghiệm $x=-1$), phương pháp hệ số bất định tách tam thức bậc hai (như giải phương trình bậc tám $x^8 - 2x^6 - 12x^4 + 13x^2 - 42 = 0$), phương pháp coi ẩn là tham số và đặt ẩn phụ.
- 2.3. Sử dụng đa thức trong các bài toán số học:
- Chứng minh chia hết bằng quy nạp đa thức: Chứng minh $(x-1)^{2n+1} + x^{n+2}$ chia hết cho $x^2 - x + 1$ với mọi $n \in \mathbb{N}^*$.
- Đặc trưng chia hết theo số nguyên tố: Chứng minh với đa thức hệ số nguyên $f(x) = ax^4 + bx^3 + cx^2 + dx + e$, nếu $f(x) \ \vdots \ p$ với mọi $x \in \mathbb{Z}$ ($p \ge 5$ là số nguyên tố) thì tất cả các hệ số $a, b, c, d, e$ đều chia hết cho $p$.
- Chứng minh tính không là số chính phương của biểu thức $n^3 + an^2 + bn + c$ với mọi bộ số nguyên $a, b, c$.
- Giải hệ phương trình đối xứng hoán vị bậc ba tìm nghiệm nguyên $(x, y, z) \in {(1;1;1), (2;2;2)}$.
- 2.4. Bài toán xác định đa thức:
- Xác định bằng hệ số bất định: Tìm đa thức thỏa mãn phương trình hàm sai phân $f(x) - f(x-1) = x^3$, xác định đa thức là lũy thừa bậc ba của đa thức khác.
- Xác định theo đặc trưng số học: Áp dụng định lý Bézout giải bài toán chia có dư, chứng minh không tồn tại đa thức $f(x) \in \mathbb{Z}[x]$ thỏa mãn đồng thời $f(2017) = 2016$ và $f(2019) = 2017$, bài toán xác định đa thức bậc $n$ nhận giá trị $m$ tại $n$ điểm phân biệt.
- Xác định theo đặc trưng nghiệm: Khảo sát sự tồn tại của đa thức dạng $f(x) = x^4 + bx^2 + c$, tìm tất cả các đa thức bậc $n$ có hệ số cao nhất $n!$ và hệ số tự do $(-1)^n n(n-1)$ có toàn bộ nghiệm thực nằm trong các khoảng đơn vị $[k-1; k]$.
| Nhóm ứng dụng | Phương pháp chính | Dạng bài tiêu biểu |
|---|---|---|
| Phân tích nhân tử | Nghiệm phức, hệ số bất định, nghiệm hữu tỉ | Phân tích $x^{2n}-1$ trên $\mathbb{R}$, đa thức bậc 4 và 5 |
| Phương trình đại số | Công thức Cardano, tách bình phương phụ trợ, lượng giác hóa | Phương trình bậc 3 chính tắc, bậc 4 tổng quát, phương trình bậc 8 |
| Số học | Quy nạp toán học, đồng dư modulo nguyên tố, phân tích nhân tử | Chứng minh chia hết cho $p \ge 5$, bài toán số chính phương |
| Xác định đa thức | Hệ số bất định, quan hệ sai phân, đánh giá miền nghiệm | Phương trình sai phân $f(x)-f(x-1)=x^3$, đa thức có nghiệm bị chặn |
Kết quả và đóng góp
Khóa luận đạt được các kết quả cụ thể sau:
- Hệ thống hóa lý thuyết: Tổng hợp đầy đủ các định lý cốt lõi về đa thức một ẩn trên các trường số từ cơ bản đến nâng cao, thiết lập chứng minh chi tiết cho các định lý quan trọng (định lý khai triển, định lý nghiệm hữu tỉ, định lý nghiệm nguyên, định lý Vi-ét).
- Chuẩn hóa quy trình giải toán: Xây dựng hệ thống phân loại chi tiết và các thuật toán giải mạch lạc cho 4 mảng ứng dụng:
- Thuật toán phân tích tổng quát cho đa thức $x^{2n}-1$ trên trường số thực $\mathbb{R}$.
- Quy trình đưa phương trình bậc ba và bậc bốn tổng quát về các phương trình phụ trợ giải được bằng căn thức hoặc lượng giác.
- Phương pháp chứng minh các mệnh đề số học phức tạp dựa vào giá trị của đa thức tại các điểm nguyên đặc biệt ($x = 0, 1, 2, 3, 4$).
- Đóng góp về mặt học liệu: Công trình hoàn thiện một tài liệu tham khảo có tính hệ thống cao, phục vụ trực tiếp cho sinh viên ngành Sư phạm Toán, giáo viên THPT trong công tác bồi dưỡng học sinh giỏi và ôn luyện các kỳ thi toán học.
Hạn chế và hướng nghiên cứu tiếp
- Hạn chế:
- Đề tài tập trung chủ yếu vào mặt phương pháp giải toán lý thuyết, chưa tiến hành thực nghiệm sư phạm hoặc đánh giá hiệu quả tiếp thu của học sinh trên lớp học thực tế.
- Nội dung nghiên cứu giới hạn ở đa thức một ẩn trong chương trình phổ thông, chưa mở rộng sang lý thuyết đa thức nhiều ẩn, đa thức đối xứng nhiều biến hoặc đa thức trên các cấu trúc đại số trừu tượng hơn.
- Hướng nghiên cứu tiếp:
- Mở rộng nghiên cứu đa thức nhiều ẩn và các ứng dụng giải hệ phương trình nhiều ẩn phức tạp.
- Thiết kế hệ thống giáo án chuyên đề và xây dựng quy trình thực nghiệm sư phạm giảng dạy chuyên đề đa thức cho học sinh chuyên toán THPT.
Giá trị tham khảo
Khóa luận là nguồn tài liệu hữu ích cho:
- Sinh viên chuyên ngành Sư phạm Toán: Dùng làm tài liệu củng cố kiến thức đại số đại cương và rèn luyện kỹ năng phân loại phương pháp giải toán sơ cấp trước khi thực tập và giảng dạy.
- Giáo viên dạy Toán THCS và THPT: Dùng làm tài liệu tham khảo để biên soạn chuyên đề bồi dưỡng học sinh giỏi về phương trình đại số, số học và xác định đa thức.
- Phần đáng tham khảo nhất: Mục phân loại chi tiết các dạng phương trình bậc ba, bậc bốn tổng quát (Chương 2.2) và các kỹ thuật xác định đa thức dựa trên tính chất số học và đặc trưng nghiệm (Chương 2.4).
Câu hỏi thường gặp
- Định lý về nghiệm hữu tỉ được khóa luận phát biểu và áp dụng như thế nào? Khóa luận nêu định lý: Nếu phân số tối giản $p/q$ là nghiệm của đa thức hệ số nguyên $f(x) = a_n x^n + \dots + a_0$ ($a_n \ne 0$) thì $p$ là ước của hệ số tự do $a_0$ và $q$ là ước của hệ số cao nhất $a_n$. Khóa luận áp dụng định lý này để lập tập hợp các giá trị thử nghiệm, sau đó kết hợp Sơ đồ Horner để tìm nghiệm hữu tỉ cho đa thức bậc 5: $f(x) = 6x^5 + 5x^4 - 4x^2 - 3x + 2$, xác định được các nghiệm là $-1, 1/2, -2/3$.
- Phương pháp Cardano giải phương trình bậc ba được trình bày theo những bước nào? Phương trình bậc ba tổng quát $Ax^3 + Bx^2 + Cx + D = 0$ được chia cho $A$ rồi đặt ẩn phụ $y = x + a/3$ để triệt tiêu số hạng bậc hai, đưa về dạng $y^3 + py + q = 0$. Tiếp tục đặt $y = u + v$ với điều kiện $3uv + p = 0$, dẫn đến $u^3$ và $v^3$ là nghiệm của phương trình bậc hai $X^2 - qX - p^3/27 = 0$. Nghiệm của phương trình phụ thuộc vào dấu của biệt thức $\Delta = q^2/4 + p^3/27$: nếu $\Delta > 0$ có một nghiệm thực và hai nghiệm phức liên hợp; nếu $\Delta = 0$ có ba nghiệm thực (trong đó có một nghiệm kép); nếu $\Delta < 0$ có ba nghiệm thực phân biệt.
- Đa thức tổng quát $x^{2n} - 1$ được phân tích thành nhân tử trên trường số thực $\mathbb{R}$ như thế nào? Tác giả tìm các căn bậc $2n$ của 1 trên trường phức $\mathbb{C}$ theo công thức $x_k = \cos\frac{k\pi}{n} + i\sin\frac{k\pi}{n}$ ($k = 0, 1, \dots, 2n-1$). Trên $\mathbb{R}$, đa thức có hai nghiệm thực là $1$ và $-1$, cùng với $2n - 2$ nghiệm phức đôi một liên hợp $x_k$ và $x_{2n-k}$. Bằng cách nhân từng cặp nhân tử phức liên hợp $(x - x_k)(x - x_{2n-k}) = x^2 - 2x\cos\frac{k\pi}{n} + 1$, đa thức được phân tích thành tích của $(x-1)$, $(x+1)$ và $n-1$ tam thức bậc hai bất khả quy trên $\mathbb{R}$.
- Thuật toán giải phương trình bậc bốn tổng quát trong khóa luận thực hiện ra sao khi không thể đoán nghiệm? Phương trình được đưa về dạng chính tắc $y^4 + my^2 + ny + r = 0$ bằng phép đổi biến $y = x + a/4$. Sau đó biểu diễn phương trình dưới dạng $(y^2 + t)^2 = (2t - m)y^2 - ny + (t^2 - r)$. Để vế phải là một bình phương đủ của nhị thức bậc nhất, biệt thức của nó phải bằng 0: $\Delta = n^2 - 4(2t - m)(t^2 - r) = 0$, dẫn đến phương trình bậc ba phụ trợ theo ẩn $t$: $8t^3 - 4mt^2 - 8rt + 4mr - n^2 = 0$. Giải phương trình này tìm $t \ge m/2$, sau đó đưa phương trình bậc bốn về dạng hiệu hai bình phương để giải hai phương trình bậc hai tương ứng.
- Khóa luận chứng minh điều kiện nào để một đa thức $f(x)$ bậc bốn luôn chia hết cho số nguyên tố $p \ge 5$? Với đa thức $f(x) = ax^4 + bx^3 + cx^2 + dx + e \in \mathbb{Z}[x]$, nếu $f(x) \ \vdots \ p$ với mọi $x \in \mathbb{Z}$ ($p \ge 5$), tác giả tính các giá trị $f(0), f(1), f(2)$ và sử dụng tính nguyên tố cùng nhau giữa các hệ số nguyên nhỏ ($2, 3, 4, 6$) với $p$ để thiết lập các hệ đồng dư tuyến tính, từ đó chứng minh từng hệ số riêng biệt $a, b, c, d, e$ đều bắt buộc phải chia hết cho $p$.
Kết luận
Khóa luận "Đa thức và một số ứng dụng" của Huỳnh Thị Hòa đã hệ thống hóa một cách chặt chẽ lý thuyết đa thức một ẩn và xây dựng các phương pháp giải chi tiết cho nhiều dạng toán đại số, số học trong chương trình phổ thông. Các nội dung từ phân tích nhân tử, giải phương trình bậc cao bằng căn thức và lượng giác, đến giải toán số học và phương trình hàm sai phân đều được phân loại và trình bày logic kèm theo các ví dụ giải mẫu hoàn chỉnh. Đây là một công trình tổng kết lý thuyết và phương pháp giải toán có giá trị thực tiễn đối với công tác giảng dạy và học tập môn Toán ở cấp Trung học phổ thông.