Bất đẳng thức Cauchy (được thế giới biết đến rộng rãi với tên gọi Bất đẳng thức AM-GM, viết tắt của Arithmetic Mean – Geometric Mean).
Bất đẳng thức Cauchy là một trong những nền tảng cơ bản và đẹp đẽ nhất của toán học đại số. Nó được sử dụng cực kỳ phổ biến để đánh giá các biểu thức, cũng như tìm giá trị lớn nhất và nhỏ nhất (cực trị).
Bản chất cốt lõi của bất đẳng thức này phát biểu một nguyên lý rất tự nhiên: Trung bình cộng của các số thực không âm luôn luôn lớn hơn hoặc bằng trung bình nhân của chúng.
Công thức cơ bản Bất đẳng thức Cauchy (AM-GM) (Dành cho 2 số)
Với hai số thực không âm $a \ge 0$ và $b \ge 0$, ta luôn có:
$\dfrac{a + b}{2} \ge \sqrt{ab}$
- Vế trái: $\dfrac{a + b}{2}$ là Trung bình cộng (Arithmetic Mean).
- Vế phải: $\sqrt{ab}$ là Trung bình nhân (Geometric Mean).
- Điều kiện quan trọng nhất: Dấu “=” (sự cân bằng tuyệt đối) chỉ xảy ra khi và chỉ khi $a = b$.
Ý nghĩa thực tế của bất đẳng thức Cauchy (AM-GM): Bài toán của sự cân bằng
Bạn có thể hiểu bất đẳng thức này qua một góc nhìn trực quan về mặt tối ưu hóa hình học:
Hãy tưởng tượng bạn đang muốn rào một mảnh đất hình chữ nhật với hai cạnh là $a$ và $b$.
- Chu vi của mảnh đất liên quan trực tiếp đến phép cộng $(a + b)$.
- Diện tích của mảnh đất liên quan trực tiếp đến phép nhân $(a \times b)$.
Bất đẳng thức Cô-si nói lên một triết lý tối ưu: Nếu bạn có một lượng vật liệu làm hàng rào cố định (tức là tổng $a + b$ không đổi), mảnh đất sẽ đạt diện tích lớn nhất (tích $ab$ lớn nhất) khi hai cạnh dài bằng nhau ($a = b$). Sự mất cân bằng ($a$ và $b$ chênh lệch càng lớn) sẽ dẫn đến sự suy giảm về “chất lượng” tổng thể (diện tích bị thu hẹp lại).
Công thức tổng quát Bất đẳng thức Cauchy (AM-GM) (Dành cho $n$ số)
Nguyên lý này không chỉ đúng với 2 số mà có thể mở rộng cho $n$ số không âm bất kỳ ($x_1, x_2, …, x_n \ge 0$):
$\dfrac{x_1 + x_2 + … + x_n}{n} \ge \sqrt[n]{x_1 x_2 … x_n}$
Dấu “=” vẫn tuân theo quy luật cũ: Nó chỉ xảy ra khi tất cả các số đều bằng nhau ($x_1 = x_2 = … = x_n$).
