Bối cảnh và vấn đề nghiên cứu

Luận văn thạc sĩ toán học với đề tài "Khảo sát nghiệm của các phương trình sinh bởi đạo hàm và nguyên hàm của một đa thức" được tác giả Đàm Thu Hải thực hiện năm 2017 tại Trường Đại học Khoa học thuộc Đại học Thái Nguyên, dưới sự hướng dẫn khoa học của một Giáo sư toán học. Luận văn thuộc chuyên ngành Phương pháp Toán sơ cấp, mang mã số đào tạo 60 46 01 13. Toàn bộ công trình được trình bày trong 62 trang, bao gồm phần mở đầu, 4 chương nội dung chuyên môn, phần kết luận tại trang 61 và danh mục tài liệu tham khảo tại trang 62.

Về lý do chọn đề tài và bối cảnh thực tiễn, tác giả chỉ rõ đa thức giữ một vị trí nền tảng và đặc biệt quan trọng trong toán học. Đa thức không chỉ là đối tượng nghiên cứu cốt lõi của đại số mà còn đóng vai trò công cụ thiết yếu của giải tích trong lý thuyết xấp xỉ, lý thuyết biểu diễn hàm, lý thuyết nội suy cũng như trong tính toán thực hành và ứng dụng. Trong các kỳ thi chọn học sinh giỏi toán cấp quốc gia và Olympic toán quốc tế, các bài toán liên quan đến đa thức luôn xuất hiện với tần suất cao và được đánh giá là những bài toán khó đối với học sinh bậc trung học phổ thông. Mặc dù đa thức được giảng dạy và nghiên cứu rộng rãi, các tài liệu toán học sơ cấp hiện hành vẫn chưa đề cập một cách có hệ thống và đầy đủ đến các dạng toán về sự phân bố số nghiệm thực của một đa thức gắn liền với nghiệm của các đa thức đạo hàm và đa thức nguyên hàm tương ứng của nó. Việc khảo sát sâu hơn về mối quan hệ biện luận nghiệm và biểu diễn đa thức thông qua các phép toán vi tích phân giúp làm sáng tỏ bản chất các tính chất giải tích của đa thức đã cho.

Mục tiêu và nhiệm vụ nghiên cứu của luận văn được tác giả xác định cụ thể như sau:

  1. Thể hiện và khẳng định rõ nét vai trò quan trọng của các công cụ giải tích trong bài toán khảo sát nghiệm thực của đa thức với hệ số thực.
  2. Hệ thống hóa và chứng minh chi tiết các định lý cơ bản, thiết lập các điều kiện cần và đủ về sự tồn tại nghiệm thực của đa thức nguyên hàm sinh bởi các lớp đa thức từ bậc hai, bậc ba, bậc bốn đến bậc tổng quát.
  3. Nghiên cứu các bất đẳng thức nội suy, bài toán cực trị và ước lượng chặn giá trị của đa thức trên các khoảng xác định.
  4. Xây dựng hệ thống bài tập áp dụng, phân loại và cung cấp lời giải cho các dạng toán phương trình và hệ phương trình đa thức xuất hiện trong các kỳ thi học sinh giỏi toán.

Đối tượng nghiên cứu của luận văn là tập hợp các đa thức với hệ số thực, trọng tâm là tính chất nghiệm thực của phương trình đa thức và các phương trình sinh bởi đạo hàm và nguyên hàm. Phạm vi nghiên cứu tập trung vào không gian đa thức một biến trên trường số thực, các bất đẳng thức liên quan đến tam thức bậc hai, đa thức bậc ba, đa thức bậc bốn và hệ thống các bài thi học sinh giỏi toán học sơ cấp.

Cơ sở lý thuyết và phương pháp

