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

Khóa luận tốt nghiệp "Một dạng bất đẳng thức xoay vòng" được thực hiện bởi sinh viên Nguyễn Văn Cương, lớp Sư phạm Toán 48 thuộc Khoa Sư phạm - Đại học Quốc gia Hà Nội, dưới sự hướng dẫn khoa học của TS. Nguyễn Vũ Lương (Khoa Toán - Cơ - Tin học, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội). Đề tài thuộc chuyên ngành phương pháp và toán sơ cấp, tập trung vào lý thuyết bất đẳng thức đại số và lượng giác.

Về mặt lý do chọn đề tài và bối cảnh thực tiễn, tác giả chỉ ra rằng trong hệ thống bất đẳng thức cổ điển, bất đẳng thức xoay vòng (cyclic inequalities) là một phân môn mang tính trừu tượng và phức tạp cao. Nhiều bài toán có cấu trúc biểu thức phát biểu tương đối đơn giản nhưng đòi hỏi quá trình nghiên cứu kéo dài nhiều thập kỷ mới có thể giải quyết trọn vẹn. Minh chứng lịch sử được tác giả viện dẫn là bất đẳng thức Nesbitt đặt ra năm 1903 cho 3 biến số không âm $a, b, c$:

$$\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b} \ge \frac{3}{2}$$

Khi mở rộng bài toán này cho $n$ số hạng $a_1, a_2, \dots, a_n$ dưới dạng tổng quát:

$$\sum_{i=1}^n \frac{a_i}{a_{i+1} + a_{i+2}} \ge \frac{n}{2}$$

(với quy ước chỉ số xoay vòng $a_{n+1} = a_1, a_{n+2} = a_2$), việc xác định ranh giới tính đúng - sai của bài toán kéo dài suốt 52 năm. Đến năm 1954, H. S. Shapiro mới tổng kết giả thuyết và sau đó các nhà toán học đã xác nhận tính đúng đắn của bất đẳng thức chỉ thỏa mãn trong hai trường hợp:

  1. Bất đẳng thức đúng với mọi số nguyên dương $n$ lẻ thỏa mãn $n \le 23$.
  2. Bất đẳng thức đúng với mọi số nguyên dương $n$ chẵn thỏa mãn $n \le 12$. Với các giá trị còn lại của $n$, bất đẳng thức không còn đúng.

Thực tế này đặt ra vấn đề nghiên cứu mang tính quy luật: cần khảo sát khi nào một cấu trúc bất đẳng thức xoay vòng là đúng, khi nào sai, hoặc tìm ra các điều kiện tham số để bất đẳng thức luôn đúng. Mục tiêu trung tâm của khóa luận là xây dựng một cấu trúc bất đẳng thức xoay vòng phân thức tổng quát, chứa đựng các trường hợp riêng biệt là những bài toán đại số có độ khó cao, phục vụ cho công tác bồi dưỡng học sinh giỏi toán.

Nhiệm vụ nghiên cứu được phân định thành ba nội dung:

  1. Tổng quan và hệ thống hóa các kết quả nghiên cứu hiện có về bất đẳng thức xoay vòng phân thức, bất đẳng thức Schur và các hệ thức xoay vòng trong tam giác.
  2. Xây dựng và chứng minh lớp bất đẳng thức phân thức xoay vòng mới với tham số thực $\alpha > 2$ qua các trường hợp số biến cụ thể gồm $n = 3, 4, 5, 6, 7$.
  3. Tổng quát hóa bất đẳng thức cho trường hợp $n$ số hạng, đồng thời khảo sát các bài toán hệ quả suy biến nhận được khi cho một hoặc nhiều biến số bằng 0.

Đối tượng nghiên cứu là các biểu thức đại số xoay vòng, phân thức hữu tỉ đối xứng hoán vị, hàm số lồi và các đại lượng hình học tam giác. Phạm vi nghiên cứu giới hạn trên tập hợp các số thực không âm, số thực dương, các góc và cạnh của tam giác thường và tam giác nhọn, với tham số thực $\alpha > 2$.

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

