Tài liệu chuyên sâu hướng dẫn phương pháp áp dụng bất đẳng thức AM-GM thông qua kỹ thuật Cauchy ngược dấu. Bằng cách biến đổi phân thức thà...
A. Kiến thức trọng tâm
1. Bất đẳng thức AM–GM
Với \(n\) số thực không âm \(x_1, x_2, \dots, x_n\), ta luôn có:
\[\frac{x_1 + x_2 + \dots + x_n}{n} \ge \sqrt[n]{x_1 x_2 \dots x_n}\]
Dấu đẳng thức xảy ra khi và chỉ khi \(x_1 = x_2 = \dots = x_n\).
Hai trường hợp sử dụng phổ biến nhất:
\[x + y \ge 2\sqrt{xy}, \quad x + y + z \ge 3\sqrt[3]{xyz} \quad (x, y, z \ge 0)\]
2. Tình huống dẫn tới kỹ thuật Cauchy ngược dấu
Xét bài toán: Cho \(a, b, c > 0\) thỏa mãn \(a + b + c = 6\). Chứng minh rằng:
\[\frac{4a}{4 + b^2} + \frac{4b}{4 + c^2} + \frac{4c}{4 + a^2} \ge 3\]
Phân tích: Dự đoán điểm rơi tại \(a = b = c = 2\). Khi đó \(4 + b^2 = 8 = 4b\). Nếu sử dụng trực tiếp bất đẳng thức AM-GM cho mẫu số \(4 + b^2 \ge 4b\), ta thu được:
\[\frac{4a}{4 + b^2} \le \frac{4a}{4b} = \frac{a}{b}\]
Đánh giá này khiến phân thức bị ngược chiều so với chiều cần chứng minh (\(\ge\)).
Giải pháp: Tách phần nguyên ra khỏi phân thức để đưa mẫu số vào phần bị trừ. Một số biến đổi quen thuộc:
\[\frac{ma}{m + t} = a - \frac{at}{m + t}, \quad \frac{m}{m + t} = 1 - \frac{t}{m + t}, \quad \frac{a^3}{a^2 + b^2} = a - \frac{ab^2}{a^2 + b^2}\]
Khi làm nhỏ mẫu số, số bị trừ sẽ lớn lên, giúp đánh giá quay trở lại thuận chiều cần chứng minh.
B. Các bổ đề đánh giá phụ trợ
Bổ đề 4.1 (Đánh giá tổng ba tích đôi một)
Với mọi số thực \(a, b, c\), ta có:
\[ab + bc + ca \le \frac{(a + b + c)^2}{3}\]
Dấu đẳng thức xảy ra khi và chỉ khi \(a = b = c\).
Hệ quả: Với \(a, b, c > 0\) thì \(a + b + c \ge \sqrt{3(ab + bc + ca)}\).
Bổ đề 4.2 (Đánh giá vòng bốn biến)
Với mọi số thực dương \(a, b, c, d\), ta có:
\[ab + bc + cd + da = (a + c)(b + d) \le \frac{(a + b + c + d)^2}{4}\]
Dấu đẳng thức xảy ra khi và chỉ khi \(a + c = b + d\).
Bổ đề 4.3 (Đánh giá tổng bốn tích ba)
Với mọi số thực dương \(a, b, c, d\), ta có:
\[abc + bcd + cda + dab \le \frac{(a + b + c + d)^3}{16}\]
Dấu đẳng thức xảy ra khi và chỉ khi \(a = b = c = d\).
Chứng minh: Đặt \(p = a + c\), \(q = b + d\). Ta có:
\[abc + bcd + cda + dab = ac(b + d) + bd(a + c) = q \cdot ac + p \cdot bd\]
Theo bất đẳng thức AM-GM: \(ac \le \frac{p^2}{4}\) và \(bd \le \frac{q^2}{4}\). Do đó:
\[abc + bcd + cda + dab \le \frac{p^2 q + q^2 p}{4} = \frac{pq(p + q)}{4} \le \frac{(p + q)^2}{4} \cdot \frac{p + q}{4} = \frac{(a + b + c + d)^3}{16}\]
Bổ đề 4.4 (Căn của tích không vượt quá tổng)
Với mọi số thực dương \(a, b, c\), ta có:
\[\sqrt{ab} + \sqrt{bc} + \sqrt{ca} \le a + b + c\]
Dấu đẳng thức xảy ra khi và chỉ khi \(a = b = c\).
Chứng minh: Cộng vế theo vế ba bất đẳng thức AM-GM: \(2\sqrt{ab} \le a + b\), \(2\sqrt{bc} \le b + c\), \(2\sqrt{ca} \le c + a\).