Khung lý thuyết của luận văn dựa trên sự giao thoa giữa Đại số sơ cấp và Giải tích toán học cổ điển:

  • Các khái niệm và định lý giải tích cơ bản: Phép tính vi phân và tích phân của hàm đa thức một biến, mối liên hệ giữa dấu của đạo hàm với tính đơn điệu, các điểm dừng, điểm cực trị (cực đại, cực tiểu) và điểm uốn của đồ thị hàm số bậc ba; định lý Rolle và định lý giá trị trung gian.
  • Các định lý đại số sơ cấp: Định lý Viète thuận và đảo cho tam thức bậc hai và đa thức bậc ba; định lý về dấu của tam thức bậc hai; lý thuyết biểu diễn đa thức đối xứng và đa thức đồng bậc thông qua các đa thức đối xứng cơ sở.
  • Lý thuyết xấp xỉ và nội suy: Công thức nội suy đa thức Lagrange; đa thức trực giao Chebyshev loại 1, cụ thể là đa thức $T_2(z) = 2z^2 - 1$; các kết quả ước lượng bất đẳng thức của Lupas đối với tam thức bậc hai trên một đoạn xác định.
  • Hệ thống ký hiệu hình thức: Bậc của đa thức $P(x)$ được ký hiệu là $\operatorname{deg} P(x)$; hàm dấu của số thực $a$ được ký hiệu là $\operatorname{sign} a$, nhận giá trị $+$ khi $a > 0$, nhận giá trị $0$ khi $a = 0$, và nhận giá trị $-$ khi $a < 0$; tập các đa thức hệ số thực được biểu diễn qua ký hiệu $\mathbb{R}[x]$.

Phương pháp nghiên cứu thực tế được tác giả sử dụng là phương pháp nghiên cứu lý thuyết toán học thuần túy, bao gồm:

  • Phương pháp phân tích và tổng hợp lý thuyết: Kế thừa và phát triển các kết quả giải tích đã công bố từ các tài liệu tham khảo chuyên ngành (đánh số từ [1] đến [5]) để mở rộng sang bài toán phân bố nghiệm của nguyên hàm.
  • Phương pháp giải tích hóa bài toán đại số: Sử dụng đồ thị, tính biến thiên và sự tương giao của đường cong đa thức nguyên hàm với đường thẳng $y = c$ để biện luận số lượng nghiệm thực.
  • Phương pháp quy chuẩn đại số: Chuẩn hóa phương trình bậc hai tổng quát $ax^2 + bx + c = 0$ ($a \neq 0$) về dạng rút gọn $3x^2 - 2px + q = 0$ nhằm tối ưu hóa việc phân tích liên hệ với nguyên hàm bậc ba.
  • Phương pháp quy nạp toán học: Dùng quy nạp để chứng minh định lý về sự tồn tại nghiệm thực của dãy nguyên hàm cấp cao đối với đa thức bậc tổng quát.

Nguồn dữ liệu của luận văn hoàn toàn là tư liệu học thuật, bao gồm hệ thống giáo trình Giải tích lớp 12, các giáo trình chuyên ngành phương pháp toán sơ cấp và tập hợp các đề thi học sinh giỏi toán quốc gia, quốc tế.

Nội dung chính theo từng chương

Chương 1: Các tính chất của tam thức bậc hai

Chương 1 bắt đầu từ trang 3 của luận văn, trình bày chi tiết các định lý cơ bản và những kết quả mới về tam thức bậc hai liên quan đến đạo hàm và nguyên hàm. Tác giả mở đầu bằng nhận xét mang tính tịnh tiến: đạo hàm của một tam thức bậc hai luôn là một nhị thức bậc nhất nên luôn có nghiệm thực duy nhất; tuy nhiên, nguyên hàm của một nhị thức bậc nhất là một tam thức bậc hai nên chưa chắc đã có nghiệm thực. Luận văn chứng minh rằng với mọi nhị thức bậc nhất, luôn tồn tại ít nhất một nguyên hàm là tam thức bậc hai có hai nghiệm thực phân biệt; điều này đạt được khi và chỉ khi hằng số tự do $c$ được chọn trái dấu với hệ số bậc cao nhất $a$, tức điều kiện $ac < 0$.