Khóa luận vận dụng các định lý, công cụ toán học và khung lý thuyết giải tích sơ cấp kinh điển:

  • Bất đẳng thức Schur (Schurs) và dạng mở rộng: Áp dụng dạng tổng quát với 3 biến số thực dương $x, y, z$ và số mũ thực $\lambda$ tùy ý: $$x^\lambda(x-y)(x-z) + y^\lambda(y-z)(y-x) + z^\lambda(z-x)(z-y) \ge 0$$ kết hợp phiên bản suy rộng cho hàm đơn điệu/hàm lồi có đạo hàm cấp hai $f''(x) \ge 0$.
  • Bất đẳng thức Cauchy (AM-GM): Được sử dụng trực tiếp hoặc khai thác qua kỹ thuật biến đổi "Cauchy ngược dấu" nhằm đánh giá chặn dưới cho các phân thức đại số bậc cao.
  • Bất đẳng thức Bunhiacopxki (Cauchy-Schwarz / dạng Schwarz): Đóng vai trò hạt nhân trong kỹ thuật đánh giá tổng phân thức: $$\sum_{i=1}^n \frac{x_i^2}{y_i} \ge \frac{(\sum_{i=1}^n x_i)^2}{\sum_{i=1}^n y_i}$$
  • Bất đẳng thức Hölder và bất đẳng thức Jensen: Dùng hỗ trợ chứng minh các hệ quả phụ trợ liên quan đến hàm số mũ và hàm căn thức.
  • Hệ thức lượng giác trong tam giác phẳng: Định lý hàm số cosin, liên hệ độ dài đường cao $h_a, h_b, h_c$, bán kính đường tròn nội tiếp $r$ và bán kính đường tròn ngoại tiếp $R$.

Phương pháp nghiên cứu thực tế bao gồm phương pháp quy nạp toán học đi từ cụ thể ($n = 3, 4, 5, 6, 7$) đến tổng quát ($n$ số hạng); phương pháp phân tích - tổng hợp tài liệu; phương pháp biến đổi đại số tương đương kết hợp xây dựng hằng đẳng thức chính phương không âm; và kỹ thuật suy biến biên (triệt tiêu biến số $a_k = 0$) để thiết lập hệ bài toán mới.

Nguồn dữ liệu của nghiên cứu là các văn bản toán học sơ cấp, hệ thống bài tập chuyên đề bất đẳng thức đại số và đề thi chọn học sinh giỏi toán các cấp.

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

Chương 1: Bất đẳng thức xoay vòng

Chương này dành 37 trang (từ trang 4 đến trang 40) để hệ thống hóa toàn diện các dạng bất đẳng thức xoay vòng đã có, chia thành 4 tiểu mục:

1.1 Bất đẳng thức Schurs

Nội dung khởi đầu bằng việc chứng minh bất đẳng thức Schur với số mũ thực $\lambda$ bất kỳ thông qua việc chia hai trường hợp $\lambda \ge 0$ và $\lambda < 0$. Dựa trên tính chất hàm lồi ($f''(x) \ge 0$), tác giả chứng minh dạng mở rộng:

$$f(x_1)(x_1-x_2)(x_1-x_3) + f(x_2)(x_2-x_3)(x_2-x_1) + f(x_3)(x_3-x_1)(x_3-x_2) \ge 0$$

Từ đây, tác giả xây dựng 11 bài toán minh họa và hệ quả:

  • Bài 5 & Bài 6: Thiết lập hệ quả cho bộ ba số thỏa mãn $a^2 + b^2 \le c^2$ và $x^{\frac{2}{3}} + y^{\frac{2}{3}} \ge z^{\frac{2}{3}}$, từ đó suy ra bất đẳng thức lượng giác cho tam giác không nhọn: $$\frac{27}{\sin A} + \frac{64}{\sin B} \ge \frac{125}{\sin C}$$
  • Bài 8: Ứng dụng Schur với $\lambda = 2$ cho 3 cạnh tam giác $a, b, c$ và nửa chu vi $p$, liên hệ trực tiếp với diện tích $S$: $$(p-a)^4 + (p-b)^4 + (p-c)^4 + \frac{S^2}{p} \ge a(p-a)^3 + b(p-c)^3 + c(p-a)^3$$
  • Bài 9 & Bài 10: Đặt $\lambda = -2$ để tìm giá trị lớn nhất của biểu thức $M = \frac{y+z}{x} + \frac{z+x}{y} + \frac{x+y}{z}$ (kết quả $M_{\max} = 6$); đặt $\lambda = 1$ để thiết lập bất đẳng thức giữa các đường cao $h_a, h_b, h_c$ và bán kính nội tiếp $r$: $$\frac{1}{h_a^3} + \frac{1}{h_b^3} + \frac{1}{h_c^3} + \frac{3}{r}\left(\frac{1}{h_a^2} + \frac{1}{h_b^2} + \frac{1}{h_c^2}\right) \ge 2\left(\frac{1}{h_a^3} + \frac{1}{h_b^3} + \frac{1}{h_c^3}\right)$$
  • Bài 11: Ứng dụng hàm mũ $f(x) = 2^x$ để chứng minh bất đẳng thức chứa hàm số logarit với 3 số thực $a, b, c > 1$.

1.2 Bất đẳng thức xoay vòng khác trong tam giác

Tác giả xuất phát từ một hằng đẳng thức tổng bình phương luôn không âm với mọi tam giác $ABC$ và các số thực $x, y, z$:

$$(x - y\cos C - z\cos B)^2 + (y\sin C - z\sin B)^2 \ge 0$$

Biến đổi tương đương dẫn tới bất đẳng thức nền tảng:

$$yz\cos A + zx\cos B + xy\cos C \le \frac{1}{2}(x^2 + y^2 + z^2)$$

Đẳng thức xảy ra khi và chỉ khi tam giác đồng dạng với tam giác có các cạnh tỷ lệ với $x, y, z$. Từ mô hình này, mục 1.2 phát triển 16 bài toán:

  • Bài 2 & Bài 3: Đổi biến nghịch đảo $x, y, z \to \frac{1}{x}, \frac{1}{y}, \frac{1}{z}$, giải quyết bài toán tìm cực trị: Giá trị lớn nhất của biểu thức $M = 2\cos A + 3\cos B + 4\cos C$ là $\frac{61}{12}$.
  • Bài 4 đến Bài 8: Dẫn xuất các bất đẳng thức lượng giác phức tạp đối với góc chia đôi $\sin \frac{A}{2}, \cos \frac{A}{2}, \tan \frac{A}{2}$, tiêu biểu như: $$\frac{1}{4}\tan^2\frac{A}{2} + \frac{1}{6}\tan^2\frac{B}{2} + \frac{1}{6}\tan^2\frac{C}{2} \ge \frac{395}{4056}$$
  • Bài 12 đến Bài 16: Khái quát hóa sang góc bội $nA, nB, nC$: $$(-1)^n [yz\cos nA + xz\cos nB + xy\cos nC] \le \frac{1}{2}(x^2 + y^2 + z^2)$$ Áp dụng tìm giá trị nhỏ nhất của $M = 6\cos 4A + 2\cos 4B + 3\cos 4C$ đạt được là $-7$ khi tam giác $ABC$ vuông cân tại $B$.

1.3 Sử dụng bất đẳng thức Cauchy chứng minh một số dạng bất đẳng thức xoay vòng

Mục này trình bày hệ thống 20 bài toán khai thác kỹ thuật trừ lùi bậc đại số (Cauchy ngược dấu). Nguyên lý biến đổi chủ đạo là phân tích mẫu số:

$$\frac{a^3}{a^2+b^2} = a - \frac{ab^2}{a^2+b^2} \ge a - \frac{ab^2}{2ab} = a - \frac{b}{2}$$

Cộng hoán vị ba phân thức thu được kết quả $\sum \frac{a^3}{a^2+b^2} \ge \frac{a+b+c}{2}$. Tác giả sau đó tham số hóa bài toán bằng các trọng số $\alpha, \beta, \gamma \ge 0$ và nâng dần bậc của phân thức đại số:

  • Khảo sát các mẫu số bậc hai có hệ số điều chỉnh: $\frac{a^3}{a^2+b^2+\alpha ab} \ge \frac{a+b+c}{\alpha+2}$.
  • Mở rộng phân thức lên bậc 4, bậc 5 và bậc 7: $$\sum \frac{a^5}{a^2+b^2} \ge \frac{a^3+b^3+c^3}{2}; \quad \sum \frac{a^7}{a^2+b^2} \ge \frac{a^5+b^5+c^5}{2}; \quad \sum \frac{a^5}{a^4+b^4} + \frac{1}{2}\left(\frac{b^2}{a} + \frac{c^2}{b} + \frac{a^2}{c}\right) \ge a+b+c$$

1.4 Bất đẳng thức xoay vòng phân thức