Để thuận tiện cho việc khảo sát nghiệm thông qua nguyên hàm, mọi phương trình bậc hai tổng quát $ax^2 + bx + c = 0$ ($a \neq 0$) đều được biến đổi đại số về dạng $3x^2 - 2px + q = 0$, trong đó các tham số được xác định bởi: $$p = -\frac{3b}{2a}, \quad q = \frac{3c}{a}$$ Tam thức bậc hai $g(x) = 3x^2 - 2px + q$ có nghiệm thực khi và chỉ khi tồn tại bộ ba số thực $\alpha, \beta, \gamma$ sao cho: $$p = \alpha + \beta + \gamma$$ Khi $g(x)$ có hai nghiệm thực phân biệt $x_1, x_2$ ($x_1 < x_2$), đa thức nguyên hàm bậc ba $G(x) = x^3 - px^2 + qx - r$ ($r \in \mathbb{R}$) đạt cực đại tại $x = x_1$ và đạt cực tiểu tại $x = x_2$. Dựa vào kiến thức giải tích lớp 12, hai điểm cực trị $(x_1, G(x_1))$ và $(x_2, G(x_2))$ đối xứng nhau qua điểm uốn của đồ thị hàm số.

Tại mục 1.2 (Nội suy bất đẳng thức đối với tam thức bậc hai trên một khoảng), tác giả trình bày các kết quả của Lupas về việc ước lượng tam thức bậc hai. Tác giả chứng minh rằng với mọi tam thức bậc hai $f(x) = Ax^2 + Bx + C$, điều kiện $|f(x)| \le 1$ với mọi $x \in [a, b]$ xảy ra khi và chỉ khi $|f(a)| \le 1$ và $|f(b)| \le 1$. Áp dụng bất đẳng thức tam giác dẫn đến hệ thống chặn hệ số: $|a| \le 8, |b| \le 8, |c| \le 1, |2a + b| \le 8$. Khi xét tập hợp $M_2^*$ gồm các đa thức bậc không quá 2, tác giả tìm được đa thức nghiệm duy nhất $Q(x)$ thỏa mãn $|P(x)| \le Q(x)$ với mọi $x \in (-\infty, 0] \cup [1, \infty)$ chính là: $$Q(x) = 8x^2 - 8x + 1 = T_2(2x - 1)$$ với $T_2(z) = 2z^2 - 1$ là đa thức Chebyshev loại 1. Từ đó suy ra bất đẳng thức đánh giá $|f(x)| \le 6M + 24M(|x(1-x)| - x(1-x))$ khi đưa vào các giả thiết chặn tương ứng.

Chương 2: Các kết quả liên quan đến đa thức bậc ba

Chương 2 mở rộng phạm vi khảo sát sang phương trình bậc ba tổng quát $a_0 x^3 + b_0 x^2 + c_0 x + d_0 = 0$ ($a_0 \neq 0$). Luận điểm trung tâm của chương được khẳng định qua định lý: Mọi đa thức bậc nhỏ hơn 4 có các nghiệm đều thực luôn tồn tại nguyên hàm cũng có các nghiệm đều thực.

Cụ thể, đối với đa thức bậc ba $f(x)$, luôn tồn tại một đa thức nguyên hàm bậc bốn $F(x) = (x - \alpha)(x - \beta)(x - \gamma)(x - \delta)$ sao cho $F'(x) = f(x)$ và cả bốn nghiệm $\alpha, \beta, \gamma, \delta$ đều là số thực. Khi $f(x)$ có hai nghiệm thực phân biệt gồm một nghiệm kép $x_0$ và một nghiệm đơn $x_1$, không giảm tính tổng quát nếu giả sử tịnh tiến để $x_0 = 0$, đa thức có dạng $f(x) = 4x^2(x - x_1) = 4x^3 - 4x_1 x^2$. Khi chọn hằng số tích phân $C = 0$, đa thức nguyên hàm: $$F(x) = x^4 - \frac{4}{3}x_1 x^3$$ có hai nghiệm thực phân biệt, trong đó $x = 0$ là nghiệm bội ba và nghiệm còn lại là $x = \frac{4}{3}x_1$. Trong trường hợp tổng quát với nghiệm kép $x_0$ và nghiệm đơn $x_1$, tác giả thu được nghiệm của nguyên hàm gồm $\alpha = \beta = \gamma = x_0$ và $\delta = x_0 + \frac{4}{3}x_1$.