Tập trung vào 20 bài toán chứa căn thức và phân thức đối xứng hoán vị. Điểm nhấn là sự tương phản về chiều bất đẳng thức theo miền xác định của biến số:

  • Với $a, b > 1$: $\frac{1}{1+a} + \frac{1}{1+b} \ge \frac{2}{1+\sqrt{ab}}$, lũy thừa mũ $n$: $\frac{1}{(1+a)^n} + \frac{1}{(1+b)^n} \ge \frac{2}{(1+\sqrt{ab})^n}$.
  • Với $0 < a, b < 1$: Bất đẳng thức đảo chiều: $\frac{1}{1+a} + \frac{1}{1+b} \le \frac{2}{1+\sqrt{ab}}$ và $\frac{1}{\sqrt[n]{1+a}} + \frac{1}{\sqrt[n]{1+b}} \le \frac{2}{\sqrt[n]{1+\sqrt{ab}}}$.
  • Phát triển tiếp cho 3 biến số, các hệ thức chứa tích $abc$ và các chuỗi phân thức đối xứng bậc cao như $\sum \frac{a^5}{b^2} \ge \sum a^3$, $\sum \frac{a^3}{(b+c)^2} \ge \frac{1}{4}(a+b+c)$.

Chương 2: Một dạng bất đẳng thức xoay vòng

Chương 2 là phần đóng góp cốt lõi của tác giả, xây dựng một lớp bất đẳng thức xoay vòng phân thức nhiều biến với sự tham gia của tham số thực $\alpha > 2$.

Đầu chương, tác giả quy ước ký hiệu viết gọn cho các biểu thức nhiều biến:

  • $a_1, \dots, a_n \Leftrightarrow a_1, a_2, \dots, a_n$
  • $a_1^2 + \dots + a_n^2 \Leftrightarrow \sum_{i=1}^n a_i^2$
  • $a_1 a_2 + \dots + a_{n-1}a_n \Leftrightarrow \sum_{1 \le i < j \le n} a_i a_j$

2.1 Các trường hợp đơn giản

Tác giả tiến hành thiết lập bất đẳng thức chi tiết theo từng số lượng biến số tăng dần:

  • Trường hợp 3 số ($n = 3$): Cho $a_1, a_2, a_3 \ge 0$ và $\alpha > 2$: $$\frac{a_1}{a_1 + \alpha a_2} + \frac{a_2}{a_2 + \alpha a_3} + \frac{a_3}{a_3 + \alpha a_1} \ge \frac{3}{1+\alpha}$$ Phương pháp chứng minh: Nhân cả tử và mẫu với $a_i$ rồi áp dụng bất đẳng thức Bunhiacopxki dạng phân thức: $$\text{Vế trái} \ge \frac{(a_1+a_2+a_3)^2}{\sum a_i^2 + \alpha(a_1a_2 + a_2a_3 + a_3a_1)}$$ Đưa mẫu số về dạng $(a_1+a_2+a_3)^2 + (\alpha - 2)(a_1a_2 + a_2a_3 + a_3a_1)$. Do $\alpha > 2$ nên $\alpha - 2 > 0$; kết hợp bất đẳng thức cơ sở $a_1a_2 + a_2a_3 + a_3a_1 \le \frac{1}{3}(a_1+a_2+a_3)^2$ dẫn đến chặn dưới $\frac{3}{1+\alpha}$. Đẳng thức xảy ra khi $a_1 = a_2 = a_3$.

  • Trường hợp 4 số ($n = 4$): Cho $a_1, a_2, a_3, a_4 \ge 0$ và $\alpha > 2$: $$\sum_{cyc} \frac{a_1}{a_1 + \alpha(2a_2 + a_3)} \ge \frac{4}{1+3\alpha}$$ Đánh giá qua Bunhiacopxki tạo ra số dư $(2\alpha - 2)\sum_{i<j} a_i a_j \le (2\alpha - 2)\frac{3}{8}(\sum a_i)^2$, thu gọn ra đúng hằng số $\frac{4}{1+3\alpha}$. Hệ quả suy biến (Bài 2.1): Cho $a_4 = 0$, bài toán chuyển thành bất đẳng thức 3 biến khuyết: $$\frac{a_1}{a_1 + \alpha(2a_2+a_3)} + \frac{a_2}{a_2 + 2\alpha a_3} + \frac{a_3}{a_3 + \alpha a_1} \ge \frac{4}{1+3\alpha}$$

  • Trường hợp 5 số ($n = 5$): Khảo sát hai dạng cấu trúc mẫu số:

    • Bài 3: Mẫu chứa 3 số hạng xoay vòng hệ số đơn: $\sum \frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4)} \ge \frac{5}{1+4\alpha}$. Cho $a_5 = 0$ (Bài 3.1) và $a_5 = a_4 = 0$ (Bài 3.2) thu được các bất đẳng thức 4 biến và 3 biến mới.
    • Bài 4: Mẫu chứa 2 số hạng xoay vòng: $\sum \frac{a_1}{a_1 + \alpha(a_2 + a_3)} \ge \frac{5}{1+2\alpha}$. Khi cho $a_5 = 0$ (Bài 4.1) hoặc $a_5 = a_4 = 0$ (Bài 4.2), xuất hiện phân thức có số hạng tự do bằng 1: $\frac{a_1}{a_1 + \alpha(a_2+a_3)} + \frac{a_2}{a_2 + \alpha a_3} + 1 \ge \frac{5}{1+2\alpha}$.

  • Trường hợp 6 số ($n = 6$):

    • Bài 5: Mẫu số bậc nhất 4 biến xoay vòng: $\sum \frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4 + a_5)} \ge \frac{6}{1+5\alpha}$. Đánh giá phần bù tích chéo thông qua hệ số $\frac{5}{12}(\sum a_i)^2$. Suy biến thành Bài 5.1 ($a_6 = 0$), Bài 5.2 ($a_6 = a_5 = 0$) và Bài 5.3 ($a_6 = a_5 = a_4 = 0$).
    • Bài 6: Mẫu số có cấu trúc hệ số kép: $\sum \frac{a_1}{a_1 + \alpha(2a_2 + 2a_3 + a_4)} \ge \frac{6}{1+5\alpha}$.

  • Trường hợp 7 số ($n = 7$):

    • Bài 7: Mẫu số chứa 5 biến xoay vòng: $\sum \frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4 + a_5 + a_6)} \ge \frac{7}{1+6\alpha}$. Hệ quả suy biến kéo theo Bài 7.1, 7.2, 7.3.
    • Bài 8: Mẫu số chứa hai cặp hệ số 2: $\sum \frac{a_1}{a_1 + \alpha(2a_2 + 2a_3 + a_4 + a_5)} \ge \frac{7}{1+6\alpha}$.
    • Bài 9: Mẫu số tổ hợp 3 số hạng liên tiếp: $\sum \frac{a_1}{a_1 + \alpha(a_2 + a_3 + a_4)} \ge \frac{7}{1+3\alpha}$.

2.2 Trường hợp tổng quát

Từ các quy luật số học của hệ số mẫu số và số lượng biến $n$, tác giả khái quát hóa kỹ thuật chứng minh cho $n$ số hạng không âm $a_1, a_2, \dots, a_n$. Cốt lõi của mô hình là chuyển đổi qua Bunhiacopxki dạng Schwarz, sau đó sử dụng chặn trên của tổng tích chéo:

$$\sum_{1 \le i < j \le n} a_i a_j \le \frac{n-1}{2n} \left(\sum_{i=1}^n a_i\right)^2$$

để đưa mẫu số sau đánh giá về đúng dạng phụ thuộc vào $n$ và $\alpha$, triệt tiêu biến số tổng $\left(\sum a_i\right)^2$ ở cả tử lẫn mẫu.

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

Khóa luận đã giải quyết trọn vẹn việc thiết lập một lớp bài toán bất đẳng thức xoay vòng phân thức đa biến với tham số thực $\alpha > 2$. Các kết quả chứng minh chính của Chương 2 được tổng hợp trong bảng đối sánh sau:

Số biến ($n$) Cấu trúc một số hạng đại diện Chặn dưới đạt được Hệ số đánh giá tích chéo $\sum a_i a_j$ Đẳng thức xảy ra
$n = 3$ $\frac{a_1}{a_1 + \alpha a_2}$ $\frac{3}{1+\alpha}$ $\frac{1}{3} (\sum a_i)^2$ $a_1 = a_2 = a_3$
$n = 4$ $\frac{a_1}{a_1 + \alpha(2a_2 + a_3)}$ $\frac{4}{1+3\alpha}$ $\frac{3}{8} (\sum a_i)^2$ $a_1 = a_2 = a_3 = a_4$
$n = 5$ (Dạng 1) $\frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4)}$ $\frac{5}{1+4\alpha}$ $\frac{2}{5} (\sum a_i)^2$ $a_1 = \dots = a_5$
$n = 5$ (Dạng 2) $\frac{a_1}{a_1 + \alpha(a_2 + a_3)}$ $\frac{5}{1+2\alpha}$ $\frac{2}{5} (\sum a_i)^2$ $a_1 = \dots = a_5$
$n = 6$ (Dạng 1) $\frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4 + a_5)}$ $\frac{6}{1+5\alpha}$ $\frac{5}{12} (\sum a_i)^2$ $a_1 = \dots = a_6$
$n = 6$ (Dạng 2) $\frac{a_1}{a_1 + \alpha(2a_2 + 2a_3 + a_4)}$ $\frac{6}{1+5\alpha}$ $\frac{5}{12} (\sum a_i)^2$ $a_1 = \dots = a_6$
$n = 7$ (Dạng 1) $\frac{a_1}{a_1 + \alpha(2a_2 + a_3 + a_4 + a_5 + a_6)}$ $\frac{7}{1+6\alpha}$ $\frac{3}{7} (\sum a_i)^2$ $a_1 = \dots = a_7$
$n = 7$ (Dạng 2) $\frac{a_1}{a_1 + \alpha(2a_2 + 2a_3 + a_4 + a_5)}$ $\frac{7}{1+6\alpha}$ $\frac{3}{7} (\sum a_i)^2$ $a_1 = \dots = a_7$
$n = 7$ (Dạng 3) $\frac{a_1}{a_1 + \alpha(a_2 + a_3 + a_4)}$ $\frac{7}{1+3\alpha}$ $\frac{3}{7} (\sum a_i)^2$ $a_1 = \dots = a_7$