Bên cạnh đó, chương 2 dành dung lượng khảo sát các dạng đa thức đối xứng và đa thức đồng bậc. Tác giả phân tích các biểu thức đa thức ba biến $S_n(x, y, z)$ và: $$T_{m,n}(x, y, z) = x^n(y^m + z^m) + y^n(z^m + x^m) + z^n(x^m + y^m)$$ chứng minh chúng luôn biểu diễn được qua các đa thức đối xứng cơ sở $s, p, q$. Vận dụng định lý Viète cho phương trình bậc ba $x^3 + ax^2 + bx + c = 0$ có ba nghiệm không âm phân biệt $x_1, x_2, x_3$: $$x_1 + x_2 + x_3 = -a, \quad x_1 x_2 + x_2 x_3 + x_3 x_1 = b, \quad x_1 x_2 x_3 = -c$$ kết hợp biến đổi đại số, tác giả đã giải quyết bài toán định tính cụ thể: chứng minh phương trình $x^3 - 2017x^2 + 2017^2 x - 2017 = 0$ không thể có ba nghiệm đều không âm, đồng thời chứng minh điều kiện triệt tiêu dẫn đến đẳng thức $|a - b| = |b - c| = |c - a|$ tương đương với $a = b = c$.

Chương 3: Khảo sát nghiệm của nguyên hàm đối với đa thức bậc bốn và bậc cao

Chương 3 giải quyết bài toán phân tích đa thức bậc bốn và thiết lập các điều kiện tồn tại nghiệm thực của nguyên hàm bậc năm. Đối với phương trình bậc bốn tổng quát, luận văn trình bày phương pháp phân tích thành tích của hai tam thức bậc hai với hệ số thực. Tác giả khảo sát phương trình hồi quy tổng quát bậc bốn, trong đó khi các hệ số $a, b, c$ thỏa mãn hệ thức liên kết $b^2 = 4(a + 2)(c + 1)$, việc phân tích đưa về hai phương trình bậc hai: $$x^2 + 1 = \pm \sqrt{a + 2}(x - x_0), \quad \text{với } x_0 = -\frac{b}{2(a + 2)}$$ Từ cấu trúc này, tác giả giải tường minh các phương trình bậc hai thành phần và suy ra nghiệm của phương trình đã cho có dạng chứa căn phức tạp: $$x_{1,2} = \frac{\sqrt{5} \pm \sqrt{1 + 4\sqrt{5}}}{2}$$

Nội dung trọng tâm tiếp theo là định lý về nghiệm của nguyên hàm đối với đa thức bậc bốn có 4 nghiệm thực. Giả sử $f(x)$ có 4 nghiệm thực phân biệt xếp theo thứ tự tăng dần $x_1 < x_2 < x_3 < x_4$. Khi đó, đồ thị đa thức nguyên hàm $F_0(x)$ có hai điểm cực đại tại $x = x_1, x = x_3$ và hai điểm cực tiểu tại $x = x_2, x = x_4$. Luận văn chứng minh điều kiện cần và đủ để tồn tại số thực $c$ sao cho nguyên hàm $F_c(x) = F_0(x) - c$ có ít nhất 5 nghiệm thực là: $$F_0(x_1) \le F_0(x_4)$$ Khi điều kiện này thỏa mãn, giá trị hằng số $c$ được chọn nằm trong đoạn giao của các giá trị cực trị: $$c \in \left[\max{F_0(x_2), F_0(x_4)}, , \min{F_0(x_1), F_0(x_3)}\right]$$