Đóng góp của khóa luận thể hiện ở ba khía cạnh cụ thể:

  1. Phương pháp luận sáng tạo đề toán: Tác giả đã chứng minh rằng từ một bất đẳng thức $n$ biến tổng quát, kỹ thuật triệt tiêu biến ($a_k = 0$) cho phép tạo ra hàng loạt bất đẳng thức khuyết biến không đối xứng hoàn toàn nhưng vẫn giữ nguyên tính đúng đắn. Đây là nguồn tư liệu có tính ứng dụng trực tiếp để biên soạn đề thi học sinh giỏi.
  2. Quy luật hóa việc cân bằng hệ số mẫu: Xác lập mối liên hệ định lượng giữa số lượng số hạng ở mẫu số, hệ số $\alpha$ và giá trị chặn dưới $\frac{n}{1+k\alpha}$.
  3. Mở rộng ứng dụng hình học: Chuyển hóa thành công các bất đẳng thức đại số xoay vòng sang hệ thống bài toán cực trị hình học tam giác thông qua hằng đẳng thức lượng giác chính phương.

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

Khóa luận tồn tại một số giới hạn gắn liền với phạm vi phương pháp được trình bày:

  • Điều kiện tham số bắt buộc phải thỏa mãn $\alpha > 2$ nhằm đảm bảo hệ số $(k\alpha - 2) > 0$ khi đánh giá qua tổng tích chéo. Văn bản chưa giải quyết được bài toán khi $\alpha$ nằm trong khoảng $0 < \alpha \le 2$ hoặc khi $\alpha$ nhận giá trị âm.
  • Đánh giá đẳng thức chỉ được khảo sát tại tâm đối xứng khi tất cả các biến số bằng nhau ($a_1 = a_2 = \dots = a_n$), chưa phân tích các cấu trúc điểm rơi biên phức tạp khác nếu có điều kiện ràng buộc bổ sung.
  • Hướng mở rộng được gợi mở: Nghiên cứu cấu trúc bất đẳng thức với dải tham số $\alpha \in (0, 2]$; mở rộng mẫu số chứa các lũy thừa phi tuyến $a_i^p$; và tìm kiếm các dạng hệ quả hình học trong không gian tứ diện.

Giá trị tham khảo