Luận văn phân tích toàn diện các trường hợp nghiệm bội:

  • Khi $f(x)$ có hai cặp nghiệm trùng nhau ($x_1 = x_2 < x_3 = x_4$), ta có $f(x) \ge 0$ với mọi $x \in \mathbb{R}$. Khi đó $F_0(x)$ là hàm đơn điệu đồng biến; đường thẳng song song trục hoành cắt đồ thị tại tối đa một điểm uốn dừng (bội ba), dẫn tới $F_c(x)$ có không quá 3 nghiệm thực với mọi $c$.
  • Khi cả 4 nghiệm trùng nhau ($x_1 = x_2 = x_3 = x_4$), $F_c(x)$ chỉ có nghiệm thực duy nhất khi $c = 0$.

Tác giả mở rộng kết quả này lên đa thức bậc $n$ có $s$ nghiệm thực qua Định lý 3.15: Điều kiện cần và đủ để tồn tại $c \in \mathbb{R}$ sao cho nguyên hàm $F_c(x) = F_0(x) - c$ có ít nhất $s + 1$ nghiệm thực là: $$\max_{1 \le i \le s/2} F_0(x_{2i}) \le \min_{0 \le j \le (s-1)/2} F_0(x_{2j+1})$$ Áp dụng quy nạp toán học cho các đa thức bậc $m$, tác giả chứng minh với mọi số nguyên dương $s$, luôn tồn tại đa thức nguyên hàm cấp $s$ ký hiệu là $F_s(x) \in M_s(f)$ có ít nhất $s + 1$ nghiệm thực phân biệt.

Chương 4: Một số dạng toán liên quan

Chương 4 bắt đầu từ trang 37 và kéo dài đến trang 60, hệ thống hóa các dạng bài tập thực hành chia làm hai phân mục lớn:

Mục 4.1 (Một số dạng toán về nghiệm của phương trình bậc cao) trình bày phương pháp xây dựng đa thức nghiệm qua hệ thống đạo hàm liên tiếp. Luận văn chứng minh tính duy nhất của đa thức $P(x)$ có $\operatorname{deg} P(x) \le n$ thỏa mãn điều kiện đạo hàm tại một điểm: $P^{(k)}(x_1) = a_k$ với mọi $k \in {0, 1, \dots, n}$ bằng cách lấy đạo hàm liên tiếp hai vế và sử dụng tính chất nghiệm của đa thức bậc $n$. Tiếp theo, tác giả ứng dụng công thức nội suy Lagrange: $$P_n(x) = \sum_{i=0}^s P_n(a_i) \prod_{j \neq i} \frac{x - a_j}{a_i - a_j}$$ để chứng minh tính duy nhất của đa thức bậc không quá $n-1$ đi qua $n$ điểm phân biệt, tính số dư $r(x)$ khi chia đa thức $P(x)$ cho tích các nhị thức $(x - x_j)$, và chứng minh bất đẳng thức giới hạn chặn giá trị: với mọi $M > 1$, ta có $|f(x)| \le \frac{32}{3}M^4 - \frac{32}{3}M^2 + 1$ khi $|x| \le M$.

Mục 4.2 (Một số dạng toán thi học sinh giỏi liên quan đến phương trình và hệ phương trình dạng đa thức), bắt đầu từ trang 45, tập trung khai thác ứng dụng của định lý Rolle. Tác giả xét các bài toán cho hệ số $a_0, a_1, \dots, a_n$ thỏa mãn các hệ thức tích phân triệt tiêu, từ đó thiết lập hàm phụ liên tục trên đoạn $[0, 1]$ hoặc $[0, 2]$, có đạo hàm triệt tiêu tại nhiều điểm phân biệt ($f(0) = f(1) = f(2) = 0$). Bằng cách áp dụng liên tiếp định lý Rolle: $$\exists c_1 \in (0, 1), , c_2 \in (1, 2): f'(c_1) = f'(c_2) = 0 \implies \exists \alpha \in (c_1, c_2): f''(\alpha) = 0$$ tác giả chứng minh sự tồn tại nghiệm thực của đạo hàm cấp một và đạo hàm cấp hai của đa thức mà không cần giải trực tiếp phương trình. Ngoài ra, mục này cũng giải quyết các hệ phương trình đa thức đối xứng nhiều ẩn bằng cách đưa về phương trình ẩn phụ thông qua các hệ thức Viète.

Kết quả và đóng góp

Luận văn đã tổng hợp và chứng minh các mối quan hệ định lượng về số nghiệm thực giữa đa thức gốc, đa thức đạo hàm và đa thức nguyên hàm. Các kết quả tiêu biểu được tổng hợp trong bảng đối chiếu sau:

Đối tượng đa thức Số nghiệm thực của đa thức gốc $f(x)$ Tính chất nghiệm của đa thức đạo hàm $f'(x)$ Tính chất nghiệm của đa thức nguyên hàm $F_c(x)$
Nhị thức bậc nhất Luôn có đúng 1 nghiệm thực duy nhất Đạo hàm là hằng số triệt tiêu bậc Luôn tồn tại nguyên hàm có 2 nghiệm thực phân biệt khi chọn hằng số $c$ thỏa $ac < 0$
Tam thức bậc hai Có nghiệm thực $\iff \exists \alpha, \beta, \gamma: p = \alpha + \beta + \gamma$ Đạo hàm bậc nhất luôn có đúng 1 nghiệm thực Đồ thị nguyên hàm bậc ba có hai điểm cực trị đối xứng nhau qua điểm uốn
Đa thức bậc ba Có 3 nghiệm thực (kể cả nghiệm bội) Đạo hàm bậc hai có tối đa 2 nghiệm thực Luôn tồn tại nguyên hàm bậc bốn có đủ 4 nghiệm thực phân biệt hoặc nghiệm bội tương ứng
Đa thức bậc bốn Có 4 nghiệm thực phân biệt $x_1 < x_2 < x_3 < x_4$ Đạo hàm bậc ba có 3 nghiệm thực phân biệt Tồn tại nguyên hàm có ít nhất 5 nghiệm thực $\iff F_0(x_1) \le F_0(x_4)$ với $c \in [\max F_0(x_{\text{cực tiểu}}), \min F_0(x_{\text{cực đại}})]$
Đa thức bậc $n$ Có $s$ nghiệm thực ($s \le n$) Đạo hàm cấp một có ít nhất $s - 1$ nghiệm thực Tồn tại nguyên hàm cấp một có ít nhất $s + 1$ nghiệm thực khi $\max F_0(x_{2i}) \le \min F_0(x_{2j+1})$

Các đóng góp chính được tác giả tự xác định bao gồm:

  1. Đóng góp về lý thuyết: Thiết lập một hệ thống tiêu chuẩn giải tích chặt chẽ để xác định điều kiện cần và đủ cho sự tồn tại nghiệm thực của nguyên hàm của đa thức bậc bốn và bậc tổng quát; chứng minh sự tồn tại của dãy nguyên hàm cấp cao có số nghiệm thực tăng đơn điệu theo cấp nguyên hàm.
  2. Đóng góp về phương pháp giải toán: Chứng minh tính duy nhất của đa thức nội suy cực trị Chebyshev $Q(x) = 8x^2 - 8x + 1$ trong việc ước lượng chặn tam thức bậc hai theo lý thuyết Lupas; giải tường minh phương trình hồi quy bậc bốn dạng $b^2 = 4(a+2)(c+1)$.
  3. Đóng góp về thực tiễn sư phạm: Xây dựng hệ thống bài toán minh họa và bài toán thi học sinh giỏi ở Chương 4, làm rõ phương pháp vận dụng định lý Rolle và nội suy Lagrange để giải quyết các bài toán phương trình, hệ phương trình đa thức phức tạp.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế nghiên cứu được xác định từ phạm vi của đề tài: Toàn bộ các định lý và kết quả của luận văn chỉ giới hạn trong trường số thực $\mathbb{R}$, tập trung vào bài toán nghiệm thực, chưa mở rộng việc khảo sát vị trí hình học của các nghiệm trên mặt phẳng phức $\mathbb{C}$. Bên cạnh đó, các thuật toán phân tích đa thức thành nhân tử chủ yếu áp dụng cho đa thức bậc nhỏ hơn hoặc bằng 4 và các dạng đa thức có tính chất đối xứng đặc biệt (như phương trình hồi quy), chưa đưa ra thuật toán tổng quát cho đa thức bậc cao bất kỳ khi không thỏa mãn các điều kiện triệt tiêu đại số. Luận văn cũng không xây dựng các thuật toán xấp xỉ số để tính toán nghiệm trên máy tính điện tử.