Khóa luận có giá trị tham khảo chuyên môn rõ nét đối với các nhóm đối tượng:

  • Sinh viên ngành Sư phạm Toán và Cử nhân Toán học: Cung cấp tài liệu tham khảo có cấu trúc bài bản về kỹ thuật chứng minh bất đẳng thức phân thức, kỹ thuật Cauchy ngược dấu và kỹ năng vận dụng bất đẳng thức Bunhiacopxki dạng phân thức.
  • Giáo viên THPT chuyên và cán bộ bồi dưỡng học sinh giỏi: Cung cấp ngân hàng bài toán phong phú ở Chương 1 và quy trình sáng tạo bài toán mới ở Chương 2 để ra đề luyện thi học sinh giỏi cấp tỉnh, quốc gia.
  • Phần đáng lưu ý nhất: Mục 1.2 (kỹ thuật xây dựng bất đẳng thức lượng giác từ hằng đẳng thức chính phương) và Mục 2.1 (kỹ thuật triệt tiêu biến số tạo bài toán khuyết).

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

1. Giả thuyết Shapiro được văn bản tóm lược như thế nào về lịch sử và điều kiện đúng sai?

Bất đẳng thức Shapiro được đặt ra vào năm 1903 bởi Nesbitt cho 3 biến số. Dạng tổng quát cho $n$ biến số mất 52 năm nghiên cứu; đến năm 1954, Shapiro mới tổng kết giả thuyết: Bất đẳng thức đúng với mọi số nguyên dương lẻ $n \le 23$ và đúng với mọi số nguyên dương chẵn $n \le 12$; với tất cả các giá trị $n$ còn lại, bất đẳng thức đều sai.

2. Bất đẳng thức Schur mở rộng trong khóa luận đòi hỏi hàm số phải thỏa mãn điều kiện gì?

Hàm số $f(x)$ phải là hàm đơn điệu trên khoảng khảo sát $I$ và có đạo hàm cấp hai không âm ($f''(x) \ge 0$), tức là hàm lồi. Khi đó, bất đẳng thức đúng với mọi bộ ba số $x_1, x_2, x_3 \in I$ và đẳng thức xảy ra khi và chỉ khi $x_1 = x_2 = x_3$.

3. Biểu thức chính phương nào được dùng làm gốc để xây dựng các bất đẳng thức lượng giác xoay vòng trong tam giác?

Tác giả sử dụng biểu thức luôn không âm với mọi số thực $x, y, z$ và tam giác $ABC$: $$(x - y\cos C - z\cos B)^2 + (y\sin C - z\sin B)^2 \ge 0$$ Khai triển và rút gọn hằng đẳng thức này dẫn đến bất đẳng thức nền tảng $yz\cos A + zx\cos B + xy\cos C \le \frac{1}{2}(x^2 + y^2 + z^2)$.

4. Tại sao trong Chương 2 tác giả luôn yêu cầu điều kiện tham số $\alpha > 2$?

Khi áp dụng bất đẳng thức Bunhiacopxki dạng phân thức, mẫu số xuất hiện đại lượng $(c\alpha - 2)\sum_{i<j} a_i a_j$ (với $c$ là hệ số nguyên dương như 1 hoặc 2). Điều kiện $\alpha > 2$ bảo đảm thừa số $(c\alpha - 2)$ luôn dương, từ đó mới có thể sử dụng bất đẳng thức đánh giá chiều $\sum a_i a_j \le \frac{n-1}{2n}(\sum a_i)^2$ để tìm ra chặn dưới đúng.

5. Ý nghĩa của thao tác gán giá trị bằng 0 cho các biến số cuối ($a_n = 0, a_{n-1} = 0$) trong Chương 2 là gì?

Thao tác này tạo ra các bài toán hệ quả suy biến có số lượng biến số ít hơn nhưng biểu thức không còn đối xứng hoàn toàn (xuất hiện các phân thức khuyết biến hoặc hằng số tự do). Đây là kỹ thuật sinh bài toán mới có độ khó cao, phục vụ biên soạn các đề toán phân loại học sinh giỏi.

Kết luận

Khóa luận của tác giả Nguyễn Văn Cương là một công trình toán sơ cấp chuyên khảo, hệ thống hóa chi tiết lý thuyết bất đẳng thức xoay vòng đại số và lượng giác. Tác giả đã thiết lập thành công mô hình bất đẳng thức phân thức $n$ biến tổng quát với tham số $\alpha > 2$, đồng thời chứng minh chặt chẽ cho các trường hợp cụ thể từ 3 đến 7 biến cùng hệ thống bài toán suy biến đi kèm. Tài liệu đáp ứng tốt yêu cầu học thuật của một khóa luận tốt nghiệp sư phạm toán và là nguồn tư liệu hữu ích cho công tác giảng dạy, bồi dưỡng học sinh giỏi toán sơ cấp.