Hướng nghiên cứu tiếp theo mà văn bản gợi mở gồm:

  • Mở rộng khảo sát nghiệm của đạo hàm và nguyên hàm đa thức sang trường số phức, nghiên cứu mối liên hệ giữa các bao lồi chứa nghiệm của đa thức và nghiệm của đạo hàm (phát triển định lý Gauss-Lucas).
  • Nghiên cứu bài toán phân bố nghiệm của nguyên hàm đối với các lớp đa thức trực giao khác ngoài đa thức Chebyshev, ví dụ như đa thức Legendre hoặc đa thức Hermite.
  • Vận dụng các tiêu chuẩn nghiệm của nguyên hàm đa thức để biện luận và giải các lớp phương trình vi phân tuyến tính có hệ số là đa thức.

Giá trị tham khảo

Luận văn là tài liệu tham khảo chuyên khảo hữu ích cho các đối tượng:

  • Học viên cao học chuyên ngành Phương pháp Toán sơ cấp và sinh viên ngành Sư phạm Toán học: Cung cấp góc nhìn phương pháp luận kết nối giữa hai phân môn Giải tích và Đại số, phục vụ nghiên cứu và hoàn thành khóa luận tốt nghiệp.
  • Giáo viên giảng dạy môn Toán tại các trường trung học phổ thông, đặc biệt là giáo viên phụ trách các đội tuyển học sinh giỏi: Khai thác hệ thống bài tập áp dụng định lý Rolle và công thức nội suy Lagrange ở Chương 4 làm tư liệu giảng dạy chuyên đề đa thức.
  • Học sinh chuyên toán ôn luyện thi học sinh giỏi cấp tỉnh, quốc gia: Tham khảo các kỹ thuật đánh giá bất đẳng thức nội suy của Lupas, kỹ thuật chặn nghiệm đa thức Chebyshev và phương pháp biến đổi đại số phương trình bậc cao.

Các phần có giá trị tham khảo cao nhất trong văn bản gồm: Kỹ thuật biến đổi chuẩn hóa phương trình bậc hai về dạng $3x^2 - 2px + q = 0$ gắn với cực trị nguyên hàm ở Chương 1; Định lý về điều kiện cực đại, cực tiểu để nguyên hàm bậc năm có 5 nghiệm thực ở Chương 3; Hệ thống bài toán thi học sinh giỏi áp dụng định lý Rolle tại Mục 4.2 của Chương 4.

Câu hỏi thường gặp

1. Điều kiện cần và đủ để tam thức bậc hai dạng rút gọn $g(x) = 3x^2 - 2px + q$ có nghiệm thực là gì?
Tam thức $g(x) = 3x^2 - 2px + q$ có nghiệm thực khi và chỉ khi tồn tại bộ ba số thực $\alpha, \beta, \gamma$ sao cho $p = \alpha + \beta + \gamma$. Khi đó, nếu tam thức có hai nghiệm phân biệt $x_1 < x_2$, đa thức nguyên hàm $G(x) = x^3 - px^2 + qx - r$ sẽ đạt cực đại tại $x_1$ và đạt cực tiểu tại $x_2$, đồng thời hai điểm cực trị này đối xứng nhau qua điểm uốn của đồ thị hàm số $G(x)$.

2. Đa thức cực trị Chebyshev xuất hiện trong bài toán nội suy tam thức bậc hai của Lupas như thế nào?
Khi khảo sát tập hợp $M_2^*$ gồm các đa thức bậc không quá 2 thỏa mãn $|P(x)| \le 1$ trên đoạn xác định, đa thức nghiệm duy nhất $Q(x)$ thỏa mãn bất đẳng thức $|P(x)| \le Q(x)$ với mọi $x \in (-\infty, 0] \cup [1, \infty)$ chính là $Q(x) = 8x^2 - 8x + 1$. Đa thức này được biểu diễn dưới dạng đa thức Chebyshev loại 1: $Q(x) = T_2(2x - 1)$ với $T_2(z) = 2z^2 - 1$.

3. Tại sao phương trình $x^3 - 2017x^2 + 2017^2 x - 2017 = 0$ không thể có 3 nghiệm đều không âm?
Tác giả sử dụng định lý Viète cho phương trình bậc ba: nếu phương trình có 3 nghiệm không âm $x_1, x_2, x_3 \ge 0$, thì tổng các nghiệm $x_1 + x_2 + x_3 = 2017$, tổng các tích từng đôi $x_1 x_2 + x_2 x_3 + x_3 x_1 = 2017^2$, và tích các nghiệm $x_1 x_2 x_3 = 2017$. Khi đối chiếu với các bất đẳng thức đại số giữa các đại lượng đối xứng, các hệ số trên dẫn đến mâu thuẫn toán học, khẳng định phương trình không thể đồng thời có 3 nghiệm đều không âm.

4. Điều kiện để một đa thức bậc bốn có 4 nghiệm thực phân biệt sinh ra một nguyên hàm có ít nhất 5 nghiệm thực là gì?
Giả sử đa thức bậc bốn có 4 nghiệm thực phân biệt $x_1 < x_2 < x_3 < x_4$. Khi đó, nguyên hàm gốc $F_0(x)$ đạt cực đại tại $x_1, x_3$ và đạt cực tiểu tại $x_2, x_4$. Điều kiện cần và đủ để tồn tại hằng số $c$ sao cho nguyên hàm $F_c(x) = F_0(x) - c$ có ít nhất 5 nghiệm thực là $F_0(x_1) \le F_0(x_4)$. Khi đó hằng số $c$ được chọn thỏa mãn: $$c \in \left[\max{F_0(x_2), F_0(x_4)}, , \min{F_0(x_1), F_0(x_3)}\right]$$

5. Định lý Rolle được tác giả vận dụng vào dạng toán thi học sinh giỏi nào trong Chương 4?
Định lý Rolle được vận dụng để chứng minh sự tồn tại nghiệm của các phương trình vi phân và phương trình đạo hàm cấp cao. Cụ thể, khi các hệ số của đa thức thỏa mãn các điều kiện tích phân triệt tiêu trên đoạn $[0, 1]$ hoặc $[0, 2]$, tác giả thiết lập hàm số thỏa mãn $f(0) = f(1) = f(2) = 0$. Theo định lý Rolle, tồn tại ít nhất hai điểm $c_1 \in (0, 1)$ và $c_2 \in (1, 2)$ làm cho $f'(c_1) = f'(c_2) = 0$, từ đó tiếp tục suy ra sự tồn tại nghiệm $\alpha \in (c_1, c_2)$ của đạo hàm cấp hai $f''(\alpha) = 0$.

Kết luận

Luận văn thạc sĩ của tác giả Đàm Thu Hải đã giải quyết một cách toàn diện bài toán khảo sát nghiệm thực của phương trình sinh bởi đạo hàm và nguyên hàm của đa thức từ bậc hai đến bậc tổng quát. Bằng việc kết hợp chặt chẽ các công cụ giải tích cổ điển như đạo hàm, cực trị, định lý Rolle với cấu trúc đại số của định lý Viète và lý thuyết nội suy Lagrange, công trình đã thiết lập các tiêu chuẩn giải tích tường minh về sự phân bố và gia tăng số nghiệm thực của nguyên hàm. Hệ thống bài toán thực hành và các dạng toán thi học sinh giỏi được giải quyết trong luận văn mang lại giá trị học thuật và giá trị sư phạm thiết thực cho công tác nghiên cứu, giảng dạy phương pháp toán sơ cấp.